| 2010 | Towards a Connector Algebra. | Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli |
| 2010 | Towards Dynamic Adaptation of Probabilistic Systems. | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
| 2010 | Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. | Yamine At Ameur, Frdric Boniol, Dominique Mry, Virginie Wiels |
| 2010 | Analyzing the Security in the GSM Radio Network Using Attack Jungles. | Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati |
| 2010 | Inference and Abstraction of the Biometric Passport. | Fides Aarts, Julien Schmaltz, Frits W. Vaandrager |
| 2008 | A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. | Jianhua Zhao, Linzhang Wang, Xuandong Li |
| 2008 | Program Verification by Reduction to Semi-algebraic Systems Solving. | Bican Xia, Lu Yang, Naijun Zhan |
| 2008 | Contexts and Context Awareness in View of the Diagram Predicate Framework. | Uwe Wolter, Zinovy Diskin |
| 2008 | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2008 | Measurement-Based Timing Analysis. | Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner |
| 2008 | A Simulation Approach for Performance Validation during Embedded Systems Design. | Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs |
| 2008 | Organizing the World's Machine Learning Information. | Joaquin Vanschoren, Hendrik Blockeel, Bernhard Pfahringer, Geoffrey Holmes |
| 2008 | Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. | Jun Sun, Yang Liu, Jin Song Dong |
| 2008 | The ASK System and the Challenge of Distributed Knowledge Discovery. | Andries Stam |
| 2008 | Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project. | Rodrigo O. Spnola, Felipe C. R. Pinto, Guilherme Horta Travassos |
| 2008 | Formal Use of Design Patterns and Refactoring. | Long Quan, Zongyan Qiu, Zhiming Liu |
| 2008 | Tailoring and Optimising Software for Automotive Multicore Systems. | Torsten Polle, Michael Uelschen |
| 2008 | Non-functional Avionics Requirements. | Michael Paulitsch, Harald Rue, Maria Sorea |
| 2008 | On the Risk Management and Auditing of SOA Based Business Processes. | Bart Orrins, Willem-Jan van den Heuvel, Mike P. Papazoglou |
| 2008 | Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. | Robert Mittermayr, Johann Blieberger |
| 2008 | Computing Must and May Alias to Detect Null Pointer Dereference. | Xiaodong Ma, Ji Wang, Wei Dong |
| 2008 | Agile IT: Thinking in User-Centric Models. | Tiziana Margaria, Bernhard Steffen |
| 2008 | A Component-Based Access Control Monitor. | Zhiming Liu, Charles Morisset, Volker Stolz |
| 2008 | Navigating the Requirements Jungle. | Boris Langer, Michael Tautschnig |
| 2008 | An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems, . | Eva Khn, Richard Mordinyi, Christian Schreiber |