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

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

WiP@RTSS
PDF Project Project Project Accepted

Hubs for VirtuosoNext: Online verification of real-time coordinators

SCP 2020
PDF Code Project Project Project Project DOI

Implementing Hybrid Semantics: From Functional to Imperative

ICTAC 2020
PDF Code Project Project Project Project Slides DOI 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