Pubblicazioni

Salvatore LA TORRE Pubblicazioni


2024
Articolo in rivista
CHC-Based Verification of Programs Through Graph Decompositions
SN COMPUTER SCIENCE. Vol. 5. Pag.1-28
ISSN:2661-8907.
Faella, Marco; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro
Digital Object Identifier (DOI): 10.1007/s42979-024-03371-6
Codice identificativo SCOPUS: 2-s2.0-85209549238
Visualizza sul Database dei Prodotti (IRIS)
2024
Contributo in Atti di convegno
Static Data Race Detection via Lazy Sequentialization.
In: Networked Systems. NETYS 2024 Springer Vol.14783, Pag.124-141
ISBN:9783031673207; 9783031673214
12th International Conference on Networked Systems (Netys 2024)
Rabat, Morocco 29-31 maggio 2024
Fischer, Bernd; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro; Schrammel, Peter
Digital Object Identifier (DOI): 10.1007/978-3-031-67321-4_8
Visualizza sul Database dei Prodotti (IRIS)