← back to search

Bernd–Holger Schlingloff

Fraunhofer Institute for Open Communication Systems · DE
🔎 Find collaborators in Software · Computational Theory and Mathematics →
Search 5.9M scientists by topic, h-index, country & funding — free.
Area of research
Software · Computational Theory and Mathematics
Research interest
Research interests include Formal Methods in Verification, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques, and Software Reliability and Analysis Research.
h-index
16
citations
5,443
works
107
NIH funding
—
primary concept
—
email
✉ Find email ↗

Recent publications

Model‐Driven Engineering for Digital Twins: Opportunities and Challenges
Systems Engineering 2025cited by 14position: middledoi
Synthesis of dynamic modelling framework and optimal control strategy for virtually coupled train sets with guaranteed safety
Vehicle System Dynamics 2024cited by 4position: middledoi
Online hazard prediction of train operations with parametric hybrid automata based runtime verification
Reliability Engineering & System Safety 2023cited by 14position: middledoi
Formal Methods for Software Engineering
Texts in theoretical computer science 2022cited by 17position: middledoi
Specification-Based Testing
Texts in theoretical computer science 2022cited by 2position: firstdoi
Correction to: Formal Methods for Software Engineering
Texts in theoretical computer science 2022cited by 1position: middledoi
Formal Methods
Texts in theoretical computer science 2022cited by 1position: middledoi
Logics for Software Engineering
Texts in theoretical computer science 2022cited by 0position: firstdoi
Teaching Model Checking via Games and Puzzles
Communications in computer and information science 2021cited by 6position: firstdoi
Formal Methods for Software Engineering: Languages, Methods, Application Domains
2021cited by 4position: middledoi
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —
Communications in computer and information science 2021cited by 2position: middledoi
Monitoring Systems with Extended Live Sequence Charts
Lecture notes in computer science 2014cited by 9position: lastdoi
On the use of test cases in model-based software product line development
2014cited by 7position: lastdoi
A Rewriting Based Monitoring Algorithm for TPTL
2013cited by 14position: last

Grants

No grants ingested yet.

Frequent collaborators

Markus Roggenbach · Swansea University8 papers (2014–2022)— · 5 papers (2021–2022)Gerardo Schneider · University of Oslo5 papers (2021–2022)Ming Chai · Beijing Jiaotong University4 papers (2013–2024)Siraj Ahmed Shaikh · Swansea University3 papers (2021–2022)— · 1 papers (2021–2021)Jidong Lv · Shanghai University1 papers (2024–2024)— · 1 papers (2021–2021)Björn Wudka · Berliner Hochschule für Technik1 papers (2024–2024)Faron Moller · Swansea University1 papers (2021–2021)Hongjie Liu · Guangzhou University of Chinese Medicine1 papers (2023–2023)Tao Tang · Kunming University of Science and Technology1 papers (2023–2023)Marie Farrell · University of Manchester1 papers (2021–2021)Peter Csaba Ölveczky · University of Oslo1 papers (2021–2021)— · 1 papers (2023–2023)— · 1 papers (2021–2021)— · 1 papers (2021–2021)— · 1 papers (2021–2021)Casey Denner · Swansea University1 papers (2021–2021)— · 1 papers (2024–2024)
Looking for a research collaborator?
Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.
Find collaborators in Software · Computational Theory and Mathematics →