| 2011 | Widening with Thresholds for Programs with Complex Control Graphs. | Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault |
| 2011 | Multi-core Nested Depth-First Search. | Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs |
| 2011 | Automated Analysis of Industrial Embedded Software. | Moonzoo Kim, Yunho Kim |
| 2011 | The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. | Gal Katz, Doron A. Peled, Sven Schewe |
| 2011 | Symbolic Verification and Test Generation for a Network of Communicating FSMs. | Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao |
| 2011 | Hierarchical Counterexamples for Discrete-Time Markov Chains. | Nils Jansen, Erika brahm, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
| 2011 | Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. | Luks Holk, Ondrej Lengl, Jir Simcek, Toms Vojnar |
| 2011 | Synthesizing, Verifying, and Debugging SoC with FSM-Based Specification of On-Chip Communication Protocols. | Masahiro Fujita |
| 2011 | Model Checking EGF on Basic Parallel Processes. | Hongfei Fu |
| 2011 | Learning-Based Compositional Verification for Synchronous Probabilistic Systems. | Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker |
| 2011 | Parallel Nested Depth-First Searches for LTL Model Checking. | Sami Evangelista, Laure Petrucci, Samir Youcef |
| 2011 | An Algorithmic Framework for Synthesis of Concurrent Programs. | E. Allen Emerson, Roopsha Samanta |
| 2011 | Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. | Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg |
| 2011 | Assembling Sessions. | Philippe Darondeau, Loc Hlout, Madhavan Mukund |
| 2011 | Discretizing Affine Hybrid Automata with Uncertainty. | Thao Dang, Thomas Martin Gawlitza |
| 2011 | Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. | Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Httel |
| 2011 | Statistical Model Checking for Cyber-Physical Systems. | Edmund M. Clarke, Paolo Zuliani |
| 2011 | Algorithms for Synthesizing Priorities in Component-Based Systems. | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll |
| 2011 | A Succinct Canonical Register Automaton Model. | Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen |
| 2011 | Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. | Miguel Carrillo, David A. Rosenblueth |
| 2011 | Antichain-Based QBF Solving. | Thomas Brihaye, Vronique Bruyre, Laurent Doyen, Marc Ducobu, Jean-Franois Raskin |
| 2011 | Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. | Patricia Bouyer, Nicolas Markey, Jrg Olschewski, Michael Ummels |
| 2011 | An Alternative Definition for Timed Automata Composition. | Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali |
| 2011 | Parametric Modal Transition Systems. | Nikola Benes, Jan Kretnsk, Kim G. Larsen, Mikael H. Mller, Jir Srba |
| 2011 | Modal Transition Systems: Composition and LTL Model Checking. | Nikola Benes, Ivana Cern, Jan Kretnsk |