VALU3S (2020-now)

Last updated on Oct 18, 2020
Go to Project Site
VALU3S logo
H2020 ECSEL JU VALU3S
José Proença
José Proença
Senior Researcher

José Proença is a senior researcher at CISTER, ISEP, Portugal, working on formal models for component-based and critical systems.

Related

Publications

Implementing Hybrid Semantics: From Functional to Imperative

ICTAC 2020
PDF Project Project Project Project Extended

Verification of Real-Time Coordination in VirtuosoNext (extended version)

VirtuosoNextTM is a distributed real-time operating system (RTOS) featuring a generic programming model dubbed Interacting Entities. …
PDF Project Project Project DOI

ARx: Reactive Programming for Synchronous Connectors

COORDINATION 2020
PDF Code Project Project Project Slides Video DOI

Implementing Hybrid Semantics: From Functional to Imperative (Extended Version)

CoRR 2020
PDF Code Project Project Project Project ArXiv