Send email Copy Email Address
PhD Student

Noemi Passing

Reliable Security Guarantees

Email

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Noemi Passing

Year 2021

2021-10-18

Compositional Synthesis of Modular Systems

Conference / Medium

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

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2021-05-24

Specification Decomposition for Reactive Synthesis

Conference / Medium

NFM
LNCS13th NASA Formal Methods Symposium, NFM 2021

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

Year 2020

2020-10-12

Dependency-based Compositional Synthesis

Conference / Medium

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

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2020-10-06

Verified Rust Monitors for Lola Specifications

Conference / Medium

RV
Runtime VerificationRV 2020

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page