default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th SEFM 2020: Amsterdam, The Netherlands
- Frank S. de Boer, Antonio Cerone
:
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings. Lecture Notes in Computer Science 12310, Springer 2020, ISBN 978-3-030-58767-3 - Luís Eduardo de Souza Amorim, Eelco Visser:
Multi-purpose Syntax Definition with SDF3. 1-23 - Daniel Schnetzer Fava:
Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector - A Story on Applied Formal Methods. 24-40 - Fatima Shokri-Manninen, Jüri Vain, Marina Waldén:
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. 41-59 - Laura R. Humphrey, James Hamil, Joffrey Huguet:
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK. 60-76 - Jonathan Julián Huerta y Munive:
Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification. 77-92 - Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed:
Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study. 93-112 - Dirk Beyer, Marie-Christine Jakobs:
FRed: Conditional Model Checking via Reducers and Folders. 113-132 - Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger:
Difference Verification with Conditions. 133-154 - Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach:
A Formal Modeling Approach for Portable Low-Level OS Functionality. 155-174 - Matteo Camilli, Barbara Russo:
Model-Based Testing Under Parametric Variability of Uncertain Beliefs. 175-192 - Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam:
Hoare-Style Logic for Unstructured Programs. 193-213 - Anna Becchi, Alessandro Cimatti, Enea Zaffanella:
Synthesis of P-Stable Abstractions. 214-230 - Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace:
Runtime Verification of Contracts with Themulus. 231-246 - Freek Verbeek, Pierre Olivier, Binoy Ravindran:
Sound C Code Decompilation for a Subset of x86-64 Binaries. 247-264 - Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos:
Statically Checking REST API Consumers. 265-283 - Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. 284-302 - Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi:
Formal Verification of Human-Robot Interaction in Healthcare Scenarios. 303-324
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-17 22:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
