Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited

von Gast, Nicolas
Veröffentlicht in COORDINATION (22. : 2020 : Online) Coordination models and languages (2020)

A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - Invited Contribution

von Ciancia, Vincenzo
Veröffentlicht in SPIN (27. : 2021 : Online) Model Checking Software (2021)

Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues

von Broccia, Giovanna
Veröffentlicht in International Conference on Human-Computer Interaction (24. : 2022 : Online) HCI International 2022 Posters ; Part 2 (2022)

On Binding in the Spatial Logics for Closure Spaces

von Bussi, Laura
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Towards Model Checking Video Streams Using VoxLogicA on GPUs

von Bussi, Laura
Veröffentlicht in DataMod (10. : 2021 : Online) From data to models and back (2022)

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)

von Belmonte, Gina
Veröffentlicht in MEDI (10. : 2021 : Online) Advances in Model and Data Engineering in the Digitalization Era (2021)

Spatial Model Checking for Smart Stations: Research Challenges

von Beek, Maurice H. ter
Veröffentlicht in FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems (2021)

Second International ERCIM Workshop on Formal Methods for Industrial Critical Systems : Cesena, Italy, 4 - 5 July 1997

Veröffentlicht 1997

Formal methods for distributed system development : October 10-13, 2000, Pisa, Italy

Veröffentlicht 2000