| 2010 | A Specification Logic for Exceptions and Beyond. Cristian Gherghina, Cristina David |
| 2010 | A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. Guy Edward Gallasch, Jonathan Billington |
| 2010 | Abstraction Learning. Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
| 2010 | An Approach for Class Testing from Class Contracts. Atul Gupta |
| 2010 | Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings Ahmed Bouajjani, Wei-Ngan Chin |
| 2010 | Automatic Generation of History-Based Access Control from Information Flow Specification. Yoshiaki Takata, Hiroyuki Seki |
| 2010 | Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems. Teng Long, Wenhui Zhang |
| 2010 | COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui |
| 2010 | CRI: Symbolic Debugger for MCAPI Applications. Mohamed Elwakil, Zijiang Yang, Liqiang Wang |
| 2010 | Composing Reachability Analyses of Hybrid Systems for Safety and Stability. Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski |
| 2010 | Compositional Algorithms for LTL Synthesis. Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
| 2010 | Developing Model Checkers Using PAT. Yang Liu, Jun Sun, Jin Song Dong |
| 2010 | ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
| 2010 | Efficient On-the-Fly Emptiness Check for Timed Büchi Automata. Frédéric Herbreteau, B. Srivathsan |
| 2010 | GAVS: Game Arena Visualization and Synthesis. Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll |
| 2010 | LTL Can Be More Succinct. Kamal Lodaya, A. V. Sreejith |
| 2010 | Lattice-Valued Binary Decision Diagrams. Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin |
| 2010 | MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. Gal Katz, Doron A. Peled |
| 2010 | Methods for Knowledge Based Controlling of Distributed Systems. Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | Model-Checking Web Applications with Web-TLR. María Alpuente, Demis Ballis, Javier Espert, Daniel Romero |
| 2010 | Non-monotonic Refinement of Control Abstraction for Concurrent Programs. Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
| 2010 | On Scenario Synchronization. Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla |
| 2010 | Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. Krishnendu Chatterjee, Thomas A. Henzinger |
| 2010 | Probabilistic Contracts for Component-Based Design. Dana N. Xu, Gregor Gößler, Alain Girault |
| 2010 | Promptness in Shaull Almagor, Yoram Hirshfeld, Orna Kupferman |
| 2010 | Rbminer: A Tool for Discovering Petri Nets from Transition Systems. Marc Solé, Josep Carmona |
| 2010 | Reachability as Derivability, Finite Countermodels and Verification. Alexei Lisitsa |
| 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 | Synthesis: Words and Traces. Igor Walukiewicz |
| 2010 | The Complexity of Codiagnosability for Discrete Event and Timed Systems. Franck Cassez |
| 2010 | Using Redundant Constraints for Refinement. Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier |
| 2010 | What's Decidable about Sequences? Carlo A. Furia |
| 2010 | YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B. Ukachukwu Ndukwu, A. K. McIver |