Concepedia

Sven Lohmann

SL

Statistics

Publications

6

Citations

84

H-Index

6

Active since

2005

Affiliations

TU Dortmund University(Current)

Sven Lohmann is an author at TU Dortmund University specializing in formal methods, model checking, and computer science.

Publications per year

2005–2021

6

Publications

6

Algorithmic verification of logic controllers given as sequential function charts

Manuel Pereira Remelhe, Sven Lohmann, Olaf Stursberg et al. · 2005 · 21 citations

Computing, Computer Engineering, Computer Science +17

Analysis of Logic Controllers by Transformation of SFC into Timed Automata

Olaf Stursberg, Sven Lohmann · 2006 · 18 citations

Computing, Computer Science, Systems Engineering +17

IMPROVING DEPENDABILITY OF LOGIC CONTROLLERS BY ALGORITHMIC VERIFICATION

Olaf Stursberg, Sven Lohmann, Sebastian Engell · IFAC Proceedings Volumes · 2005 · 12 citations

Computing, Computer Engineering, Computer Science +10

VERIFICATION OF EMBEDDED SUPERVISORY CONTROLLERS CONSIDERING HYBRID PLANT DYNAMICS

Sebastian Engell, Sven Lohmann, Olaf Stursberg · International Journal of Software Engineering and Knowledge Engineering · 2005 · 11 citations

Computing, Computer Science, Systems Engineering +17

Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs

Sven Lohmann, Olaf Stursberg, Sebastian Engell · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 2007 · 11 citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 6