I am interested in formal methods for the verification of hardware and software systems and in techniques that allow the verification of hyperproperties on these systems.
|Reactive Systems Group|
|CISPA Helmholtz Center for Information Security|
|Saarland University Campus|
|Building: E 1.1, Room: 1.16.3|
|Phone:||+49 681 302 5657|
|eMail:||norine.coenen at cispa.de|
|Office Hours:||Whenever the door is open|
- I will participate in the Scientific Interaction at the 8th Heidelberg Laureate Forum!
- Our paper Visual Analysis of Hyperproperties for Understanding Model Checking Results will appear at IEEE VIS 2021!
- Our paper Runtime Enforcement of Hyperproperties will appear at ATVA’21!
|[HCM+21]|| Visual Analysis of Hyperproperties for Understanding Model Checking Results.
With Tom Horak, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, and Raimund Dachselt.
2021 IEEE VIS: Visualization & Visual Analytics (VIS 2021). October 2021.
|[CFHHS21]|| Runtime Enforcement of Hyperproperties.
With Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, and Yannick Schillo.
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021). October 2021.
|[BCFFJS21]|| Causality-Based Game Solving.
With Christel Baier, Bernd Finkbeiner, Florian Funke, Simon Jantsch, and Julian Siber.
33rd International Conference on Computer-Aided Verification (CAV 2021). July 2021. Watch Julian Siber’s presentations: 5 minutes, 25 minutes.
|[BCBFS21]||A Temporal Logic for Asynchronous Hyperproperties. With Jan Baumeister, Borzoo Bonakdarpour, Bernd Finkbeiner, and Cesar Sanchez. 33rd International Conference on Computer-Aided Verification (CAV 2021). July 2021. Watch my presentations: 5 minutes, 25 minutes.|
|[CFHH20]||The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective. With Bernd Finkbeiner, Christopher Hahn, and Jana Hofmann. 17th International Conference on Principles of Knowledge Representation and Reasoning, Recently Published Research Track (KR 2020). September 2020. Watch Jana Hofmann’s presentation: 5 minutes|
|[CFST19]||Verifying Hyperliveness. With Bernd Finkbeiner, Cesar Sanchez, and Leander Tentrup. 31st International Conference on Computer-Aided Verification (CAV 2019). July 2019.|
|[CFHH19]||The Hierarchy of Hyperlogics. With Bernd Finkbeiner, Christopher Hahn, and Jana Hofmann. 34th Annual ACM/IEE Symposium on Logic in Computer Science (LICS 2019). June 2019.|
|[LSPCBK15]||Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario.
With Christian Lander, Marco Speicher, Denise Paradowski, Sebastian Biewer, and Antonio Krüger. 4th ACM International Symposium on Pervasive Displays (PerDis 2015). June 2015.
- Organization: I was the Publicity Chair for CAV 2021 (follow @ConfCAV on Twitter!) and the organizer of the Buddy Program at CAV 2019.
- Committees: I am/was on the Artifact Evaluation Committees of VMCAI 2022 and CAV 2020.
- Reviewing: I sub-reviewed for the following scientific venues: CONCUR 2021, CAV 2021, TACAS 2021, RV 2020, CONCUR 2020, ATVA 2020, CSL 2020, iFM 2019, ATVA 2019, SI-SR 2017, and SR 2017.
- Student Volunteer: I was a student volunteer at FLoC 2018.
- CAVlinks: I started and maintain the CAVlinks Website together with a few other volunteers. CAVlinks is a sharing platform for the Computer-Aided Verification community.
|Verifying Hyperliveness||Master’s Thesis, Saarland University, 2019|
|A Proof System for HyperLTL||Bachelor’s Thesis, Saarland University, 2016|
Advised Student Theses
|Florian Bies||TBD, Bachelor’s Thesis, ongoing|
|Simon Engel||Bounded Model Checking for PHL, Bachelor’s Thesis, 2021|
|Julian Siber||Causal Solving of Reachability Games, Master’s Thesis, 2021|
|Julia Tillman||Temporal Stream Logic for Hyperproperties, Bachelor’s Thesis, 2020 (co-advised with Jana Hofmann)|
Advised Student Helpers
|Florian Bies||MCHyper Reimplementation: Conception and Execution, May 2021 – ongoing|
|Lukas Auer||MCHyper Reimplementation: Conception, May – August 2021|
|Benedict Strube||MCHyper Online Interface: Frontend, 2018|
|Jens Kreber||MCHyper Online Interface: Backend, 2018|
|Summer 2019||Assistant for Proseminar Softwarezuverlässigkeit (Software Reliability) at the Reactive Systems Group.|
|Winter 2018/2019||Advisor for Seminar Hyperproperties at the Reactive Systems Group.|
|Summer 2018||Advisor for Proseminar Formal Verification of Security Protocols at the Reactive Systems Group.|
|Tutor for Core Lecture Embedded Systems at the Reactive Systems Group.|
|Winter 2017/2018||Advisor for Proseminar Time Machine at the Reactive Systems Group.|
|Winter 2016/2017||Tutor for Core Lecture Verification at the Reactive Systems Group.|
|Summer 2016||Organizer and Coach for Mathematics Precourse at Saarland University.|
|Summer 2015||Coach for Mathematics Precourse at Saarland University.|
|Winter 2013/2014||Tutor for Programming 1 at the Dependable Systems and Software Group.|
|Summer 2013||Tutor for Mathematics Precourse at Saarland University.|