Author:
Asarin Eugene,Maler Oded,Nickovic Dejan,Ulus Dogan
Publisher
Springer International Publishing
Reference32 articles.
1. Lecture Notes in Computer Science;Y Abarbanel,2000
2. Basin, D.A., Klaedtke, F., Zalinescu, E.: Failure-aware runtime verification of distributed systems. In: FSTTCS, pp. 590–603 (2015)
3. Lecture Notes in Computer Science;A Bauer,2006
4. Blake, A.: Canonical expressions in Boolean algebra. Ph.D. thesis (1938)
5. Brown, F.M.: Boolean Reasoning: The Logic of Boolean Equations. Springer, New York (2012). doi: 10.1007/978-1-4757-2078-5
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Elements of Timed Pattern Matching;ACM Transactions on Embedded Computing Systems;2024-06-10
2. Estimating event probabilities via signal temporal logic and first occurrence distributions;Journal of Logic and Computation;2024-04-24
3. Parametric Timed Pattern Matching;ACM Transactions on Software Engineering and Methodology;2023-01-31
4. Moore-machine filtering for timed and untimed pattern matching;Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control;2019-04-16
5. Online Parametric Timed Pattern Matching with Automata-Based Skipping;Lecture Notes in Computer Science;2019