Author:
Bakhirkin Alexey,Ferrère Thomas,Nickovic Dejan,Maler Oded,Asarin Eugene
Publisher
Springer International Publishing
Reference31 articles.
1. Aho, A.V., Hopcroft, J.E.: The Design and Analysis of Computer Algorithms. Pearson Education India, Noida (1974)
2. Aho, A.V., Kernighan, B.W., Weinberger, P.J.: The AWK Programming Language. Addison-Wesley Longman Publishing Co., Inc., Boston (1987)
3. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
4. Asarin, E., Caspi, P., Maler, O.: A Kleene theorem for timed automata. In: Logic in Computer Science, pp. 160–171. IEEE (1997)
5. Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. J. ACM 49(2), 172–206 (2002)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Elements of Timed Pattern Matching;ACM Transactions on Embedded Computing Systems;2024-06-10
2. Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model;Logical Methods in Computer Science;2024-01-11
3. Parametric Timed Pattern Matching;ACM Transactions on Software Engineering and Methodology;2023-01-31
4. Model-bounded Monitoring of Hybrid Systems;ACM Transactions on Cyber-Physical Systems;2022-10-31
5. Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems;Formal Techniques for Distributed Objects, Components, and Systems;2022