Java-MOP

Java-MOP: A monitoring oriented programming environment for Java. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification formalisms can be included into the framework via logic plug-ins, allowing one to refer not only to the current state, but also to both past and future states.


References in zbMATH (referenced in 20 articles , 1 standard article )

Showing results 1 to 20 of 20.
Sorted by year (citations)

  1. Marmsoler, Diego; Petrovska, Ana: Runtime verification for dynamic architectures (2021)
  2. Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn: Determinizing monitors for HML with recursion (2020)
  3. Havelund, Klaus; Peled, Doron; Ulus, Dogan: First-order temporal logic monitoring with BDDs (2020)
  4. Frenkel, Hadar; Grumberg, Orna; Sheinvald, Sarai: An automata-theoretic approach to model-checking systems and specifications over infinite data domains (2019)
  5. El-Hokayem, Antoine; Falcone, Yliès; Jaber, Mohamad: Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (2018)
  6. Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo: Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (2017)
  7. Francalanza, Adrian: Consistently-detecting monitors (2017)
  8. Mitsch, Stefan; Platzer, André: ModelPlex: verified runtime validation of verified cyber-physical system models (2016)
  9. Basin, David; Klaedtke, Felix; Müller, Samuel; Zălinescu, Eugen: Monitoring metric first-order temporal properties (2015)
  10. Berkovich, Shay; Bonakdarpour, Borzoo; Fischmeister, Sebastian: Runtime verification with minimal intrusion through parallelism (2015)
  11. Francalanza, Adrian; Seychell, Aldrin: Synthesising correct concurrent runtime monitors (2015)
  12. Bonakdarpour, Borzoo; Navabpour, Samaneh; Fischmeister, Sebastian: Time-triggered runtime verification (2013)
  13. Roşu, Grigore: On safety properties and their monitoring (2012)
  14. Roşu, Grigore; Chen, Feng: Semantics and algorithms for parametric monitoring (2012)
  15. Seyster, Justin; Dixit, Ketan; Huang, Xiaowan; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Stoller, Scott D.; Zadok, Erez: \textscInterAspect: aspect-oriented instrumentation with GCC (2012)
  16. Sokolsky, Oleg (ed.); Roşu, Grigore (ed.): Introduction to the special issue on runtime verification (2012)
  17. Tabakov, Deian; Rozier, Kristin Y.; Vardi, Moshe Y.: Optimized temporal monitors for SystemcC (2012)
  18. Aktug, Irem; Dam, Mads; Gurov, Dilian: Provably correct runtime monitoring (2009)
  19. Chen, Feng; Roşu, Grigore: Java-MOP: A monitoring oriented programming environment for Java (2005)
  20. Halbwachs, Nicolas (ed.); Zuck, Lenore D. (ed.): Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings. (2005)


Further publications can be found at: http://fsl.cs.illinois.edu/index.php/FSL_Publications