Sven Lohmann

Computer Science · Physical Sciences

7h-index196citations23works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(14), Petri Nets in System Modeling(7), Software Reliability and Analysis Research(5), Software Testing and Debugging Techniques(4), Advanced Control Systems Optimization(4)

Publications23 total

Universal time-temperature scaling of conductivities in random site energy and associated random barrier model
arXiv (Cornell University)·2026Open Access
Universal time-temperature scaling of conductivities in random site energy and associated random barrier model
ArXiv.org·2026Open Access
Tuning spin–orbit coupling in (6,5) single-walled carbon nanotube doped with <i>sp3</i> defects
Journal of Applied Physics·2021· 11 citedOpen Access
Modern Safety Diagnostics
SHILAP Revista de lepidopterología·2016Open Access
Top-5 Things to Improve Safety without Using a Calculator
SHILAP Revista de lepidopterología·2016Open Access
Industrial controls
Cambridge University Press eBooks·2009
Neutral Representation, Visualization and Verification of Logic Controllers Represented by Function Block Diagrams
IFAC Proceedings Volumes·2009· 1 cited
Analyzing safety properties of hybrid processing systems: A case study on an industrial evaporator
Journal of Process Control·2008· 5 cited
Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications
Chinese Journal of Chemical Engineering·2008· 4 cited
Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs
Proceedings of the ... American Control Conference/Proceedings of the American Control Conference·2007· 11 cited
Iterative Specification Refinement in Deriving Logic Controllers
Computer-aided chemical engineering/Computer aided chemical engineering·2007· 1 cited
OPTIMIZATION-BASED SAFETY ANALYSIS OF AN INDUSTRIAL-SCALE EVAPORATION SYSTEM WITH HYBRID DYNAMICS
IFAC Proceedings Volumes·2007· 2 cited
IMPACT OF COMPLEXITY ON LOGIC CONTROLLER DESIGN
IFAC Proceedings Volumes·2007· 1 cited
Analysis of Logic Controllers by Transformation of SFC into Timed Automata
2006· 18 cited
Design of Verified Logic Control Programs
2006 IEEE International Conference on Control Applications·2006
Design of verified logic control programs
2006· 1 cited
Systematic design of logic controllers for processing plants starting from informal specifications
Computer-aided chemical engineering/Computer aided chemical engineering·2006· 4 cited
VERIFICATION OF EMBEDDED SUPERVISORY CONTROLLERS CONSIDERING HYBRID PLANT DYNAMICS
International Journal of Software Engineering and Knowledge Engineering·2005· 11 cited
Algorithmic verification of logic controllers given as sequential function charts
2005· 21 cited
Data quality control and error estimation [presentation]
2005
page 1 of 2Next →

Frequent Co-authors

Sebastian Engell(13), Olaf Stursberg(10), Nanette Bauer(2), Manuel Pereira Remelhe(2), Christian Sonntag(2), Anna Völker(2), Lan Anh Dinh Thi(2), Quinn Emilia Fischer(2), Justus Leiber(2), Philipp Maass(2), Ralf Huuck(1), Ben Lukoschus(1), Kasidet Jing Trerayapiwat(1), Xuedan Ma(1), Sahar Sharifzadeh(1), Thanh Ha Tran(1), Abdulrahman Dandachi(1), Stephan Fischer(1), Lan Dinh Thi(1), T. Moor(1)