| emsoft | participants

Ezio Bartocci

Program Committees:
2024
.

EMSOFT 2023: 23rd International Conference on Embedded Software

Mining Hyperproperties using Temporal Logics

Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, and Dejan Nickovic

EMSOFT 2021: 21st International Conference on Embedded Software

Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems

Meiyi Ma, John A. Stankovic, Ezio Bartocci, and Lu Feng

EMSOFT 2020: 20th International Conference on Embedded Software

Mining Shape Expressions From Positive Examples

Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Ničković, and Xin Qin

EMSOFT 2018: 18th International Conference on Embedded Software

An Algebraic Framework for Runtime Verification

Stefan Jakšić, Ezio Bartocci, Radu Grosu, and Dejan Ničković