| 2021 | An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools. | Bruno Dia, Naghmeh Ramezani Ivaki, Nuno Laranjeiro |
| 2021 | Measuring lead times for failure prediction. | Frederico Cerveira, Jomar Domingos, Raul Barbosa, Henrique Madeira |
| 2021 | Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach. | Maxime Ayrault, Etienne Borde, Ulrich Khne, Jean Leneutre |
| 2020 | Fengyi: Trusted Data Sharing in VANETs with Blockchain. | Chen Zeng, Yifan Wang, Fan Liang, Xiaohui Peng |
| 2020 | Security and Availability Modeling of VM Migration as Moving Target Defense. | Matheus Torquato, Paulo R. M. Maciel, Marco Vieira |
| 2020 | Generative Deep Learning for Internet of Things Network Traffic Generation. | Mustafizur R. Shahid, Gregory Blanc, Houda Jmila, Zonghua Zhang, Herv Debar |
| 2020 | Organization of machine learning based product development as per ISO 26262 and ISO/PAS 21448. | Krystian Radlak, Michal Szczepankiewicz, Tim Jones, Piotr Serwa |
| 2020 | Dynamic Reconfiguration of Safety-Critical Production Systems. | Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat |
| 2020 | Data Poisoning Attacks on Regression Learning and Corresponding Defenses. | Nicolas M. Mller, Daniel Kowatsch, Konstantin Bttinger |
| 2020 | GTFuzz: Guard Token Directed Grey-Box Fuzzing. | Rundong Li, Hongliang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, Jian Zhang |
| 2020 | Using Metamodels to Improve Model-Based Testing of Service Orchestrations. | Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins |
| 2020 | Risk-Aware Leak Detection at Binary Level. | Yuta Koizumi, Yoshitaka Arahori |
| 2020 | Safe Online Reconfiguration of Mixed-Criticality Real-Time Systems. | Thawra Kadeed, Borislav Nikolic, Rolf Ernst |
| 2020 | PLEXUS: A Pattern-Oriented Runtime System Architecture for Resilient Extreme-Scale High-Performance Computing Systems. | Saurabh Hukerikar, Christian Engelmann |
| 2020 | A PSD-based fingerprinting approach to detect IoT device spoofing. | Florent Galtier, Romain Cayre, Guillaume Auriol, Mohamed Kaniche, Vincent Nicomette |
| 2020 | Using Attack Injection to Evaluate Intrusion Detection Effectiveness in Container-based Systems. | Jos Flora, Paulo Gonalves, Nuno Antunes |
| 2020 | Topology Aware Leader Election Algorithm for Dynamic Networks. | Arnaud Favier, Nicolas Guittonneau, Luciana Arantes, Anne Fladenmuller, Jonathan Lejeune, Pierre Sens |
| 2020 | Model Compression on Faulty Array-based Neural Network Accelerator. | Krishna Teja Chitty-Venkata, Arun K. Somani |
| 2020 | Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system. | Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti |
| 2020 | Introducing Novel Crossover and Mutation Operators into Data Replication Strategies for Distributed Systems. | Syed Mohtashim Abbas Bokhari, Oliver E. Theel |
| 2020 | Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems. | Toshiaki Aoki, Daisuke Kawakami, Nobuo Chida, Takashi Tomita |
| 2019 | Testing Graph Searching Based Path Planning Algorithms by Metamorphic Testing. | Jiantao Zhang, Zheng Zheng, Beibei Yin, Kun Qiu, Yang Liu |
| 2019 | Moment-Based Approximation for Uncertainty Propagation in Fault Trees. | Jiahao Zhang, Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi |
| 2019 | A Visualization Analytical Framework for Software Fault Localization Metrics. | Xiao-Yi Zhang, Zheng Zheng |
| 2019 | Privacy Assurance for Android Augmented Reality Apps. | Xueling Zhang, Rocky Slavin, Xiaoyin Wang, Jianwei Niu |