This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
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.Search in Google Scholar
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.Search in Google Scholar
Bartocci, E., Y. Falcone. Lectures on Runtime Verification. Introductory and Advanced Topics. Springer, 10457, LNCS, pp. 1-240 (in press).Search in Google Scholar
Bloem, R., R. Dimitrova,C. Fan, N. Sharygina. Software Verification. – In: Proc. of 13th International Conference, VSTTE 2021, New Haven, CT, USA, 2021.Search in Google Scholar
T. Compass. Trace Compass, 2015. https://projects.eclipse.org/projects/tools.tracecompassSearch in Google Scholar
Cope, S. MQTT For Complete Beginners: Learn the Basics of the MQTT Protocol. Kindle Edition, 2020.Search in Google Scholar
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.Search in Google Scholar
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.Search in Google Scholar
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.Search in Google Scholar
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.Search in Google Scholar
Allen, J. F. Maintaining Knowledge about Temporal Intervals. – Communications of the ACM, Vol. 26, 1983, pp. 832-843.Search in Google Scholar
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.Search in Google Scholar
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.Search in Google Scholar
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.Search in Google Scholar
Munk, P. Visualization of Scheduling in Realtime Embedded Systems. PhD Thesis, University of Stuttgart, 2013.Search in Google Scholar
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.Search in Google Scholar
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.Search in Google Scholar
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.Search in Google Scholar