| 2014 | Architecture for a Hard-Real-Time System Enabling Non-intrusive Tests. | Joachim Froehlich, Reiner N. Schmid |
| 2014 | Using Invariants for Anomaly Detection: The Case Study of a SaaS Application. | Flavio Frattini, Santonu Sarkar, Jyotiska Nath Khasnabish, Stefano Russo |
| 2014 | Evaluating Embedded-Software Specifications - Quantitative and Structured Assessment of Declarative Interface Descriptions. | Marc Forster |
| 2014 | Bypassing Censorship: A Proven Tool against the Recent Internet Censorship in Turkey. | Andrea Di Florio, Nino Vincenzo Verde, Antonio Villani, Domenico Vitali, Luigi Vincenzo Mancini |
| 2014 | A Security Argument Pattern for Medical Device Assurance Cases. | Anita Finnegan, Fergal McCaffery |
| 2014 | Toward SIL Evaluation for a Resilience Strategy. | Ling Fang, Guoqiang Li, Yingjie You, Chaobin Chen, Liqin Hu |
| 2014 | Structuring Compliance Risk Identification Using the CORAS Approach: Compliance as an Asset. | Samson Yoseph Esayas |
| 2014 | Schematic Generation of English-Prose Semantics for a Risk Analysis Language Based on UML Interactions. | Gencer Erdogan, Atle Refsdal, Ketil Stlen |
| 2014 | Deadlock and Temporal Properties Analysis in Mixed Reality Applications. | Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile |
| 2014 | Runtime Verification of Web Services for Interconnected Medical Devices. | Normann Decker, Franziska Khn, Daniel Thoma |
| 2014 | A Survey on Unit Testing Practices and Problems. | Ermira Daka, Gordon Fraser |
| 2014 | Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving. | Jess Snchez Cuadrado, Esther Guerra, Juan de Lara |
| 2014 | Network Function Virtualization: Challenges and Directions for Reliability Assurance. | Domenico Cotroneo, Luigi De Simone, Antonio Ken Iannillo, Anna Lanzaro, Roberto Natella, Jiang Fan, Ping Wang |
| 2014 | Improving Usability of Fault Injection. | Domenico Cotroneo, Luigi De Simone, Antonio Ken Iannillo, Anna Lanzaro, Roberto Natella |
| 2014 | Towards Patching Memory Leak Bugs in Off-The-Shelf Software. | Domenico Cotroneo, Roberto Natella |
| 2014 | Assessing Direct Monitoring Techniques to Analyze Failures of Critical Industrial Systems. | Marcello Cinque, Domenico Cotroneo, Raffaele Della Corte, Antonio Pecchia |
| 2014 | Safety Critical Robot Programming and Testing for Operations in Industrial Co-Production. | Linn Gustavsson Christiernin, Svante Augustsson, Stefan Christiernin |
| 2014 | Retrieving Information from a Document Repository for Constructing Assurance Cases. | Khana Chindamaikul, Toshinori Takai, Hajimu Iida |
| 2014 | Failure Prediction of Jobs in Compute Clouds: A Google Cluster Case Study. | Xin Chen, Charng-Da Lu, Karthik Pattabiraman |
| 2014 | Failure Analysis of Jobs in Compute Clouds: A Google Cluster Case Study. | Xin Chen, Charng-Da Lu, Karthik Pattabiraman |
| 2014 | Reproducibility of Environment-Dependent Software Failures: An Experience Report. | Davide G. Cavezza, Roberto Pietrantuono, Javier Alonso, Stefano Russo, Kishor S. Trivedi |
| 2014 | The Definition and Assessment of a Safety Argument. | Valentin Cassano, T. S. E. Maibaum |
| 2014 | Mapping the Software Errors and Effects Analysis Method to ISO26262 Requirements for Software Architecture Analysis. | Paulo Victor R. de Carvalho |
| 2014 | Balanced Measurement Sets: Criteria for Improving Project Management Practices. | Luigi Buglione, Daniele Gagliardi, Sergio Oltolina, Gabriele Ruffatti, Ernesto Damiani, Fulvio Frati |
| 2014 | Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing. | Peter T. Breuer, Jonathan P. Bowen |