default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14. VMCAI 2013: Rome, Italy
- Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni:
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7737, Springer 2013, ISBN 978-3-642-35872-2
Invited Talks
- Leonardo Mendonça de Moura, Dejan Jovanovic:
A Model-Constructing Satisfiability Calculus. 1-12 - Andreas Podelski:
Automata as Proofs. 13-14 - Francesco Ranzato:
Complete Abstractions Everywhere. 15-26 - Eran Yahav:
Abstraction-Guided Synthesis. 27
Session 1: Analysis of Systems with Continuous Behavior
- Christian Dehnert, Joost-Pieter Katoen
, David Parker:
SMT-Based Bisimulation Minimisation of Markov Models. 28-47 - Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. 48-67 - Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski:
Quantifying Information Leakage of Randomized Protocols. 68-87
Session 2: Synthesis
- Swen Jacobs, Viktor Kuncak, Philippe Suter:
Reductions for Synthesis Procedures. 88-107 - Ayrat Khalimov, Swen Jacobs, Roderick Bloem:
Towards Efficient Parameterized Synthesis. 108-127
Session 3: Analysis Algorithms and Theorem Proving Techniques for Program Analysis
- Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo:
Automatic Inference of Necessary Preconditions. 128-148 - Yassamine Seladji, Olivier Bouissou:
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools. 149-168 - Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio:
SMT-Based Array Invariant Generation. 169-188 - Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies:
Flow-Sensitive Fault Localization. 189-208
Session 4: Automata-Based Techniques
- Loris D'Antoni, Margus Veanes:
Static Analysis of String Encoders and Decoders. 209-228 - Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri:
Robustness Analysis of Networked Systems. 229-247 - Florian Leitner-Fischer, Stefan Leue:
Causality Checking for Complex System Models. 248-267
Session 5: Tools
- Jiri Slaby, Jan Strejcek, Marek Trtík:
ClabureDB: Classified Bug-Reports Database. 268-274 - Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar:
Tool Integration with the Evidential Tool Bus. 275-294
Session 6: Types and Proof Methodologies
- He Zhu, Suresh Jagannathan:
Compositional and Lightweight Dependent Type Inference for ML. 295-314 - Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers:
Abstract Read Permissions: Fractional Permissions without the Fractions. 315-334 - David J. Pearce:
Sound and Complete Flow Typing with Unions, Intersections and Negations. 335-354
Session 7: Abstract Domains
- Mathias John, Mirabelle Nebut, Joachim Niehren:
Knockout Prediction for Reaction Networks with Partial Kinetic Information. 355-374 - Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival:
Reduced Product Combination of Abstract Domains for Shapes. 375-395 - Vijay Victor D'Silva, Daniel Kroening:
Abstraction of Syntax. 396-413
Session 8: Combining Boolean Solving and Abstract Domains for Theories
- Peter Schrammel, Pavle Subotic:
Logico-Numerical Max-Strategy Iteration. 414-433 - Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou:
A Constraint Solver Based on Abstract Domains. 434-454 - Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening:
An Abstract Interpretation of DPLL(T). 455-475
Session 9: Distributed/Concurrent System Verification
- Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík:
All for the Price of Few. 476-495 - Kedar S. Namjoshi, Richard J. Trefler:
Uncovering Symmetries in Irregular Process Networks. 496-514 - Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu:
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. 515-535 - Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman:
Compositional Sequentialization of Periodic Programs. 536-554
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 2025-11-26 00:46 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:
