Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2017 | |
| Articolo in rivista | |
| Visibly pushdown modular games INFORMATION AND COMPUTATION. Vol. 253. Pag.204-223 ISSN:0890-5401. | |
| DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Velner, Y. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ic.2016.07.007 Codice identificativo ISI: WOS:000397701700003 Codice identificativo SCOPUS: 2-s2.0-84999851886 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| Parallel bug-finding in concurrent programs via reduced interleaving instances. In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017 IEEE Computer Society Pag.753-764 ISBN:978-1-5386-2684-9 | |
| Automated Software Engineering (ASE), 2017 32nd IEEE/ACM International Conference on Urbana, IL, USA October 30 - November 03, 2017 | |
| Nguyen, Truc L.; Schrammel, Peter; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1109/ASE.2017.8115686 Codice identificativo ISI: WOS:000417469700077 Codice identificativo SCOPUS: 2-s2.0-85041433770 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation. In: Proceedings of 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 Springer Verlag Vol.10206, Pag.375-379 ISBN:9783662545799 | |
| 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 Uppsala, Sweden April 22-29, 2017 | |
| Nguyen, Truc L.; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/978-3-662-54580-5_26 Codice identificativo ISI: WOS:000440733400026 Codice identificativo SCOPUS: 2-s2.0-85017524867 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| Using shared memory abstractions to design eager sequentializations for weak memory models. In: Proc. of 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 Springer Verlag Vol.10469, Pag.185-202 ISBN:9783319661964 | |
| 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 ita 2017 | |
| Tomasco, Ermenegildo; Nguyen, Truc Lam; Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/978-3-319-66197-1_12 Codice identificativo SCOPUS: 2-s2.0-85029011395 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| Concurrent Program Verification with Lazy Sequentialization and Interval Analysis. In: Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings Springer Vol.10299, Pag.255-271 ISBN:978-3-319-59646-4; 978-3-319-59647-1 | |
| Networked Systems - 5th International Conference, NETYS 2017 Marrakech, Morocco May 17-19, 2017 | |
| Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1007/978-3-319-59647-1_20 Codice identificativo SCOPUS: 2-s2.0-85019701814 | |
| Visualizza sul Database dei Prodotti (IRIS) |
