FormaliSE

Keyphrases

Publications

2023

Radu Calinescu, Genaína Nunes Rodrigues
Goal Controller Synthesis for Self-Adaptive Systems. FormaliSE (2023)
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
Contract-Based Specification Refinement and Repair for Mission Planning. FormaliSE (2023)
Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids. FormaliSE (2023)
Larissa A. Meinicke, Ian J. Hayes
Using scylindric algebra to support local variables in rely/guarantee concurrency. FormaliSE (2023)
Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif
An Empirical Study Assessing Software Modeling in Alloy. FormaliSE (2023)
Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
A Verified UAV Flight Plan Generator. FormaliSE (2023)
Graeme Smith
A Dafny-based approach to thread-local information flow analysis. FormaliSE (2023)
Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat
Transparent Actor Model. FormaliSE (2023)
Cristian Cadar, Daniel Schemmel, Arindam Sharma
Patch Specifications via Product Programs. FormaliSE (2023)
Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau
Mutant Equivalence as Monotonicity in Parametric Timed Games. FormaliSE (2023)
Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. FormaliSE (2023)
11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023 FormaliSE (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. FormaliSE (2023)
Mark Utting, Brae J. Webb, Ian J. Hayes
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study). FormaliSE (2023)
Eli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang
Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity. FormaliSE (2023)

2015

3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015 FormaliSE (2015)

2014

2013

1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013 FormaliSE (2013)