1

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper

SAMOS 2021

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

WiP@RTSS

Implementing Hybrid Semantics: From Functional to Imperative

ICTAC 2020

ARx: Reactive Programming for Synchronous Connectors

COORDINATION 2020

Coordination of Tasks on a Real-Time OS

COORDINATION 2019

Taming Hierarchical Connectors

FSEN 2019

ReoLive: Analysing Connectors in Your Browser

FOCLASA 2018

A Refinement Relation for Families of Timed Automata

SBMF 2017

Composing Families of Timed Automata

FSEN 2017