| 2008 | A Component-Based Access Control Monitor. Zhiming Liu, Charles Morisset, Volker Stolz |
| 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 | A Framework for Analyzing and Testing the Performance of Software Services. Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli |
| 2008 | A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. Paolo Greci, Fabio Martinelli, Ilaria Matteucci |
| 2008 | A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. Jianhua Zhao, Linzhang Wang, Xuandong Li |
| 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 | A Simulation Approach for Performance Validation during Embedded Systems Design. Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs |
| 2008 | A Use-Case Driven Approach to Formal Service-Oriented Modelling. Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes |
| 2008 | ALL-TIMES - A European Project on Integrating Timing Technology. Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat |
| 2008 | ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. Naiyong Jin, Huibiao Zhu |
| 2008 | Agile IT: Thinking in User-Centric Models. Tiziana Margaria, Bernhard Steffen |
| 2008 | An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems, . Eva Kühn, Richard Mordinyi, Christian Schreiber |
| 2008 | Animating Event B Models by Formal Data Models. Idir Aït-Sadoune, Yamine Aït Ameur |
| 2008 | Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). Manfred Broy |
| 2008 | Automated Formal Testing of C API Using T2C Framework. Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin |
| 2008 | Composition of Web Services Using Wrappers. Ali Nasrat Haidar, Ali E. Abdallah |
| 2008 | Computer-Supported Collaborative Learning with Mind-Maps. Dmitrij V. Koznov, Michel Pliskin |
| 2008 | Computing Must and May Alias to Detect Null Pointer Dereference. Xiaodong Ma, Ji Wang, Wei Dong |
| 2008 | Contexts and Context Awareness in View of the Diagram Predicate Framework. Uwe Wolter, Zinovy Diskin |
| 2008 | Debugging Statecharts Via Model-Code Traceability. Liang Guo, Abhik Roychoudhury |
| 2008 | Directed Generation of Test Data for Static Semantics Checker. M. V. Arkhipova, Sergey V. Zelenov |
| 2008 | Encouraging the Uptake of Formal Methods Training in an Industrial Context. Michael G. Hinchey |
| 2008 | Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. J. Christian Attiogbé |
| 2008 | Experiences with Evolutionary Timing Test of Automotive Software Components. Florian Franz |
| 2008 | Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski |
| 2008 | Formal Use of Design Patterns and Refactoring. Long Quan, Zongyan Qiu, Zhiming Liu |
| 2008 | Gesper: Support to Capitalize on Experience in a Network of SMEs. Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio |
| 2008 | High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi |
| 2008 | High Service Availability in MaTRICS for the OCS. Markus Bajohr, Tiziana Margaria |
| 2008 | Information System Engineering Supporting Observation, Orientation, Decision, and Compliant Action. Dimitrios Georgakopoulos |
| 2008 | Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings Tiziana Margaria, Bernhard Steffen |
| 2008 | Measurement-Based Timing Analysis. Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner |
| 2008 | Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. Jun Sun, Yang Liu, Jin Song Dong |
| 2008 | Modelling Coordination and Compensation. Jifeng He |
| 2008 | Navigating the Requirements Jungle. Boris Langer, Michael Tautschnig |
| 2008 | Non-functional Avionics Requirements. Michael Paulitsch, Harald Rueß, Maria Sorea |
| 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 | On the Risk Management and Auditing of SOA Based Business Processes. Bart Orriëns, Willem-Jan van den Heuvel, Mike P. Papazoglou |
| 2008 | Optimizing Automatic Deployment Using Non-functional Requirement Annotations. Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs |
| 2008 | Optimizing the System Observability Level for Diagnosability. Laura Brandán Briones, Alexander Lazovik, Philippe Dague |
| 2008 | Organizing the World's Machine Learning Information. Joaquin Vanschoren, Hendrik Blockeel, Bernhard Pfahringer, Geoffrey Holmes |
| 2008 | Program Verification by Reduction to Semi-algebraic Systems Solving. Bican Xia, Lu Yang, Naijun Zhan |
| 2008 | Requirements for Ontology Based Design Project Assessment. Axel Hahn, Stephan große Austing, Stefan Häusler, Matthias Reinelt |
| 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 | Safety and Response-Time Analysis of an Automotive Accident Assistance Service. Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone |
| 2008 | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró |
| 2008 | Simple Gedanken Experiments in Leveraging Applications of Formal Methods. Raymond T. Boute |
| 2008 | Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules. Ellen Francine Barbosa, José Carlos Maldonado |
| 2008 | Squeeze All the Power Out of Your Hardware to Verify Your Software!. Jiri Barnat, Lubos Brim |
| 2008 | Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. Robert Mittermayr, Johann Blieberger |
| 2008 | Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project. Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme Horta Travassos |
| 2008 | Tailoring and Optimising Software for Automotive Multicore Systems. Torsten Polle, Michael Uelschen |
| 2008 | The ASK System and the Challenge of Distributed Knowledge Discovery. Andries Stam |
| 2008 | The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration Systems. Patricia Seefelder de Assis, Daniel Schwabe |
| 2008 | The Use of Formal Ontology to Specify Context in Ubiquitous Computing. Karin Koogan Breitman, Michael G. Hinchey |
| 2008 | The jABC Approach to Rigorous Collaborative Development of SCM Applications. Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh |
| 2008 | Timing Validation of Automotive Software. Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand |
| 2008 | Towards Using Reo for Compliance-Aware Business Process Modeling. Farhad Arbab, Natallia Kokash, Sun Meng |
| 2008 | Trusted Theorem Proving: A Case Study in SLD-Resolution. Konstantine Arkoudas, Olin Shivers |
| 2008 | Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. Ali Nasrat Haidar, Ali E. Abdallah |
| 2008 | Weaving a Formal Methods Education with Problem-Based Learning. J. Paul Gibson |
| 2008 | Workflow Testing. Ruth Breu, Alexander Lechner, Mathias Willburger, Basel Katt |