| 2020 | Rolling Stocks: A Machine Learning Predictive Maintenance Architecture. | Roberto Nappi, Valerio Striano, Gianluca Cutrera, Antonio Vigliotti, Giuseppe Franz |
| 2020 | An Eclipse-Based Editor for SAN Templates. | Leonardo Montecchi, Paolo Lollini, Federico Moncini, Kenneth Keefe |
| 2020 | Safety Cases for Adaptive Systems of Systems: State of the Art and Current Challenges. | Elham Mirzaei, Carsten Thomas, Mirko Conrad |
| 2020 | Effect of Coding Styles in Detection of Web Application Vulnerabilities. | Ibria Medeiros, Nuno Neves |
| 2020 | Audio Events Detection in Noisy Embedded Railway Environments. | Tony Marteau, Sitou Afanou, David Sodoyer, Sbastien Ambellouis, Fouzia Boukour |
| 2020 | UIC Code Recognition Using Computer Vision and LSTM Networks. | Roberto Marmo |
| 2020 | Smart Building Risk Assessment Case Study: Challenges, Deficiencies and Recommendations. | John C. Mace, Ricardo Melo Czekster, Charles Morisset, Carsten Maple |
| 2020 | Deep Reinforcement Learning for Solving Train Unit Shunting Problem with Interval Timing. | Wan-Jui Lee, Helia Jamshidi, Diederik M. Roijers |
| 2020 | Enforcing Geofences for Managing Automated Transportation Risks in Production Sites. | Muhammad Atif Javed, Faiz Ul Muram, Anas Fattouh, Sasikumar Punnekkat |
| 2020 | CrEStO: A Tool for Synthesizing Stateful Priorities. | Christian Herrera, Nancy Cruz, Ricardo Quintero |
| 2020 | Stateful Priorities for Precise Restriction of System Behavior. | Christian Herrera |
| 2020 | Towards Efficacy Hypotheses for Safety Cases. | Mallory Suzanne Graydon |
| 2020 | Interplaying Cassandra NoSQL Consistency and Performance: A Benchmarking Approach. | Anatoliy Gorbenko, Alexander B. Romanovsky, Olga Tarasyuk |
| 2020 | Anomaly Detection for Vision-Based Railway Inspection. | Riccardo Gasparini, Stefano Pini, Guido Borghi, Giuseppe Scaglione, Simone Calderara, Eugenio Fedeli, Rita Cucchiara |
| 2020 | SafeOps: A Concept of Continuous Safety. | Camille Fayollas, Hugues Bonnin, Olivier Flbus |
| 2020 | Developing Complex Data Structures over Partitioned State Machine Replication. | Mojtaba Eslahi-Kelorazi, Long Hoang Le, Fernando Pedone |
| 2020 | Predicting Uncorrectable Memory Errors for Proactive Replacement: An Empirical Study on Large-Scale Field Data. | Xiaoming Du, Cong Li, Shen Zhou, Mao Ye, Jing Li |
| 2020 | Generation of Safety and Liveness Complaint Automata from Goal Model Specifications. | Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi |
| 2020 | Atomic Appends in Asynchronous Byzantine Distributed Ledgers. | Vicent Cholvi, Antonio Fernndez Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal |
| 2020 | Development of Intelligent Obstacle Detection System on Railway Tracks for Yard Locomotives Using CNN. | Andrey V. Chernov, Maria Butakova, Alexander Guda, Petr Shevchuk |
| 2020 | An Approach to Support Variant Management on Safety Analysis using CHESS Error Models. | Lucas Bressan, Andr Luz de Oliveira, Fernanda Campos |
| 2020 | Application of Extreme Value Analysis for Characterizing the Execution Time of Resilience Supporting Mechanisms in Kubernetes. | Szilrd Bozki, Jeno Szalontai, Dniel Petho, Imre Kocsis, Andrs Pataricza, Pter Suskovics, Benedek Kovcs |
| 2020 | Safe Recognition A.I. of a Railway Signal by On-Board Camera. | Jean Franois Boulineau |
| 2020 | Concepts and Risk Analysis for a Cooperative and Automated Highway Platooning System. | Carl Bergenhem, Mario Majdandzic, Stig Ursing |
| 2020 | CINNAMON: A Module for AUTOSAR Secure Onboard Communication. | Giampaolo Bella, Pietro Biondi, Gianpiero Costantino, Ilaria Matteucci |