FormaliSE@ICSE

Publications

2024

David Cortés, James Ortiz, Davide Basile, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens
Time for Networks: Mutation Testing for Timed Automata Networks. FormaliSE@ICSE (2024)
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. FormaliSE@ICSE (2024)
Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich
Contract Automata: A Specification Language for Mode-Based Systems. FormaliSE@ICSE (2024)
Louis Gauthier, Virgile Prevosto, Julien Signoles
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification. FormaliSE@ICSE (2024)
Cristina Stratan, Joshua Heneage Dawes, Domenico Bianculli
Diagnosing Violations of Time-based Properties Captured in iCFTL. FormaliSE@ICSE (2024)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
Finite Automata synthesis from Interactions. FormaliSE@ICSE (2024)
Achim D. Brucker, Teddy Cameron-Burke, Amy Stell
Formally Verified Interval Arithmetic and Its Application to Program Verification. FormaliSE@ICSE (2024)
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. FormaliSE@ICSE (2024)
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024 FormaliSE@ICSE (2024)
Alberto Tagliaferro, Livia Lestingi, Matteo Rossi
Towards Verifiable Multi-Agent Interaction Pattern Specification. FormaliSE@ICSE (2024)
Álvaro F. Silva, Alexandra Mendes, João F. Ferreira
Leveraging Large Language Models to Boost Dafny's Developers Productivity. FormaliSE@ICSE (2024)
Irman Faqrizal, Quentin Nivon, Gwen Salaün
Automated Repair of Violated Eventually Properties in Concurrent Programs. FormaliSE@ICSE (2024)
Julian Klein, Paul Kogel, Sabine Glesner
Verifying Opacity of Discrete-Timed Automata. FormaliSE@ICSE (2024)
Olivier Zeyen, Maxime Cordy, Gilles Perrouin, Mathieu Acher
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling. FormaliSE@ICSE (2024)
Raniah A Alghamdi, Richard J. Trefler
Compositional Analysis of Parametric Cooperative Cyber-Physical Systems. FormaliSE@ICSE (2024)

2022

2021

2020