{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:26:20Z","timestamp":1742959580626,"version":"3.40.3"},"publisher-location":"Cham","reference-count":84,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031352539"},{"type":"electronic","value":"9783031352546"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-35254-6_25","type":"book-chapter","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T13:02:35Z","timestamp":1686920555000},"page":"300-317","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Exploiting Logic Programming for\u00a0Runtime Verification: Current and\u00a0Future Perspectives"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Ferrando","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Mascardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,6,17]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","unstructured":"Alberti, M., et al.: Expressing and verifying business contracts with abductive logic programming. Int. J. Electron. Commer. 12(4), 9\u201338 (2008). https:\/\/doi.org\/10.2753\/JEC1086-4415120401","DOI":"10.2753\/JEC1086-4415120401"},{"key":"25_CR2","doi-asserted-by":"publisher","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Trans. Comput. Log. 9(4), 29:1\u201329:43 (2008). https:\/\/doi.org\/10.1145\/1380572.1380578","DOI":"10.1145\/1380572.1380578"},{"key":"25_CR3","doi-asserted-by":"publisher","unstructured":"Alberti, M., Dell\u2019Acqua, P., Pereira, L.M.: Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Ann. Math. Artif. Intell. 62(3\u20134), 161\u2013186 (2011). https:\/\/doi.org\/10.1007\/s10472-011-9259-5","DOI":"10.1007\/s10472-011-9259-5"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Ancona, D., et al.: Behavioral types in programming languages. Found. Trends Programm. Lang. 3(2\u20133), 95\u2013230 (2016)","DOI":"10.1561\/2500000031"},{"key":"25_CR5","unstructured":"Ancona, D., Briola, D., El Fallah Seghrouchni, A., Mascardi, V., Taillibert, P.: Exploiting Prolog for projecting agent interaction protocols. In: Giordano, L., Gliozzi, V., Pozzato, G.L. (eds.) Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16\u201318, 2014. CEUR Workshop Proceedings, vol. 1195, pp. 30\u201345. CEUR-WS.org (2014). http:\/\/ceur-ws.org\/Vol-1195\/long2.pdf"},{"key":"25_CR6","unstructured":"Ancona, D., Briola, D., Ferrando, A., Mascardi, V.: Global protocols as first class entities for self-adaptive agents. In: Weiss, G., Yolum, P., Bordini, R.H., Elkind, E. (eds.) Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4\u20138, 2015, pp. 1019\u20131029. ACM (2015). http:\/\/dl.acm.org\/citation.cfm?id=2773282"},{"key":"25_CR7","doi-asserted-by":"publisher","unstructured":"Ancona, D., Briola, D., Ferrando, A., Mascardi, V.: Runtime verification of fail-uncontrolled and ambient intelligence systems: a uniform approach. Intelligenza Artificiale 9(2), 131\u2013148 (2015). https:\/\/doi.org\/10.3233\/IA-150084","DOI":"10.3233\/IA-150084"},{"key":"25_CR8","unstructured":"Ancona, D., Briola, D., Ferrando, A., Mascardi, V.: MAS-DRiVe: a practical approach to decentralized runtime verification of agent interaction protocols. In: Santoro, C., Messina, F., Benedetti, M.D. (eds.) Proceedings of the 17th Workshop \u201cFrom Objects to Agents\u201d co-located with 18th European Agent Systems Summer School (EASSS 2016), Catania, Italy, July 29\u201330, 2016. CEUR Workshop Proceedings, vol. 1664, pp. 35\u201343. CEUR-WS.org (2016). http:\/\/ceur-ws.org\/Vol-1664\/w7.pdf"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-37890-4_5","volume-title":"Declarative Agent Languages and Technologies X","author":"D Ancona","year":"2013","unstructured":"Ancona, D., Drossopoulou, S., Mascardi, V.: Automatic generation of self-monitoring mass from multiparty global session types in jason. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS (LNAI), vol. 7784, pp. 76\u201395. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37890-4_5"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-30734-3_6","volume-title":"Theory and Practice of Formal Methods","author":"D Ancona","year":"2016","unstructured":"Ancona, D., Ferrando, A., Mascardi, V.: Comparing trace expressions and linear temporal logic for runtime verification. In: \u00c1brah\u00e1m, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 47\u201364. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-30734-3_6"},{"key":"25_CR11","unstructured":"Ancona, D., Ferrando, A., Mascardi, V.: Parametric runtime verification of multiagent systems. In: Larson, K., Winikoff, M., Das, S., Durfee, E.H. (eds.) Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, S\u00e3o Paulo, Brazil, May 8\u201312, 2017, pp. 1457\u20131459. ACM (2017). http:\/\/dl.acm.org\/citation.cfm?id=3091328"},{"key":"25_CR12","doi-asserted-by":"publisher","unstructured":"Ancona, D., Ferrando, A., Mascardi, V.: Can determinism and compositionality coexist in RML? In: Dardha, O., Rot, J. (eds.) Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS\/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020. EPTCS, vol. 322, pp. 13\u201332 (2020). https:\/\/doi.org\/10.4204\/EPTCS.322.4","DOI":"10.4204\/EPTCS.322.4"},{"key":"25_CR13","unstructured":"Ancona, D., Ferrando, A., Mascardi, V.: Exploiting probabilistic trace expressions for decentralized runtime verification with gaps. In: Calegari, R., Ciatto, G., Omicini, A. (eds.) Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29\u2013July 1, 2022. CEUR Workshop Proceedings, vol. 3204, pp. 154\u2013170. CEUR-WS.org (2022). http:\/\/ceur-ws.org\/Vol-3204\/paper_17.pdf"},{"key":"25_CR14","doi-asserted-by":"publisher","unstructured":"Ancona, D., Ferrando, A., Mascardi, V.: Mind the gap! Runtime verification of partially observable MASs with probabilistic trace expressions. In: Baumeister, D., Rothe, J. (eds.) EUMAS 2022. LNCS, vol. 13442, pp. 22\u201340. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-20614-6_2","DOI":"10.1007\/978-3-031-20614-6_2"},{"key":"25_CR15","doi-asserted-by":"publisher","unstructured":"Ancona, D., Franceschini, L., Ferrando, A., Mascardi, V.: RML: theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. 205, 102610 (2021). https:\/\/doi.org\/10.1016\/j.scico.2021.102610","DOI":"10.1016\/j.scico.2021.102610"},{"key":"25_CR16","unstructured":"Barnett, M., Schulte, W.: Spying on components: a runtime verification technique. In: Workshop on Specification and Verification of Component-Based Systems (2001)"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H Barringer","year":"2004","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 44\u201357. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24622-0_5"},{"key":"25_CR18","doi-asserted-by":"publisher","unstructured":"Bodden, E., Chen, F., Rosu, G.: Dependent advice: a general approach to optimizing history-based aspects. In: Sullivan, K.J., Moreira, A., Schwanninger, C., Gray, J. (eds.) Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2\u20136, 2009, pp. 3\u201314. ACM (2009). https:\/\/doi.org\/10.1145\/1509239.1509243","DOI":"10.1145\/1509239.1509243"},{"key":"25_CR19","doi-asserted-by":"publisher","unstructured":"Bodden, E., Hendren, L.J.: The Clara framework for hybrid typestate analysis. Int. J. Softw. Tools Technol. Transf. 14(3), 307\u2013326 (2012). https:\/\/doi.org\/10.1007\/s10009-010-0183-5","DOI":"10.1007\/s10009-010-0183-5"},{"key":"25_CR20","doi-asserted-by":"publisher","unstructured":"Bozzano, M., Delzanno, G., Martelli, M., Mascardi, V., Zini, F.: Logic programming and multi-agent systems: a synergic combination for applications and semantics. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm - A 25-Year Perspective. Artificial Intelligence, pp. 5\u201332. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/978-3-642-60085-2_1","DOI":"10.1007\/978-3-642-60085-2_1"},{"key":"25_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-29414-3_8","volume-title":"Logic Programs, Norms and Action","author":"S Bragaglia","year":"2012","unstructured":"Bragaglia, S., Chesani, F., Mello, P., Montali, M., Torroni, P.: Reactive event calculus for monitoring global computing applications. In: Artikis, A., Craven, R., Kesim \u00c7i\u00e7ekli, N., Sadighi, B., Stathis, K. (eds.) Logic Programs, Norms and Action. LNCS (LNAI), vol. 7360, pp. 123\u2013146. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29414-3_8"},{"key":"25_CR22","unstructured":"Briola, D., Mascardi, V., Ancona, D.: Distributed runtime verification of JADE and Jason multiagent systems with Prolog. In: Giordano, L., Gliozzi, V., Pozzato, G.L. (eds.) Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16\u201318, 2014. CEUR Workshop Proceedings, vol. 1195, pp. 319\u2013323. CEUR-WS.org (2014). http:\/\/ceur-ws.org\/Vol-1195\/short3.pdf"},{"key":"25_CR23","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-319-10422-5_10","volume-title":"Intelligent Distributed Computing VIII","author":"D Briola","year":"2015","unstructured":"Briola, D., Mascardi, V., Ancona, D.: Distributed runtime verification of JADE multiagent systems. In: Camacho, D., Braubach, L., Venticinque, S., Badica, C. (eds.) Intelligent Distributed Computing VIII. SCI, vol. 570, pp. 81\u201391. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-10422-5_10"},{"key":"25_CR24","unstructured":"Bugiel, S., Davi, L., Dmitrienko, A., Fischer, T., Sadeghi, A., Shastry, B.: Towards taming privilege-escalation attacks on android. In: 19th Annual Network and Distributed System Security Symposium, NDSS 2012, San Diego, California, USA, February 5\u20138, 2012. The Internet Society (2012). https:\/\/www.ndss-symposium.org\/ndss2012\/towards-taming-privilege-escalation-attacks-android"},{"key":"25_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-319-89363-1_7","volume-title":"Fundamental Approaches to Software Engineering","author":"M B\u00far","year":"2018","unstructured":"B\u00far, M., Szil\u00e1gyi, G., V\u00f6r\u00f6s, A., Varr\u00f3, D.: Distributed graph queries for runtime monitoring of cyber-physical systems. In: Russo, A., Sch\u00fcrr, A. (eds.) FASE 2018. LNCS, vol. 10802, pp. 111\u2013128. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89363-1_7"},{"key":"25_CR26","doi-asserted-by":"publisher","unstructured":"Chesani, F., Masellis, R.D., Francescomarino, C.D., Ghidini, C., Mello, P., Montali, M., Tessaris, S.: Abducing workflow traces: a general framework to manage incompleteness in business processes. In: Kaminka, G.A., Fox, M., Bouquet, P., H\u00fcllermeier, E., Dignum, V., Dignum, F., van Harmelen, F. (eds.) ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). Frontiers in Artificial Intelligence and Applications, vol.\u00a0285, pp. 1734\u20131735. IOS Press (2016). https:\/\/doi.org\/10.3233\/978-1-61499-672-9-1734","DOI":"10.3233\/978-1-61499-672-9-1734"},{"key":"25_CR27","doi-asserted-by":"publisher","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: A logic-based, reactive calculus of events. Fundam. Informaticae 105(1-2), 135\u2013161 (2010). https:\/\/doi.org\/10.3233\/FI-2010-361","DOI":"10.3233\/FI-2010-361"},{"key":"25_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-319-08867-9_9","volume-title":"Computer Aided Verification","author":"O Chowdhury","year":"2014","unstructured":"Chowdhury, O., Jia, L., Garg, D., Datta, A.: Temporal mode-checking for runtime monitoring of privacy policies. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 131\u2013149. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_9"},{"key":"25_CR29","unstructured":"Costantini, S., Dell\u2019Acqua, P., Pereira, L.M., Tsintza, P.: Runtime verification of agent properties. In: Abreu, S., Seipel, D. (eds.) Proceedings of INAP 2009 18thInternational Conference on Applications of Declarative Programming and Knowledge Management, pp. 257\u2013271 (2009)"},{"key":"25_CR30","unstructured":"Costantini, S., Gasperis, G.D.: Runtime self-checking via temporal (meta-)axioms for assurance of logical agent systems. In: Giordano, L., Gliozzi, V., Pozzato, G.L. (eds.) Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16\u201318, 2014. CEUR Workshop Proceedings, vol. 1195, pp. 241\u2013255. CEUR-WS.org (2014). http:\/\/ceur-ws.org\/Vol-1195\/long16.pdf"},{"key":"25_CR31","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45757-7_1","volume-title":"Logics in Artificial Intelligence","author":"S Costantini","year":"2002","unstructured":"Costantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 1\u201313. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45757-7_1"},{"key":"25_CR32","unstructured":"Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Software self-reconfiguration: a BDI-based approach. In: Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.) 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10\u201315, 2009, vol. 2, pp. 1159\u20131160. IFAAMAS (2009). https:\/\/dl.acm.org\/citation.cfm?id=1558189"},{"key":"25_CR33","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-540-24580-3_44","volume-title":"Progress in Artificial Intelligence","author":"P Dell\u2019Acqua","year":"2003","unstructured":"Dell\u2019Acqua, P., Engberg, M., Pereira, L.M.: An architecture for a rational reactive agent. In: Pires, F.M., Abreu, S. (eds.) EPIA 2003. LNCS (LNAI), vol. 2902, pp. 379\u2013393. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-24580-3_44"},{"key":"25_CR34","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-49545-2_2","volume-title":"Logics in Artificial Intelligence","author":"P Dell\u2019Acqua","year":"1998","unstructured":"Dell\u2019Acqua, P., Sadri, F., Toni, F.: Combining introspection and communication with rationality and reactivity in agents. In: Dix, J., del Cerro, L.F., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol. 1489, pp. 17\u201332. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-49545-2_2"},{"key":"25_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-319-19249-9_15","volume-title":"FM 2015: Formal Methods","author":"X Du","year":"2015","unstructured":"Du, X., Liu, Y., Tiu, A.: Trace-length independent runtime monitoring of quantitative policies in LTL. In: Bj\u00f8rner, N., de Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 231\u2013247. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19249-9_15"},{"key":"25_CR36","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-319-94764-8_6","volume-title":"Model-Driven Engineering and Software Development","author":"V Estivill-Castro","year":"2018","unstructured":"Estivill-Castro, V., Hexel, R.: Deterministic high-level executable models allowing efficient runtime verification. In: Pires, L.F., Hammoudi, S., Selic, B. (eds.) MODELSWARD 2017. CCIS, vol. 880, pp. 119\u2013144. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94764-8_6"},{"key":"25_CR37","unstructured":"Ferrando, A.: Automatic partitions extraction to distribute the runtime verification of a global specification. In: Mascardi, V., Torre, I. (eds.) Proceedings of the Doctoral Consortium of AI*IA 2016 co-located with the 15th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 29, 2016. CEUR Workshop Proceedings, vol. 1769, pp. 40\u201345. CEUR-WS.org (2016). http:\/\/ceur-ws.org\/Vol-1769\/paper07.pdf"},{"key":"25_CR38","unstructured":"Ferrando, A.: RIVERtools: an IDE for RuntIme VERification of MASs, and beyond. In: Mascardi, V. (ed.) Proceedings of the Demonstrations Track of PRIMA 2017 co-located with the 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017). CEUR Workshop Proceedings, vol. 2056, pp. 13\u201326. CEUR-WS.org (2017)"},{"key":"25_CR39","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-030-63486-5_40","volume-title":"Towards Autonomous Robotic Systems","author":"A Ferrando","year":"2020","unstructured":"Ferrando, A., Cardoso, R.C., Fisher, M., Ancona, D., Franceschini, L., Mascardi, V.: ROSMonitoring: a runtime verification framework for ROS. In: Mohammad, A., Dong, X., Russo, M. (eds.) TAROS 2020. LNCS (LNAI), vol. 12228, pp. 387\u2013399. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-63486-5_40"},{"key":"25_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-030-03769-7_15","volume-title":"Runtime Verification","author":"A Ferrando","year":"2018","unstructured":"Ferrando, A., Dennis, L.A., Ancona, D., Fisher, M., Mascardi, V.: Verifying and validating autonomous systems: towards an integrated approach. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 263\u2013281. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_15"},{"key":"25_CR41","doi-asserted-by":"publisher","unstructured":"Franceschini, L.: RML: runtime monitoring language: a system-agnostic DSL for runtime verification. In: Marr, S., Cazzola, W. (eds.) Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1\u20134, 2019. pp. 28:1\u201328:3. ACM (2019). https:\/\/doi.org\/10.1145\/3328433.3328462","DOI":"10.1145\/3328433.3328462"},{"key":"25_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-030-16202-3_4","volume-title":"Functional and Constraint Logic Programming","author":"L\u00c5 Fredlund","year":"2019","unstructured":"Fredlund, L.\u00c5., Mari\u00f1o, J., P\u00e9rez, S., Tamarit, S.: Runtime verification in erlang by using contracts. In: Silva, J. (ed.) WFLP 2018. LNCS, vol. 11285, pp. 56\u201373. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16202-3_4"},{"key":"25_CR43","doi-asserted-by":"publisher","unstructured":"Fung, T.H., Kowalski, R.A.: The Iff proof procedure for abductive logic programming. J. Log. Program. 33(2), 151\u2013165 (1997). https:\/\/doi.org\/10.1016\/S0743-1066(97)00026-5","DOI":"10.1016\/S0743-1066(97)00026-5"},{"key":"25_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-28756-5_10","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"KW Hamlen","year":"2012","unstructured":"Hamlen, K.W., Jones, M.M., Sridhar, M.: Aspect-oriented runtime monitor certification. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 126\u2013140. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28756-5_10"},{"issue":"2","key":"25_CR45","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10009-014-0309-2","volume":"17","author":"K Havelund","year":"2014","unstructured":"Havelund, K.: Rule-based runtime verification revisited. Int. J. Softw. Tools Technol. Transfer 17(2), 143\u2013170 (2014). https:\/\/doi.org\/10.1007\/s10009-014-0309-2","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"25_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1007\/978-3-319-91908-9_25","volume-title":"Computing and Software Science","author":"K Havelund","year":"2019","unstructured":"Havelund, K., Reger, G., Ro\u015fu, G.: Runtime verification past experiences and future projections. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 532\u2013562. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_25"},{"key":"25_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-03769-7_1","volume-title":"Runtime Verification","author":"K Havelund","year":"2018","unstructured":"Havelund, K., Ro\u015fu, G.: Runtime verification - 17 years later. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 3\u201317. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_1"},{"key":"25_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-030-03421-4_9","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification","author":"F Howar","year":"2018","unstructured":"Howar, F., Giannakopoulou, D., Mues, M., Navas, J.A.: Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11245, pp. 120\u2013136. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03421-4_9"},{"key":"25_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-40787-1_8","volume-title":"Runtime Verification","author":"R Hu","year":"2013","unstructured":"Hu, R., Neykova, R., Yoshida, N., Demangeon, R., Honda, K.: Practical interruptible conversations. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 130\u2013148. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40787-1_8"},{"key":"25_CR50","doi-asserted-by":"publisher","unstructured":"Huang, T., Wu, G., Wei, J.: Runtime monitoring composite web services through stateful aspect extension. J. Comput. Sci. Technol. 24(2), 294\u2013308 (2009). https:\/\/doi.org\/10.1007\/s11390-009-9225-4","DOI":"10.1007\/s11390-009-9225-4"},{"key":"25_CR51","doi-asserted-by":"publisher","unstructured":"In\u00e7ki, K., Ari, I., S\u00f6zer, H.: Runtime verification of IoT systems using complex event processing. In: Fortino, G., et al. (eds.) 14th IEEE International Conference on Networking, Sensing and Control, ICNSC 2017, Calabria, Italy, May 16\u201318, 2017, pp. 625\u2013630. IEEE (2017). https:\/\/doi.org\/10.1109\/ICNSC.2017.8000163, https:\/\/doi.org\/10.1109\/ICNSC.2017.8000163","DOI":"10.1109\/ICNSC.2017.8000163 10.1109\/ICNSC.2017.8000163"},{"key":"25_CR52","doi-asserted-by":"publisher","unstructured":"Indiono, C., Mangler, J., Fdhila, W., Rinderle-Ma, S.: Rule-based runtime monitoring of\u00a0instance-spanning constraints in\u00a0process-aware information systems. In: Debruyne, C., Panetto, H., Meersman, R., Dillon, T., K\u00fchn, O\u2019Sullivan, D., Ardagna, C.A. (eds.) OTM 2016. LNCS, vol. 10033, pp. 381\u2013399. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48472-3_22","DOI":"10.1007\/978-3-319-48472-3_22"},{"key":"25_CR53","doi-asserted-by":"publisher","unstructured":"Kallel, S., Charfi, A., Dinkelaker, T., Mezini, M., Jmaiel, M.: Specifying and monitoring temporal properties in web services compositions. In: Eshuis, R., Grefen, P.W.P.J., Papadopoulos, G.A. (eds.) Seventh IEEE European Conference on Web Services (ECOWS 2009), 9\u201311 November 2009, Eindhoven, The Netherlands, pp. 148\u2013157. IEEE Computer Society (2009). https:\/\/doi.org\/10.1109\/ECOWS.2009.15","DOI":"10.1109\/ECOWS.2009.15"},{"key":"25_CR54","doi-asserted-by":"publisher","unstructured":"Kallel, S., Charfi, A., Mezini, M., Jmaiel, M., Sewe, A.: A holistic approach for access control policies: from formal specification to aspect-based enforcement. Int. J. Inf. Comput. Secur. 3(3\/4), 337\u2013354 (2009). https:\/\/doi.org\/10.1504\/IJICS.2009.031044","DOI":"10.1504\/IJICS.2009.031044"},{"key":"25_CR55","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-02571-6_17","volume-title":"Objects, Components, Models and Patterns","author":"K Klose","year":"2009","unstructured":"Klose, K., Ostermann, K.: A classification framework for pointcut languages in runtime monitoring. In: Oriol, M., Meyer, B. (eds.) TOOLS EUROPE 2009. LNBIP, vol. 33, pp. 289\u2013307. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02571-6_17"},{"key":"25_CR56","doi-asserted-by":"publisher","unstructured":"K\u00f6rner, P., et al.: Fifty years of Prolog and beyond. Theory Pract. Log. Program. 22(6), 776\u2013858 (2022). https:\/\/doi.org\/10.1017\/S1471068422000102","DOI":"10.1017\/S1471068422000102"},{"key":"25_CR57","doi-asserted-by":"crossref","unstructured":"Kowalski, R., Quintero, J.D., Sartor, G., Calejo, M.: Logical English for law and education. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. LNCS, vol. 13900, pp. 287\u2013299. Springer, Cham (2023)","DOI":"10.1007\/978-3-031-35254-6_24"},{"key":"25_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BFb0031739","volume-title":"Logic in Databases","author":"R Kowalski","year":"1996","unstructured":"Kowalski, R., Sadri, F.: Towards a unified agent architecture that combines rationality with reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, pp. 135\u2013149. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0031739"},{"key":"25_CR59","doi-asserted-by":"crossref","unstructured":"Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. In: Mani, I., Pustejovsky, J., Gaizauskas, R.J. (eds.) The Language of Time - A Reader, pp. 217\u2013240. Oxford University Press (2005)","DOI":"10.1093\/oso\/9780199268535.003.0012"},{"key":"25_CR60","doi-asserted-by":"publisher","unstructured":"LeDoux, C.H., Jr., D.S.P.: Saving traces for Ada debugging. In: Barnes, J.G.P., Fisher, G.A. (eds.) Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, SIGAda 1985, Paris, France, May 14\u201316, 1985, pp. 97\u2013108. Cambridge University Press (1985). https:\/\/doi.org\/10.1145\/324426.324385","DOI":"10.1145\/324426.324385"},{"key":"25_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-030-03056-8_8","volume-title":"Current Trends in Web Engineering","author":"M Leotta","year":"2018","unstructured":"Leotta, M., Ancona, D., Franceschini, L., Olianas, D., Ribaudo, M., Ricca, F.: Towards a runtime verification approach for internet of things systems. In: Pautasso, C., S\u00e1nchez-Figueroa, F., Syst\u00e4, K., Murillo Rodr\u00edguez, J.M. (eds.) ICWE 2018. LNCS, vol. 11153, pp. 83\u201396. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03056-8_8"},{"key":"25_CR62","doi-asserted-by":"publisher","unstructured":"Leotta, M., et al.: Comparing testing and runtime verification of IoT systems: A preliminary evaluation based on a case study. In: Damiani, E., Spanoudakis, G., Maciaszek, L.A. (eds.) Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4\u20135, 2019, pp. 434\u2013441. SciTePress (2019). https:\/\/doi.org\/10.5220\/0007745604340441","DOI":"10.5220\/0007745604340441"},{"key":"25_CR63","doi-asserted-by":"publisher","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebraic Programm. 78(5), 293\u2013303 (2009). https:\/\/doi.org\/10.1016\/j.jlap.2008.08.004. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1567832608000775, the 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS\u201907)","DOI":"10.1016\/j.jlap.2008.08.004"},{"issue":"2","key":"25_CR64","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10916-016-0664-5","volume":"41","author":"N Majma","year":"2016","unstructured":"Majma, N., Babamir, S.M., Monadjemi, A.: Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets. J. Med. Syst. 41(2), 1\u201321 (2016). https:\/\/doi.org\/10.1007\/s10916-016-0664-5","journal-title":"J. Med. Syst."},{"key":"25_CR65","doi-asserted-by":"publisher","unstructured":"Malakuti, S., Bockisch, C., Aksit, M.: Applying the composition filter model for runtime verification of multiple-language software. In: ISSRE 2009, 20th International Symposium on Software Reliability Engineering, Mysuru, Karnataka, India, 16\u201319 November 2009, pp. 31\u201340. IEEE Computer Society (2009). https:\/\/doi.org\/10.1109\/ISSRE.2009.12","DOI":"10.1109\/ISSRE.2009.12"},{"key":"25_CR66","doi-asserted-by":"crossref","unstructured":"Pal\u00f9, A.D., Dovier, A., Formisano, A., Pontelli, E.: Prolog meets biology. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. LNCS, vol. 13900, pp. 318\u2013333. Springer, Cham (2023)","DOI":"10.1007\/978-3-031-35254-6_26"},{"key":"25_CR67","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-319-23820-3_12","volume-title":"Runtime Verification","author":"A Perotti","year":"2015","unstructured":"Perotti, A., Boella, G., Garcez, A.A.: Runtime verification through forward chaining. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 185\u2013200. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_12"},{"key":"25_CR68","doi-asserted-by":"publisher","unstructured":"Perotti, A., d\u2019Avila Garcez, A.S., Boella, G.: Neural networks for runtime verification. In: 2014 International Joint Conference on Neural Networks, IJCNN 2014, Beijing, China, July 6\u201311, 2014, pp. 2637\u20132644. IEEE (2014). https:\/\/doi.org\/10.1109\/IJCNN.2014.6889961","DOI":"10.1109\/IJCNN.2014.6889961"},{"key":"25_CR69","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977, pp. 46\u201357. IEEE Computer Society (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"25_CR70","doi-asserted-by":"publisher","unstructured":"Rabiser, R., Guinea, S., Vierhauser, M., Baresi, L., Gr\u00fcnbacher, P.: A comparison framework for runtime monitoring approaches. J. Syst. Softw. 125, 309\u2013321 (2017). https:\/\/doi.org\/10.1016\/j.jss.2016.12.034","DOI":"10.1016\/j.jss.2016.12.034"},{"key":"25_CR71","doi-asserted-by":"publisher","unstructured":"Ricca, F., Mascardi, V., Verri, A.: Test\u2019n\u2019Mo: a collaborative platform for human testers and intelligent monitoring agents. In: Ahrendt, W., Ancona, D., Francalanza, A. (eds.) VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021, pp. 17\u201321. ACM (2021). https:\/\/doi.org\/10.1145\/3464974.3468446","DOI":"10.1145\/3464974.3468446"},{"key":"25_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-319-47169-3_42","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"A Ros\u00e0","year":"2016","unstructured":"Ros\u00e0, A., Zheng, Y., Sun, H., Javed, O., Binder, W.: Adaptable runtime monitoring for the Java virtual machine. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 531\u2013546. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_42"},{"key":"25_CR73","doi-asserted-by":"publisher","unstructured":"S\u00e1nchez, C., et al.: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. (2), 1\u201357 (2019). https:\/\/doi.org\/10.1007\/s10703-019-00337-w","DOI":"10.1007\/s10703-019-00337-w"},{"key":"25_CR74","doi-asserted-by":"crossref","unstructured":"Satoh, K.: PROLEG: Practical legal reasoning system. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M., Kowalski, R., Rossi, F. (eds.) Prolog - The Next 50 Years. LNCS, vol. 13900, pp. 277-283. Springer, Cham (2023))","DOI":"10.1007\/978-3-031-35254-6_23"},{"key":"25_CR75","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/11799573_25","volume-title":"Logic Programming","author":"L Simon","year":"2006","unstructured":"Simon, L., Mallya, A., Bansal, A., Gupta, G.: Coinductive logic programming. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 330\u2013345. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11799573_25"},{"key":"25_CR76","doi-asserted-by":"publisher","unstructured":"Stolz, V., Huch, F.: Runtime verification of concurrent Haskell programs. Electron. Notes Theor. Comput. Sci. 113, 201\u2013216 (2005). https:\/\/doi.org\/10.1016\/j.entcs.2004.01.026","DOI":"10.1016\/j.entcs.2004.01.026"},{"key":"25_CR77","unstructured":"Tsigkritis, T., Spanoudakis, G.: Diagnosing runtime violations of security & dependability properties. In: Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE\u20192008), San Francisco, CA, USA, July 1\u20133, 2008, pp. 661\u2013666. Knowledge Systems Institute Graduate School (2008)"},{"key":"25_CR78","unstructured":"Tsigkritis, T., Spanoudakis, G.: A temporal abductive diagnostic process for runtime properties violations. In: Roth-Berghofer, T., Schulz, S., Leake, D.B., Bahls, D. (eds.) Explanation-aware Computing, Papers from the 2008 ECAI Workshop, Patras, Greece, July 21\u201322, 2008. University of Patras, pp. 49\u201360 (2008)"},{"key":"25_CR79","doi-asserted-by":"publisher","unstructured":"Wenger, M., Zoitl, A., Blech, J.O.: Behavioral type-based monitoring for IEC 61499. In: 20th IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2015, Luxembourg, September 8\u201311, 2015, pp. 1\u20138. IEEE (2015). https:\/\/doi.org\/10.1109\/ETFA.2015.7301447","DOI":"10.1109\/ETFA.2015.7301447"},{"key":"25_CR80","doi-asserted-by":"publisher","unstructured":"Wooldridge, M.J., Jennings, N.R.: Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2), 115\u2013152 (1995). https:\/\/doi.org\/10.1017\/S0269888900008122","DOI":"10.1017\/S0269888900008122"},{"key":"25_CR81","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-030-41418-4_8","volume-title":"Structured Object-Oriented Formal Language and Method","author":"B Yu","year":"2020","unstructured":"Yu, B., Liu, J., Lei, M., Yu, Y., Chen, H.: Parallel runtime verification approach for alternate execution of multiple threads. In: Miao, H., Tian, C., Liu, S., Duan, Z. (eds.) SOFL+MSVL 2019. LNCS, vol. 12028, pp. 99\u2013109. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-41418-4_8"},{"key":"25_CR82","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-030-77474-5_10","volume-title":"Structured Object-Oriented Formal Language and Method","author":"B Yu","year":"2021","unstructured":"Yu, B., Lu, X., Chen, H., Lei, M., Wang, X.: Runtime verification of ethereum smart contracts based on MSVL. In: Xue, J., Nagoya, F., Liu, S., Duan, Z. (eds.) SOFL+MSVL 2020. LNCS, vol. 12723, pp. 142\u2013153. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-77474-5_10"},{"key":"25_CR83","doi-asserted-by":"publisher","unstructured":"Yu, B., Tian, C., Lu, X., Zhang, N., Duan, Z.: A distributed network-based runtime verification of full regular temporal properties. IEEE Trans. Parallel Distributed Syst. 34(1), 76\u201391 (2023). https:\/\/doi.org\/10.1109\/TPDS.2022.3215854","DOI":"10.1109\/TPDS.2022.3215854"},{"key":"25_CR84","doi-asserted-by":"publisher","unstructured":"Zhao, Y., Oberth\u00fcr, S., Kardos, M., Rammig, F.: Model-based runtime verification framework for self-optimizing systems. Electron. Notes Theor. Comput. Sci. 144(4), 125\u2013145 (2006). https:\/\/doi.org\/10.1016\/j.entcs.2006.02.008","DOI":"10.1016\/j.entcs.2006.02.008"}],"container-title":["Lecture Notes in Computer Science","Prolog: The Next 50 Years"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35254-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,15]],"date-time":"2023-12-15T06:44:57Z","timestamp":1702622697000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35254-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031352539","9783031352546"],"references-count":84,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35254-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}