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 21 articles , 1 standard article )

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

1 2 next

  1. Gleirscher, Mario; Calinescu, Radu; Woodcock, Jim: RiskStructures: a design algebra for risk-aware machines (2021)
  2. Marmsoler, Diego; Petrovska, Ana: Runtime verification for dynamic architectures (2021)
  3. Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn: Determinizing monitors for HML with recursion (2020)
  4. Havelund, Klaus; Peled, Doron; Ulus, Dogan: First-order temporal logic monitoring with BDDs (2020)
  5. Frenkel, Hadar; Grumberg, Orna; Sheinvald, Sarai: An automata-theoretic approach to model-checking systems and specifications over infinite data domains (2019)
  6. 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)
  7. 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)
  8. Francalanza, Adrian: Consistently-detecting monitors (2017)
  9. Mitsch, Stefan; Platzer, André: ModelPlex: verified runtime validation of verified cyber-physical system models (2016)
  10. Basin, David; Klaedtke, Felix; Müller, Samuel; Zălinescu, Eugen: Monitoring metric first-order temporal properties (2015)
  11. Berkovich, Shay; Bonakdarpour, Borzoo; Fischmeister, Sebastian: Runtime verification with minimal intrusion through parallelism (2015)
  12. Francalanza, Adrian; Seychell, Aldrin: Synthesising correct concurrent runtime monitors (2015)
  13. Bonakdarpour, Borzoo; Navabpour, Samaneh; Fischmeister, Sebastian: Time-triggered runtime verification (2013)
  14. Roşu, Grigore: On safety properties and their monitoring (2012)
  15. Roşu, Grigore; Chen, Feng: Semantics and algorithms for parametric monitoring (2012)
  16. 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)
  17. Sokolsky, Oleg (ed.); Roşu, Grigore (ed.): Introduction to the special issue on runtime verification (2012)
  18. Tabakov, Deian; Rozier, Kristin Y.; Vardi, Moshe Y.: Optimized temporal monitors for SystemcC (2012)
  19. Aktug, Irem; Dam, Mads; Gurov, Dilian: Provably correct runtime monitoring (2009)
  20. Chen, Feng; Roşu, Grigore: Java-MOP: A monitoring oriented programming environment for Java (2005)

1 2 next


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