Results 181 to 190 of about 8,146 (201)

RML: Theory and practice of a domain specific language for runtime verification

Science of Computer Programming, 2021
Davide Ancona, Luca Franceschini, Angelo Ferrando   +2 more
exaly  

Trustworthy Runtime Verification via Bisimulation (Experience Report)

2023
Ryan G Scott, Mike Dodds, Ivan Perez
exaly  

Runtime verification for business processes utilizing the Bitcoin blockchain

Future Generation Computer Systems, 2020
Stefan Schulte, Christoph Hochreiner, Ingo Weber   +2 more
exaly  

A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties

IEEE Transactions on Parallel and Distributed Systems, 2023
Bin Yu, Cong Tian, Xu Lu
exaly  

Predictive runtime verification of timed properties

Journal of Systems and Software, 2017
Srinivas Pinisetty, Thierry Jeron, Stavros Tripakis   +2 more
exaly  

A survey of challenges for runtime verification from advanced application domains (beyond software)

Formal Methods in System Design, 2019
Cesar Sanchez, Gerardo Schneider, Wolfgang Ahrendt   +2 more
exaly  

DSLs for Runtime Verification

Klaus Havelund, Moran Omer, Doron Peled
openaire   +1 more source

Expression caching for runtime verification based on parameterized probabilistic models

Journal of Systems and Software, 2019
Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
exaly  

Introduction to the special section on runtime verification

International Journal on Software Tools for Technology Transfer, 2011
Oleg Sokolsky, Klaus Havelund, Insup Lee   +2 more
exaly  

Runtime verification and monitoring of embedded systems

IET Software, 2007
D Heffernan
exaly