Runtime Verification with Rational Multi-Monitors

Catta, Davide; Ferrando, Angelo; Malvone, Vadim

doi:10.3233/FAIA250983

Runtime Verification with Rational Multi-Monitors / Catta, D., Ferrando, A., Malvone, V.. - 413:(2025), pp. 1583-1590. (28th European Conference on Artificial Intelligence, ECAI 2025, including 14th Conference on Prestigious Applications of Intelligent Systems, PAIS 2025 Bologna, ITALY 25-30/11/2025) [10.3233/FAIA250983].

Runtime Verification with Rational Multi-Monitors

Davide Catta;Angelo Ferrando;Vadim Malvone

2025

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione
	
				2025
			
	Lingua/e di pubblicazione
	
				Inglese
			
	Titolo del Convegno
	
				28th European Conference on Artificial Intelligence, ECAI 2025, including 14th Conference on Prestigious Applications of Intelligent Systems, PAIS 2025
			
	Luogo del Convegno
	
				Bologna, ITALY
			
	Data del Convegno
	
				25-30/11/2025
			
	Codice DOI
	
				https://dx.doi.org/10.3233/FAIA250983
			
	Codice Scopus
	
				2-s2.0-105024451444
			
	Serie
	
				FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS
			
	Titolo del Volume
	
				28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025)
			
	N° del Volume
	
				413
			
	Pagina iniziale
	
				1583
			
	Pagina finale
	
				1590
			
	Codice ISBN del Volume
	
				9781643686318
			
	Tutti gli autori
	
						Catta, Davide; Ferrando, Angelo; Malvone, Vadim
					
	Tipologia
	
				Atti di CONVEGNO::Relazione in Atti di Convegno
			
	Tipologia sito docente
	
				273
			
	Numero autori
	
				3
			
	Citazione
	
				Runtime Verification with Rational Multi-Monitors / Catta, D., Ferrando, A., Malvone, V.. - 413:(2025), pp. 1583-1590. (28th European Conference on Artificial Intelligence, ECAI 2025, including 14th Conference on Prestigious Applications of Intelligent Systems, PAIS 2025 Bologna, ITALY 25-30/11/2025) [10.3233/FAIA250983].
			
	Fulltext
	
				open
			
	Tipologia
	
				info:eu-repo/semantics/conferenceObject
			
	Tipologia
	
				Relazione in Atti di Convegno

File in questo prodotto:

File	Dimensione	Formato
FAIA-413-FAIA250983.pdf Open access Tipologia: VOR - Versione pubblicata dall'editore Licenza: [IR] creative-commons Dimensione 366.99 kB Formato Adobe PDF Visualizza/Apri	366.99 kB	Adobe PDF	Visualizza/Apri

Pubblicazioni consigliate

I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris