Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2016 | |
| Articolo in rivista | |
| Scope-Bounded Pushdown Languages INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. Vol. 27. Pag.215-233 ISSN:0129-0541. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1142/S0129054116400074 Codice identificativo ISI: WOS:000377874300008 Codice identificativo SCOPUS: 2-s2.0-84966335496 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2016 | |
| Contributo in Atti di convegno | |
| A general modular synthesis problem for pushdown systems. In: Proc. of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016 Springer Verlag Vol.9583, Pag.495-513 ISBN:9783662491218 | |
| 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016 usa 2016 | |
| DE CRESCENZO, Ilaria; LA TORRE, Salvatore | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/978-3-662-49122-5_24 Codice identificativo ISI: WOS:000375148800024 Codice identificativo SCOPUS: 2-s2.0-84955241619 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2016 | |
| Contributo in Atti di convegno | |
| Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions. In: Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design (FMCAD 2016) FMCAD Inc. Pag.193-200 ISBN:978-0-9835678-6-8 | |
| 16th Conference on Formal Methods in Computer-Aided Design (FMCAD 2016) Mountain View, California, USA October 3 - 6, 2016 | |
| Tomasco, E.; Nguyen, T. L.; Inverso, O.; Fischer, B.; LA TORRE, Salvatore; Parlato, Gennaro | |
| Codice identificativo ISI: WOS:000406120700033 Codice identificativo SCOPUS: 2-s2.0-85017523780 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2016 | |
| Contributo in Atti di convegno | |
| MU-CSeq 0.4: Individual memory location unwindings. In: Proc. of 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016 held as Part of ETAPS 2016 Springer Verlag Vol.9636, Pag.938-941 ISBN:9783662496732; 9783662496732 | |
| 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016 and held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016 nld 2016 | |
| Tomasco, Ermenegildo; Nguyen, Truc L.; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/978-3-662-49674-9_65 Codice identificativo ISI: WOS:000406428000065 Codice identificativo SCOPUS: 2-s2.0-84964066788 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2016 | |
| Contributo in Atti di convegno | |
| Lazy sequentialization for the safety verification of unbounded concurrent programs. In: Proc. of 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016 Springer Verlag Vol.9938, Pag.174-191 ISBN:9783319465197; 9783319465197 | |
| 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016 jpn 2016 | |
| Nguyen, Truc L; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/978-3-319-46520-3_12 Codice identificativo ISI: WOS:000389808100012 Codice identificativo SCOPUS: 2-s2.0-84992505862 | |
| Visualizza sul Database dei Prodotti (IRIS) |
