9. VMCAI 2008: San Francisco, CA, USA
Francesco Logozzo, Doron Peled, Lenore D. Zuck (Eds.): Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-78162-2- Radhia Cousot: Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. 1-3
- Jens Palsberg: Verification of Register Allocators. 6
- Marco Pistoia: Program Analysis and Programming Languages for Security. 7
- Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: An Improved Tight Closure Algorithm for Integer Octagonal Constraints. 8-21
- Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine: Handling Parameterized Systems with Non-atomic Global Conditions. 22-36
- Olivier Bouissou, Matthieu Martel: Abstract Interpretation of the Physical Inputs of Embedded Programs. 37-51
- Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev: Diagnostic Information for Realizability. 52-67
- Vijay D'Silva, Mitra Purandare, Daniel Kroening: Approximation Refinement for Interpolation-Based Model Checking. 68-82
- Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Abstract Interpretation of Cellular Signalling Networks. 83-97
- Rayna Dimitrova, Andreas Podelski: Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? 98-111
- Eugene Goldberg: On Bridging Simulation and Formal Verification. 127-141
- Isabella Mastroeni: Deriving Bisimulations by Simplifying Partitions. 157-171
- Mario Méndez-Lojo, Manuel V. Hermenegildo: Precise Set Sharing Analysis for Java-Style Programs. 172-187
- Yannick Moy: Sufficient Preconditions for Modular Assertion Checking. 188-202
- Ruzica Piskac, Viktor Kuncak: Decision Procedures for Multisets with Cardinality Constraints. 218-232
- Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo: A Forward-Backward Abstraction Refinement Algorithm. 248-262
- David A. Schmidt: Internal and External Logics of Abstract Interpretations. 263-278
- Andreas Morgenstern, Klaus Schneider: From LTL to Symbolically Represented Deterministic Automata. 279-293
- A. Prasad Sistla, Abhigna R. Srinivas: Monitoring Temporal Properties of Stochastic Systems. 294-308
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team