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
News
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
Vacancies for postdoctoral researchers
August 7, 2013
The Software Modeling and Verification Group (MOVES, moves.rwth-aachen.de) at RWTH Aachen University offers openings for several postdoctoral researchers in the area of **“Automated Analysis of Prob
Distinguished Professorship
May 6, 2013
Joost-Pieter Katoen has been awarded a [Distinguished Professorship](http://www.rwth-aachen.de/go/id/dcbf/?lidx=1 "Distinguished Professorship") from the RWTH Aachen University.
ETAPS SC Chair
March 20, 2013
Joost-Pieter Katoen has been elected as Steering Committee Chair of ETAPS ([www.etaps.org](http://www.etaps.org "www.etaps.org")), the largest conference on theory and practice of software in Europe.