Some Projects

• PETE - Prolog EMF Transformation Environment Eclipse Plug-In
• AutoFocus - A Case-Tool for the Development of Embedded Systems
• FOCUS - Methodik des Entwurfs verteilter Systeme, (Teilprojekt A6 des Sonderforschungsbereichs 342) (finished)
• Video on Demand, Joint Research Project with Siemens PN (finished)
  
• Vordringliche Aktion "Entwicklung, Produktion und Service von Software für eingebettete Systeme" (finished)
• Cofounder and Member of the Advisory Board of of Validas AG
• Competence Center Model-Based System and Software Development
  
• Interoperablity for Calculi of System Modeling (finished)
  
• Kompetenz Center Grundlagen
• ProMiS: Projektmanagement für Interdisziplinäer Systementwicklung (finished)
  
• AutoMoDe: Automotive Model-Based Development
• GI-AK Modellbasierte Entwicklung eingebetteter Systeme
• GI AK Requirements Engineering für eingebettete Systeme
• Member of the IEEE Working Group Model Based Development
• Editor Journal on Software and System Modeling
  

 Some Recent Activities

• Programm Committee "MODELS'10 International Conference On Model Driven Engineering Languages And Systems 2010"
  
• Organizing Chair  "MODELS'10 Doctoral Symposium"
• Programm Committee "SIES'10 IEEE Symposium on Industrial Embedded Systems 2010"
• Programm Committee "TCC'10 Traformation Tool Contest 2010"
• Programm Committee "CBSE'10 Engineering of Computer-Based Systems 2010"
• Programm Committee "ECBS'10 Engineering of Computer-Based Systems 2010"
• Organizing/Programm Committee Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme MBEES 2010
• Programm Chair "Workshop on Non-functional System Properties in Domain Specific Modeling Languages" NFPinDSML2009 at MODELS'09
• Programm Chair "Joint MoDSE-MCCM 2009 Workshop of Models and Evolutions" MoDSE-MCCM 2009  at MODELS'09
  
• Programm Committee "MODELS'09 International Conference On Model Driven Engineering Languages And Systems 2009"
  
• Programm Committee "SIES'09 IEEE Symposium on Industrial Embedded Systems 2009"
• Programm Committee "CORCS'09 Component-Based Design of Resource-Constrained Systems 2009"
• Program Committee Chair "FACS'09 International Worlshop on Formal Aspcets of Component Systems" 2009
  
• Programm Committee "ECBS-EERC '09 IEEE Eastern European Regional Conference on the Engineering of Computer Based Systems 2009"
• Programm Committee "ECBS'09 Engineering of Computer-Based Systems 2009"
• Organizing/Programm Committee "Model-Based Development of Computer-Based Systems" MBD 2009
• Organizing/Programm Committee Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme MBEES 2009
• Program Committee/Special Session Organizing Committee "International Symposium on Industrial Embedded Systems" SIES 2008
  
• Program Committee "Model Driven Engineering, Verification, And Validation: Integrating Verification And Validation In MDEMoDeVVa 2008"
  
• Program Committee "Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen MBEEF 2008"
  
• Program Committee "International Workshop on the Certification of Safety-Critical Software Controlled Systems" SafeCert 2008
  
• Program Committee "International Colloquium on Theoretical Aspects of Computing" ICTAC 2008
  
• Program Committee "International Conference on Software and Data Technologies" ICSOFT 2008
• Organizing/Programm Committee Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme MBEES 2008
• Organizing/Programm Committee "Model-Based Development of Computer-Based Systems" MBD 2008
• Programm Committee "ECBS'08 Engineering of Computer-Based Systems 2008"
  
• Program Committee "International Symposium on Industrial Embedded Systems" SIES 2008
• Organizing Committee Dagstuhl Seminar "Model-Based Development of Embedded Real-Time Systems"
  
• Program Committee "ICSE 2008 International Conference on Software Engineering Track on Automotive Systems"
• Program Committee/Organizing Committee Industrial Session "Modellierung 2008" GI Konferenz
• Program Committee Doctoral Symposium "Modellierung 2008

Tutorials

• Tutorial at ICFEM'04: Model-based Development: Combining Engineering Approaches and Formal Techniques 
  Slides: Part 1 (2.5 MB) Part2 (11.4 MB) Part 3 (2.5 MB)
  
• Tutorial at SEFM'04: Model-Based Development: Mastering the Complexity of Reactive System
  

 Some Talks

• Talk "Modular Functional Specifications", Informatikkolloquium Prag
  
• Talk "Model-Based Requirement Engineering with AutoRAID", RECONF 2005, München
  
• Talk "Extending AutoFocus: Dynamic structure, time, and computation", EECS CHESS Seminar, Berkeley
  
• Talk "From Control Functions to Embedded Behavior: Modeling Reactive Behavior", Center for Software Innovation, Sønderborg
  
• Talk "What's a Service and What is it Good for?", Fakultätskolloquium Mathematik/Informatik, Weizmann Institut
  
• Talk "Formalisierung von Diensten", Graduiertenkolleg Dresden
• Talk "Model-based Development of Embedded Software: New Possibilities for the Automotive Industry?", Industrial Seminar "Entwicklung Verteilter Elektroniksysteme", Stuttgart
• Talk "Integrated Modeling with AutoFocus: The BART Case Study", Dagstuhl Seminar on "Can Formal Methods Cope with Software Intensive Systems"
• Talk "Views and (In)Consistency in Model Based Development", Dagstuhl Seminar on "Supporting Customer Supplier Relationship Management"