Welcome to the Reactive Systems Group at Saarland University

We are located on the fifth floor of building E 1 3 on the Saarbrücken campus of Saarland University (how to reach us).

Summer term 2013

• Proseminar: The Time Machine.

• Core course: Verification.

Lars Kuhtz receives Dr-Eduard-Martin-Award

Congratulations! Lars Kuhtz has won the Dr-Eduard-Martin-Award for his dissertation Model Checking Finite Paths and Trees . This thesis presents efficient parallel algorithms for checking temporal logic formulas over finite paths and trees, including an AC¹ (logDCFL) algorithm for linear-time temporal logic.

Leander Tentrup receives FdSI Bachelor Award

Congratulations! Leander Tentrup has received the FdSI Bachelor Award for his Bachelor thesis “A compositional proof rule for Extended Coordination Logic”. Coordination logic is a temporal logic that reasons about the interplay between behavior and informedness in distributed systems. The thesis presents a compositional proof rule and a transformation of formulas of Extended Coordination Logic into prenex normal form.