… monitoring tool that targets software applications developed for Erlang/OTP. Our tool
runtime checks linear-time specifications that describe properties about the current system …

… Runtime verification Linear-time properties Monitor synthesis We present detectEr, a
monitoring tool that targets software applications written for Erlang/OTP. The tool runtime checks …

… μHML cannot be monitored for at runtime. The work by Francalanza et al. [19] explores the
limits of monitorability for μHML … to the constraints of runtime monitoring. The syntax of mHML, …

… Future directions Extending our approach to the full µHML … of our methods to the linear-time
setting, where there are still … to settings with enriched monitoring capabilities. A number of …

… fragments of μHML in linear-time settings, monitors are … μHML formulae and our framework
for processes, monitors, and finite automata. In Section 3, we prove that all monitors for μHML …

… extend the class of monitorable μHML properties used in [16] … results that relate the utility of
multi-verdict monitors wrt. logics … logic μHML has been previously studied from a linear-time …

… the synthesised monitor to adequately enforce a µHML formula… between µHML specifications
and suppression monitors for … regards a property (in a linear-time setting) to be enforceable …

… The logic Hyper-recHML adapts linear-time µHML [33] to … It is well known that µHML is
more expressive than LTL and … We claim that the strictness of the inclusion of LTL in µHML is …

… In this work we use the logic Hyper-µHML [1… 3] as a specification logic, and we build the
foundation for a monitor … Adventures in monitorability: from branching to linear time and back …

… fragments of μHML in linear-time settings, monitors are … μHML formulae and our framework
for processes, monitors, and finite automata. In Section 3, we prove that all monitors for μHML …