Abstract is missing.
- Embedded Systems Design - Scientific Challenges and Work DirectionsJoseph Sifakis. 1 [doi]
- Antichain Algorithms for Finite AutomataLaurent Doyen, Jean-François Raskin. 2-22 [doi]
- Assume-Guarantee Verification for Probabilistic SystemsMarta Z. Kwiatkowska, Gethin J. Norman, David Parker, Hongyang Qu. 23-37 [doi]
- Simple ::::O::::(::::m:::: log::::n::::) Time Markov Chain LumpingAntti Valmari, Giuliana Franceschinis. 38-52 [doi]
- Model Checking Interactive Markov ChainsLijun Zhang, Martin R. Neuhäußer. 53-68 [doi]
- Approximating the Pareto Front of Multi-criteria Optimization ProblemsJulien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler. 69-83 [doi]
- An Alternative to SAT-Based Approaches for Bit-VectorsSébastien Bardin, Philippe Herrmann, Florian Perroud. 84-98 [doi]
- Satisfiability Modulo the Theory of Costs: Foundations and ApplicationsAlessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico. 99-113 [doi]
- Optimal Tableau Algorithms for Coalgebraic LogicsRajeev Goré, Clemens Kupke, Dirk Pattinson. 114-128 [doi]
- Blocked Clause EliminationMatti Järvisalo, Armin Biere, Marijn Heule. 129-144 [doi]
- Boom: Taking Boolean Program Model Checking One Step FurtherGérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao. 145-149 [doi]
- The OpenSMT SolverRoberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich. 150-153 [doi]
- Stranger: An Automata-Based String Analysis Tool for PHPFang Yu, Muath Alkhalaf, Tevfik Bultan. 154-157 [doi]
- When Simulation Meets AntichainsParosh Aziz Abdulla, Yu-Fang Chen, Lukás HolÃk, Richard Mayr, Tomás Vojnar. 158-174 [doi]
- On Weak Modal Compatibility, Refinement, and the MIO WorkbenchSebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker. 175-189 [doi]
- Rational SynthesisDana Fisman, Orna Kupferman, Yoad Lustig. 190-204 [doi]
- Efficient Büchi Universality CheckingSeth Fogarty, Moshe Y. Vardi. 205-220 [doi]
- Automated Termination Analysis for Programs with Second-Order RecursionMarkus Aderhold. 221-235 [doi]
- Ranking Function Synthesis for Bit-Vector RelationsByron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger. 236-250 [doi]
- Fairness for Dynamic ControlJochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski. 251-265 [doi]
- JTorX: A Tool for On-Line Model-Driven Test Derivation and ExecutionAxel Belinfante. 266-270 [doi]
- SLAB: A Certifying Model Checker for Infinite-State Concurrent SystemsKlaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim. 271-274 [doi]
- Tracking Heaps That Hop with Heap-HopJules Villard, Étienne Lozes, Cristiano Calcagno. 275-279 [doi]
- Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore ProcessorsAlastair F. Donaldson, Daniel Kroening, Philipp Rümmer. 280-295 [doi]
- Simplifying Linearizability Proofs with Reduction and AbstractionTayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran. 296-311 [doi]
- A Polymorphic Intermediate Verification Language: Design and Logical EncodingK. Rustan M. Leino, Philipp Rümmer. 312-327 [doi]
- Trace-Based Symbolic Analysis for Atomicity ViolationsChao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta. 328-342 [doi]
- ACS: Automatic Converter Synthesis for SoC Bus ProtocolsKarin Avnit, Arcot Sowmya, Jorgen Peddersen. 343-348 [doi]
- AlPiNA: An Algebraic Petri Net AnalyzerDidier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi. 349-352 [doi]
- PASS: Abstraction Refinement for Infinite Probabilistic ModelsErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang. 353-357 [doi]
- Arrival Curves for Real-Time Calculus: The Causality Problem and Its SolutionsMatthieu Moy, Karine Altisen. 358-372 [doi]
- Computing the Leakage of Information-Hiding SystemsMiguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith. 373-389 [doi]
- Statistical Measurement of Information LeakageKonstantinos Chatzikokolakis, Tom Chothia, Apratim Guha. 390-404 [doi]
- SAT Based Bounded Model Checking with Partial Order Semantics for Timed AutomataJanusz Malinowski, Peter Niebert. 405-419 [doi]
- Preemption Sealing for Efficient Concurrency TestingThomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer. 420-434 [doi]
- Code Mutation in Verification and Automatic Code CorrectionGal Katz, Doron Peled. 435-450 [doi]
- Efficient Detection of Errors in Java Components Using Random Environment and RestartsPavel Parizek, Tomás Kalibera. 451-465 [doi]