J-LO

MaRDI QIDQ43971swMATHFDO

Official website http://www-i2.informatik.rwth-aachen.de/Research/RV/JLO/

Cited in

(8)

• Parametric Trace Slicing and Monitoring
• Provably correct runtime monitoring
• ConSpec
• DaCapo
• Java-MOP
• Java-MaC
• PQL
• Semantics and algorithms for parametric monitoring

This page was built for software: J-LO