Florian Leitner-Fischer

Contact

address University of Konstanz Department for Computer and Information Science Universitätsstr. 10 P.O. Box 67 78457 Konstanz Germany phone +49 (0)7531 88 4762 fax +49 (0)7531 88 3577 email web http://www.florian-leitner.de office E 218

Research

Research Interests

• Use of fomal methods in the design of complex systems, model checking, semantics and verification of object-oriented modeling techniques, semantics and verification of UML, verification of probabilistic system properties, case studies in the design and verification of concurrent (software) systems.

Projects

• QuantUM: Safety Analysis of Complex Sytem and Software Architectures
• DiPro - Directed Probabilistic Counterexample Generation Tool

Research and Technology Transfer

• Project Manager at the Steinbeis Transfer Center Complex Systems Engineering at the University of Konstanz.