| 2011 | A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems. Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier |
| 2011 | A Lightweight Approach for Loop Summarization. Mohamed Nassim Seghir |
| 2011 | A Succinct Canonical Register Automaton Model. Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen |
| 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 | An Algorithmic Framework for Synthesis of Concurrent Programs. E. Allen Emerson, Roopsha Samanta |
| 2011 | An Alternative Definition for Timed Automata Composition. Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali |
| 2011 | An Efficient Algorithm for Learning Event-Recording Automata. Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu |
| 2011 | Antichain-Based QBF Solving. Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin |
| 2011 | Assembling Sessions. Philippe Darondeau, Loïc Hélouët, Madhavan Mukund |
| 2011 | Automated Analysis of Industrial Embedded Software. Moonzoo Kim, Yunho Kim |
| 2011 | Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings Tevfik Bultan, Pao-Ann Hsiung |
| 2011 | Discretizing Affine Hybrid Automata with Uncertainty. Thao Dang, Thomas Martin Gawlitza |
| 2011 | Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. Lukás Holík, Ondrej Lengál, Jirí Simácek, Tomás Vojnar |
| 2011 | Efficient Loop Navigation for Symbolic Execution. Jan Obdrzálek, Marek Trtík |
| 2011 | Evaluating LTL Satisfiability Solvers. Viktor Schuppan, Luthfi Darmawan |
| 2011 | Formal Analysis of Online Algorithms. Benjamin Aminof, Orna Kupferman, Robby Lampert |
| 2011 | Formalization of Finite-State Discrete-Time Markov Chains in HOL. Liya Liu, Osman Hasan, Sofiène Tahar |
| 2011 | Hierarchical Counterexamples for Discrete-Time Markov Chains. Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
| 2011 | Learning-Based Compositional Verification for Synchronous Probabilistic Systems. Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker |
| 2011 | Linear Hybrid System Falsification through Local Search. Houssam Abbas, Georgios Fainekos |
| 2011 | MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. Sebastian S. Bauer, Philip Mayer, Axel Legay |
| 2011 | Making Software Verification Tools Really Work. Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig |
| 2011 | Max and Sum Semantics for Alternating Weighted Automata. Shaull Almagor, Orna Kupferman |
| 2011 | McAiT - A Timing Analyzer for Multicore Real-Time Software. Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi |
| 2011 | Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels |
| 2011 | Modal Transition Systems: Composition and LTL Model Checking. Nikola Benes, Ivana Cerná, Jan Kretínský |
| 2011 | Model Checking EGF on Basic Parallel Processes. Hongfei Fu |
| 2011 | Multi-core Nested Depth-First Search. Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs |
| 2011 | Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. Miguel Carrillo, David A. Rosenblueth |
| 2011 | Parallel Nested Depth-First Searches for LTL Model Checking. Sami Evangelista, Laure Petrucci, Samir Youcef |
| 2011 | Parametric Modal Transition Systems. Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba |
| 2011 | Policy Iteration within Logico-Numerical Abstract Domains. Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault |
| 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 | Small Strategies for Safety Games. Daniel Neider |
| 2011 | Statistical Model Checking for Cyber-Physical Systems. Edmund M. Clarke, Paolo Zuliani |
| 2011 | Symbolic Verification and Test Generation for a Network of Communicating FSMs. Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao |
| 2011 | Synthesizing, Verifying, and Debugging SoC with FSM-Based Specification of On-Chip Communication Protocols. Masahiro Fujita |
| 2011 | The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. Gal Katz, Doron A. Peled, Sven Schewe |
| 2011 | Trust Metrics for the SPKI/SDSI Authorisation Framework. Dominik Wojtczak |
| 2011 | Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel |
| 2011 | What's Decidable about Weighted Automata? Shaull Almagor, Udi Boker, Orna Kupferman |
| 2011 | Widening with Thresholds for Programs with Complex Control Graphs. Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault |