About me

That’s me, Dr.-Ing. Florian Leitner-Fischer!

Dr. Leitner-Fischer is leading an international team of experts for safety critical automotive software at ZF TRW. Leitner-Fischer is also part of the global ZF TRW process definition team in the area of software processes. He obtained his doctoral degree from the University of Konstanz, with focus in model-based engineering of complex embedded software systems. Dr. Leitner-Fischer has several years of experience in the automotive sector. For more comprehensive information on his professional activities, please have a look at his Xing Profile.


Research Interests

Use of formal 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. Automotive Software / Systems Engineering in particular functional safety (IEC 61508 / ISO 26262), (Automotive) SPICE, model-based engineering of automotive systems and AUTOSAR.

See here for a list of  publications or here for a list of speaking engagements.