Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover |
Effect-Driven Flow Analysis. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jad Hamza, Viktor Kuncak |
Minimal Synthesis of String to String Functions from Examples. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaokang Qiu, Yanjun Wang |
A Decidable Logic for Tree Data-Structures with Measurements. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin |
Automatic Program Repair Using Formal Verification and Expression Templates. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Calvin Smith, Aws Albarghouthi |
Program Synthesis with Equivalence Reduction. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gereon Fox, Daniel Stan, Holger Hermanns |
Syntactic Partial Order Compression for Probabilistic Reachability. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tomoya Yamaguchi 0001, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura |
Application of Abstract Interpretation to the Automotive Electronic Control System. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski |
Exploiting Pointer Analysis in Memory Models for Deductive Verification. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Denis Bueno, Karem A. Sakallah |
euforia: Complete Software Model Checking with Uninterpreted Functions. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat |
Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Richard Huybers, Alfons Laarman |
A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nuno P. Lopes, Andrey Rybalchenko |
Fast BGP Simulation of Large Datacenters. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kimball Germane, Matthew Might |
Relatively Complete Pushdown Analysis of Escape Continuations. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime |
Parametric Timed Broadcast Protocols. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Haar, Juraj Kolcák, Loïc Paulevé |
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anja F. Karl, Robert Schilling, Roderick Bloem, Stefan Mangard |
Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Boutonnet, Nicolas Halbwachs |
Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz |
Static Analysis of Binary Code with Memory Indirections Using Polyhedra. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta |
Lazy but Effective Functional Synthesis. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Eric Butler, Emina Torlak, Zoran Popovic |
A Framework for Computer-Aided Design of Educational Domain Models. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev |
Automatic Verification of RMA Programs via Abstraction Extrapolation. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Bader 0001, Jonathan Aldrich, Éric Tanter |
Gradual Program Verification. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf |
Scalable Approximation of Quantitative Information Flow in Programs. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Ranzato |
On Constructivity of Galois Connections. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz |
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin |
A Logical System for Modular Information Flow Verification. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yong Li 0031, Andrea Turrini, Lijun Zhang 0001, Sven Schewe |
Learning to Complement Büchi Automata. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tanja Schindler, Dejan Jovanovic |
Selfless Interpolation for Infinite-State Model Checking. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Mouhammad Sakr |
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Julian Kranz, Axel Simon |
Modular Analysis of Executables Using On-Demand Heyting Completion. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manjeet Dahiya, Sorav Bansal |
Automatic Verification of Intermittent Systems. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hila Peleg, Dan Rasin, Eran Yahav |
Generating Tests by Example. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Isil Dillig, Jens Palsberg (eds.) |
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger |
From Shapes to Amortized Complexity. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger |
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Humenberger, Maximilian Jaroschek, Laura Kovács |
Invariant Generation for Multi-Path Loops with Polynomial Assignments. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Samuele Buro, Isabella Mastroeni |
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong |
On abstraction and compositionality for weak-memory linearisability. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak |
Refinement Types for Ruby. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hila Peleg, Shachar Itzhaky, Sharon Shoham |
Abstraction-Based Interaction Model for Synthesis. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mahsa Najafzadeh, Marc Shapiro 0001, Patrick Eugster |
Co-Design and Verification of an Available File System. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nima Roohi, Mahesh Viswanathan 0001 |
Revisiting MITL to Fix Decision Procedures. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lenore D. Zuck, Kenneth L. McMillan, Jordan Torf |
P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Roberto Giacobazzi, Roberta Gori |
Code Obfuscation Against Abstract Model Checking Attacks. |
VMCAI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv |
Conjunctive Abstract Interpretation Using Paramodulation. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Tomás Vojnar |
Counterexample Validation and Interpolation-Based Refinement for Forest Automata. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yijia Gu, Thomas Wahl |
Stabilizing Floating-Point Programs Using Provenance Analysis. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Jovanovic |
Solving Nonlinear Integer Arithmetic with MCSAT. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |
Reduction of Workflow Nets for Generalised Soundness Verification. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov |
Bringing LTL Model Checking to Biologists. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yakir Vizel, Arie Gurfinkel, Sharon Shoham, Sharad Malik |
IC3 - Flipping the E in ICE. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Maréchal, Michaël Périn |
Efficient Elimination of Redundancies in Polyhedra by Raytracing. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman |
Synthesizing Non-Vacuous Systems. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang 0001 |
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher |
Dynamic Reductions for Model Checking Concurrent Software. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty, Ashutosh Gupta 0001, Rahul Jain 0001 |
Matching Multiplications in Bit-Vector Formulas. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Iago Abal, Claus Brabrand, Andrzej Wasowski |
Effective Bug Finding in C Programs with Shape and Effect Abstractions. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tushar Sharma, Thomas W. Reps |
Sound Bit-Precise Numerical Domains. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sandrine Blazy, David Bühler, Boris Yakobowski |
Structuring Abstract Interpreters Through State and Value Abstractions. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang 0001 |
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhoták, Oded Padon, Mooly Sagiv, Sharon Shoham |
Property Directed Reachability for Proving Absence of Concurrent Modification Errors. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yassamine Seladji |
Finding Relevant Templates via the Principal Component Analysis. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Igor V. Konnov 0001, Josef Widder, Francesco Spegni, Luca Spalazzi |
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Cuoq, Loïc Runarvot, Alexander Cherepanov |
Detecting Strict Aliasing Violations in the Wild. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall |
Static Analysis of Communicating Processes Using Symbolic Transducers. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Suvam Mukherjee, Arun Kumar, Deepak D'Souza |
Detecting All High-Level Dataraces in an RTOS Kernel. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl, Helmut Seidl, Igor Walukiewicz |
Reachability for Dynamic Parametric Processes. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Victor D'Silva, Daniel Kroening, Marcelo Sousa |
Independence Abstractions and Models of Concurrency. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wei Wang 0062, Clark W. Barrett, Thomas Wies |
Partitioned Memory Models for Program Analysis. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Reynolds 0001, Radu Iosif, Cristina Serban |
Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Victor D'Silva, Marcelo Sousa |
Complete Abstractions and Subclassical Modal Logics. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Monat, Antoine Miné |
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Ferrara 0001, Omer Tripp, Peng Liu 0010, Eric Koskinen |
Using Abstract Interpretation to Correct Synchronization Faults. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Müller 0001, Malte Schwerhoff, Alexander J. Summers |
Viper: A Verification Infrastructure for Permission-Based Reasoning. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins |
Automatic Generation of Propagation Complete SAT Encodings. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simon Außerlechner, Swen Jacobs, Ayrat Khalimov 0001 |
Tight Cutoffs for Guarded Protocols with Fairness. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ilaria De Crescenzo, Salvatore La Torre |
A General Modular Synthesis Problem for Pushdown Systems. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hila Peleg, Sharon Shoham, Eran Yahav |
D^3 : Data-Driven Disjunctive Abstraction. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Jan Otop, Roopsha Samanta |
Lipschitz Robustness of Timed I/O Systems. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Daca, Ashutosh Gupta 0001, Thomas A. Henzinger |
Abstraction-driven Concolic Testing. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Sogokon, Khalil Ghorbal, Paul B. Jackson, André Platzer |
A Method for Invariant Generation for Polynomial Continuous Systems. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Maréchal, Alexis Fouilhé, Tim King 0001, David Monniaux, Michaël Périn |
Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marko Doko, Viktor Vafeiadis |
A Program Logic for C11 Memory Fences. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun 0001 |
Regular Symmetry Patterns. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Egor George Karpenkov, David Monniaux, Philipp Wendler |
Program Analysis with Local Policy Iteration. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bakst, Ranjit Jhala |
Predicate Abstraction for Linked Data Structures. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar |
From Low-Level Pointers to High-Level Containers. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Chaki, Derrick Karimi |
Model Checking with Multi-threaded IC3 Portfolios. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas W. Reps, Aditya V. Thakur |
Automating Abstract Interpretation. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Haziza, Lukás Holík, Roland Meyer 0001, Sebastian Wolff 0001 |
Pointer Race Freedom. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Noam Rinetzky, Sharon Shoham |
Property Directed Abstract Interpretation. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Delahaye, Didier Lime, Laure Petrucci |
Parameter Synthesis for Parametric Interval Markov Chains. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gerard J. Holzmann |
Cloud-Based Verification of Concurrent Software. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
An Abstract Domain of Uninterpreted Functions. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person |
Exact Heap Summaries for Symbolic Execution. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Jobstmann, K. Rustan M. Leino (eds.) |
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
Lazy Constrained Monotonic Abstraction. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vahid Hashemi, Holger Hermanns, Lei Song 0001 |
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|