| 2009 | Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. | Nikola Benes, Jan Kretnsk, Kim Guldstrand Larsen, Jir Srba |
| 2009 | A First-Order Policy Language for History-Based Transaction Monitoring. | Andreas Bauer, Rajeev Gor, Alwen Tiu |
| 2009 | Untitled record | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino |
| 2009 | IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. | tienne Andr |
| 2008 | Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks. | Areej Zuhily, Alan Burns |
| 2008 | Verification of Linear Duration Invariants by Model Checking CTL Properties. | Miaomiao Zhang, Dang Van Hung, Zhiming Liu |
| 2008 | Bounded Model Checking for Partial Kripke Structures. | Heike Wehrheim |
| 2008 | Automatic Generation of CSP || B Skeletons from xUML Models. | Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans |
| 2008 | A Theory of Bounded Fair Scheduling. | Jens Schnborn, Marcel Kyas |
| 2008 | Testing Concurrent Objects with Application-Specific Schedulers. | Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen |
| 2008 | The Three Platonic Models of Divergence-Strict CSP. | A. W. Roscoe |
| 2008 | Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. | Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura |
| 2008 | Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. | Vahid Rafe, Adel Torkaman Rahmani |
| 2008 | Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
| 2008 | A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. | Jan Peleska |
| 2008 | Relaxing Goodness Is Still Good. | Gordon J. Pace, Gerardo Schneider |
| 2008 | Fair Exchange Is Incomparable to Consensus. | Simona Orzan, Muhammad Torabi Dashti |
| 2008 | Guided Test Generation from CSP Models. | Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota |
| 2008 | Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. | Masaki Murakami |
| 2008 | A New Approach for the Construction of Multiway Decision Graphs. | Yassine Mokhtari, Sa'ed Abed, Otmane At Mohamed, Sofine Tahar, Xiaoyu Song |
| 2008 | Everything Is PSPACE-Complete in Interaction Systems. | Mila E. Majster-Cederbaum, Christoph Minnameier |
| 2008 | An Observational Model for Transactional Calculus of Services Orchestration. | Jing Li, Huibiao Zhu, Jifeng He |
| 2008 | Towards Efficient Verification of Systems with Dynamic Process Creation. | Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau |
| 2008 | A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. | Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells |
| 2008 | Recasting Constraint Automata into Bchi Automata. | Mohammad Izadi, Marcello M. Bonsangue |