Prof. Dr. Stefan Leue

Coordinates

I am currently holding the Chair for Software Engineering within the Department of Computer and Information Science at the University of Konstanz. I will not teach courses at Freiburg during the Summer Term 2004 or the Winter Term 2004/5.

We are currently working on a web presence of my new research group at Konstanz, but for the time being this page still offers the best access to resouces regarding my current research interests and to the history of my teaching resources. Information regarding current teaching activities is available through the web site of the Chair for Software Engineering at the University of Konstanz.

I will continue to examine students at Freiburg for courses taken during my tenure at Freiburg. Currently, there are two examination dates scheduled during the Summer Term: Monday, May 26 and Monday, July 5. In case you need to be examined on one of these dates, please contact my secretary at Freiburg, Ms. Kerstin Pfeiffer, pfeiffer at informatik.uni-freiburg.de to arrange for an examination date and time.

Involvement in Conferences/Workshops

• SPIN 2004, the 11th International Workshop on Model Checking of Software, Barcelona, April 2004
• SCESM04, 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Edinburgh, May 2004

Stellenangebote/Openings:

• Wissenschaftliche Mitarbeiter / PhD-Student / Post-Doc: Due to my move to Konstanz I will no longer hire post-docs or PhD students here at Freiburg. I expect further open positions to come up at Konstanz - these will be advertised shortly on this page and on the new home page at Konstanz.

Teaching / Lehre: Overview of Teaching Activities of the tele group

Membership Research Networks

• DFG Transregional Collaborative Research Center Automated Verification and Analysis of Complex Systems (AVACS) (DFG Transregio-Sonderforschungsbereich 14)
(I was a founding member when this SFB was installed and continue to be an associate member.)
• DFG Graduate School on Mathematical Logic and Applications (DFG-Graduiertenkolleg Mathematische Logik und Anwendungen) (my membership ended with my move to Konstanz.)

Research on ...

• IMCOS: Incomplete Model Checking for Concurrent, Object-Oriented Systems (a more detailed English version to be available soon)
• Directed Model Checking
• VIP: A Visual Interface for Promela - Home Page
• Visual Modeling and Formal Validation
• Formal Modeling and Validation of Distributed, Object-Oriented Systems
• Message Sequence Charts and Message Flow Graphs
• Efficient, Parallel Protocol Implementation
• SDL, Real-Time and Quality of Service

Past Research Projects (at the University of Waterloo):

• Software Requirements Engineering and Design based on Message Sequence Charts.
• Scenario-based Design of Concurrent Real-Time Systems.

Additional pages:

• Publications
• Short biography.
• Presentations (access to transparencies).
• Object-Oriented Design for Real-Time Systems, ICR short course.

Postdoctoral Fellows and PhD Students:

• Husain Aljazzar (PhD candidate)
• Dr. Richard Mayr (PostDoc)
• Wei Wei (PhD candidate)

Alumni:

• Alberto Lluch Lafuente (PhD candidate, co-supervised with Prof. Thomas Ottmann)
• Piotr Tysowski (MASc, Executable Model Synthesis and Property Validation for Message Sequence Charts, December 2000), now with RIM, Waterloo.
• Moataz Kamel (MASc, On the Visual Modeling and Verification of Concurrent Systems, September 1999), now with Soma Networks, Toronto.
• Hanêne Ben-Abdallah (Post Doc, 07/96 - 07/97), now with Faculté des Sciences Economiques et Gestion, Université de Sfax, Tunisia.
• Mohammad Rezai (Post Doc, 11/97 - 10/98), now with Prior Data Sciences Ltd., Toronto.

Memberships:

• IEEE Computer Society
• ACM
• Gesellschaft für Informatik / German Informatics Society (their choice of  name...)
  • GIBU (GI Beirat der Universitätsprofessoren)
• IFIP WG 6.1

More links:

• Our Master Programme in  Applied Computer Science (ACS)
• Formal Methods page maintained by Jonathan Bowen, at Oxford University.
• The LTL Model Checker SPIN (and Promela) home page.