| 2011 | Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. | Giuseppe Bonifacio, Pietro Marmo, Antonio Orazzo, Ida Petrone, Luigi Velardi, Alessio Venticinque |
| 2011 | Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. | Richard Bonichon, Graud Canet, Loc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sbastien Labb, Samuel Mimram |
| 2011 | Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach. | Jean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer, Odile Laurent, Joseph Machrouh, Thomas Peikenkamp, Cecile Schindler, Tormod Wien |
| 2011 | DALculus - Theory and Tool for Development Assurance Level Allocation. | Pierre Bieber, Remi Delmas, Christel Seguin |
| 2011 | Model-Driven Availability Evaluation of Railway Control Systems. | Simona Bernardi, Francesco Flammini, Stefano Marrone, Jos Merseguer, Camilla Papa, Valeria Vittorini |
| 2011 | Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. | Ismail Assayad, Alain Girault, Hamoudi Kalla |
| 2011 | A Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks. | Leonardo Aniello, Giuseppe Antonio Di Luna, Giorgia Lodi, Roberto Baldoni |
| 2011 | A Fault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip Multiprocessors. | Hananeh Aliee, Hamid R. Zarandi |
| 2010 | Experiences in Applying Formal Verification in Robotics. | Dennis Walter, Holger Tubig, Christoph Lth |
| 2010 | Benchmarking Software Requirements Documentation for Space Application. | Paulo C. Vras, Emlia Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira |
| 2010 | QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams. | Roberta Terruggia, Andrea Bobbio |
| 2010 | MODIFI: A MODel-Implemented Fault Injection Tool. | Rickard Svenningsson, Jonny Vinter, Henrik Eriksson, Martin Trngren |
| 2010 | Reliability Analysis of Safety-Related Communication Architectures. | Oliver Schulz, Jan Peleska |
| 2010 | Residual Error Probability of Embedded CRC by Stochastic Automata. | Frank Schiller, Tina Mattes |
| 2010 | ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software. | Ute Schiffel, Andr Schmitt, Martin Skraut, Christof Fetzer |
| 2010 | Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. | Anders Sandberg, De-Jiu Chen, Henrik Lnn, Rolf Johansson, Lei Feng, Martin Trngren, Sandra Torchiaro, Ramin Tavakoli Kolagari, Andreas Abele |
| 2010 | A Metric for Measuring the Strength of Inter-dependencies. | Silvia Ruzzante, Elisa Castorini, Elena Marchei, Vincenzo Fioriti |
| 2010 | Assurance of Automotive Safety - A Safety Case Approach. | Robert Palin, Ibrahim Habli |
| 2010 | The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs. | Thomas Novak, Christoph Stoegerer |
| 2010 | Evolving a Safe System Design Iteratively. | Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe A. S. Ferri, Edson H. Watanabe |
| 2010 | Process Control Security: Go Dutch! (United, Shared, Lean and Mean). | Eric A. M. Luiijf |
| 2010 | Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain. | Jussi Lahtinen, Mika Johansson, Jukka Ranta, Hannu Harju, Risto Nevalainen |
| 2010 | System of Systems Challenges. | Hermann Kopetz |
| 2010 | 100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. | Daniel Kstner, Reinhold Heckmann, Christian Ferdinand |
| 2010 | Integrating System Modelling with Safety Activities. | Bernhard Kaiser, Vanessa C. Klaas, Stefan Schulz, Christian Herbst, Peter Lascych |