Sommerfest 2015
May 12, 2015
The website for this year’s Sommerfest is now live! You can find it at http://sommerfest-informatik.de. This year it is organized by our group, and will take place June 26th. The three main events,
News
Paper accepted at CAV 2015
April 18, 2015
Our paper “PROPhESY: A PRObabilistic ParamEter SYnthesis Tool” by [Christian Dehnert](http://moves.rwth-aachen.de/people/dehnert/ "Christian Dehnert"), Sebastian Junges, [Nils Jansen](http://moves.rwt
Paper accepted at ASMTA 2015
April 3, 2015
The paper “Model Checking of Open Interval Markov Chains” by Souymodip Chakraborty and Joost-Pieter Katoen has been accepted at the 22nd International Conference on Analytical & Stochastic Modelling T
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
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