We present an overview of the Java PathExplorer runtime verification tool, in short referred
to as JPAX. JPAX can monitor the execution of a Java program and check that it conforms …

Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

The majority of work carried out in the formal methods community throughout the last three
decades has (for good reasons) been devoted to special languages designed to make it …

We present a rule-based framework for defining and implementing finite trace monitoring
logics, including future and past time temporal logic, extended regular expressions, real-time …

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of
events, generated by an executing program, occurs naturally in runtime analysis of software …

We present a specification language and algorithms for the online and offline monitoring of
synchronous systems including circuits and embedded systems. Such monitoring is useful …

A goal of runtime software-fault monitoring is to observe software behavior to determine
whether it complies with its intended behavior. Monitoring allows one to analyze and recover …

More than three miles above the Arizona desert, an F-16 student pilot experienced a gravity-
induced loss of consciousness, passing out while turning at nearly 9Gs (nine times the force …

We present recent work on the development of Java PathExplorer (JPaX), a tool for
monitoring the execution of Java programs. JPaX can be used during program testing to …

Bug-tracking and issue-tracking systems tend to be populated with bugs, issues, or tickets
written by a wide variety of bug reporters, with different levels of training and knowledge …