Description
* Ontology-based Requirements Validation - Speaker: Nick Bassiliades (Aristotle University of Thessaloniki)
* Formal verification techniques applied to Spacecraft Mode Management - Speaker: Massimo Tipaldi (OHB)
* Model Driven Engineering using COMPASS and Simulink - Speaker: Harold Bruintjes (RWTH Aachen)
* CITADEL Adaptive Systems for High-Assurance Protection - Speaker: Stefano Tonetta (FBK)
* COMPASS without AADL: towards COMPASS-STAR? - Speaker: Alessandro Cimatti (FBK)