Concepedia

Jan Thieme

JT

5

Publications

148

Citations

5

H-Index

1997

Active since

Affiliations

Otto-von-Guericke University Magdeburg(Current)

Jan Thieme is an author at Otto-von-Guericke University Magdeburg specializing in systems engineering, engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringAutomationFormal MethodsProcess ControlComputer ScienceFormal VerificationComputer EngineeringIndustrial InformaticsModeling And Simulation

Publications per year

1997–2004

5

Publications

5

Modeling of PLC behavior by means of timed net condition/event systems

H.‐M. Hanisch, Jan Thieme, Arndt Lüder et al. · 2002 · 79 citations

Engineering, Industrial Engineering, Real-time System Design +22

Model-based generation of modular PLC code using IEC61131 function blocks

Jan Thieme, H.‐M. Hanisch · 2002 · 23 citations

Controller Model, Engineering, Verification +20

A modular plant modeling technique and related controller synthesis problems

H.‐M. Hanisch, Arndt Lüder, Jan Thieme · 2002 · 20 citations

Engineering, Formal Verification, Efficient Technique +16

Next generation integrated development of automation control code in TORERO

K. Lorentz, T. Bauten, Luca Ferrarini et al. · 2004 · 13 citations

Engineering, System Programming, Computer Architecture +21

Towards a synthesis method for distributed safety controllers based on net condition/event systems

H.‐M. Hanisch, Jan Thieme, A. LU ̈DER · Journal of Intelligent Manufacturing · 1997 · 13 citations

Rows per page

1–5 of 5