| 2023 | DCAI | A Cooperative Decentralised Optimization Method for Vehicle Platooning. | Bjrn Wudka, Carsten Thomas, Bernd-Holger Schlingloff |
| 2020 | ISoLA | Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems. | Bernd-Holger Schlingloff |
| 2014 | RV | Monitoring Systems with Extended Live Sequence Charts. | Ming Chai, Bernd-Holger Schlingloff |
| 2014 | SPLC | On the use of test cases in model-based software product line development. | Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff |
| 2008 | ICST | Quality of Automatically Generated Test Cases based on OCL Expressions. | Stephan Weileder, Bernd-Holger Schlingloff |
| 2008 | SEFM | Specification-Based Testing for Software Product Lines. | Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff |
| 2008 | SERA | Compliance of CMMI Process Area with Specification Based Development. | Satish Mishra, Bernd-Holger Schlingloff |
| 2007 | MODELS | Deriving Input Partitions from UML Models for Automatic Test Generation. | Stephan Weileder, Bernd-Holger Schlingloff |
| 2007 | SAFECOMP | Improving Test Coverage for UML State Machines Using Transition Instrumentation. | Mario Friske, Bernd-Holger Schlingloff |
| 2007 | SEFM | Specification-based testing for refinement. | Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff |
| 2003 | TIME | Hybrid Logics on Linear Structures: Expressivity and Complexity. | Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff |
| 2001 | ASPDAC | Conformance and mirroring for timed asychronous circuits. | Bin Zhou, Tomohiro Yoneda, Bernd-Holger Schlingloff |
| 1993 | CAV | Efficient Verification of Parallel Real-Time Systems. | Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke |
| 1992 | LFCS | On the Expressive Power of Modal Logics on Trees. | Bernd-Holger Schlingloff |