Contact Jobs

Markus N. Rabe

Markus N. Rabe (Ph.D. Student)

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5637
eMail: rabe at cs.uni-saarland.de
Building: E 1.3 Room: 508

About me

I am a Ph.D. student in the Reactive Systems Group in the Computer Science Department at Saarland University, where I am employed as a research assistant.

Research

I examine model checking and synthesis techniques for temporal logics like LTL and CTL. These are currently limited to properties that talk about different paths independently. Thus, they are unable to express information flow properties like noninterference, transmission of information, and consistency, just to mention a few. In my work, I extend temporal logics by means to express such properties and I develop model checking techniques for their automatic verification.

Publications

[DFKRS12]	Model Checking Information Flow in Reactive Systems with Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, and Helmut Seidl VMCAI 2012.
[FRSZ11]	Efficient Approximation of Optimal Control for Continuous-Time Markov Games with John Fearnley, Sven Schewe, and Lijun Zhang, FSTTCS 2011.
[RS11]	Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games with Sven Schewe. Acta Informatica, vol. 48, 2011.
[RS10]	Optimal Time-Abstract Schedulers for CTMDPs and Markov Games. with Sven Schewe. Quantitative Aspects of Programming Languages (QAPL) 2010.
[FRSZ10]	Efficient Approximation of Optimal Control for Markov Games. with John Fearnley, Sven Schewe, and Lijun Zhang. Computing Research Repository (CoRR).

Teaching

SS 2012	Embedded Systems.
WS 2011/12	Proseminar: Softwarezuverlässigkeit.
SS 2011	Seminar: Games, Synthesis and Robotics.
SS 2010	Assistant for Programmierung 1.
SS 2008	Student assistant for Concurrent Programming at the Dependable Systems Chair.
WS 2007/08	Student assistant for a preparatory course.
SS 2007	Student assistant for Programmierung 2 at the Software Engineering Chair.
WS 2006/07	Student assistant for Programmierung 1 at the Programming Systems Lab.
WS 2006/07	Student assistant for a preparatory course helping new students to catch up to university level math.