Norine Coenen

A profile picture of Norine Coenen

About Me

I am a Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University. I am also a member of the Graduate School of Computer Science.

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.

Contact

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

News!

Publications

[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.

Scientific Service

Theses

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

Teaching

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.

Find Me Online