• 
  Gerard J. Holzmann: Reliable Software Development: Analysis-Aware Design. 1-2
• 
  Andreas Podelski, Andrey Rybalchenko: Transition Invariants and Transition Predicate Abstraction for Program Termination. 3-10

Memory Models and Consistency

• 
  Jacob Burnim, Koushik Sen, Christos Stergiou: Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. 11-25
• 
  Pranav Garg, P. Madhusudan: Compositionality Entails Sequentializability. 26-40
• 
  Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell: Litmus: Running Tests against Hardware. 41-44

Invariants and Termination

• 
  Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala: Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. 45-59
• 
  Krystof Hoder, Laura Kovács, Andrei Voronkov: Invariant Generation in Vampire. 60-64
• 
  Diego Garbervetsky, Daniel Gorín, Ariel Neisen: Enforcing Structural Invariants Using Dynamic Frames. 65-80
• 
  Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening: Loop Summarization and Termination Analysis. 81-95

Timed and Probabilistic Systems

• 
  Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen: Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. 96-111
• 
  Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Quantitative Multi-objective Verification for Probabilistic Systems. 112-127
• 
  Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Efficient CTMC Model Checking of Linear Real-Time Objectives. 128-142

Interpolations and SAT-Solvers

• 
  Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani: Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. 143-157
• 
  Tino Teige, Martin Fränzle: Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. 158-172
• 
  Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid: Specification-Based Program Repair Using SAT. 173-188
• 
  Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp: Optimal Base Encodings for Pseudo-Boolean Constraints. 189-204

Learning

• 
  Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi: Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. 205-219
• 
  Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria: Next Generation LearnLib. 220-223

Model Checking

• 
  Harro Wimmel, Karsten Wolf: Applying CEGAR to the Petri Net State Equation. 224-238
• 
  Muralidhar Talupur, Hyojung Han: Biased Model Checking Using Flows. 239-253
• 
  Yashwanth Annpureddy, Che Liu, Georgios E. Fainekos, Sriram Sankaranarayanan: S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. 254-257

Games and Automata

• 
  Chih-Hong Cheng, Alois Knoll, Michael Luttenberger, Christian Buckl: GAVS+: An Open Platform for the Research of Algorithmic Game Solving. 258-261
• 
  Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang: Büchi Store: An Open Repository of Büchi Automata. 262-266
• 
  Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: QUASY: Quantitative Synthesis Tool. 267-271
• 
  Rüdiger Ehlers: Unbeast: Symbolic Bounded Synthesis. 272-275

Verification (I)

• 
  Sebastian Kupferschmid, Martin Wehrle: Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. 276-290
• 
  Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon: The ACL2 Sedan Theorem Proving System. 291-295

Probabilistic Systems

• 
  Stefan Kiefer, Dominik Wojtczak: On Probabilistic Parallel Programs with Process Creation and Synchronisation. 296-310
• 
  Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol: Confluence Reduction for Probabilistic Systems. 311-325
• 
  Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka: Model Repair for Probabilistic Systems. 326-340

Verification (II)

• 
  Alessandro Cimatti, Iman Narasamdya, Marco Roveri: Boosting Lazy Abstraction for SystemC with Partial Order Reduction. 341-356
• 
  Anders P. Ravn, Jirí Srba, Saleem Vighio: Modelling and Verification of Web Services Business Activity Protocol. 357-371
• 
  Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. 372-387
• 
  Sanjit A. Seshia, Jonathan Kotker: GameTime: A Toolkit for Timing Analysis of Software. 388-392

last updated on Sat May 18 05:38:31 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page