| 2010 | Compiler-Support for Robust Multi-core Computing. | Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz |
| 2010 | Workflow Composition and Enactment Using jORCA. | Tor Johan Mikael Karlsson, Victoria Martin-Requena, Javier Ros, Oswaldo Trelles |
| 2010 | Self-adaptation and Evolution by Learning - Description of EternalS Task Force 3. | Richard Johansson |
| 2010 | Assurance Cases in Model-Driven Development of the Pacemaker Software. | Eunkyoung Jee, Insup Lee, Oleg Sokolsky |
| 2010 | New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective. | Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith |
| 2010 | 3DLife: Bringing the Media Internet to Life. | Ebroul Izquierdo, Tomas Piatrik, Qianni Zhang |
| 2010 | A Theory of Mediators for Eternal Connectors. | Paola Inverardi, Valrie Issarny, Romina Spalazzese |
| 2010 | Verification of Printer Datapaths Using Timed Automata. | Georgeta Igna, Frits W. Vaandrager |
| 2010 | Arguing for Software Quality in an IEC 62304 Compliant Development Process. | Michaela Huhn, Axel Zechner |
| 2010 | From ZULU to RERS - Lessons Learned in the ZULU Challenge. | Falk Howar, Bernhard Steffen, Maik Merten |
| 2010 | On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. | Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel |
| 2010 | Timely Time Estimates. | Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig |
| 2010 | Quantitative Verification in Practice. | Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen |
| 2010 | Task Forces in the EternalS Coordination Action. | Reiner Hhnle |
| 2010 | HATS: Highly Adaptable and Trustworthy Software Using Formal Methods. | Reiner Hhnle |
| 2010 | Modeling and Managing System Evolution - Description of EternalS Task Force 2. | Michael Hafner |
| 2010 | Seamless Model-Driven Development Put into Practice. | Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs |
| 2010 | A Distributed Dynamics for WebGraph Decontamination. | Vanessa C. F. Gonalves, Priscila M. V. Lima, Nelson Maculan, Felipe M. G. Frana |
| 2010 | Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. | Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe A. S. Ferri, Julio Buzzi |
| 2010 | Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. | Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2010 | Dependability Analysis and Verification for Connected Systems. | Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu |
| 2010 | Design Choices for High-Confidence Distributed Real-Time Software. | Sebastian Fischmeister, Akramul Azim |
| 2010 | On the 2-Categorical View of Proofs. | Ccilia Englander, Edward Hermann Haeusler |
| 2010 | WOMM: A Weak Operational Memory Model. | Arnab De, Abhik Roychoudhury, Deepak D'Souza |
| 2010 | Workflows for Metabolic Flux Analysis: Data Integration and Human Interaction. | Tolga Dalman, Peter Droste, Michael Weitzel, Wolfgang Wiechert, Katharina Nh |