| 2008 | Optimizing Automatic Deployment Using Non-functional Requirement Annotations. | Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs |
| 2008 | Computer-Supported Collaborative Learning with Mind-Maps. | Dmitrij V. Koznov, Michel Pliskin |
| 2008 | Automated Formal Testing of C API Using T2C Framework. | Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin |
| 2008 | Timing Validation of Automotive Software. | Daniel Kstner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand |
| 2008 | SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. | Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt |
| 2008 | ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. | Naiyong Jin, Huibiao Zhu |
| 2008 | The jABC Approach to Rigorous Collaborative Development of SCM Applications. | Martina Hrmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh |
| 2008 | Encouraging the Uptake of Formal Methods Training in an Industrial Context. | Michael G. Hinchey |
| 2008 | Modelling Coordination and Compensation. | Jifeng He |
| 2008 | Composition of Web Services Using Wrappers. | Ali Nasrat Haidar, Ali E. Abdallah |
| 2008 | Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. | Ali Nasrat Haidar, Ali E. Abdallah |
| 2008 | Requirements for Ontology Based Design Project Assessment. | Axel Hahn, Stephan groe Austing, Stefan Husler, Matthias Reinelt |
| 2008 | ALL-TIMES - A European Project on Integrating Timing Technology. | Jan Gustafsson, Bjrn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat |
| 2008 | Debugging Statecharts Via Model-Code Traceability. | Liang Guo, Abhik Roychoudhury |
| 2008 | A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. | Paolo Greci, Fabio Martinelli, Ilaria Matteucci |
| 2008 | Weaving a Formal Methods Education with Problem-Based Learning. | J. Paul Gibson |
| 2008 | Information System Engineering Supporting Observation, Orientation, Decision, and Compliant Action. | Dimitrios Georgakopoulos |
| 2008 | Experiences with Evolutionary Timing Test of Automotive Software Components. | Florian Franz |
| 2008 | High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. | Roozbeh Farahbod, Uwe Glsser, Piper J. Jackson, Mona Vajihollahi |
| 2008 | A Scenario Implementation in Rfor SubtypeDiscoveryExamplified on Chemoinformatics Data. | Fabrice Colas, Ingrid Meulenbelt, Jeanine J. Houwing-Duistermaat, Margreet Kloppenburg, Iain Watt, Stephanie M. van Rooden, Martine Visser, Johan Marinus, Edward O. Cannon, Andreas Bender, Jacobus J. van Hilten, P. Eline Slagboom, Joost N. Kok |
| 2008 | Gesper: Support to Capitalize on Experience in a Network of SMEs. | Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio |
| 2008 | A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. | Isabel Cafezeiro, Jos Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler |
| 2008 | On the Design of Knowledge Discovery Services Design Patterns and Their Application in a Use Case Implementation. | Jeroen S. de Bruin, Joost N. Kok, Nada Lavrac, Igor Trajkovski |
| 2008 | Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). | Manfred Broy |
| 2008 | Optimizing the System Observability Level for Diagnosability. | Laura Brandn Briones, Alexander Lazovik, Philippe Dague |