Teaching

First Semester 2009/2010

No teaching obligations.

Second Semester 2009/2010

  • Coordinator for OGO 2.2

Available Master's thesis graduation projects

  1. Breadth-First Rewriting.
  2. SOSA: SOS Assistant tool.

Teaching in the past year

First Semester 2008/2009
Second Semester 2008/2009

Master Embedded Systems - graduation assignments

  1. Hans Westerveen. Verification of the I-Cane Prototype, September 2009. Assignment from NBG Industrial Automation B.V., Nederweert, The Netherlands. CONFIDENTIAL until September 2010.

Master Computer Science Engineering - graduation assignments

  1. Jeroen Heijmans. Themis: Load sharing in an in-home network. Assignment from Philips TASS B.V., Eindhoven, The Netherlands.
  2. Ingmar van Dijk. Enabling Ambient Intelligence: A Network Simulation Framework for analysis of Target Based Distributed Component Assembly Systems, November 2003. Assignment from Information Management in Products, Information and Software Technology, Philips Research Laboratories Eindhoven, Eindhoven, The Netherlands.
  3. Peter van den Brand. Linearization of Hybrid Processes, Augustus 2004.
  4. Rogier Schouten. Simulation of Hybrid Processes, Augustus 2005.
  5. Fabian Kratz. A modeling language for reconfigurable distributed hybrid systems, Oktober 2005. Assignment from PENN State University, Pensylvania, USA.
  6. Rink P.W. Springer. Design and verification of the SmartPixel II protocol, August 2008. Assignment from DevLab, Eindhoven, The Netherlands.
  7. Maarten Damen. Reversed Engineering Based on Log data, July 2009. Assignment from Logica, Eindhoven, The Netherlands.
  8. Hans Westerveen. Verification of the I-Cane prototype , September 2009. Master's thesis. Assignment from NBG Automation, Nederweert, The Netherlands.

Master of Technological Design - graduation assignments

  1. Dragos Manolache & Marton Zelina. In-Home Networks II. Assignment from Philips TASS B.V., Eindhoven, The Netherlands. Award: OOTI eindopdrachtprijs 2002.
  2. Sergei Shumsky. Script Interface Service. Assignment from ASML, Veldhoven, The Netherlands.
  3. Xiaoyu Liu. Integration of Analogue Services into MHP, August 2003. Assignment from Philips Digital Systems Labs, Eindhoven, The Netherlands.
  4. Elena Mumford, User Adaptive Video Transmission Management over a Wireless Network, August 2004. Assignment from Philips Research Laboratories Eindhoven, Eindhoven, The Netherlands.
  5. Nataliya Mulyar and Ladislau Posta. Coupling Of Multidisciplinary Models --COMM--, August 2004. Assignment from Embedded Systems Institute, Eindhoven, The Netherlands.
  6. Jeroen Gommans, Instant-on Systems using Magneto Resistive Memories, August 2005. Assignment from Philips Semiconductors, Eindhoven, The Netherlands.
  7. Tanja Ghurziy. Model Transformation using QVT: Feasibility Analysis by Implementation, August 2006. Assignment from Embedded Systems Institute, Eindhoven, The Netherlands and ASML, Veldhoven, The Netherlands.
  8. Sebastiaan van der Hoest. The development of a Software-In-the-Loop simulation framework for testing real-time control software, August 2006. Assignment from Oce  Technologies B.V., Venlo, The Netherlands.
  9. Joost Meijles. Edutainment ensor Platform Application Framework, August 2007. Assignment from Philips Research, Eindhoven, The Netherlands.

PhD Students

  1. Pieter J.L. Cuijpers, Hybrid Process Algebra, December 2004. Promotors: J.F. Groote and Paul van den Bosch. Copromotor: Michel Reniers. Project: Analysis and Synthesis of Embedded Systems with Discrete and Continuous Control.
  2. MohammadReza Mousavi. Structuring Structural Operational Semantics, September 2005. Promotors: Jan Friso Groote and Gordon Plotkin. Copromotor: Michel Reniers. Project: Software Architecture = Components + Coordination.
  3. Ka Lok Man. Formal Specification and Analysis of Hybrid Systems, February 7, 2006. Promotors: Jos Baeten and Koos Rooda. Copromotor: Michel Reniers. Project: Modelling, simulation and verification of hybrid systems.
  4. Muck van Weerdenburg. Efficient Rewriting Techniques, April 1, 2009. Promotors: Jan Friso Groote and Mark van den Brand. Copromotor: Michel Reniers.