I am most interested in the combination and application of existing methods and corresponding tools to "real-world" problems; the development of new methods plays a less important role. Most results of the research activities are motivated by and applied to industrial projects in the field of safety-critical embedded systems and distributed systems, as, for example, avionic systems and railway control systems. A rather complete overview about current research activities and related industrial projects is given in my Habilitation Thesis Formal Methods and the Development of Dependable Systems.

ORCID

• https://orcid.org/0000-0003-3667-9775

Publications

• Publications

Projects

• Research Projects and Industrial Projects

Publications

• Publications

CV

• Curriculum Vitae

Model-Based Testing of Embedded Systems

• Visit the Embedded Systems Testing Benchmark Site

Lectures (in German)

• Lectures

Post Graduate Programme Embedded Systems GESy

• Post Graduate Programme Embedded Systems GESy Programme description

Other responsibilities

• Together with my colleague Rolf Drechsler, I am managing the Post Graduate Programme Embedded Systems GESy.
• I am co-editor of the BISS Monographs - Monographs of the Bremen Institute of Safe Systems, a series of publications related to safety-critical systems, Formal Methods and their applications.

• I am shareholder of Verified Systems International GmbH .

 
 	Prof. Dr. Jan Peleska
 	FB 3 -- Informatik 
 	Universität Bremen
 	Postfach 330 440
 	D-28334 Bremen
 	Germany
Room:   MZH 5490
Phone:  +49 421 218-63961 
E-mail:  peleska@uni-bremen.de