default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. VMCAI 2010: Madrid, Spain
- Gilles Barthe
, Manuel V. Hermenegildo:
Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings. Lecture Notes in Computer Science 5944, Springer 2010, ISBN 978-3-642-11318-5
Invited Talks
- Javier Esparza:
Analysis of Systems with Stochastic Process Creation. 1 - K. Rustan M. Leino:
Verifying Concurrent Programs with Chalice. 2 - 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. 3-22
Invited Tutorials
- Roberto Giacobazzi:
Abstract Interpretation-Based Protection. 23-24 - Joost-Pieter Katoen:
Advances in Probabilistic Model Checking. 25 - Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies:
Building a Calculus of Data Structures. 26-44
Invited Tutorials
- Rajeev Alur, Swarat Chaudhuri:
Temporal Reasoning for Procedural Programs. 45-60 - Benjamin Aminof, Orna Kupferman, Aniello Murano:
Improved Model Checking of Hierarchical Systems. 61-77 - Lei Bu, Jianhua Zhao, Xuandong Li:
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. 78-94 - Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahesh Viswanathan:
Complexity Bounds for the Verification of Real-Time Software. 95-111 - Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
An Abstract Domain to Discover Interval Linear Equalities. 112-128 - Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher:
Interpolant Strength. 129-145 - Jori Dubrovin:
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing. 146-162 - Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov:
Invariant and Type Inference for Matrices. 163-179 - Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi:
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. 180-196 - Andy King, Harald Søndergaard:
Automatic Abstraction for Congruences. 197-213 - Jörg Kreiker, Helmut Seidl, Vesal Vojdani:
Shape Analysis of Low-Level C with Overlapping Structures. 214-230 - Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer:
Abstract Threads. 231-246 - Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur:
Shape Analysis with Reference Set Relations. 247-262 - Matthew Might:
Shape Analysis in the Absence of Pointers and Structure. 263-278 - Valentin Perrelle, Nicolas Halbwachs:
An Analysis of Permutations in Arrays. 279-294 - César Sánchez, Martin Leucker:
Regular Linear Temporal Logic with Past. 295-311 - Meera Sridhar, Kevin W. Hamlen:
Model-Checking In-Lined Reference Monitors. 312-327 - Alexander J. Summers, Sophia Drossopoulou:
Considerate Reasoning and the Composite Design Pattern. 328-344 - Viktor Vafeiadis:
RGSep Action Inference. 345-361 - Björn Wachter, Lijun Zhang:
Best Probabilistic Transformers. 362-379 - Kuat Yessenov, Ruzica Piskac, Viktor Kuncak:
Collections, Cardinalities, and Relations. 380-395
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-12 22:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
