| 2021 | Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. | Prasad Talasila, Daniel-Cristian Craciunean, Bogdan-Constantin Pirvu, Peter Gorm Larsen, Constantin B. Zamfirescu, Alea Scovill |
| 2021 | Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. | Stella Simic, Omar Inverso, Mirco Tribastone |
| 2021 | Unexpectedness and Bayes' Rule. | Giovanni Sileno, Jean-Louis Dessalles |
| 2021 | What Does It Mean to Inhibit an Action? - A Critical Discussion of Benjamin Libet's Veto in a Recent Study. | Robert Reimer |
| 2021 | Verification of Programs with Exceptions Through Operator Precedence Automata. | Francesco Pontiggia, Michele Chiari, Matteo Pradella |
| 2021 | Developing the Semantic Web via the Resolution of Meaning Ambiguities. | Simone Pinna, Francesca Ervas, Marco Giunti |
| 2021 | Original or Fake? How to Understand the Digital Artworks' Value in the Blockchain. | Giuseppe Antonio Pierro, Moaaz Sawaf, Roberto Tonelli |
| 2021 | On the Security and Safety of AbU Systems. | Michele Pasqua, Marino Miculan |
| 2021 | Translation of CCS into CSP, Correct up to Strong Bisimulation. | Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield |
| 2021 | Validating Safety Arguments with Lean. | Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
| 2021 | A Denotational Semantics of Solidity in Isabelle/HOL. | Diego Marmsoler, Achim D. Brucker |
| 2021 | Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines. | Niklas Krafczyk, Jan Peleska |
| 2021 | nfer - A Tool for Event Stream Abstraction. | Sean Kauffman |
| 2021 | Co-simulation-Based Pre-training of a Ship Trajectory Predictor. | Motoyasu Kanazawa, Lars Ivar Hatledal, Guoyuan Li, Houxiang Zhang |
| 2021 | Lightweight Nontermination Inference with CHCs. | Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2021 | A Debugger for Probabilistic Programs. | Alexander Hoppen, Thomas Noll |
| 2021 | TACoS: A Tool for MTL Controller Synthesis. | Till Hofmann, Stefan Schupp |
| 2021 | Monitoring First-Order Interval Logic. | Klaus Havelund, Moran Omer, Doron Peled |
| 2021 | OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. | Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio |
| 2021 | Convergence Properties of Hierarchical Co-simulation Approaches. | Irene Hafner, Niki Popper |
| 2021 | Hybrid Information Flow Control for Low-Level Code. | Eduardo Geraldo, Jos Fragoso Santos, Joo Costa Seco |
| 2021 | Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology. | Jos Carlos Gamazo-Real, Juan Rafael Zamorano-Flores, ngel Sanz-Andrs |
| 2021 | Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? | Hao Feng, Cludio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen |
| 2021 | Runtime Enforcement with Reordering, Healing, and Suppression. | Ylis Falcone, Gwen Salan |
| 2021 | Fostering Safe Behaviors via Metaphor-Based Nudging Technologies. | Francesca Ervas, Artur Gunia, Giuseppe Lorini, Georgi Stojanov, Bipin Indurkhya |