| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cole Vick, Kenneth L. McMillan |
Synthesizing History and Prophecy Variables for Symbolic Model Checking.  |
VMCAI  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Van der Plas, Quentin Stiévenart, Coen De Roover |
Result Invalidation for Incremental Modular Analyses. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
Distributing and Parallelizing Non-canonical Loops. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács |
Satisfiability Modulo Custom Theories in Z3. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo |
ARENA: Enhancing Abstract Refinement for Neural Network Verification. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Luisa Collodi |
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret, Albin Salazar |
A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Soham Banerjee, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik |
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt |
CosySEL: Improving SAT Solving Using Local Symmetries. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Stefano 0001, Frédéric Lang |
Compositional Verification of Stigmergic Collective Systems. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezara Dragoi, Michael Emmi, Jingbo Wang (eds.) |
Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Tiraboschi, Tamara Rezk, Xavier Rival |
Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anan Kabaha, Dana Drachsler-Cohen |
Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Zavalía, Lidiia Chernigovskaia, Grigory Fedyukovich |
Solving Constrained Horn Clauses over Algebraic Data Types. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil |
A Pragmatic Approach to Stateful Partial Order Reduction. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Kafshdar Goharshady, Ahmed Khaled Zaher |
Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Berthier, Narges Khakpour |
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorav Bansal |
StaticPersist: Compiler Support for PMEM Programming. |
VMCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Winkler, Johannes Lehmann 0001, Joost-Pieter Katoen |
Out of Control: Reducing Probabilistic Models by Control-State Elimination. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
Flavors of Sequential Information Flow. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli |
Bit-Precise Reasoning via Int-Blasting. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizabeth Polgreen, Andrew Reynolds 0001, Sanjit A. Seshia |
Satisfiability and Synthesis Modulo Oracles. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu |
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara 0001 |
Relational String Abstract Domains. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel |
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt |
Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Landon Taylor, Zhen Zhang 0006 |
Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bayani, Stefan Mitsch |
Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001 |
Verifying Pufferfish Privacy in Hidden Markov Models. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Goldbaum, Attila Mihály, Tosha Ellison, Earl T. Barr, Mark Marron |
High Assurance Software for Financial Regulation and Business Platforms. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen |
Gradient-Descent for Randomized Controllers Under Partial Observability. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li |
Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Onderka, Stefan Ratschan |
Fast Three-Valued Abstract Bit-Vector Arithmetic. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Stefan Schmid, Viktor Kuncak |
Generalized Arrays for Stainless Frames. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavithra Prabhakar |
Bisimulations for Neural Network Reduction. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Nicole, Matthieu Lemerre, Xavier Rival |
Lightweight Shape Analysis Based on Physical Types. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang 0006 |
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Fu, Ernst Moritz Hahn, Yong Li 0031, Sven Schewe, Meng Sun 0002, Andrea Turrini, Lijun Zhang 0001 |
EPMC Gets Knowledge in Multi-agent Systems. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Thomas Wies (eds.) |
Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Solène Mirliaz, David Pichardie |
A Flow-Insensitive-Complete Program Representation. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gidon Ernst |
Loop Verification with Invariants and Contracts. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Raya, Viktor Kuncak |
NP Satisfiability for Arrays as Powers. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Seufert, Christoph Scholl 0001, Arun Chandrasekharan, Sven Reimer, Tobias Welp |
Making PROGRESS in Property Directed Reachability. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Humenberger, Laura Kovács |
Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper). |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Marijana Lazic, Josef Widder |
A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kedar S. Namjoshi, Anton Xue |
A Self-certifying Compilation Framework for WebAssembly. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler |
Formal Semantics and Verification of Network-Based Biocomputation Circuits. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Enrico Magnago |
Proving the Existence of Fair Paths in Infinite-State Systems. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christina L. Peterson, Victor Cook, Damian Dechev |
Concurrent Correctness in Vector Space. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner |
Model Checking Algorithms for Hyperproperties (Invited Paper). |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongce Zhang, Aarti Gupta, Sharad Malik |
Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin |
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ohad Goudsmid, Orna Grumberg, Sarai Sheinvald |
Compositional Model Checking for Multi-properties. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Zhang 0037, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrikson, Limin Jia 0001 |
Netter: Probabilistic, Stateful Network Models. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Koskinen, Kshitij Bansal |
Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, Tanja Schindler |
Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Bromberger, Alberto Fiori, Christoph Weidenbach |
Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Joshi 0001, Gautam Muduganti |
GPURepair: Automated Repair of GPU Kernels. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Alnis Murtovi |
Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper). |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Sharon Shoham, Yakir Vizel (eds.) |
Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lauren Pick, Grigory Fedyukovich, Aarti Gupta |
Unbounded Procedure Summaries from Bounded Environments. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yahui Song, Wei-Ngan Chin |
A Synchronous Effects Logic for Temporal Verification of Pure Esterel. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Negrini, Vincenzo Arceri, Pietro Ferrara 0001, Agostino Cortesi |
Twinning Automata and Regular Expressions for String Static Analysis. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Paxian, Pascal Raiola, Bernd Becker 0001 |
On Preprocessing for Weighted MaxSAT. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles |
Runtime Abstract Interpretation for Numerical Accuracy and Robustness. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilina Stoilkovska, Igor Konnov 0001, Josef Widder, Florian Zuleger |
Eliminating Message Counters in Synchronous Threshold Automata. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle |
Verification of Concurrent Programs Using Petri Net Unfoldings. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Kamp, Michael Philippsen |
Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | YoungMin Kwon, Eunhee Kim |
A Design of GPU-Based Quantitative Model Checking. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Quang Loc Le |
Compositional Satisfiability Solving in Separation Logic. |
VMCAI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Christian Müller 0008, Bernd Finkbeiner |
How to Win First-Order Safety Games. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Suenaga, Takuya Ishizawa |
Generalized Property-Directed Reachability for Hybrid Systems. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathanaël Courant, Antoine Séré, Natarajan Shankar |
The Correctness of a Code Generator for a Functional Language. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky |
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik |
Synthesizing Environment Invariants for Modular Hardware Verification. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hausmann 0001, Tadeusz Litak, Christoph Rauch, Matthias Zinner |
Cheap CTL Compassion in NuSMV. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wytse Oortwijn, Dilian Gurov, Marieke Huisman |
Practical Abstractions for Automated Verification of Shared-Memory Concurrency. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Chevalier, Jérôme Feret |
Sharing Ghost Variables in a Collection of Abstract Domains. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina |
A Cooperative Parallelization Approach for Property-Directed k-Induction. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher |
Language Inclusion for Finite Prime Event Structures. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Ferrara 0001, Luca Olivieri, Fausto Spoto |
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Swen Jacobs, Mouhammad Sakr, Martin Zimmermann 0002 |
Promptness and Bounded Fairness in Concurrent and Parameterized Systems. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Keidel, Sebastian Erdweg |
A Systematic Approach to Abstract Interpretation of Program Transformations. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxwell Levatich, Nikolaj S. Bjørner, Ruzica Piskac, Sharon Shoham |
Solving $\mathrm {LIA} ^\star $ Using Approximations. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruben Lapauw, Maurice Bruynooghe, Marc Denecker |
Improving Parity Game Solvers with Justifications. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001, Damien Zufferey (eds.) |
Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Rothstein Morris, Jun Sun 0001, Sudipta Chattopadhyay 0001 |
Systematic Classification of Attackers via Bounded Model Checking. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorawee Porncharoenwase, James Bornholt, Emina Torlak |
Fixing Code that Explodes Under Symbolic Evaluation. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kedar S. Namjoshi, Lucas M. Tabajara |
Witnessing Secure Compilation. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric |
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
Formalizing and Checking Multilevel Consistency. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham |
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction. |
VMCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Charlie Murphy, Zachary Kincaid |
A Practical Algorithm for Structure Embedding. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, Tanja Schindler |
Solving and Interpolating Constant Arrays Based on Weak Equivalences. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantin Enea, Ruzica Piskac (eds.) |
Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianhan Lu, Pavol Cerný, Bor-Yuh Evan Chang, Ashutosh Trivedi 0001 |
Type-Directed Bounding of Collections in Reactive Programs. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongfei Fu 0001, Krishnendu Chatterjee |
Termination of Nondeterministic Probabilistic Programs. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Normann Decker, Anton Pirogov |
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Azalea Raad, Ori Lahav 0001, Viktor Vafeiadis |
On the Semantics of Snapshot Isolation. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kimball Germane, Jay McCarthy, Michael D. Adams 0001, Matthew Might |
Demand Control-Flow Analysis. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license