Cited By
View all- Ulus DFerrère TAsarin ENickovic DMaler O(2024)Elements of Timed Pattern MatchingACM Transactions on Embedded Computing Systems10.1145/364511423:4(1-45)Online publication date: 10-Feb-2024
- Guyet TBesnard PGuyet TBesnard P(2023)IntroductionChronicles: Formalization of a Temporal Model10.1007/978-3-031-33693-5_1(1-14)Online publication date: 2-May-2023
- Waga MAndré ÉHasuo I(2022)Model-bounded Monitoring of Hybrid SystemsACM Transactions on Cyber-Physical Systems10.1145/35290956:4(1-26)Online publication date: 25-Apr-2022
- Show More Cited By