| emsoft | participants

Dionisio de Niz

Program Committees:
2013, 2014, 2019, and 2020
.

EMSOFT 2017: 17th International Conference on Embedded Software

Formal Verification of a Timing Enforcer Implementation

Sagar Chaki and Dionisio de Niz

EMSOFT 2014: 14th International Conference on Embedded Software

Contract-Based Integration of Cyber-Physical Analyses

Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, and David Garlan

EMSOFT 2011: 11th International Conference on Embedded Software

Resource Allocation Contracts for Open Analytic Runtime Models

Min-Young Nam, Dionisio de Niz, Lutz Wrage, and Lui Sha