Norine Coenen

Norine Coenen

About Me

I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University and 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
Saarland University
Building: E 1.1, Room: 1.16.3
Phone: +49 681 302 5657
eMail: coenen at react.uni-saarland.de
Office Hours: Whenever the door is open

Publications

[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.
Joint work with Christian Lander, Marco Speicher, Denise Paradowski, Sebastian Biewer, and Antonio Krüger, PerDis 2015. June 2015.

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.