default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th FormaliSE@ICSE 2021: Madrid, Spain
- Simon Bliudze, Stefania Gnesi, Nico Plat, Laura Semini:
9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. IEEE 2021, ISBN 978-1-6654-3913-8 - Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella
, Mieke Massink:
Feasibility of Spatial Model Checking for Nevus Segmentation. 1-12 - Lucia Nasti, Roberta Gori, Paolo Milazzo:
Formal characterization and efficient verification of a biological robustness property. 13-18 - Omar I. Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran:
Monitoring Cumulative Cost Properties. 19-30 - Rania Taleb, Raphaël Khoury, Sylvain Hallé:
Runtime Verification Under Access Restrictions. 31-41 - Alexander Knüppel, Leon Schaer, Ina Schaefer:
How much Specification is Enough? Mutation Analysis for Software Contracts. 42-53 - Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall:
Methodology for Specification and Verification of High-Level Requirements with MetAcsl. 54-67 - Besma Khaireddine, Ali Mili:
Quantifying Faultiness: What Does It Mean to Have N Faults? 68-74 - Tomas Kulik, Jalil Boudjadar, Diego F. Aranha:
Formally Verified Credentials Management for Industrial Control Systems. 75-85 - Erick Raelijohn, Michalis Famelis, Houari A. Sahraoui:
Checking temporal patterns of API usage without code execution. 86-96 - Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro:
Improved Bounded Model Checking of Timed Automata. 97-110 - Lukas Armborst, Marieke Huisman:
Permission-Based Verification of Red-Black Trees and Their Merging. 111-123 - Alexander Knüppel, Thomas Thüm, Ina Schaefer:
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. 124-129 - Marie-Christine Jakobs:
PEQCHECK: Localized and Context-aware Checking of Functional Equivalence. 130-140
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 2025-02-24 21: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:
