E-mail senden E-Mail Adresse kopieren
Doktorand:in

Noemi Passing

E-Mail

Adresse

Campus E1 1
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Noemi Passing

Jahr 2022

Konferenz / Medium

FST&TCS
Proceedings of FSTTCS 2022,42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

Artikel

Innovations in Systems and Software Engineering

Konferenz / Medium

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

Artikel

Innovations in Systems and Software Engineering

Konferenz / Medium

FOSSACS
FoSSaCS 2022, LNCS 13242ETAPS 2022

Jahr 2021

Konferenz / Medium

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

Konferenz / Medium

NFM
LNCS13th NASA Formal Methods Symposium, NFM 2021

Jahr 2020

Konferenz / Medium

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

Konferenz / Medium

RV
Runtime VerificationRV 2020