Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
2014 | |
Contributo in Atti di convegno | |
Lazy-CSeq: A Lazy Sequentialization Tool for C. In: Proc. of Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Springer Vol.8413, Pag.398-401 ISBN:9783642548611; 9783642548628 | |
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France April 5-13, 2014 | |
Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; LA TORRE, Salvatore; Gennaro, Parlato | |
Digital Object Identifier (DOI): 10.1007/978-3-642-54862-8_29 Codice identificativo SCOPUS: 2-s2.0-84900546750 | |
Visualizza sul Database dei Prodotti (IRIS) |
2014 | |
Contributo in Atti di convegno | |
Scope-Bounded Pushdown Languages. In: Proc. of the 18th International Conference on Developments in Language Theory, DLT 2014 LNCS Springer-Verlag Vol.8633, Pag.116-128 ISBN:9783319096971; 9783319096988 | |
18th International Conference on Developments in Language Theory, DLT 2014, Proceedings Ekaterinburg, Russia August 26-29, 2014. | |
LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
Digital Object Identifier (DOI): 10.1007/978-3-319-09698-8_11 Codice identificativo ISI: WOS:000377874300008 Codice identificativo SCOPUS: 2-s2.0-84906487304 | |
Visualizza sul Database dei Prodotti (IRIS) |
2014 | |
Contributo in Atti di convegno | |
A Unifying Approach for Multistack Pushdown Automata. In: Proc. of the 39th International Symposium on Mathematical Foundations of Computer Science 2014, MFCS 2014 LNCS Springer-Verlag Vol.8634, Pag.377-389 ISBN:9783662445211; 9783662445228 | |
39th International Symposium, MFCS 2014, Proceedings, Part I Budapest, Hungary August 25-29, 2014 | |
LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
Digital Object Identifier (DOI): 10.1007/978-3-662-44522-8_32 Codice identificativo ISI: WOS:000349856300032 Codice identificativo SCOPUS: 2-s2.0-84906330796 | |
Visualizza sul Database dei Prodotti (IRIS) |
2014 | |
Contributo in Atti di convegno | |
Visibly Pushdown Modular Games. In: Electronic Proceedings in Theoretical Computer Science GandALF 2014 EPTCS Vol.161, Pag.260-274 | |
Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014 Verona, Italy September 10-12, 2014 | |
DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Yaron, Velner | |
Digital Object Identifier (DOI): 10.4204/EPTCS.161.22 Codice identificativo SCOPUS: 2-s2.0-84938692970 | |
Visualizza sul Database dei Prodotti (IRIS) |
2014 | |
Contributo in Atti di convegno | |
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings. In: Proc. of Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 LNCS Springer-Verlag Vol.8413, Pag.402-404 ISBN:9783642548611; 9783642548628 | |
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France April 5-13, 2014 | |
Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; LA TORRE, Salvatore; Gennaro, Parlato | |
Digital Object Identifier (DOI): 10.1007/978-3-642-54862-8_30 Codice identificativo SCOPUS: 2-s2.0-84900538548 | |
Visualizza sul Database dei Prodotti (IRIS) |
2014 | |
Contributo in Atti di convegno | |
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. In: Proc. of Computer Aided Verification - 26th International Conference, CAV 2014 LNCS Springer-Verlag Vol.8559, Pag.585-602 ISBN:9783319088662; 9783319088679 | |
Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria July 18-22, 2014 | |
Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; LA TORRE, Salvatore; Gennaro, Parlato | |
Digital Object Identifier (DOI): 10.1007/978-3-319-08867-9_39 Codice identificativo ISI: WOS:000491474200039 Codice identificativo SCOPUS: 2-s2.0-84904804493 | |
Visualizza sul Database dei Prodotti (IRIS) |