• Copilot

  • Referenced in 7 articles [sw32258]
  • Copilot: a hard real-time runtime monitor. We address the problem of runtime monitoring ... largely been overlooked in the runtime monitoring community. We describe the challenges to runtime monitoring...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • contracts without extending the Java language or runtime environment. These constructs include support for predicate ... control over the level of monitoring is possible at runtime. Since contract methods are allowed ... runtime verification they can perform additional runtime monitoring, logging, and analysis...
  • AMNESIA

  • Referenced in 11 articles [sw12039]
  • AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks. The use of web applications ... dynamic part, the technique uses runtime monitoring to inspect the dynamically-generated queries and check...
  • Clara

  • Referenced in 5 articles [sw14035]
  • framework for partially evaluating finite-state runtime monitors ahead of time. Researchers have developed ... runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this ... monitoring aspect into a residual runtime monitor. The residual monitor only watches events triggered ... completely obviating the need for runtime monitoring. In the remaining cases, the residual runtime monitor...
  • LARVA

  • Referenced in 6 articles [sw21408]
  • LARVA: a tool for runtime monitoring of Java programs. The use of runtime verification ... present a tool LARVA, for the runtime verification of real-time properties of Java programs ... memory and temporal overheads induced by monitoring. Moreover, it gives other useful information...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • designed and implemented a Java runtime system that monitors program executions and throws a DataRaceException ... about to occur. Analogous to other runtime exceptions, the DataRaceException provides two key benefits. First...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • PathExplorer runtime verification tool, in short referred to as JPAX. JPAX can monitor the execution...
  • CoMA

  • Referenced in 3 articles [sw06745]
  • approach and its supporting tool for runtime monitoring of Java software. Based on the information ... terms of Abstract State Machines. At runtime, undesirable behaviors of the implementation, as well...
  • SAVARA

  • Referenced in 3 articles [sw21465]
  • architecture as a choreography, with some basic monitoring and validation capabilities around jbossws and jbossesb ... adding BPMN2 support. In terms of runtime monitoring, our initial focus will be on JBossAS7...
  • BeepBeep

  • Referenced in 2 articles [sw02026]
  • with BeepBeep BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications...
  • SKETHIC

  • Referenced in 2 articles [sw02289]
  • forms access control policies for the runtime monitoring system. Compared to the previous approaches, SKETHIC...
  • MOPBox

  • Referenced in 1 article [sw33222]
  • library for defining and evaluating parametric runtime monitors. A user can define monitors through ... explore and test new algorithms for monitor indexing without bothering about the complex intricacies ... Clara framework for statically evaluating runtime monitors ahead of time...
  • XMR

  • Referenced in 3 articles [sw07169]
  • quantities that can and should be monitored at runtime. Our new implementation XMR, which...
  • ModelPlex

  • Referenced in 4 articles [sw23944]
  • combines offline verification of CPS models with runtime validation of system executions for compliance with ... apply to the actual system runs by monitoring the behavior of the world for compliance ... systematic technique to synthesize provably correct monitors automatically from CPS proofs in differential dynamic logic ... verifiably correct runtime model validation. Overall, ModelPlex generates provably correct monitor conditions that, if checked...
  • MOP

  • Referenced in 1 article [sw14036]
  • Monitoring-Oriented Programming, abbreviated MOP, is a software development and analysis framework aiming at reducing ... form a system. In MOP, runtime monitoring is supported and encouraged as a fundamental principle ... building reliable software: monitors are automatically synthesized from specified properties and integrated into the original ... system by monitoring its requirements against its implementation at runtime; as an extension of programming...
  • MarQ

  • Referenced in 1 article [sw21409]
  • Overview of MarQ. MarQ is a runtime monitoring tool for specifications written as quantified event ... slicing. MarQ has performed well in the runtime verification competition and implements advanced indexing...
  • Timed Conversation

  • Referenced in 1 article [sw22153]
  • Timed Conversation API in Python. Timed Runtime Monitoring for Multiparty Conversations. In [tMPST] we present...
  • Green

  • Referenced in 2 articles [sw29920]
  • includes an adaptation function that occasionally monitors the runtime behavior and changes the approximation decisions...
  • RiTHM

  • Referenced in 4 articles [sw16439]
  • introduce the tool RiTHM (Runtime Time-triggered Heterogeneous Monitoring). RiTHM takes a C program under...
  • TAKOS

  • Referenced in 1 article [sw13696]
  • system, (ii) to synthesize a runtime verification monitor in order to check the opacity ... system runtime, (iii) and to synthesize an enforcement monitor in order to ensure the opacity...