SG65: COLLOQUIUM IN HONOUR OF STEFANIA GNESI
TALK KEYWORD INDEX

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

A
Accountability
ACTL
actor network
ambiguity
Artificial Intelligence
Attribute based Communication
Automata
axiomatization
B
behavioural contract
Big Data Interoperability
bike-sharing system
Blockchain
C
CFMTS
Co-modelling and co-simulation
completeness
contract
contract automata
Controlled Natural Languages
correlation
Cyber-physical systems
Cyber-security
D
Data Integration
data race
Digital Humanities
DIME
F
formal methods
G
global session types
H
Hennessy-Milner theorem
Historical Data
Human in the loop
hybrid logic
I
interaction-based systems
K
Knowledge representation
L
Language implementation
M
Medical imaging
Model based testing
model checking
Model-based Systems Engineering
N
natural language
Natural language processing
NLP
O
OpenMP
P
parallel operator
parallelization
Presburger
probabilistic choice
process algebra
Product lines
propositional dynamic logic
R
Railway systems
railways
RE
Requirements
requirements analysis
requirements documents
requirements elicitation
requirements engineering
requirements specification
S
safe artificial intelligence
Semantics
service
service orchestration
Smart Contract
Software defined networks
Spatial logics
Systems of Systems
T
testing
timetables
U
UML sequence diagrams
UPPAAL
V
variability modeling
verification by translation
Verification tools
Virtual Network Functions
W
Workflow Processes