| 2015 | A Quality Control Engine for Complex Physical Systems. | Haifeng Chen, Takehiko Mizoguchi, Yan Tan, Kai Zhang, Geoff Jiang |
| 2015 | Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE). | Ariadne Maria Brito Rizzoni Carvalho, Nuno Antunes, Andrea Ceccarelli, Andrs Zentai |
| 2015 | Read Disturb Errors in MLC NAND Flash Memory: Characterization, Mitigation, and Recovery. | Yu Cai, Yixin Luo, Saugata Ghose, Onur Mutlu |
| 2015 | A Statistical Approach for Timed Reachability in AADL Models. | Harold Bruintjes, Joost-Pieter Katoen, David Lesens |
| 2015 | Cost Prediction for V&V and Certification Processes. | Francesco Brancati, Andrs Pataricza, Nuno Silva, bel Hegeds, Lszl Gnczy, Andrea Bondavalli, Rosaria Esposito |
| 2015 | Software Faults Emulation at Model-Level: Towards Automated Software FMEA. | Valentina Bonfiglio, Leonardo Montecchi, Ivano Irrera, Francesco Rossi, Paolo Lollini, Andrea Bondavalli |
| 2015 | MB4CP 2015 Keynote I: Dependability Modeling and Analysis Methods Integrated in Model-Driven Industrial Architectural Frameworks. | Andrea Bondavalli |
| 2015 | Advantages in Crash Severity Prediction Using Vehicle to Vehicle Communication. | Dennis Bhmlnder, Sinan Hasirlioglu, Vitor Yano, Christian Lauerer, Thomas Brandmeier, Alessandro Zimmer |
| 2015 | Improving Reliability with Dynamic Syndrome Allocation in Intelligent Software Defined Data Centers. | Ulya Bayram, Dwight Divine, Pin Zhou, Eric William Davis Rozier |
| 2015 | An Approach to Clustering and Sequencing of Textual Requirements. | Ricardo Barbosa, Daniele Januario, Ana Estela Silva, Regina Lcia de Oliveira Moraes, Paulo Martins |
| 2015 | Smart-TV Security Analysis: Practical Experiments. | Yann Bachy, Frederic Basse, Vincent Nicomette, Eric Alata, Mohamed Kaniche, Jean-Christophe Courrge, Pierre Lukjanenko |
| 2015 | Workshop on Model Based Design for Cyber-Physical Systems (MB4CP). | Alberto Avritzer, Daniel Sadoc Menasch, Kishor S. Trivedi, Lucia Happe, Sahra Sedigh Sarvestani |
| 2015 | Incinerator - Eliminating Stale References in Dynamic OSGi Applications. | Koutheir Attouchi, Gal Thomas, Gilles Muller, Julia Lawall, Andr Bottaro |
| 2015 | Model-Based Membership Verification in Vehicular Platoons. | Mikael Asplund |
| 2015 | Studying the Propagation of Failures in SOAs. | Cristiana Areias, Joo Carlos Cunha, Marco Vieira |
| 2015 | On the Metrics for Benchmarking Vulnerability Detection Tools. | Nuno Antunes, Marco Vieira |
| 2015 | Parallax: Implicit Code Integrity Verification Using Return-Oriented Programming. | Dennis Andriesse, Herbert Bos, Asia Slowinska |
| 2015 | Warped-RE: Low-Cost Error Detection and Correction in GPUs. | Mohammad Abdel-Majeed, Waleed Dweik, Hyeran Jeon, Murali Annavaram |
| 2014 | Secure Ranked Multi-keyword Search for Multiple Data Owners in Cloud Computing. | Wei Zhang, Sheng Xiao, Yaping Lin, Ting, Siwang Zhou |
| 2014 | An Adaptable Rule Placement for Software-Defined Networks. | Shuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, Sharad Malik |
| 2014 | Distributed Implementation of Wide-Area Monitoring Algorithms for Power Systems Using a US-Wide ExoGENI-WAMS Testbed. | Jianhua Zhang, Aranya Chakrabortty, Yufeng Xin |
| 2014 | POD-Diagnosis: Error Diagnosis of Sporadic Operations on Cloud Applications. | Xiwei Xu, Liming Zhu, Ingo Weber, Len Bass, Daniel Sun |
| 2014 | A Markov Decision Process Approach for Optimal Data Backup Scheduling. | Ruofan Xia, Fumio Machida, Kishor S. Trivedi |
| 2014 | System Call Redirection: A Practical Approach to Meeting Real-World Virtual Machine Introspection Needs. | Rui Wu, Ping Chen, Peng Liu, Bing Mao |
| 2014 | Stateful Data Delivery Service for Wide Area Monitoring and Control Applications. | Yiming Wu, Davood Babazadeh, Lars Nordstrm |