-
1
Journal Article
“...Runtime verification is a lightweight formal method that checks whether an execution of a system satisfies a given property. A challenge in building a runtime...”
-
3
Journal Article
-
4
Journal Article
by Penczek, Wojciech Schlingloff, Holger Wasilewski, Piotr
edited by Wasilewski, Piotr Schlingloff, Holger Penczek, Wojciech
Published in Fundamenta informaticae (14.03.2019) -
5
Journal Article
by Yoneda, Tomohiro Schlingloff, Bernd–Holger Published in Formal methods in system design (01.08.1997)“...This paper presents an efficient model checking algorithm for one–safe time Petri nets and a timed temporal logic. The approach is based on the idea of (1)...”
-
6
Journal Article
by Czaja, Ludwik Penczek, Wojciech Schlingloff, Holger Son, Nguyen Hung
edited by Schlingloff, Holger Penczek, Wojciech Czaja, Ludwik Son, Nguyen Hung
Published in Fundamenta informaticae (31.01.2018) -
7
Book Chapter
by Schlingloff, Holger“...In this chapter, we present three use cases that are used throughout this book to demonstrate the various systems engineering methods presented: vehicle...”
01.01.2020
-
8
Conference Proceeding
“...In this paper, we introduce real-valued temporal logic (RVTL) for online monitoring of reactive and cyber-physical systems. Our approach is based on classical...”
-
9
Conference Proceeding
by Bernd-Holger Schlingloff Published in The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (01.01.2018)“...Conference Title: 2018 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems (EITEC) Conference Start Date:...”
-
10
Conference Proceeding
by Felix Lorenz Holger Schlingloff Published in The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (01.01.2018)“...Conference Title: 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) Conference Start Date: 2018, Aug. 20 Conference End...”
-
11
Conference Proceeding
“...In this short paper, we report on the motivation, background and ambition of the ITEA3 project XIVT - excellence in variant testing. We describe a work flow...”
-
12
Book Chapter
by Schlingloff, Bernd-Holger Published in Engineering Trustworthy Software Systems (01.03.2016)“...Building complex embedded- and cyber-physical systems requires a holistic view on both product and process. The constructed system must interact with its...”
-
13
-
14
Conference Proceeding
by Schlingloff, Holger Kruse, Peter Saadatmand, Mehrdad Published in Proceedings of the 14th International Working Conference on variability modelling of software-intensive systems (05.02.2020)“...In this short paper, we report on the motivation, background and ambition of the ITEA3 project XIVT - excellence in variant testing. We describe a work flow...”
-
15
Conference Proceeding
by Franceschet, M de Rijke, M Schlingloff, B.-H Published in 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings (20030000)“...We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order...”
-
16
Journal Article
by Fisher, Michael Mascardi, Viviana Rozier, Kristin Yvonne Schlingloff, Bernd-Holger Winikof, Michael Yorke-Smith, N Published in Autonomous agents and multi-agent systems (2021)“...A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The...”
-
17
Book Chapter
by Calta, Jan Shkatov, Dmitry Schlingloff, Holger Published in Computational Logic in Multi-Agent Systems“...We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies...”
-
18
Journal Article
-
19
Conference Proceeding
by Stephan Weissleder Holger Schlingloff Published in The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (01.03.2014)“... Conference Title: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST) Conference Start Date: 2014, March 31...”
-
20
Conference Proceeding
by Lorenz, Felix Schlingloff, Holger Published in 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) (01.08.2018)“...In this paper, we introduce real-valued temporal logic (RVTL) for online monitoring of reactive and cyber-physical systems. Our approach is based on classical...”
Are you a member of Bonn University? Yes: Then connect to the University network via VPN client in order to access the licensed contents. No: You can then access licensed contents using the Service Pcs within the ULB Bonn. Bitte buchen Sie den Arbeitsplatz 'Service-PC o. Scanner'
Lesen Sie bitte unsere aktuellen Informationen zur ULB im geschützten Betrieb.
