DaVinci

DaVinci (07/2018-now) - Coordinator

__Distributed Architectures - Variability and Interaction for Cyber-Physical Systems__ - is an FCT project to analyse interactions among software components considering aspects such as real time and variability. It currently produced 4 conference publications, 1 master thesis, 5 talks, it was involved in the organisation of a workshop and an invited tutorial, and produced several tools available online in http://arcatools.org.

ARx: Reactive Programming for Synchronous Connectors

COORDINATION 2020

Implementing Hybrid Semantics: From Functional to Imperative

CoRR 2020

Coordination of Tasks on a Real-Time OS

COORDINATION 2019

Proceedings of F-IDE@FM 2019

EPTCS 2019

Taming Hierarchical Connectors

FSEN 2019