We stand with Ukraine  

Noemi Passing

Orcid: 0000-0001-7781-043X

Affiliations:
  • CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
  • Saarland University: Saarbrücken, Germany


According to our database1, Noemi Passing authored at least 14 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Specification decomposition for reactive synthesis.
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Gideon Geier
,
Noemi Passing
Innov. Syst. Softw. Eng., December, 2023

Compositional synthesis of reactive systems.
[BibTeX]
[DOI]
Noemi Passing
PhD thesis, 2023

Reactive Synthesis of Smart Contract Control Flows.
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Jana Hofmann
,
Florian Kohn
,
Noemi Passing
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022
Compositional synthesis of modular systems.
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Noemi Passing
Innov. Syst. Softw. Eng., 2022

Synthesizing Dominant Strategies for Liveness (Full Version).
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Noemi Passing
CoRR, 2022

BOCoSy: Small but Powerful Symbolic Output-Feedback Control.
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Kaushik Mallik
,
Noemi Passing
,
Malte Schledjewski
,
Anne-Kathrin Schmuck
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Synthesizing Dominant Strategies for Liveness.
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Noemi Passing
Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Temporal Stream Logic modulo Theories.
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Philippe Heim
,
Noemi Passing
Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021
Compositional Synthesis of Modular Systems (Full Version).
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Noemi Passing
CoRR, 2021

Specification Decomposition for Reactive Synthesis (Full Version).
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Gideon Geier
,
Noemi Passing
CoRR, 2021

2020
Dependency-based Compositional Synthesis (Full Version).
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Noemi Passing
CoRR, 2020

Verified Rust Monitors for Lola Specifications.
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Stefan Oswald
,
Noemi Passing
,
Maximilian Schwenger
Proceedings of the Runtime Verification - 20th International Conference, 2020

Dependency-Based Compositional Synthesis.
[BibTeX]
[DOI]
Bernd Finkbeiner
,
Noemi Passing
Proceedings of the Automated Technology for Verification and Analysis, 2020

2016
Representing Pattern Matching Algorithms by Polynomial-Size Automata.
[BibTeX]
[DOI]
Tobias Marschall
,
Noemi E. Passing
CoRR, 2016


  Loading...