Bernd-Holger Schlingloff

58 papers A* 1A 2B 6C 2Misc 1Journal 14Unranked 24

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Guest editorial to the special section on SEFM'22. Softw. Syst. Model. Bernd-Holger Schlingloff, Ming Chai
2024	J	`jnl`	Online hazard prediction of train operations with parametric hybrid automata based runtime verification. Reliab. Eng. Syst. Saf. Ming Chai, Xinyi Zhang, Bernd-Holger Schlingloff, Tao Tang, HongJie Liu
2023	—	`conf`	A Cooperative Decentralised Optimization Method for Vehicle Platooning. DCAI (3) Björn Wudka, Carsten Thomas, Bernd-Holger Schlingloff
2023	—	`ed.`	Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany CS&P (Revised Selected Papers) Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron
2023	J	`jnl`	SmartDelta project: Automated quality assurance and optimization across product versions and variants. Microprocess. Microsystems Mehrdad Saadatmand, Muhammad Abbas, Eduard Paul Enoiu, Bernd-Holger Schlingloff, Wasif Afzal, Benedikt Dornauer, Michael Felderer
2022	—	`book`	Formal Methods for Software Engineering - Languages, Methods, Application Domains Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
2022	B	`ed.`	Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings SEFM Bernd-Holger Schlingloff, Ming Chai
2021	—	`conf`	A Framework for Cloud-based Testing of Multi-variant Cyber-physical Systems. MECO Bernd-Holger Schlingloff, Niels Hoppe
2021	A	`conf`	Summarising a Framework for the Certification of Reliable Autonomous Systems. AAMAS Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2021	J	`jnl`	Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2020	J	`jnl`	Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
2020	—	`conf`	Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems. ISoLA (3) Bernd-Holger Schlingloff
2020	J	`jnl`	Towards a Framework for Certification of Reliable Autonomous Systems. CoRR Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2019	—	`conf`	Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov
2019	J	`jnl`	Special issue on engineering collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. Bernhard Rumpe, Ina Schaefer, Bernd-Holger Schlingloff, Andreas Vogelsang
2019	—	`conf`	Teaching Model Checking via Games and Puzzles. FMFun Bernd-Holger Schlingloff
2018	—	`ed.`	Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018. CS&P Bernd-Holger Schlingloff, Samira Akili
2018	—	`conf`	Specification and Verification of Collaborative Transport Robots. EITEC@CPSWeek Bernd-Holger Schlingloff
2017	J	`jnl`	Chapter Four - Advances in Testing Software Product Lines. Adv. Comput. Hartmut Lackner, Bernd-Holger Schlingloff
2017	J	`jnl`	Monitoring with Parametrized Extended Life Sequence Charts. Fundam. Informaticae Ming Chai, Bernd-Holger Schlingloff
2016	—	`conf`	Collaborative embedded systems - a case study. EITEC@CPSWeek Bernd-Holger Schlingloff, Henry Stubert, Wojciech Jamroga
2016	—	`ed.`	Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016. CS&P Bernd-Holger Schlingloff
2016	J	`jnl`	System Monitoring with a Five-valued LTL. J. Multiple Valued Log. Soft Comput. Ming Chai, Bernd-Holger Schlingloff
2015	J	`jnl`	Automating Test Case Selection in Model-Based Software Product Line Development. Int. J. Softw. Informatics Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff
2015	—	`conf`	Monitoring with Parametrized Extended Life Sequence Charts. CS&P Ming Chai, Bernd-Holger Schlingloff
2015	—	`ed.`	Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. MBT Nikolay V. Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff
2014	—	`conf`	Cyber-Physical Systems Engineering. SETSS Bernd-Holger Schlingloff
2014	B	`conf`	Monitoring Systems with Extended Live Sequence Charts. RV Ming Chai, Bernd-Holger Schlingloff
2014	B	`conf`	On the use of test cases in model-based software product line development. SPLC Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff
2014	—	`conf`	Online Monitoring of Distributed Systems with a Five-Valued LTL. ISMVL Ming Chai, Bernd-Holger Schlingloff
2010	—	`conf`	Finding Uniform Strategies for Multi-agent Systems. CLIMA Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff
2008	C	`conf`	Compliance of CMMI Process Area with Specification Based Development. SERA Satish Mishra, Bernd-Holger Schlingloff
2008	—	`conf`	Composition of Model-based Test Coverage Criteria. MBEES Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder
2008	A	`conf`	Quality of Automatically Generated Test Cases based on OCL Expressions. ICST Stephan Weißleder, Bernd-Holger Schlingloff
2008	B	`conf`	Specification-Based Testing for Software Product Lines. SEFM Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff
2008	—	`ch.`	Zyklensuche in Graphen. Taschenbuch der Algorithmen Bernd-Holger Schlingloff
2007	—	`conf`	Deriving Input Partitions from UML Models for Automatic Test Generation. MoDELS (Workshops) Stephan Weißleder, Bernd-Holger Schlingloff
2007	—	`conf`	Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen. MBEES Mario Friske, Bernd-Holger Schlingloff
2007	B	`conf`	Improving Test Coverage for UML State Machines Using Transition Instrumentation. SAFECOMP Mario Friske, Bernd-Holger Schlingloff
2007	B	`conf`	Specification-based testing for refinement. SEFM Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff
2006	—	`conf`	Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und Perspektiven. MBEES Mario Friske, Bernd-Holger Schlingloff
2005	—	`conf`	Von Use Cases zu Test Cases: Eine systematische Vorgehensweise. MBEES Mario Friske, Bernd-Holger Schlingloff
2004	—	`conf`	Modeling and Model Checking Web Services. LCMAS Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt
2004	—	`conf`	Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff
2003	—	`conf`	Conformance of Distributed Systems. TestCom Maximilian Frey, Bernd-Holger Schlingloff
2003	C	`conf`	Hybrid Logics on Linear Structures: Expressivity and Complexity. TIME Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff
2002	—	`conf`	An Automated, Flexible Testing Environment for UMTS. TestCom Jan Bredereke, Bernd-Holger Schlingloff
2001	—	`conf`	Conformance and mirroring for timed asychronous circuits. ASP-DAC Bin Zhou, Tomohiro Yoneda, Bernd-Holger Schlingloff
2001	—	`ch.`	Model Checking. Handbook of Automated Reasoning Edmund M. Clarke, Bernd-Holger Schlingloff
2000	J	`jnl`	Editorial. Log. J. IGPL Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff
1998	—	`conf`	On-the-Fly Model Checking of Program Runs for Automated Debugging. EUROMICRO Maximilian Frey, Bernd-Holger Schlingloff
1998	—	`conf`	Verification of Bounded Delay Asynchronous Circuits with Timed Traces. AMAST Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff
1997	J	`jnl`	Efficient Verification of Parallel Real-Time Systems. Formal Methods Syst. Des. Tomohiro Yoneda, Bernd-Holger Schlingloff
1997	—	`conf`	Modelling Message Buffers with Binary Decision Diagrams. RelMiCS Bernd-Holger Schlingloff
1993	A*	`conf`	Efficient Verification of Parallel Real-Time Systems. CAV Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke
1992	J	`jnl`	Expressive completeness of temporal logic of trees. J. Appl. Non Class. Logics Bernd-Holger Schlingloff
1992	Misc	`conf`	On the Expressive Power of Modal Logics on Trees. LFCS Bernd-Holger Schlingloff
1990	—	`—`	Zur temporalen Logik von Bäumen. Bernd-Holger Schlingloff