Concepedia

Bernd–Holger Schlingloff

BS

15

Publications

445

Citations

12

H-Index

1992

Active since

Affiliations

Humboldt-Universität zu Berlin(Current)

Fraunhofer Institute for Open Communication Systems

Swansea University

Fraunhofer-Gesellschaft

Cal Poly Humboldt

Bernd–Holger Schlingloff is an author at Humboldt-Universität zu Berlin specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationFormal MethodsSoftware DesignFormal VerificationProgram AnalysisSoftware TestingSoftware Analysis

Publications per year

1992–2025

15

Publications

15

Efficient Verification of Parallel Real–Time Systems

Tomohiro Yoneda, Bernd–Holger Schlingloff · Formal Methods in System Design · 1997 · 92 citations

Towards a framework for certification of reliable autonomous systems

Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier et al. · Autonomous Agents and Multi-Agent Systems · 2020 · 73 citations · Full text

Modeling and Model Checking Web Services

Bernd–Holger Schlingloff, Axel Martens, Karsten Schmidt · Electronic Notes in Theoretical Computer Science · 2005 · 71 citations · Full text

Hybrid logics on linear structures: expressivity and complexity

Massimo Franceschet, Maarten de Rijke, Bernd–Holger Schlingloff · 2004 · 38 citations

Computational Logic, Non-classical Logic, Engineering +14

Expressive completeness of temporal logic of trees

Bernd–Holger Schlingloff · Journal of Applied Non-Classical Logics · 1992 · 31 citations

Tree Language, First Order, Equivalent Temporal Formula +14

Rows per page

1–5 of 15