| 2011 | MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. | Sebastian S. Bauer, Philip Mayer, Axel Legay |
| 2011 | Formal Analysis of Online Algorithms. | Benjamin Aminof, Orna Kupferman, Robby Lampert |
| 2011 | Max and Sum Semantics for Alternating Weighted Automata. | Shaull Almagor, Orna Kupferman |
| 2011 | What's Decidable about Weighted Automata? | Shaull Almagor, Udi Boker, Orna Kupferman |
| 2011 | Making Software Verification Tools Really Work. | Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig |
| 2011 | Linear Hybrid System Falsification through Local Search. | Houssam Abbas, Georgios Fainekos |
| 2010 | Probabilistic Contracts for Component-Based Design. | Dana N. Xu, Gregor Gler, Alain Girault |
| 2010 | Synthesis: Words and Traces. | Igor Walukiewicz |
| 2010 | Recursive Timed Automata. | Ashutosh Trivedi, Dominik Wojtczak |
| 2010 | Symbolic Unfolding of Parametric Stopwatch Petri Nets. | Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux |
| 2010 | Automatic Generation of History-Based Access Control from Information Flow Specification. | Yoshiaki Takata, Hiroyuki Seki |
| 2010 | Rbminer: A Tool for Discovering Petri Nets from Transition Systems. | Marc Sol, Josep Carmona |
| 2010 | COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. | An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui |
| 2010 | YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B. | Ukachukwu Ndukwu, A. K. McIver |
| 2010 | Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems. | Teng Long, Wenhui Zhang |
| 2010 | LTL Can Be More Succinct. | Kamal Lodaya, A. V. Sreejith |
| 2010 | Developing Model Checkers Using PAT. | Yang Liu, Jun Sun, Jin Song Dong |
| 2010 | Reachability as Derivability, Finite Countermodels and Verification. | Alexei Lisitsa |
| 2010 | MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. | Gal Katz, Doron A. Peled |
| 2010 | Abstraction Learning. | Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
| 2010 | Efficient On-the-Fly Emptiness Check for Timed Bchi Automata. | Frdric Herbreteau, B. Srivathsan |
| 2010 | Non-monotonic Refinement of Control Abstraction for Concurrent Programs. | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2010 | An Approach for Class Testing from Class Contracts. | Atul Gupta |
| 2010 | A Specification Logic for Exceptions and Beyond. | Cristian Gherghina, Cristina David |
| 2010 | Lattice-Valued Binary Decision Diagrams. | Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-Franois Raskin |