Explainable Online Monitoring of Metric Temporal Logic

Autor: Lima, Leonardo, Herasimau, Andrei, Raszyk, Martin, Traytel, Dmitriy, Yuan, Simon

Publikováno v: Lima, L, Herasimau, A, Raszyk, M, Traytel, D & Yuan, S 2023, Explainable Online Monitoring of Metric Temporal Logic . in S Sankaranarayanan & N Sharygina (eds), Tools and Algorithms for the Construction and Analysis of Systems-29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13994 LNCS, pp. 473-491, 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, 22/04/2023 . https://doi.org/10.1007/978-3-031-30820-8_28

Runtime monitors analyze system execution traces for policy compliance. Monitors for propositional specification languages, such as metric temporal logic (MTL), produce Boolean verdicts denoting whether the policy is satisfied or violated at a given

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2751::7ac33f846a2007f37d3479498340f85a
https://curis.ku.dk/ws/files/357279441/Explainable_Online_Monitoring_of_Metric_Temporal_Logic.pdf

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Efficient Compilation of Esterel for Multi-core Execution

Autor: Yuan, Simon, Yoong, Li Hsien, Roop, Partha S.

Publikováno v: [Research Report] RR-8056, INRIA. 2012

Recent advances in processor technology have lead to affordable multi-core processors, which could even be used in embedded applications. However, many embedded applications are safety-critical and require suitable abstractions such as the synchronou

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2a3dc3669285c4be06285d8388420676
https://hal.inria.fr/hal-00728149

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A sum of disjoint products algorithm for realibility evaluation of flow networks.

Autor: Chin-chia Jane, Simon S.K.¹ mrjane@mail.ltc.edu.tw, John Yuan, Simon S.K.² yuan@ie.nthu.edu.tw

Publikováno v: European Journal of Operational Research. 06/16/2001, Vol. 131 Issue 3, p664-675. 12p. 10 Diagrams, 6 Charts.