| 2011 | A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain. Domenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono |
| 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 |
| 2011 | A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
| 2011 | A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli |
| 2011 | An Integrated Approach for Availability and QoS Evaluation in Railway Systems. Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D'Acierno, Bruno Montella, Vincenzo Punzo, Egidio Quaglietta, Immacolata Lamberti, Pietro Marmo |
| 2011 | Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno |
| 2011 | Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings Francesco Flammini, Sandro Bologna, Valeria Vittorini |
| 2011 | Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems. Roland Mader, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Gerhard Grießnig, Christian Steger, Reinhold Weiß |
| 2011 | Criticality-Driven Component Integration in Complex Software Systems. Antonio Pecchia, Roberto Pietrantuono, Stefano Russo |
| 2011 | DALculus - Theory and Tool for Development Assurance Level Allocation. Pierre Bieber, Remi Delmas, Christel Seguin |
| 2011 | Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee |
| 2011 | Establishing Confidence in the Usage of Software Tools in Context of ISO 26262. Joachim Hillebrand, Peter Reichenpfader, Irenka Mandic, Hannes Siegl, Christian Peer |
| 2011 | Evolutionary Risk Analysis: Expert Judgement. Massimo Felici, Valentino Meduri, Bjørnar Solhaug, Alessandra Tedeschi |
| 2011 | Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences. Rupert Schlick, Wolfgang Herzner, Elisabeth Jöbstl |
| 2011 | FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment. Saman A. Zonouz, Kaustubh R. Joshi, William H. Sanders |
| 2011 | Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump |
| 2011 | From Probabilistic Counterexamples via Causality to Fault Trees. Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
| 2011 | ISO/IEC 15504-10: Motivations for Another Safety Standard. Giuseppe Lami, Fabrizio Fabbrini, Mario Fusani |
| 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 | Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study. Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Luigi Romano |
| 2011 | Model-Based Multi-objective Safety Optimization. Matthias Güdemann, Frank Ortmeier |
| 2011 | Model-Driven Availability Evaluation of Railway Control Systems. Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini |
| 2011 | Modeling Aircraft Operational Reliability. Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos |
| 2011 | On the Adoption of Model Checking in Safety-Related Software Industry. Alessandro Fantechi, Stefania Gnesi |
| 2011 | On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems. Andrea Fiaschetti, Francesco Lavorato, Vincenzo Suraci, Andi Palo, Andrea Taglialatela, Andrea Morgagni, Renato Baldelli, Francesco Flammini |
| 2011 | Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System. Federico Cruciani, Enrico Vicario |
| 2011 | Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram |
| 2011 | Security Analysis of Smart Grid Data Collection Technologies. Luigi Coppolino, Salvatore D'Antonio, Ivano Alessandro Elia, Luigi Romano |
| 2011 | The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software. Peter T. Popov, Gabriele Manno |
| 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 | Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. Ismail Assayad, Alain Girault, Hamoudi Kalla |
| 2011 | Using a Software Safety Argument Pattern Catalogue: Two Case Studies. Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly |
| 2011 | Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson |
| 2011 | Vertical Safety Interfaces - Improving the Efficiency of Modular Certification. Bastian Zimmer, Susanne Bürklen, Michael Knoop, Jens Höfflinger, Mario Trapp |