| 2018 | A Cloud-Based Execution Framework for Program Analysis. | Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Se Luckow, Rody Kersten, Gabor Karsai |
| 2018 | Untitled record | Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister |
| 2018 | Graph-Based Shape Analysis Beyond Context-Freeness. | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll |
| 2017 | Focused Certification of an Industrial Compilation and Static Verification Toolchain. | Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu |
| 2017 | Formalising Cosimulation Models. | Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti |
| 2017 | Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. | Ilya Zakirzyanov, Anatoly Shalyto, Vladimir Ulyantsev |
| 2017 | Specification and Automated Verification of Dynamic Dataflow Networks. | Jonatan Wiik, Pontus Bostrm |
| 2017 | Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. | Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2017 | On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows. | Daniel Ricardo dos Santos, Silvio Ranise |
| 2017 | Towards a UML Profile for Domain-Driven Design of Microservice Architectures. | Florian Rademacher, Sabine Sachweh, Albert Zndorf |
| 2017 | On Approximate Diagnosability of Metric Systems. | Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto |
| 2017 | A Framework for the Co-simulation of Engine Controls and Task Scheduling. | Paolo Pazzaglia, Marco Di Natale, Giorgio C. Buttazzo, Matteo Secchiari |
| 2017 | Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. | Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci |
| 2017 | Towards the Performance Analysis of Elastic Systems with e-Motions. | Patrcia Arajo de Oliveira, Francisco Durn, Ernesto Pimentel |
| 2017 | Modeling and Reasoning on Requirements Evolution with Constrained Goal Models. | Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos |
| 2017 | A Computational Model of Internet Addiction Phenomena in Social Networks. | Lucia Nasti, Paolo Milazzo |
| 2017 | Generalized Oracle for Testing Machine Learning Computer Programs. | Shin Nakajima |
| 2017 | A Framework for Modelling Variable Microservices as Software Product Lines. | Moh. Afifun Naily, Maya Retno Ayu Setyautami, Radu Muschevici, Ade Azurat |
| 2017 | Formalizing Timing Diagram Requirements in Discrete Duration Calculus. | Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar |
| 2017 | A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. | Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos de Brito |
| 2017 | A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. | Paolo Masci, Yi Zhang, Paul L. Jones, Jos Creissac Campos |
| 2017 | Computing Conditional Probabilities: Implementation and Evaluation. | Steffen Mrcker, Christel Baier, Joachim Klein, Sascha Klppelholz |
| 2017 | Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. | Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz |
| 2017 | Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. | Bjrnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider |
| 2017 | A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS). | Jinzhi Lu, Martin Trngren, De-Jiu Chen, Jian Wang |