| emsoft | participants

Miroslav Pajic

Program Committees:
2015, 2016, 2017, 2018, and 2021
.

EMSOFT 2019: 19th International Conference on Embedded Software

Statistical Verification of Hyperproperties for Cyber-Physical Systems

Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, and Miroslav Pajic

EMSOFT 2017: 17th International Conference on Embedded Software

Security-Aware Scheduling of Embedded Control Tasks

Vuk Lesi, Ilija Jovanov, and Miroslav Pajic

EMSOFT 2015: 15th International Conference on Embedded Software

Automatic Verification of Linear Controller Software

Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky