| 2008 | A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells |
| 2008 | A New Approach for the Construction of Multiway Decision Graphs. Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song |
| 2008 | A Theory of Bounded Fair Scheduling. Jens Schönborn, Marcel Kyas |
| 2008 | A Theory of Pointers for the UTP. Will Harwood, Ana Cavalcanti, Jim Woodcock |
| 2008 | A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. Jan Peleska |
| 2008 | An Observational Model for Transactional Calculus of Services Orchestration. Jing Li, Huibiao Zhu, Jifeng He |
| 2008 | Automatic Generation of CSP || B Skeletons from xUML Models. Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans |
| 2008 | Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
| 2008 | Bounded Model Checking for Partial Kripke Structures. Heike Wehrheim |
| 2008 | Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. Masaki Murakami |
| 2008 | Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura |
| 2008 | Everything Is PSPACE-Complete in Interaction Systems. Mila E. Majster-Cederbaum, Christoph Minnameier |
| 2008 | Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks. Areej Zuhily, Alan Burns |
| 2008 | Fair Exchange Is Incomparable to Consensus. Simona Orzan, Muhammad Torabi Dashti |
| 2008 | Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. Vahid Rafe, Adel Torkaman Rahmani |
| 2008 | Guided Test Generation from CSP Models. Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota |
| 2008 | Inclusion Test Algorithms for One-Unambiguous Regular Expressions. Haiming Chen, Lei Chen |
| 2008 | Instantiation for Parameterised Boolean Equation Systems. Alexander van Dam, Bas Ploeger, Tim A. C. Willemse |
| 2008 | Monotonic Abstraction in Action. Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2008 | Non-interleaving Semantics with Causality for Nondeterministic Dataflow. Oana Agrigoroaiei, Gabriel Ciobanu |
| 2008 | Recasting Constraint Automata into Büchi Automata. Mohammad Izadi, Marcello M. Bonsangue |
| 2008 | Refinement of Kripke Models for Dynamics. Francien Dechesne, Simona Orzan, Yanjing Wang |
| 2008 | Relaxing Goodness Is Still Good. Gordon J. Pace, Gerardo Schneider |
| 2008 | Symbolic Reachability for Process Algebras with Recursive Data Types. Stefan Blom, Jaco van de Pol |
| 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 | Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings John S. Fitzgerald, Anne E. Haxthausen, Hüsnü Yenigün |
| 2008 | Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. Carlo A. Furia, Paola Spoletini |
| 2008 | Towards Efficient Verification of Systems with Dynamic Process Creation. Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau |
| 2008 | Using Design Patterns in Formal Methods: An Event-B Approach. Jean-Raymond Abrial, Thai Son Hoang |
| 2008 | Verification of Linear Duration Invariants by Model Checking CTL Properties. Miaomiao Zhang, Dang Van Hung, Zhiming Liu |