Behavioral Model Construction
Wednesday, February 9, 2005
Building 3 Auditorium - 3:30 PM
(Refreshments at 3:00 PM)
Dr. Bernhard Steffen, will talk about Behavioral Model Construction. Automatically generated models may provide the key towards controlling the evolution of complex systems, may form the basis for test generation, and may be applied as monitors for running applications. However, the practicality of automata learning is currently largely impeded by its high complexity and unrealistic frame conditions. After a short introduction to automata learning, the talk will focus on methods to increase its practicality. In particular, it will discuss applications specific optimizations, and illustrate their power along a realistic telecommunication scenario.
Bernhard Steffen graduated in Mathematics (1983) and obtained a PhD in Computer Science (1987) from the Christian-Albrechts Universitt Kiel (D), and then he was Research Fellow at the Laboratory for Foundations of Computer Science (LFCS) in Edinburgh and Researcher at the University of Aarhus (Denmark). In 1993, he became Associate Professor for Distributed Systems at RWTH Aachen, then 1997 Full Professor for Programming Systems at the University of Passau. Since 1997, Steffen holds the Chair of Programming Systems and Compiler Construction at the University of Dortmund, where he is Dean since July 2002. 1998 - 2004 he was Advisory Board Member of ASTEC, a Swedish technology transfer initiative for Advanced Software TEChnology.
Prof. Steffen is founder and Editor in Chief of Software Tools for Technology Transfer (STTT), Springer Verlag, and founder and Steering Committee Member of TACAS (Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems). 1994-2000 he was Associate Editor of the ACM Transactions on Programming Languages and Systems (TOPLAS), since 1996, he is Associate Editor of Kluwers Formal Methods in System Design, and since April 2004, he is member of the Editorial Board of Springers Lecture Notes in Computer Science (LNCS).
IS&T Colloquium Committee Host: Michael Hinchey