Award for best master studies
June 30, 2014
Sergey Sazonov, who completed his master thesis on “Property preservation under bisimulations on Markov Automata” at our chair, received an award of the CS department for completing his master studies
News
Paper accepted at ATVA'14
June 29, 2014
Our paper “Fast Debugging of PRISM Models” by [Christian Dehnert](http://moves.rwth-aachen.de/people/dehnert/), [Nils Jansen](http://moves.rwth-aachen.de/people/njansen/ "Nils Jansen"), Ralf Wimmer, [
Nacht der Professoren
June 26, 2014
[](http://moves.rwth-aachen.de/wp-content/uploads/Flyer-Kopie%5Fklein.jpg)Joost-Pieter Katoen puts on
Paper accepted at CONCUR'14
June 26, 2014
The paper “Tight Game Abstractions of Probabilistic Automata” by Falak Sher and Joost-Pieter Katoen has been accepted at the conference Concurrency Theory. The paper presents game-based abstraction th
Paper accepted at IFIP TCS'14
June 26, 2014
The paper “Parametric LTL on Markov Chains” by Souymodip Chakraborty and Joost-Pieter Katoen has been accepted at the IFIP TCS conference. The paper shows the undecidability of verifying a Markov chai
Paper accepted in Theoretical Computer Science
June 17, 2014
The paper “Minimal Counterexamples for Linear-Time Probabilistic Verification” by Ralf Wimmer, [Nils Jansen](http://moves.rwth-aachen.de/people/njansen/ "Nils Jansen"), [Erika Ábrahám](http://ths.rwth
Survey paper probabilistic counterexamples
June 5, 2014
A survey paper concerning the generation of counterexamples for probabilistic systems was published by [Erika Ábrahám](http://ths.rwth-aachen.de/people/erika-abraham/), Bernd Becker, [Christian Dehner
Paper accepted at QEST 2014
May 14, 2014
The paper “Accelerating Parametric Probabilistic Verification” by [Nils Jansen](http://moves.rwth-aachen.de/people/njansen/ "Nils Jansen"), [Florian Corzilius](http://ths.rwth-aachen.de/people/florian
Two papers accepted at ICGT 2014
May 14, 2014
The papers “Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs” by [Christina Jansen](http://moves.rwth-aachen.de/people/cjansen/ "Christina Jansen"), [Florian Göb
Two papers accepted at CSL-LICS
April 24, 2014
The papers “Probably Safe or Live” by Katoen, Song and Zhang, and “Zero-Reachability in Probabilistic Multi-Counter Automata” by Brazdil, Kiefer, Kucera, Novotny and Katoen have been accepted at CSL-L
ACSD 2014 paper accepted
March 26, 2014
The paper entitled “Layered Reduction for Abstract Probabilistic Automata” by Arpit Sharma and Joost-Pieter Katoen has been accepted for the 14th Int. Conf. on Application of Concurrency on System Des
“Bizarre Concurrency” workshop
March 10, 2014
We organize a workshop on “Bizarre Concurrency” in Aachen, together with Roland Meyer, Markus Müller-Olm and Heike Wehrheim. It will take place March 24th and 25th. Topic: new concurrency theory for m
New MOVES member
March 1, 2014
Federico Olmedo joint our group! Federico did his PhD with Gilles Barthe in Madrid, Spain on probabilistic programs in security. He started as postdoc on the project “Automated Analysis of Probabilist
Dagstuhl Seminar accepted
February 20, 2014
Our Dagstuhl Seminar on “Challenges and Trends in Probabilistic Programming” with Gilles Barthe, Andy Gordon and Annabelle McIver in April 2015, has been accepted.
Academia Europaea appointment
September 17, 2013
Joost-Pieter Katoen has been appointed as a member of the renowned Academia Europaea (Academy of Europe), a European, non-governmental association acting as an Academy whose members are scientists and