| 2010 | A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. | Guy Edward Gallasch, Jonathan Billington |
| 2010 | What's Decidable about Sequences? | Carlo A. Furia |
| 2010 | Compositional Algorithms for LTL Synthesis. | Emmanuel Filiot, Naiyong Jin, Jean-Franois Raskin |
| 2010 | CRI: Symbolic Debugger for MCAPI Applications. | Mohamed Elwakil, Zijiang Yang, Liqiang Wang |
| 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 | On Scenario Synchronization. | Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla |
| 2010 | GAVS: Game Arena Visualization and Synthesis. | Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois C. Knoll |
| 2010 | Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. | Krishnendu Chatterjee, Thomas A. Henzinger |
| 2010 | The Complexity of Codiagnosability for Discrete Event and Timed Systems. | Franck Cassez |
| 2010 | Composing Reachability Analyses of Hybrid Systems for Safety and Stability. | Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski |
| 2010 | Methods for Knowledge Based Controlling of Distributed Systems. | Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | Using Redundant Constraints for Refinement. | Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier |
| 2010 | Model-Checking Web Applications with Web-TLR. | Mara Alpuente, Demis Ballis, Javier Espert, Daniel Romero |
| 2010 | Promptness in | Shaull Almagor, Yoram Hirshfeld, Orna Kupferman |
| 2009 | Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. | Yang Zhao, Gianfranco Ciardo |
| 2009 | Local Search in Model Checking. | A. W. Roscoe, Philip J. Armstrong, Pragyesh |
| 2009 | Formal Verification for High-Assurance Behavioral Synthesis. | Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang |
| 2009 | Statistical Model Checking Using Perfect Simulation. | Diana El Rabih, Nihal Pekergin |
| 2009 | State Space Reduction of Linear Processes Using Control Flow Reconstruction. | Jaco van de Pol, Mark Timmer |
| 2009 | A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. | Jens Oehlerking, Oliver E. Theel |
| 2009 | A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. | Yael Meller, Orna Grumberg, Sharon Shoham |
| 2009 | UnitCheck: Unit Testing and Model Checking Combined. | Michal Kebrt, Ondrej Sery |
| 2009 | On Minimal Odd Rankings for Bchi Complementation. | Hrishikesh Karmarkar, Supratik Chakraborty |
| 2009 | LTL Model Checking for Recursive Programs. | Geng-Dian Huang, Lin-Zan Cai, Farn Wang |
| 2009 | On Detecting Regular Predicates in Distributed Systems. | Hongtao Huang |