| 2012 | International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead. | Craig Gibson, Matteo Melideo, Luigi Romano, Salvatore D'Antonio |
| 2012 | Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. | Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari |
| 2012 | Introduction to DESEC4LCCI 2012. | Christian Esposito, Marco Platania, Francesco Brancati |
| 2012 | Quantification of Priority-OR Gates in Temporal Fault Trees. | Ernest Edifor, Martin Walker, Neil A. Gordon |
| 2012 | WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms. | Roeland Dillen, Jonas Buys, Vincenzo De Florio, Chris Blondia |
| 2012 | Towards Artificial Perception. | Andr Dietrich, Sebastian Zug, Jrg Kaiser |
| 2012 | AdvoCATE: An Assurance Case Automation Toolset. | Ewen Denney, Ganesh Pai, Josef Pohl |
| 2012 | A Lightweight Methodology for Safety Case Assembly. | Ewen Denney, Ganesh Pai |
| 2012 | On Securing Communications among Federated Health Information Systems. | Mario Ciampi, Giuseppe De Pietro, Christian Esposito, Mario Sicuranza, Paolo Mori, Abraham Gebrehiwot, Paolo Donzelli |
| 2012 | Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics. | Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro |
| 2012 | Introduction to ASCoMS 2012. | Antnio Casimiro, Jrg Kaiser |
| 2012 | Risk Assessment for Airworthiness Security. | Silvia Gil Casals, Philippe Owezarski, Gilles Descargues |
| 2012 | Formal Verification of a Safety Argumentation and Application to a Complex UAV System. | Julien Brunel, Jacques Cazin |
| 2012 | Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems. | Rosana T. Vaccare Braga, Onofre Trindade Jnior, Kalinka Regina Lucas Jaquie Castelo Branco, Luciano de Oliveira Neris, Jaejoon Lee |
| 2012 | Towards an IT Security Protection Profile for Safety-Related Communication in Railway Automation. | Hans-Hermann Bock, Jens Braband, Birgit Milius, Hendrik Schbe |
| 2012 | How Secure Is ERTMS? | Richard Bloomfield, Robin E. Bloomfield, Ilir Gashi, Robert J. Stroud |
| 2012 | An Ontological Approach to Systematization of SW-FMEA. | Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario |
| 2012 | From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering. | Christian Berger |
| 2012 | A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context. | Carl Bergenhem, Rolf Johansson, Henrik Lnn |
| 2012 | A Model Based Approach for Safety Analysis. | Fabien Belmonte, Elie Soubiran |
| 2012 | Online Black-Box Failure Prediction for Mission Critical Distributed Systems. | Roberto Baldoni, Giorgia Lodi, Luca Montanari, Guido Mariotta, Marco Rizzuto |
| 2012 | A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. | Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky |
| 2012 | Qualifying Software Tools, a Systems Approach. | Fredrik Asplund, Jad El-khoury, Martin Trngren |
| 2012 | Towards the Automated Qualification of Tool Chain Design. | Fredrik Asplund, Matthias Biehl, Frdric Loiret |
| 2011 | FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment. | Saman A. Zonouz, Kaustubh R. Joshi, William H. Sanders |