Paper accepted at DSN 2015
April 3, 2015
The paper “A statistical approach for timed reachability in AADL models” by Harold Bruintjes, Joost-Pieter Katoen, and David Lesens (Airbus Defense & Space) has been accepted at the IEEE/IFIP Internat
News
Paper accepted at FM 2015
March 24, 2015
The paper “Counterexamples for Expected Rewards” by Tim Quatmann, [Nils Jansen](http://moves.rwth-aachen.de/people/njansen/ "Nils Jansen"), [Christian Dehnert](http://moves.rwth-aachen.de/people/dehne
Jonathan Heinen successfully defended his PhD dissertation
March 20, 2015
[](http://moves.rwth-aachen.de/wp-content/uploads/IMG%5F4538.jpg)Monday March 9, Jonathan Heinen successfully defended h
Carsten Kern Professor at OTH Regensburg
March 3, 2015
Carsten Kern, formerly a PhD student at Chair i2, recently obtained a Professorship at the Ostbayerische Technische Hochschule in Regensburg (Bavaria). We congratulate him with this success and wish h
Arpit Sharma (M.Sc) successfully defended his PhD dissertation
January 22, 2015
On January 15, 2015, Arpit Sharma has successfully defended his dissertation on “Reduction Techniques for Nondeterministic and Probabilistic Systems”. His defense committee consisted of Christof Lödin
Paper accepted at NFM 2015
January 21, 2015
Our paper “A Greedy Approach for the Efficient Repair of Stochastic Models” by Shashank Pathak, [Erika Ábrahám](http://ths.rwth-aachen.de/people/erika-abraham/), [Nils Jansen](http://moves.rwth-aachen
Call for Abstracts FFM 2015
December 31, 2014
RWTH Aachen hosts the Young Researchers’ Conference “Frontiers in Formal Methods”, February 25-27 2015\. Young researchers (up to two years after completing their PhD thesis) are encouraged to submit
Hongfei Fu (M.Eng) successfully defended his PhD dissertation
December 14, 2014
Hongfei Fu has successfully defended his PhD dissertation entitled “Verifying Probabilistic Systems: New Algorithms and Complexity Results”. Hongfei started his PhD research in autumn 2010\. His exami
Mark Timmer receives Overijssel PhD award
December 4, 2014
Mark Timmer received the award for the best PhD dissertation in 2013 in the region Overijssel, the Netherlands for his thesis _Efficient Modelling, Generation and Analysis of Markov Automata._ Mark ob
Paper accepted for LMCS
October 7, 2014
Our paper “High-level Counterexamples for Probabilistic Automata” by Ralf Wimmer, [Nils Jansen](http://moves.rwth-aachen.de/people/njansen/ "Nils Jansen"), [Erika Ábrahám](http://ths.rwth-aachen.de/pe
Best Paper Award at FACS 2014
September 12, 2014
[](http://moves.rwth-aachen.de/wp-content/uploads/facs2014-best-paper-a
Paper accepted at EMSOFT 2014
July 4, 2014
The paper “Exponentially timed SADF: Compositional semantics, reduction, and analysis” by Joost-Pieter Katoen and Hao (Stephen) Wu has been accepted for EMSOFT’14 in New Delhi. The paper presents a co
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
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