Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow |
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Samik Basu 0001, Tevfik Bultan, Meriem Ouederni |
Synchronizability for Verification of Asynchronously Communicating Systems. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Ferrara 0001, Peter Müller 0001 |
Automatic Inference of Access Permissions. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stan Rosenberg, Anindya Banerjee 0001, David A. Naumann |
Decision Procedures for Region Logic. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta |
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Woosuk Lee, Wonchan Lee, Kwangkeun Yi |
Sound Non-statistical Clustering of Static Analysis Alarms. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Damien Zufferey, Thomas Wies, Thomas A. Henzinger |
Ideal Abstractions for Well-Structured Transition Systems. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Falk Howar, Bernhard Steffen, Bengt Jonsson 0001, Sofia Cassel |
Inferring Canonical Register Automata. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel Charlton, Ben Horsfall, Bernhard Reus |
Crowfoot: A Verifier for Higher-Order Store Programs. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Kuncak, Andrey Rybalchenko (eds.) |
Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Bugaychenko |
On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Sack, Lijun Zhang 0001 |
A General Framework for Probabilistic Characterizing Formulae. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Duckki Oe, Aaron Stump, Corey Oliver, Kevin Clancy |
versat: A Verified Modern SAT Solver. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud |
On the Termination of Integer Loops. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ranjit Jhala, David A. Schmidt (eds.) |
Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Suter, Robin Steiger, Viktor Kuncak |
Sets with Cardinality Constraints in Satisfiability Modulo Theories. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Sylvie Putot |
Static Analysis of Finite Precision Computations. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Bardin, Philippe Herrmann, Franck Védrine |
Refinement-Based CFG Reconstruction from Unstructured Programs. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Steffen, Oliver Rüthing |
Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk). |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Hong Cheng, Harald Rueß, Alois C. Knoll, Christian Buckl |
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan 0001 |
Access Nets: Modeling Access to Physical Spaces. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl |
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aaron R. Bradley |
SAT-Based Model Checking without Unrolling. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Viktor Kuncak |
Towards Complete Reasoning about Axiomatic Specifications. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pieter Hooimeijer, Margus Veanes |
An Evaluation of Automata Algorithms for String Analysis. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Julien Vanegue |
ExplainHoudini: Making Houdini Inference Transparent. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo |
Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk). |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Samir Genaim, Abu Naser Masud |
More Precise Yet Widely Applicable Cost Analysis. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Se-Won Kim, Kwang-Moo Choe |
String Analysis as an Abstract Interpretation. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ruzica Piskac, Thomas Wies |
Decision Procedures for Automating Termination Proofs. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephen F. Siegel, Ganesh Gopalakrishnan |
Formal Analysis of Message Passing - (Invited Talk). |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alastair F. Donaldson, Leopold Haller, Daniel Kroening |
Strengthening Induction-Based Race Checking with Lightweight Static Analysis. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski |
Abstract Probabilistic Automata. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nuno P. Lopes, Andrey Rybalchenko |
Distributed and Predictable Software Model Checking. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot, Francesco Logozzo |
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephen F. Siegel, Timothy K. Zirkel |
Collective Assertions. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi |
Access Analysis-Based Tight Localization of Abstract Memories. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky |
Verifying Deadlock-Freedom of Communication Fabrics. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman |
Proving Stabilization of Biological Systems. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner |
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David L. Dill |
Are Cells Asynchronous Circuits? - (Invited Talk). |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 |
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Falk Howar, Bernhard Steffen, Maik Merten |
Automata Learning with Automated Alphabet Abstraction Refinement. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen |
Advances in Probabilistic Model Checking. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Orna Kupferman, Aniello Murano |
Improved Model Checking of Hierarchical Systems. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lei Bu, Jianhua Zhao, Xuandong Li |
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Kreiker, Helmut Seidl, Vesal Vojdani |
Shape Analysis of Low-Level C with Overlapping Structures. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur |
Shape Analysis with Reference Set Relations. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke 0001, Björn Wachter, Stephan Wilhelm |
Static Timing Analysis for Hard Real-Time Systems. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi |
Abstract Interpretation-Based Protection. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan 0001 |
Complexity Bounds for the Verification of Real-Time Software. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Swarat Chaudhuri |
Temporal Reasoning for Procedural Programs. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Björn Wachter, Lijun Zhang 0001 |
Best Probabilistic Transformers. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer |
Abstract Threads. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jori Dubrovin |
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andy King, Harald Søndergaard |
Automatic Abstraction for Congruences. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov |
Invariant and Type Inference for Matrices. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza |
Analysis of Systems with Stochastic Process Creation. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | César Sánchez 0001, Martin Leucker |
Regular Linear Temporal Logic with Past. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Liqian Chen, Antoine Miné, Ji Wang 0001, Patrick Cousot |
An Abstract Domain to Discover Interval Linear Equalities. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Vafeiadis |
RGSep Action Inference. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander J. Summers, Sophia Drossopoulou |
Considerate Reasoning and the Composite Design Pattern. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies |
Building a Calculus of Data Structures. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi |
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Meera Sridhar, Kevin W. Hamlen |
Model-Checking In-Lined Reference Monitors. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Perrelle, Nicolas Halbwachs |
An Analysis of Permutations in Arrays. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kuat Yessenov, Ruzica Piskac, Viktor Kuncak |
Collections, Cardinalities, and Relations. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher |
Interpolant Strength. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino |
Verifying Concurrent Programs with Chalice. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Might |
Shape Analysis in the Absence of Pointers and Structure. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Manuel V. Hermenegildo (eds.) |
Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Godefroid, Nir Piterman |
LTL Generalized Model Checking Revisited. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Laviron, Francesco Logozzo |
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Might, Panagiotis Manolios |
A PosterioriSoundness for Non-deterministic Abstract Interpretations. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Abstraction Refinement for Probabilistic Software. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hasan Amjad, Richard Bornat |
Towards Automatic Stability Analysis for Rely-Guarantee Proofs. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Constraint-Based Invariant Inference over Predicate Abstraction. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | William C. Benton, Charles N. Fischer |
Mostly-Functional Behavior in Java Programs. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
Java, Program Analysis, Type-and-effect Systems |
1 | Patrick Maier 0001 |
Deciding Extensions of the Theories of Vectors and Bags. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla |
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Vafeiadis |
Shape-Value Abstraction for Verifying Linearizability. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Wimmer 0001, Bettina Braitling, Bernd Becker 0001 |
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | E. Allen Emerson |
Model Checking: Progress and Problems. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zvonimir Rakamaric, Alan J. Hu |
A Scalable Memory Model for Low-Level Code. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Aarti Gupta |
Model Checking Concurrent Programs. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ankur Taly, Sumit Gulwani, Ashish Tiwari 0001 |
Synthesizing Switching Logic Using Constraint Solving. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christos Dimoulas, Mitchell Wand |
The Higher-Order Aggregate Update Problem. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri |
Finding Concurrency-Related Bugs Using Random Isolation. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Neil D. Jones, Markus Müller-Olm (eds.) |
Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu |
Model-Checking the Linux Virtual File System. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Cortier |
Verification of Security Protocols. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dilian Gurov, Marieke Huisman |
Reducing Behavioural to Structural Properties of Programs with Procedures. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Richard J. Trefler, Thomas Wahl |
Extending Symmetry Reduction by Exploiting System Architecture. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kousha Etessami, Patrice Godefroid |
An Abort-Aware Model of Transactional Programming. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Jurdzinski, Ranko Lazic 0001, Michal Rutkowski |
Average-Price-per-Reward Games on Hybrid Automata with Strong Resets. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mooly Sagiv |
Thread-Modular Shape Analysis. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rotem Oshman |
An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
Mixed Transition Systems Revisited. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|