SG65: COLLOQUIUM IN HONOUR OF STEFANIA GNESI

This page contains an index consisting of author-provided keywords.

A
Accountability	Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence
ACTL	Hunting Superfluous Locks with Model Checking
actor network	Logical Support for Bike-Sharing System Design
ambiguity	Ambiguity in Requirements Engineering: Towards a Unifying Framework
Artificial Intelligence	Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence
Attribute based Communication	A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
Automata	On the Prediction of Smart Contracts’ Behaviours
axiomatization	An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice
B
behavioural contract	Automata-Based Behavioural Contracts with Action Correlation
Big Data Interoperability	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
bike-sharing system	Logical Support for Bike-Sharing System Design
Blockchain	On the Prediction of Smart Contracts’ Behaviours
C
CFMTS	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
Co-modelling and co-simulation	Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
completeness	An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice
contract	Automata-Based Behavioural Contracts with Action Correlation
contract automata	Automata-Based Behavioural Contracts with Action Correlation
Controlled Natural Languages	Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
correlation	Automata-Based Behavioural Contracts with Action Correlation
Cyber-physical systems	Formal Methods in Designing Critical Cyber-Physical Systems Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
Cyber-security	Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
D
Data Integration	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
data race	Hunting Superfluous Locks with Model Checking
Digital Humanities	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
DIME	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
F
formal methods	Formal Verification of Railway Timetables - Using the UPPAAL Model Checker Formal Methods in Designing Critical Cyber-Physical Systems Hunting Superfluous Locks with Model Checking
G
global session types	A Generic Dynamic Logic with Applications to Interaction-Based Systems
H
Hennessy-Milner theorem	A Generic Dynamic Logic with Applications to Interaction-Based Systems
Historical Data	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
Human in the loop	Formal Methods in Designing Critical Cyber-Physical Systems
hybrid logic	Logical Support for Bike-Sharing System Design
I
interaction-based systems	A Generic Dynamic Logic with Applications to Interaction-Based Systems
K
Knowledge representation	Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence
L
Language implementation	A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
M
Medical imaging	Innovating Medical Image Analysis via Spatial Logics
Model based testing	How Formal Methods Can Contribute to 5G Networks
model checking	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data How Formal Methods Can Contribute to 5G Networks A Decade of Featured Transition Systems Formal Verification of Railway Timetables - Using the UPPAAL Model Checker Innovating Medical Image Analysis via Spatial Logics
Model-based Systems Engineering	Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
N
natural language	Ambiguity in Requirements Engineering: Towards a Unifying Framework
Natural language processing	Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence Ambiguity in Requirements Engineering: Towards a Unifying Framework
NLP	Ambiguity in Requirements Engineering: Towards a Unifying Framework
O
OpenMP	Hunting Superfluous Locks with Model Checking
P
parallel operator	An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice
parallelization	Hunting Superfluous Locks with Model Checking
Presburger	On the Prediction of Smart Contracts’ Behaviours
probabilistic choice	An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice
process algebra	An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice
Product lines	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
propositional dynamic logic	A Generic Dynamic Logic with Applications to Interaction-Based Systems
R
Railway systems	Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
railways	Formal Verification of Railway Timetables - Using the UPPAAL Model Checker
RE	Ambiguity in Requirements Engineering: Towards a Unifying Framework
Requirements	Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
requirements analysis	Ambiguity in Requirements Engineering: Towards a Unifying Framework
requirements documents	Ambiguity in Requirements Engineering: Towards a Unifying Framework
requirements elicitation	Ambiguity in Requirements Engineering: Towards a Unifying Framework
requirements engineering	Ambiguity in Requirements Engineering: Towards a Unifying Framework
requirements specification	Ambiguity in Requirements Engineering: Towards a Unifying Framework
S
safe artificial intelligence	A Decade of Featured Transition Systems
Semantics	Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence
service	Automata-Based Behavioural Contracts with Action Correlation
service orchestration	How Formal Methods Can Contribute to 5G Networks
Smart Contract	On the Prediction of Smart Contracts’ Behaviours
Software defined networks	How Formal Methods Can Contribute to 5G Networks
Spatial logics	Innovating Medical Image Analysis via Spatial Logics
Systems of Systems	Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
T
testing	A Decade of Featured Transition Systems
timetables	Formal Verification of Railway Timetables - Using the UPPAAL Model Checker
U
UML sequence diagrams	A Generic Dynamic Logic with Applications to Interaction-Based Systems
UPPAAL	Formal Verification of Railway Timetables - Using the UPPAAL Model Checker
V
variability modeling	A Decade of Featured Transition Systems
verification by translation	Logical Support for Bike-Sharing System Design
Verification tools	A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
Virtual Network Functions	How Formal Methods Can Contribute to 5G Networks
W
Workflow Processes	Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data

Disclaimer | Powered by EasyChair Smart Program