11. VMCAI 2010: Madrid, Spain

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 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
  

Last update Fri May 25 08:46:15 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page