Abstract is missing.
- Verification of Computer Switching Networks: An OverviewShuyuan Zhang, Sharad Malik, Rick McGeer. 1-16 [doi]
- Dynamic Bayesian Networks: A Factored Model of Probabilistic DynamicsSucheendra K. Palaniappan, P. S. Thiagarajan. 17-25 [doi]
- Interpolant Automata - (Invited Talk)Andreas Podelski. 26 [doi]
- Approximating Deterministic Lattice AutomataShulamit Halamish, Orna Kupferman. 27-41 [doi]
- Tight Bounds for the Determinisation and Complementation of Generalised Büchi AutomataSven Schewe, Thomas Varghese. 42-56 [doi]
- A Succinct Canonical Register Automaton Model for Data Domains with Binary RelationsSofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen. 57-71 [doi]
- Rabinizer: Small Deterministic Automata for LTL(F, G)Andreas Gaiser, Jan Kretínský, Javier Esparza. 72-76 [doi]
- The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound ConstraintsParitosh K. Pandya, Simoni S. Shah. 77-91 [doi]
- On Temporal Logic and Signal ProcessingAlexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka. 92-106 [doi]
- Improved Single Pass Algorithms for Resolution Proof ReductionAshutosh Gupta. 107-121 [doi]
- Model Checking Systems and Specifications with Parameterized Atomic PropositionsOrna Grumberg, Orna Kupferman, Sarai Sheinvald. 122-136 [doi]
- Reachability Analysis of Polynomial Systems Using Linear Programming RelaxationsMohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard. 137-151 [doi]
- Linear-Time Model-Checking for Multithreaded Programs under Scope-BoundingMohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan. 152-166 [doi]
- Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite DataAhmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu. 167-182 [doi]
- A Verifier for Functional Properties of Sequence-Manipulating ProgramsCarlo A. Furia. 183-186 [doi]
- Accelerating InterpolantsHossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer. 187-202 [doi]
- FunFrog: Bounded Model Checking with Interpolation-Based Function SummarizationOndrej Sery, Grigory Fedyukovich, Natasha Sharygina. 203-207 [doi]
- Synthesis of Succinct SystemsJohn Fearnley, Doron Peled, Sven Schewe. 208-222 [doi]
- Controllers with Minimal Observation Power (Application to Timed Systems)Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier. 223-237 [doi]
- Counterexample Guided Synthesis of Monitors for Realizability EnforcementMatthias Güdemann, Gwen Salaün, Meriem Ouederni. 238-253 [doi]
- Parallel Assertions for Architectures with Weak Memory ModelsDaniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik. 254-268 [doi]
- Improved Multi-Core Nested Depth-First SearchSami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol. 269-283 [doi]
- An Experiment on Parallel Model Checking of a CTL FragmentRodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu. 284-299 [doi]
- Variable Probabilistic Abstraction RefinementLuis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter. 300-316 [doi]
- Pareto Curves for Probabilistic Model CheckingVojtech Forejt, Marta Z. Kwiatkowska, David Parker. 317-332 [doi]
- Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided RefinementsSergio Giro, Markus N. Rabe. 333-348 [doi]
- The COMICS Tool - Computing Minimal Counterexamples for DTMCsNils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. 349-353 [doi]
- Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT SolversDaniel Neider. 354-369 [doi]
- ALLQBF Solving by Computational LearningBernd Becker, Rüdiger Ehlers, Matthew D. T. Lewis, Paolo Marin. 370-384 [doi]
- Equivalence of Games with Probabilistic Uncertainty and Partial-Observation GamesKrishnendu Chatterjee, Martin Chmelik, Rupak Majumdar. 385-399 [doi]
- A Probabilistic Kleene TheoremBenedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun. 400-415 [doi]
- Higher-Order Approximations for Verification of Stochastic Hybrid SystemsSadegh Esmaeil Zadeh Soudjani, Alessandro Abate. 416-434 [doi]