SG65: COLLOQUIUM IN HONOUR OF STEFANIA GNESI

A
Askarpour, Mehrnoosh	Formal Methods in Designing Critical Cyber-Physical Systems
B
Basile, Davide	Automata-Based Behavioural Contracts with Action Correlation
Belmonte, Gina	Innovating Medical Image Analysis via Spatial Logics
Breathnach, Ciara	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
C
Chiriţă, Claudia Elena	Logical Support for Bike-Sharing System Design
Ciancia, Vincenzo	Innovating Medical Image Analysis via Spatial Logics
Clancy, Stuart	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
Classen, Andreas	A Decade of Featured Transition Systems
Cordy, Maxime	A Decade of Featured Transition Systems
D
De Nicola, Rocco	A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
de Vink, Erik P.	An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice
Degano, Pierpaolo	Automata-Based Behavioural Contracts with Action Correlation
Devroey, Xavier	A Decade of Featured Transition Systems
Duong, Tan	A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
F
Fantechi, Alessandro	The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back
Ferrari, Alessio	Ambiguity in Requirements Engineering: Towards a Unifying Framework
Ferrari, Gianluigi	Automata-Based Behavioural Contracts with Action Correlation
Fiadeiro, José Luiz	Logical Support for Bike-Sharing System Design
Fitzgerald, John	Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
G
Gallardo, María-Del-Mar	How Formal Methods Can Contribute to 5G Networks
Garigliano, Roberto	Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence
Gervasi, Vincenzo	Ambiguity in Requirements Engineering: Towards a Unifying Framework
Ghezzi, Carlo	Formal Methods in Designing Critical Cyber-Physical Systems
Gnesi, Stefania	The last word is for the honoree...
Groote, Jan Friso	An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice
H
Haxthausen, Anne E.	Formal Verification of Railway Timetables - Using the UPPAAL Model Checker
Hede, Kristian	Formal Verification of Railway Timetables - Using the UPPAAL Model Checker
Hennicker, Rolf	A Generic Dynamic Logic with Applications to Interaction-Based Systems
Heymans, Patrick	A Decade of Featured Transition Systems
I
Ibrahim, Najhan M.	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
Inverso, Omar	A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
J
Jenn, Eric	Hunting Superfluous Locks with Model Checking
L
Laneve, Cosimo	On the Prediction of Smart Contracts’ Behaviours
Larsen, Peter Gorm	Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
Latella, Diego	Innovating Medical Image Analysis via Spatial Logics
Legay, Axel	A Decade of Featured Transition Systems
Lenzini, Gabriele	Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
Lopes, Antónia	Logical Support for Bike-Sharing System Design
Luque-Schempp, Francisco	How Formal Methods Can Contribute to 5G Networks
M
Mandrioli, Dino	Formal Methods in Designing Critical Cyber-Physical Systems
Margaria, Tiziana	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
Massink, Mieke	Innovating Medical Image Analysis via Spatial Logics
Mateescu, Radu	Hunting Superfluous Locks with Model Checking
Mazzanti, Franco	A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
Merino-Gómez, Pedro	How Formal Methods Can Contribute to 5G Networks
Mich, Luisa	Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence
Montanari, Ugo	From Dynamic Programming to Programming Science: Some Recollections in Honour of Stefania Gnesi
N
Nguyen, Viet Anh	Hunting Superfluous Locks with Model Checking
P
Panizo, Laura	How Formal Methods Can Contribute to 5G Networks
Perrouin, Gilles	A Decade of Featured Transition Systems
Petrocchi, Marinella	Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
Pierce, Ken	Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
Pugliese, Rosario	Automata-Based Behavioural Contracts with Action Correlation
R
Raskin, Jean-François	A Decade of Featured Transition Systems
Rossi, Matteo	Formal Methods in Designing Critical Cyber-Physical Systems
S
Sacerdoti Coen, Claudio	On the Prediction of Smart Contracts’ Behaviours
Schobbens, Pierre-Yves	A Decade of Featured Transition Systems
Semini, Laura	The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back
Serwe, Wendelin	Hunting Superfluous Locks with Model Checking
Spoletini, Paola	Ambiguity in Requirements Engineering: Towards a Unifying Framework
T
ter Beek, Maurice H.	The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back A collection of video homages
Tiezzi, Francesco	Automata-Based Behavioural Contracts with Action Correlation
Tsigkanos, Christos	Formal Methods in Designing Critical Cyber-Physical Systems
V
Veschetti, Adele	On the Prediction of Smart Contracts’ Behaviours
W
Wirsing, Martin	A Generic Dynamic Logic with Applications to Interaction-Based Systems
Z
Zowghi, Didar	Ambiguity in Requirements Engineering: Towards a Unifying Framework
Ţ
Ţuţu, Ionut	Logical Support for Bike-Sharing System Design

Disclaimer | Powered by EasyChair Smart Program