![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
12th FormaliSE@ICSE 2024: Lisbon, Portugal
- Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes:
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. ACM 2024 - Alexander Weigl
, Joshua Bachmeier
, Bernhard Beckert
, Mattias Ulbrich
:
Contract Automata: A Specification Language for Mode-Based Systems. 1-11 - Erwan Mahe
, Boutheina Bannour
, Christophe Gaston
, Arnault Lapitre
, Pascale Le Gall
:
Finite Automata synthesis from Interactions. 12-22 - Olivier Zeyen
, Maxime Cordy
, Gilles Perrouin
, Mathieu Acher
:
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling. 23-32 - Cristina Stratan
, Joshua Heneage Dawes
, Domenico Bianculli
:
Diagnosing Violations of Time-based Properties Captured in iCFTL. 33-43 - David Cortés
, James Ortiz
, Davide Basile
, Jesús Aranda
, Gilles Perrouin
, Pierre-Yves Schobbens
:
Time for Networks: Mutation Testing for Timed Automata Networks. 44-54 - Julian Klein
, Paul Kogel
, Sabine Glesner
:
Verifying Opacity of Discrete-Timed Automata. 55-65 - Irman Faqrizal
, Quentin Nivon
, Gwen Salaün
:
Automated Repair of Violated Eventually Properties in Concurrent Programs. 66-76 - Raniah A Alghamdi
, Richard J. Trefler
:
Compositional Analysis of Parametric Cooperative Cyber-Physical Systems. 77-87 - Robert Lorch
, Baoluo Meng
, Kit Siu
, Abha Moitra
, Michael Durling
, Saswata Paul
, Sarat Chandra Varanasi
, Craig McMillan
:
Formal Methods in Requirements Engineering: Survey and Future Directions. 88-99 - Louis Gauthier
, Virgile Prevosto
, Julien Signoles
:
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification. 100-110 - Achim D. Brucker
, Teddy Cameron-Burke
, Amy Stell
:
Formally Verified Interval Arithmetic and Its Application to Program Verification. 111-121 - Alberto Tagliaferro
, Livia Lestingi
, Matteo Rossi
:
Towards Verifiable Multi-Agent Interaction Pattern Specification. 122-126 - Preston K. Robinette
, Diego Manzanas Lopez
, Serena Serbinowska
, Kevin Leach
, Taylor T. Johnson
:
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets. 127-137 - Álvaro F. Silva
, Alexandra Mendes
, João F. Ferreira
:
Leveraging Large Language Models to Boost Dafny's Developers Productivity. 138-142
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.