| 2015 | A Contextual Equivalence Checker for IMJ ∗. Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
| 2015 | A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences. Thibaut Girka, David Mentré, Yann Régis-Gianas |
| 2015 | ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks. Andrzej Mizera, Jun Pang, Qixia Yuan |
| 2015 | Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings Bernd Finkbeiner, Geguang Pu, Lijun Zhang |
| 2015 | Bounded Verification with On-the-Fly Discrepancy Computation. Chuchu Fan, Sayan Mitra |
| 2015 | Cooperative Reactive Synthesis. Roderick Bloem, Rüdiger Ehlers, Robert Könighofer |
| 2015 | Decidability of the Reachability for a Family of Linear Vector Fields. Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan |
| 2015 | Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2015 | EviCheck: Digital Evidence for Android. Mohamed Nassim Seghir, David Aspinall |
| 2015 | Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. Arnd Hartmanns, Holger Hermanns |
| 2015 | Formal Verification of Infinite-State BIP Models. Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang |
| 2015 | Formal Verification of Simulink/Stateflow Diagrams. Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle |
| 2015 | Game Semantic Analysis of Equivalence in IMJ. Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos |
| 2015 | Hierarchical Information Patterns and Distributed Strategy Synthesis. Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard |
| 2015 | Improving Interpolants for Linear Arithmetic. Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl |
| 2015 | Lattice-Based Semantics for Combinatorial Model Evolution. Rachel Tzoref-Brill, Shahar Maoz |
| 2015 | Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules. Vladimir Herdt, Hoang Minh Le, Daniel Große, Rolf Drechsler |
| 2015 | Learning the Language of Error. Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig |
| 2015 | Looking at Mean-Payoff Through Foggy Windows. Paul Hunter, Guillermo A. Pérez, Jean-François Raskin |
| 2015 | Machines Reasoning About Machines: 2015. J Strother Moore |
| 2015 | Marimba: A Tool for Verifying Properties of Hidden Markov Models. Noé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage, David A. Rosenblueth |
| 2015 | Model Checking Failure-Prone Open Systems Using Probabilistic Automata. Yue Ben, A. Prasad Sistla |
| 2015 | On Automated Lemma Generation for Separation Logic with Inductive Definitions. Constantin Enea, Mihaela Sighireanu, Zhilin Wu |
| 2015 | On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems. Steen Vester |
| 2015 | Optimal Continuous Time Markov Decisions. Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál |
| 2015 | PBMC: Symbolic Slicing for the Verification of Concurrent Programs. Habib Saissi, Péter Bokor, Neeraj Suri |
| 2015 | ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan |
| 2015 | Probabilistic Programming: A True Verification Challenge. Joost-Pieter Katoen |
| 2015 | Severity Levels of Inconsistent Code. Martin Schäf, Ashish Tiwari |
| 2015 | Spanning the Spectrum from Safety to Liveness. Rachel Faran, Orna Kupferman |
| 2015 | Stochastic Local Search for Falsification of Hybrid Systems. Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler |
| 2015 | TSO-to-TSO Linearizability Is Undecidable. Chao Wang, Yi Lv, Peng Wu |
| 2015 | Test Case Generation of Actor Systems. Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
| 2015 | Trace Diagnostics Using Temporal Implicants. Thomas Ferrère, Oded Maler, Dejan Nickovic |
| 2015 | Unfolding-Based Process Discovery. Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar |
| 2015 | Using SMT for Solving Fragments of Parameterised Boolean Equation Systems. Ruud P. J. Koolen, Tim A. C. Willemse, Hans Zantema |