Rule-Based Runtime Verification, VMCAI 2004, vol.2937, 2004. ,
SALT -Structured Assertion Language for Temporal Logic, ICFEM 2006, vol.4260, 2006. ,
Extending Specification Patterns for Verification of Parametric Traces, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02004378
Patterns in Property Specifications for Finite-State Verification, ICSE' 99, 1999. ,
Runtime Monitoring of Message-Based Workflows with Data, 2008. ,
, Formal Methods Light. ACM Comput. Surv, vol.28, p.121, 1996.
PROPEL: an approach supporting property elucidation, 2002. ,