Détails sur le séminaire

https://univ-grenoble-alpes-fr.zoom.us/j/932168111
21 janvier 2021 - 14h00
Symbolic Monitoring against Specifications Parametric in Time and Data
par Etienne Andre de Université de Lorraine



Abstract: Join Zoom Meeting
https://univ-grenoble-alpes-fr.zoom.us/j/93216811123?pwd=MFVjWDlQblRncEU3T2dLblNEV01Cdz09

Meeting ID: 932 1681 1123
Passcode: 985719

Abstract: Monitoring consists in deciding whether a log meets a given specification. In this work, we propose an automata-based formalism to monitor logs in the form of actions associated with time stamps and arbitrarily data values over infinite domains. Our formalism uses both timing parameters and data parameters, and is able to output answers symbolic in these parameters and in the log segments where the property is satisfied or violated. We implemented our approach in an ad-hoc prototype HaMoNi, and experiments show that its high expressive power still allows for efficient online monitoring.

This is a joint work with Masaki Waga and Ichiro Hasuo presented at CAV 2019. DOI: doi.org/10.1007/978-3-030-25540-4_30




Contact | Plan du site | Site réalisé avec SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1804825