Old News
June 17, 2011
Tingting Han and Martin Neuhäuesser both received the "Borchers
Plakette" of the RWTH Aachen University for obtaining their PhD.
degree with distinction.
Plakette" of the RWTH Aachen University for obtaining their PhD.
degree with distinction.
May 2, 2011
Alexandru Mereacre finished his doctoral studies, and today defended his thesis with honours.
April 2011
Prof. Dr. Fausto Spoto (Universita di Verona, Italy) received a Research Fellowship for Experienced Researchers by the Alexander von Humboldt Stiftung and will spend the next six months as visiting researcher in the Lehr- und Forschungsgebiet Informatik 2.
December 3, 2010
Joost-Pieter Katoen received the educational award of the Department
of Computer Science for his lectures on "Data Structures and Algorithms" in the summer semester of 2010.
of Computer Science for his lectures on "Data Structures and Algorithms" in the summer semester of 2010.
December 3, 2010
Falak Sher received an award for the best Master Thesis in the
Department of Computer Science in 2010. The topic of his thesis
is "Compositional Abstraction of Probabilistic Automata".
Department of Computer Science in 2010. The topic of his thesis
is "Compositional Abstraction of Probabilistic Automata".
2 Sep 2010
Communications of the ACM features this month a survey
paper on our research on the verification of probabilistic
systems.
paper on our research on the verification of probabilistic
systems.
6 Aug 2010
May 24 2010: Katoen on Youtube!
Joost-Pieter Katoen treats the Dutch National Flag
problem in the lecture on Data Structures and Algorithms.
problem in the lecture on Data Structures and Algorithms.
18 Jul 2010
Carsten Kern received the "Borchers Plakette" of the RWTH Aachen University for obtaining his PhD. degree with distinction.
13 July 2010
The PhD thesis of Tingting Han on "Diagnosis, Synthesis and Analysis of Probabilistic Models" has been nominated for the Overijssel PhD Award 2009.
31 May 2010
"Learning Communicating Automata from MSCs" by Bollig/Katoen/Kern/Leuker has been selected as Spotlight Paper for May/June Issue of IEEE TSE.
16. April 2010
We organize a session on Quantitative Verification in Practice at the ISOLA week in October 2010. For more info see the ISOLA web page.
Feb 10, 2010
Tingting Han's dissertation has been nominated for the GI Dissertationspreis 2009!
25 Jan 2010
Martin Neuhäußer finished his doctoral studies, and defended his thesis with great success twice: on Friday, 22. Jan 2010 at the University of Twente, and three days later at the RWTH Aachen.
16 Oct 2009
Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)
23 Sep 2009
Stefan Rieger defended his Doctoral Thesis with great success!
18 Sep 2009
1 Sep 2009
The Hybrid Systems Group has now moved to its hopefully final place, the rooms 2U07, 2U08 and 2U09.
31 Aug 2009
Carsten Kern defended his Doctoral Thesis with great success.
30 July 2009
The ACM has awarded Joost-Pieter Katoen the ACM Senior Membership. --- Congratulations!
July 2009
Etienne Lozes (ENS Cachan, F) received a fellowship of the Alexander von Humboldt Stiftung and is to spend one year in the MOVES group starting of September 2009.
20 May 2009
Haidi Yue has been selected for the NII Internship Program --- congratulations!
Feb 24, 2009
The webpages for the SS 2009 courses are now available.
5 Nov 2008
Viet Yen Nguyen has been awarded by the Dutch Computer Science Society
(NGI) the prize of the best Master's thesis in Computer Science in The
Netherlands and Belgium in 2007. We congratulate Viet Yen with this great
achievement!
(NGI) the prize of the best Master's thesis in Computer Science in The
Netherlands and Belgium in 2007. We congratulate Viet Yen with this great
achievement!
3 Sep 2008
We are happy to announce that Dr. Erika Abraham has been appointed head of the new Junior Research Group "Theory of Hybrid Systems", which will be embedded in the MOVES group.
4 Aug 2008
We congratulate our colleague Viet Yen Nguyen, who won the Afstudeerprijs 2007/2008 of the Faculty of Electrical Engineering, Mathematics and Computer Science of the University of Twente, NL. The price, given to the author of the best master thesis of the season, is endowed with 1 kEuro.
16 Jan 2008
Press release on the QUASIMODO project (in german).
Nov 2007: MOVES in SPACE
The MOVES group will lead an international 2-year project sponsored with 500 kEURO by the European Space Agency. Begin is February 2008. Hiwis and Wihis wanted! more...
17. Oct. 2007
"Hoe functioneert Google?" Prof. Katoen @ RWTH Wissenschaftsnacht, 9. Nov., 18:00, Aula 1
22 June 2007
The final VOSS2 Meeting will take place from 12 Nov -- 16 Nov 2007 in the Lorentz Center Leiden, NL. More.
26. October 2006 | On Nov 30/Dec 1, 2006, the International Workshop on Advances in Model Checking will be held at the University of Twente, The Netherlands. The workshop is organized in honour of Gerard J. Holzmann, who will receive a honorary doctorate from the University Twente on this occasion. 15 distinguished international speakers (among them, Prof. J.-P. Katoen) are invited to contribute to the workshop programme. The Workshop also commemorates that the control software of the storm surge barrier in the Nieuwe Waterweg, Rotterdam, was formaly verifed using the SPIN model checker, 10 years ago. |
24. October 2006 | The MOVES Group is part of the new Excellence Cluster on Ultra High-Speed Mobile Information and Communication (UMIC), recently established under the excellence initiative of the German government. |
24. July 2006 | The new I2 Webpages are now finally online. |
20. July 2006 | Volker Stolz defended his PhD-Thesis Temporal Assertions for Sequential and Concurrent Programs |
25. Dezember 2006
Wir suchen einen Hiwi für System- und Web-Admin, 10h/Woche.
