| 2021 | Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers Loek Cleophas, Mieke Massink |
| 2020 | A Case Study on Formally Validating Motion Rules for Autonomous Cars. Mário Henrique Cruz Torres, Jean-Pierre Giacalone, Joelle Abou Faysal |
| 2020 | A Multi-Agent Depth Bounded Boolean Logic. Giorgio Cignarale, Giuseppe Primiero |
| 2020 | A Pragmatic Model of Justification for Social Epistemology. Raffaela Giovagnoli |
| 2020 | A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS. Giovanni Liboni, Julien Deantoni |
| 2020 | Against the Illusory Will Hypothesis - A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's I Spy Experiment. Robert Reimer |
| 2020 | An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. Simon Thrane Hansen, Casper Thule, Cláudio Gomes |
| 2020 | An Interdisciplinary Model for Graphical Representation. Giuseppe Antonio Pierro, Alexandre Bergel, Roberto Tonelli, Stéphane Ducasse |
| 2020 | Automated Validation of State-Based Client-Centric Isolation with TLA Tim Soethout, Tijs van der Storm, Jurgen J. Vinju |
| 2020 | Code Coverage Aware Test Generation Using Constraint Solver. Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures |
| 2020 | Cosimulation-Based Control Synthesis. Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot |
| 2020 | Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar |
| 2020 | From Requirements to Verifiable Executable Models Using Rebeca. Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam |
| 2020 | Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation. Antonio Cerone, Diana Murzagaliyeva |
| 2020 | Introducing Regression Tests and Upgrades to the INTO-CPS Application. Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo |
| 2020 | Model Translation from Papyrus-RT into the nuXmv Model Checker. Sneha Sahu, Ruth Schorr, Inmaculada Medina-Bulo, Matthias F. Wagner |
| 2020 | Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains. Karim Lounis, Samir Ouchani |
| 2020 | Modeling and Verification of Temporal Constraints for Web Service Composition. Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufaïda |
| 2020 | Modelling Train Driver Behaviour in Railway Co-simulations. Tomas Hotzel Escardo, Ken G. Pierce, David Golightly, Roberto Palacin |
| 2020 | Personal Identity and False Memories. Danil Razeev |
| 2020 | Reasoning About Ignorance and Beliefs. Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri |
| 2020 | Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence. Samuel Allen Alexander |
| 2020 | Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence. Yoshihiro Maruyama |
| 2020 | The Intensional Structure of Epistemic Convictions. Reinhard Kahle |
| 2020 | Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study. Torben Braüner, Aishwarya Ghosh, Sujata Ghosh |