References
- Adaikkalavan, R., S. Chakravarthy. Generalization of Events and Rules to Support Advanced Applications. – In: S. Helmer, A. Poulovassilis, F. Xhafa, Eds. Reasoning in Event-Based Distributed Systems. Berlin, Heidelberg, Springer, 2011, pp. 173-193.
- Bacon, D., P. Cheng, D. Frampton, D. Grove, M. Hauswirth, V. Rajan. Demonstration: Online Visualization and Analysis of Real-Time Systems with Tuningfork. – In: Compiler Construction. Berlin, Heidelberg, Springer, 2006, pp. 96-100.
- Bartocci, E., Y. Falcone. Lectures on Runtime Verification. Introductory and Advanced Topics. Springer, 10457, LNCS, pp. 1-240 (in press).
- Bloem, R., R. Dimitrova,C. Fan, N. Sharygina. Software Verification. – In: Proc. of 13th International Conference, VSTTE 2021, New Haven, CT, USA, 2021.
- Ben, S. Designing Event-Driven Systems. O’Reilly Media, 2018.
- Blokdyk, G. AWS IoT A Complete Guide. 5STARCooks, 2021.
- T. Compass. Trace Compass, 2015. https://projects.eclipse.org/projects/tools.tracecompass
- Cope, S. MQTT For Complete Beginners: Learn the Basics of the MQTT Protocol. Kindle Edition, 2020.
- Dunkel, J., A. Fernandez, R. Ortiz, S. Ossowski. Event-Driven Architecture for Decision Support in Traffic Management Systems. – In: Proc. of 11th International IEEE Conference on Intelligent Transportation Systems, Beijing, China, 2008., pp. 7-13.
- Eckert, M. Complex Event Processing with XchangeEQ: Language Design, Formal Semantics, and Incremental Evaluation for Querying Events. PhD Thesis, Ludwig Maximilians University Munich, Germany, 2008.
- Gal, A., S. Wasserkrug, O. Etzion. Event Processing over Uncertain Data. – In: S. Helmer, A. Poulovassilis, F. Xhafa, Eds. Reasoning in Event-Based Distributed Systems. Berlin, Heidelberg, Springer, 2011, pp. 279-304.
- Hissam, S., G. Moreno, D. Plakosh, I. Savo, M. Stelmarczyk. Predicting the Behavior of a Highly Configurable Component Based Real-Time System. – In: Proc. of Euromicro Conference on RealTime Systems, Prague, Czech Republic, 2008. pp. 57-68.
- Allen, J. F. Maintaining Knowledge about Temporal Intervals. – Communications of the ACM, Vol. 26, 1983, pp. 832-843.
- Khriji, S., Y. Benbelgacem, R. Cheour, D. E. Hous-Saini, O. Kanoun. Design and Implementation of a Cloud-Based Event-Driven Architecture for Real-Time Data Processing in Wireless Sensor Networks. – The Journal of Supercomputing, 2022, pp. 1-28.
- Knupfer, A., H. Brunst, J. Doleschal, M. Jurenz, M. Lieber, H. Mickler, M. Muller, W. Nagel. The Vampir Performance Analysis Tool Set. – In: Tools for High Performance Computing. Berlin, Heidelberg, Springer, 2008, pp. 139-155.
- Li, N., Z. Mao. Administration in Role-Based Access Control. – In: Proc. of 2nd ACM Symposium on Information, Computer and Communications Security (ASIACCS’07), ACM, 2007, pp. 127-138.
- Munk, P. Visualization of Scheduling in Realtime Embedded Systems. PhD Thesis, University of Stuttgart, 2013.
- Pace, G. J., C. Colombo. Runtime Verification. Springer, 2022.
- Shand, B., P. Pietzuch, I. Papagiannis, K. Moody, M. Migliavacca, D. M. Eyers, J. Bacon. Security Policy and Information Sharing in Distributed Event-Based Systems. – In: S. Helmer, A. Poulovassilis, F. Xhafa, Eds. Reasoning in Event-Based Distributed Systems. Berlin, Heidelberg, Springer, 2011, pp. 151-172.
- Van der Aalst, W. M. P. Formalization and Verification of Event-Driven Process Chains. – Inf. Softw. Technol., Vol. 41, 1999, No 10, pp. 639-650.
- Wim, P., H. Stephen. Zinsight: A Visual and Analytic Environment for Exploring Large Event Traces. – In: Proc. of 5th International Symposium on Software Visualization (SOFTVIS’10), ACM, 2010, pp. 143-152.