Results 61 to 70 of about 8,146 (201)
Speculative Program Parallelization with Scalable and Decentralized Runtime Verification
, 2014 International audienceThread Level Speculation (TLS) is a dynamic code parallelization technique proposed to keep the software in pace with the advances in hardware, in particular, to automatically parallelize programs to take advantage of the multi-core
Martinez, Juan Manuel +11 more
core +1 more source
Certifying Solutions for Numerical Constraints [PDF]
, 2013 A large portion of software is used for numerical computation in mathematics, physics and engineering. Among the aspects that make verification in this domain difficult is the need to quantify numerical errors, such as roundoff errors and errors due to ...
Viktor Kuncak +3 more
core +1 more source
Runtime verification using Valour [PDF]
, 2017 In this paper we give an overview of Valour, a runtime verification tool which has been developed in the context of a project to act as a backend verification tool for financial transaction software.
Mallia, Edward +5 more
core
Preliminary Results Towards Contract Monitorability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 This paper discusses preliminary investigations on the monitorability of contracts for web service descriptions. There are settings where servers do not guarantee statically whether they satisfy some specified contract, which forces the client (i.e., the
Annalizz Vella, Adrian Francalanza
doaj +1 more source
A model-driven approach to broaden the detection of software performance antipatterns at runtime [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Performance antipatterns document bad design patterns that have negative influence on system performance. In our previous work we formalized such antipatterns as logical predicates that predicate on four views: (i) the static view that captures the ...
Antinisca Di Marco, Catia Trubiani
doaj +1 more source
A Model for Collaborative Runtime Verification
International Joint Conference on Autonomous Agents and Multiagent Systems, 2015 Runtime verification concerns checking whether a system execution satisfies a given property. In this paper we propose a model for collaborative runtime verification where a network of local monitors collaborates in order to verify properties of the system.
Testerink, Bas +2 more
openaire +4 more sources
Bringing Runtime Verification Home [PDF]
, 2018 We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into three types: be-havioral correctness of the apartment sensors, detection of specific user activities (known as activities of daily living), and composition of specifications of the previous types.
El-Hokayem, Antoine, Falcone, Yliès
openaire +2 more sources
Rule-Based Verification of Autonomous Unmanned Aerial Vehicles
DronesAutomation enhances the capabilities of unmanned aerial vehicles (UAVs) by enabling self-determined behavior, while reducing the need for extensive human involvement.
Christoph Sieber +3 more
doaj +1 more source
Runtime Safety Verification of Stochastic System with Hidden Markov Model
工程科学与技术, 2018 The state of a complex stochastic system for verification is difficult to be observed at runtime, since the cost of reliably sensing the operating state of the system is very high and the monitoring of some events can seriously affect time-related ...
Bingwu FANG +3 more
doaj
NuRV: a nuXmv Extension for Runtime Verification
, 2019 We present NuRV, an extension of the nuXmv model checker for assumption-based LTL runtime verification with partial observability and resets. The tool provides some new commands for online/offline monitoring and code generations into standalone monitor ...
Chun Tian +2 more
core +1 more source