| 2011 | Vector Addition System Reversible Reachability Problem. | Jrme Leroux |
| 2011 | Semantic Analysis of Gossip Protocols for Wireless Sensor Networks. | Ruggero Lanotte, Massimo Merro |
| 2011 | Controlling Reversibility in Higher-Order Pi. | Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2011 | Weak Kripke Structures and LTL. | Lars Kuhtz, Bernd Finkbeiner |
| 2011 | Reasoning about Threads with Bounded Lock Chains. | Vineet Kahlon |
| 2011 | Typed ψ-calculi. | Hans Httel |
| 2011 | On Locality and the Exchange Law for Concurrent Processes. | C. A. R. Hoare, Akbar Hussain, Bernhard Mller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth |
| 2011 | Coarse Abstractions Make Zeno Behaviours Difficult to Detect. | Frdric Herbreteau, B. Srivathsan |
| 2011 | The Decidability of the Reachability Problem for CCS! | Chaodong He |
| 2011 | Granularity and Concurrent Separation Logic. | Jonathan Hayman |
| 2011 | Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems. | Stefan Gller, Anthony Widjaja Lin |
| 2011 | On Causal Semantics of Petri Nets. | Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke |
| 2011 | Generalized Universality. | Eli Gafni, Rachid Guerraoui |
| 2011 | Dynamic Reactive Modules. | Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi |
| 2011 | Full Abstraction in a Subtyped pi-Calculus with Linear Types. | Romain Demangeon, Kohei Honda |
| 2011 | Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes. | Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota |
| 2011 | A Spectrum of Behavioral Relations over LTSs on Probability Distributions. | Silvia Crafa, Francesco Ranzato |
| 2011 | Tractable Reasoning in a Fragment of Separation Logic. | Byron Cook, Christoph Haase, Jol Ouaknine, Matthew J. Parkinson, James Worrell |
| 2011 | A Connector Algebra for P/T Nets Interactions. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2011 | Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. | Toms Brzdil, Jan Krcl, Jan Kretnsk, Vojtech Rehk |
| 2011 | Timed Automata Can Always Be Made Implementable. | Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane |
| 2011 | An Automaton over Data Words That Captures EMSO Logic. | Benedikt Bollig |
| 2011 | Two Variable vs. Linear Temporal Logic in Model Checking and Games. | Michael Benedikt, Rastislav Lenhardt, James Worrell |
| 2011 | A Compositional Framework for Controller Synthesis. | Christel Baier, Joachim Klein, Sascha Klppelholz |
| 2011 | Advanced Ramsey-Based Bchi Automata Inclusion Testing. | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Luks Holk, Chih-Duo Hong, Richard Mayr, Toms Vojnar |