| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | Krishnendu Chatterjee, Vishwanath Raman |
Synthesizing Protocols for Digital Contract Signing. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen F. Siegel, Timothy K. Zirkel |
Loop Invariant Symbolic Execution for Parallel Programs. |
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 | Christian von Essen, Barbara Jobstmann |
Synthesizing Efficient Controllers. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl |
Model Checking Information Flow in Reactive Systems. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Swen Jacobs |
Lazy Synthesis. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. |
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 | 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 | Kedar S. Namjoshi, Richard J. Trefler |
Local Symmetry and Compositional Verification. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stan Rosenberg, Anindya Banerjee, David A. Naumann |
Decision Procedures for Region Logic. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy |
Modeling Asynchronous Message Passing for C Programs. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ranjit Jhala |
Software Verification with Liquid Types. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Uri Klein, Nir Piterman, Amir Pnueli |
Effective Synthesis of Asynchronous Systems from GR(1) Specifications. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Howar, Bernhard Steffen, Bengt Jonsson, Sofia Cassel |
Inferring Canonical Register Automata. |
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 | K. Rustan M. Leino |
Automating Induction with an SMT Solver. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Sack, Lijun Zhang |
A General Framework for Probabilistic Characterizing Formulae. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kinder, Dmitry Kravchenko |
Alternating Control Flow Reconstruction. |
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 | Nathaniel Charlton, Ben Horsfall, Bernhard Reus |
Crowfoot: A Verifier for Higher-Order Store Programs. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Evren Ermis, Jochen Hoenicke, Andreas Podelski |
Splitting via Interpolants. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Tevfik Bultan, Meriem Ouederni |
Synchronizability for Verification of Asynchronously Communicating Systems. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Sophie Pinchinat |
Verification of Gap-Order Constraint Abstractions of Counter Systems. |
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 | Tobias Nipkow |
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, Arie Gurfinkel, Ofer Strichman |
Regression Verification for Multi-threaded Programs. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Ferrara, Peter Müller |
Automatic Inference of Access Permissions. |
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 | Sébastien Bardin, Philippe Herrmann, Franck Védrine |
Refinement-Based CFG Reconstruction from Unstructured Programs. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swen Jacobs, Viktor Kuncak |
Towards Complete Reasoning about Axiomatic Specifications. |
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 | Aaron R. Bradley |
SAT-Based Model Checking without Unrolling. |
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 | Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi |
Access Analysis-Based Tight Localization of Abstract Memories. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
Access Nets: Modeling Access to Physical Spaces. |
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 | Nuno P. Lopes, Andrey Rybalchenko |
Distributed and Predictable Software Model Checking. |
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 | Shuvendu K. Lahiri, Julien Vanegue |
ExplainHoudini: Making Houdini Inference Transparent. |
VMCAI |
2011 |
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 | Ruzica Piskac, Thomas Wies |
Decision Procedures for Automating Termination Proofs. |
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 | Stephen F. Siegel, Timothy K. Zirkel |
Collective Assertions. |
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 | Pieter Hooimeijer, Margus Veanes |
An Evaluation of Automata Algorithms for String Analysis. |
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 | Elvira Albert, Samir Genaim, Abu Naser Masud |
More Precise Yet Widely Applicable Cost 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 | Chih-Hong Cheng, Harald Rueß, Alois Knoll, Christian Buckl |
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Sylvie Putot |
Static Analysis of Finite Precision Computations. |
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 | Philippe Suter, Robin Steiger, Viktor Kuncak |
Sets with Cardinality Constraints in Satisfiability Modulo Theories. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. |
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 | 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 | Alastair F. Donaldson, Leopold Haller, Daniel Kroening |
Strengthening Induction-Based Race Checking with Lightweight Static Analysis. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis |
RGSep Action Inference. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuat Yessenov, Ruzica Piskac, Viktor Kuncak |
Collections, Cardinalities, and Relations. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Sánchez, Martin Leucker |
Regular Linear Temporal Logic with Past. |
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 | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov |
Invariant and Type Inference for Matrices. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher |
Interpolant Strength. |
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 | Andy King, Harald Søndergaard |
Automatic Abstraction for Congruences. |
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 | Javier Esparza |
Analysis of Systems with Stochastic Process Creation. |
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 | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot |
An Abstract Domain to Discover Interval Linear Equalities. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer |
Abstract Threads. |
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 | Matthew Might |
Shape Analysis in the Absence of Pointers and Structure. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Perrelle, Nicolas Halbwachs |
An Analysis of Permutations in Arrays. |
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 | Rajeev Alur, Swarat Chaudhuri |
Temporal Reasoning for Procedural Programs. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Rustan M. Leino |
Verifying Concurrent Programs with Chalice. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm |
Static Timing Analysis for Hard Real-Time Systems. |
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 | Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan |
Complexity Bounds for the Verification of Real-Time Software. |
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 | Roberto Giacobazzi |
Abstract Interpretation-Based Protection. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen |
Advances in Probabilistic Model Checking. |
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 | Björn Wachter, Lijun Zhang |
Best Probabilistic Transformers. |
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 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
Mixed Transition Systems Revisited. |
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 | Aarti Gupta |
Model Checking Concurrent Programs. |
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 | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
Query-Driven Program Testing. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kinder, Florian Zuleger, Helmut Veith |
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier |
Verification of Security Protocols. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
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 | 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 | Byron Cook |
Advances in Program Termination and Liveness. |
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 | Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski |
Average-Price-per-Reward Games on Hybrid Automata with Strong Resets. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")