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 2022

2022-05-04

BOCoSy: Small but Powerful Symbolic Output-Feedback Control

Conference / Medium

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

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2022-04-01

Compositional synthesis of modular systems

Article

Innovations in Systems and Software Engineering

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2022-03-03

Temporal Stream Logic modulo Theories

Conference / Medium

FOSSACS
FoSSaCS 2022, LNCS 13242ETAPS 2022

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

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