research
∙
08/28/2023
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Self-adaptation is a crucial feature of autonomous systems that must cop...
share
research
∙
08/10/2022
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
Empirical studies on formal methods and tools are rare. In this paper, w...
research
∙
03/26/2022
A Runtime Environment for Contract Automata
Realising contract-based applications from formal specifications with fo...
research
∙
08/03/2021
Featured Team Automata
We propose featured team automata to support variability in the developm...
research
∙
07/12/2021
Formal Methods in Railways: a Systematic Mapping Study
Formal methods are mathematically-based techniques for the rigorous deve...
research
∙
01/21/2021
Quantitative Security Risk Modeling and Analysis with RisQFLan
Domain-specific quantitative modeling and analysis approaches are fundam...
research
∙
10/02/2019
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
We present a number of contributions to bridging the gap between supervi...
research
∙
07/26/2017