| 2010 | VESBA: a middleware oriented architecture for virtualized embedded systems. | Artur Schiefer, Volker Gruhn, Ruslan Hrushchak |
| 2010 | Redefinable events for dynamic reconfiguration of communications in ubiquitous computing. | Carlos Rodrguez-Domnguez, Kawtar Benghazi, Manuel Noguera, Jos Luis Garrido |
| 2010 | Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP). | Ludovic Pitre-Cambacds, Marc Bouissou |
| 2010 | Online Monitoring of Software System Reliability. | Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi |
| 2010 | Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency. | Sara Tucci Piergiovanni, Roberto Baldoni |
| 2010 | Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC. | Jon Prez, Mikel Azkarate-askasua, Antonio Perez |
| 2010 | Requirement traceability in safety critical systems. | Marie-Agns Peraldi-Frati, Arnaud Albinet |
| 2010 | Scalability Evaluation of the Replication Support of JOnAS, an Industrial J2EE Application Server. | Alberto Paz, Francisco Perez-Sorrosal, Marta Patio-Martnez, Ricardo Jimnez-Peris |
| 2010 | Automatic allocation of safety integrity levels. | Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber, De-Jiu Chen, Martin Trngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lnn, L. Berntsson, Rolf Johansson, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg |
| 2010 | Unambiguous semantics in automotive timing modeling. | Johan Nordlander, Rolf Johansson, Risat Mahmud Pathan |
| 2010 | Emulation of Transient Software Faults for Dependability Assessment: A Case Study. | Roberto Natella, Domenico Cotroneo |
| 2010 | A Membership Service for a Distributed, Embedded System Based on a Time-Triggered FlexRay Network. | Martin Mitzlaff, Michael Lang, Rdiger Kapitza, Wolfgang Schrder-Preikschat |
| 2010 | Enabling mode changes in a distributed automotive system. | Martin Mitzlaff, Rdiger Kapitza, Wolfgang Schrder-Preikschat |
| 2010 | Evaluating and Comparing the Impact of Software Faults on Web Servers. | Naaliel Mendes, Joo Dures, Henrique Madeira |
| 2010 | Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. | Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico |
| 2010 | Towards Understanding the Importance of Variables in Dependable Software. | Matthew Leeke, Arshad Jhumka |
| 2010 | Finding Error Handling Bugs in OpenSSL Using Coccinelle. | Julia Lawall, Ben Laurie, Ren Rydhof Hansen, Nicolas Palix, Gilles Muller |
| 2010 | Enforcing trust in control automotive platforms. | Christophe Jouvray, Grgoire Chartier, Nicolas Franois, Ismael Ripoll, Miguel Masmano, Alfons Crespo |
| 2010 | A road-map for enabling system analysis of AUTOSAR-based systems. | Rolf Johansson, Stefan Bunzel, Marc Graniou, Henrik Lnn, Hkan Sivencrona, Friedhelm Stappert |
| 2010 | Use of formal methods for building qualified code generator for safer automotive systems. | Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux |
| 2010 | Narrowing Down Possible Causes of Performance Anomaly in Web Applications. | Satoshi Iwata, Kenji Kono |
| 2010 | Adapting and evaluating distributed real-time and embedded systems in dynamic environments. | Joe Hoffert, Douglas C. Schmidt, Aniruddha Gokhale |
| 2010 | Towards verification-based development of in-vehicle safety critical software: a case study. | Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien |
| 2010 | Assessing the Impact of Imperfect Diagnosis on Service Reliability: A Parsimonious Model Approach. | Jesper Grnbk, Hans-Peter Schwefel, Jens Kristian Kjaergard, Thomas Skjdeberg Toftegaard |
| 2010 | Software Process Synthesis in Assurance Based Development of Dependable Systems. | Patrick J. Graydon, John C. Knight |