| 2014 | Querying Safety Cases. | Ewen Denney, Dwight Naylor, Ganesh J. Pai |
| 2014 | Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. | Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano |
| 2014 | Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System. | Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi |
| 2014 | Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks. | Francesco Buccafurri, Luigi Coppolino, Salvatore D'Antonio, Alessia Garofalo, Gianluca Lax, Antonino Nocera, Luigi Romano |
| 2014 | Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14). | Francesco Brancati, Nuno Laranjeiro, bel Hegeds |
| 2014 | Sensor- and Environment Dependent Performance Adaptation for Maintaining Safety Requirements. | Tino Brade, Georg Jger, Sebastian Zug, Jrg Kaiser |
| 2014 | Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014). | Silvia Bonomi, Ilaria Matteucci |
| 2014 | Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. | Peter G. Bishop, Lorenzo Strigini |
| 2014 | From Safety Models to Security Models: Preliminary Lessons Learnt. | Pierre Bieber, Julien Brunel |
| 2014 | Driving with Confidence: Local Dynamic Maps That Provide LoS for the Gulliver Test-Bed. | Christian Berger, Oscar Morales-Ponce, Thomas Petig, Elad Michael Schiller |
| 2014 | Systematic Derivation of Functional Safety Requirements for Automotive Systems. | Kristian Beckers, Isabelle Ct, Thomas Frese, Denis Hatebur, Maritta Heisel |
| 2014 | An Interoperable Testing Environment for ERTMS/ETCS Control Systems. | Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini |
| 2014 | Towards a Non-intrusive Recognition of Anomalous System Behavior in Data Centers. | Roberto Baldoni, Adriano Cerocchi, Claudio Ciccotelli, Alessandro Donno, Federico Lombardi, Luca Montanari |
| 2014 | A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems. | Iban Ayestaran, Carlos Fernando Nicols, Jon Prez, Asier Larrucea, Peter P. Puschner |
| 2014 | Critical Systems Verification in MetaMORP(h)OSY. | Rocco Aversa, Beniamino Di Martino, Francesco Moscato |
| 2014 | Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. | Thomas Arts, Michele Dorigatti, Stefano Tonetta |
| 2014 | Does Visualization Speed Up the Safety Analysis Process? | Ragaad AlTarawneh, Max Steiner, Davide Taibi, Shah Rukh Humayoun, Peter Liggesmeyer |
| 2014 | Comparing Adaptive TDMA against a Clock Synchronization Approach. | Lus Almeida, Frederico Santos, Luis Oliveira |
| 2014 | Debugging with Timed Automata Mutations. | Bernhard K. Aichernig, Klaus Hrmaier, Florian Lorber |
| 2014 | A Software Safety Verification Method Based on System-Theoretic Process Analysis. | Asim Abdulkhaleq, Stefan Wagner |
| 2013 | Structuring Safety Requirements in ISO 26262 Using Contract Theory. | Jonas Westman, Mattias Nyberg, Martin Trngren |
| 2013 | A Reference Example on the Specification of Safety Requirements using ISO 26262. | Jonas Westman, Mattias Nyberg |
| 2013 | Reliability Analysis of Consensus in Cooperative Transport Systems. | Emlia Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2013 | ARRL: A Criterion for Composable Safety and Systems Engineering. | Eric Verhulst, Jos Luis de la Vara, Bernhard H. C. Sputh, Vincenzo De Florio |
| 2013 | Towards Lightweight Logging and Replay of Embedded, Distributed Systems. | Salvatore Tomaselli, Olaf Landsiedel |