Results 51 to 60 of about 8,146 (201)
10451 Abstracts Collection – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems [PDF]
, 2011 From November 7 to 12, 2010, the Dagstuhl Seminar 10451 ``Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics.
Sokolsky, Oleg +4 more
core +1 more source
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies conformance of the system's behavior to the specified property is called a ...
Mikhail Chupilko, Alexander Kamkin
doaj +1 more source
Runtime Verification with State Estimation
, 2011 We introduce the concept of Runtime Verification with State Estimation and show how this concept can be applied to estimate theprobability that a temporal property is satisfied by a run of a program when monitoring overhead is reduced by sampling.
Seyster, Justin +13 more
core +1 more source
Monitors That Learn From Failures: Pairing STL and Genetic Programming
IEEE Access, 2023 In several domains, systems generate continuous streams of data during their execution, including meaningful telemetry information, that can be used to perform tasks like preemptive failure detection.
Andrea Brunello +4 more
doaj +1 more source
Runtime Verification of Autonomous Driving Systems in CARLA
, 2020 Urban driving simulators, such as CARLA, provide 3-D environments and useful tools to easily simulate sensorimotor control systems in scenarios with complex multi-agent dynamics. This enables the design exploration at the early system development stages,
Katsaros, Panagiotis; orcid: +2 more
core +1 more source
Efficient, expressive, and effective runtime verification [PDF]
, 2012 Runtime Verification is a quickly growing technique for providing many of the guarantees of formal verification, but in a manner that is scalable. It useful information available from actual runs of programs to make verification decisions, rather than ...
Meredith, Patrick
core
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed
Emanuele De Angelis +4 more
doaj +1 more source
Static and Runtime Verification, Competitors or Friends? (Track Summary) [PDF]
, 2016 Over the last years, significant progress has been made both on static and runtime program verification techniques, focusing on increasing the quality of software.
Marieke Huisman +9 more
core +1 more source
Automated Deductive Verification for Ladder Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Ladder Logics is a programming language standardized in IEC 61131-3 and widely used for programming industrial Programmable Logic Controllers (PLC). A PLC program consists of inputs (whose values are given at runtime by factory sensors), outputs (whose ...
Denis Cousineau +2 more
doaj +1 more source
Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems
Journal of Engineering, 2019 Traditional factories are turning into smart factories with the advent of various ICT technologies, and various control decisions are derived by AI technologies. In this circumstance, runtime verification of a control command is important for zero-defect
Sungjoo Kang, Ingeol Chun, Hyeon-Soo Kim
doaj +1 more source