Search results for "VMCAI"

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

Publications at "VMCAI"( http://dblp.L3S.de/Venues/VMCAI )