Results 21 to 30 of about 4,913 (260)
Runtime Verification of Kotlin Coroutines
, 2022 Kotlin was introduced to Android as the recommended language for development. One of the unique functionalities of Kotlin is that of coroutines, which are lightweight tasks that can run concurrently inside threads. Programming using coroutines is difficult, among other things, because they can move between threads and behave unexpectedly.
Furian, Denis +3 more
openaire +2 more sources
Runtime Verification for Biochemical Programs [PDF]
Electronic Notes in Theoretical Computer Science, 2013 AbstractThe biochemical paradigm is well-suited for modelling autonomous systems and new programming languages are emerging from this approach. However, in order to validate such programs, we need to define precisely their semantics and to provide verification techniques.
Oana Andrei, Hélène Kirchner
openaire +2 more sources
Runtime Verification of Learning Properties for Reinforcement Learning Algorithms
Electronic Proceedings in Theoretical Computer Science, 2023 Reinforcement learning (RL) algorithms interact with their environment in a trial-and-error fashion. Such interactions can be expensive, inefficient, and timely when learning on a physical system rather than in a simulation.
Mannucci, Tommaso +1 more
doaj +1 more source
Runtime Monitoring of Software Execution Trace: Method and Tools
IEEE Access, 2020 As with the extensive use of complex software in many fields, such as finance, transportation, aeronautics, and astronautics, software plays an increasingly more important role in society.
Shiyi Kong +3 more
doaj +1 more source
Multiparty Session Actors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs.
Rumyana Neykova, Nobuko Yoshida
doaj +1 more source
A Novel Runtime Verification Solution for IoT Systems
IEEE Access, 2018 Internet of Things (IoT) systems promise a seamless connected world with machines integrating their services without human intervention. It's highly probable that the entities participating in such autonomous machine to machine interactions are to be ...
Koray Incki, Ismail Ari
doaj +1 more source
IEEE AccessSelf-adaptive systems modify their behavior at runtime in response to environmental changes. In such systems, runtime verification techniques are effective for checking that the modified behavior is appropriate for the environment.
Ryuichi Iida +2 more
doaj +1 more source
Collaborative Runtime Verification with Tracematches [PDF]
Journal of Logic and Computation, 2007 Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during an application's deployment than during testing. The use of runtime verification after deployment would enable developers to detect unexpected situations.
Eric Bodden +4 more
openaire +1 more source
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
Robotics, 2023 This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS.
Debora C. Engelmann +5 more
doaj +1 more source
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We study the impact of synchronous and asynchronous monitoring instrumentation on runtime overheads in the context of a runtime verification framework for actor-based systems.
Ian Cassar, Adrian Francalanza
doaj +1 more source