Anne Remke

I am a researcher at the Design and Analysis of Communication Systems group, which belongs to the Faculty of Electrical Engineering, Mathematics, and Computer Science at the University of Twente. I hold a Ph. D. degree (2008) from the University of Twente and a M.Sc degree (2004) from the RWTH Aachen, both in Computer Science.

My research interests are CSL model checking in general, and model checking of infinite-state Markov chains in particular. I am interested in structured state spaces like quasi-birth death processes (QBDs), tree-structured QBDs and Jackson queueing networks (JQNs). Furthermore I am interested in the analysis of bottlenecks in multi-hop IEEE 802.11e ad hoc networks.

As a postdoctoral researcher in the context of the 3TU Centre for Dependable ICT Systems, I will focus on dependability in critical 7x24 infrastructures, such as electrical power systems and their infrastructure and telecommunication and ICT infrastructures (i.e. SCADA).

Publications

Anne Remke, Boudewijn R. Haverkort, "A uniformization-based algorithm for model checking CSL until operators on labelled queueing networks", 6th International Conference on Formal Modeling and Analysis of Timed Systems, Formats 2008, accepted for publication .
Anne Remke, "Model Checking Structured Infinite Markov Chains", PhD thesis, 2008.
Anne Remke, Boudewijn R. Haverkort, Geert Heijenk, Lucia Cloth, "Bottleneck Analysis for Two-Hop IEEE 802.11e Ad hoc networks", 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA'08, 279--294, Springer.
Anne Remke, Boudewijn R. Haverkort, "CSL model checking Algorithms for Infinite-State Structured Markov chains", 5th International Conference on Formal Modeling and Analysis of Timed Systems, Formats 2007, LNCS 4763 proceedings .
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth, "CSL Model Checking Algorithms for QBDs", Theoretical Computer Science, Volume 382(2007), 24--41, ELSEVIER.
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth, "Bottlenecks in Two-Hop Ad Hoc Networks Dividing Radio Capacity in a Smart Way", Workshop on Stochastic Performance Models for Resource Allocation in Communication Systems, StoPeRa 2006.
Anne Remke, Lucia Cloth, Boudewijn R. Haverkort, "Uniformization with Representatives / Comprehensive Transient Analysis of Infinite-state QBDs", Workshop on Tools for solving Structured Markov Chains, SMCtools 2006, ACM, CD only .
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth, "A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks", 3th International Conference on the Quantitative Evaluation of Systems, Qest 2006, pp. 63-72, IEEE press. .
Anne Remke, Boudewijn R. Haverkort, "Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards", 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005.
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth, "Model Checking Infinite-State Markov Chains", 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, LNCS 3440 proceedings .
Anne Remke, "Model Checking Quasi Birth Death Processes", Diploma thesis, 2004.

About me

June 20, 2008 I publicly defended my PhD thesis "Model Checking Structured Infinite Markov Chains" at the University of Twente. During my PhD I worked in the NWO project MC=MC under the supervision of Boudewijn Haverkort. My research topics was "Model checking infinite state Markov chains".

On May 16, the Kivi Niria Telecommunication prize 2008 took place in Delft, during which a candidate from each of the three Technical University in the Netherlands, Universities of Twente, Eindhoven and Delft, presented their work. As candidate for the University of Twente I received the second price with the presentation "Two hop ad hoc networks: Setting the parameters right".

At the annual CTIT congress (may 31, 2006) I was awarded the first prize in the PhD-poster-competition for my poster on "Bottlenecks in 2-hop ad hoc networks dividing radio capacity in a smart way".

I completed my diploma thesis, entitled "Model Checking Quasi Birth Death Processes" in the summer of 2004 while staying, as a visiting student, at the University of Twente. I have been awarded the 2006 GI/ITG MMB prize for the best diploma thesis in the area of measurements, modelling and evaluation of computer and communication systems. The prize is awarded jointly by the "Gesellschaft for Informatik" and the "Informationstechnische Gesellschaft im VDE", and was officially handed out at the MMB conference in Nurnberg, Germany.

Born in Muenster, Germany, April 24th 1980, I finished high school in June 1999 and graduated in Computer Science at the RWTH Aachen in 2004 (Dipl. - Inform).

Contact

Anne Remke
University of Twente
Design and Analysis of Communication Systems
Faculty of Electrical Engineering, Mathematics and Computer Science
P.O. Box 217
7500 AE Enschede
The Netherlands

Phone: +31 53 489 5428
Email: anne [at] cs.utwente.nl
Room: ZI-5006