Send email Copy Email Address
PhD Student

Noemi Passing

Email

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Publications by Noemi Passing

Year 2022

Conference / Medium

HSCC
Proceedings of HSCC22,25th ACM International Conference on Hybrid Systems: Computation and Control

Article

Innovations in Systems and Software Engineering

Conference / Medium

FOSSACS
FoSSaCS 2022, LNCS 13242ETAPS 2022

Year 2021

Conference / Medium

ATVA
LNCS19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)

Conference / Medium

NFM
LNCS13th NASA Formal Methods Symposium, NFM 2021

Year 2020

Conference / Medium

ATVA
LNCS, Volume 1230218th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020

Conference / Medium

RV
Runtime VerificationRV 2020