Property-driven Timestamps Encoding for Timeprints-based Tracing and Monitoring

Rehab Massoud, Hoang M. Le, Rolf Drechsler

In: 17th International Conference on FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS). International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS-2019) August 27-29 Amsterdam Netherlands 2019.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz