Salvatore LA TORRE | Publications
Salvatore LA TORRE Publications
| 2015 | |
| Articolo in rivista | |
| Parametric metric interval temporal logic THEORETICAL COMPUTER SCIENCE. Vol. 564. Pag.131-148 ISSN:0304-3975. | |
| Barbara Di, Giampaolo; LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2014.11.019 Codice identificativo ISI: WOS:000348951300006 Codice identificativo SCOPUS: 2-s2.0-84926345008 | |
| Show it in Product Database (IRIS) |
70326Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches
| 2015 | |
| Contributo in Atti di convegno | |
| Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches. In: Proc. of Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of ETAPS 2015 Springer Vol.9035, Pag.461-463 ISBN:978-3-662-46680-3; 978-3-662-46681-0 | |
| 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 London, UK April 11-18, 2015 | |
| Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1007/978-3-662-46681-0_45 Codice identificativo SCOPUS: 2-s2.0-84926643790 | |
| Show it in Product Database (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings. In: Proc. of Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of ETAPS 2015 Springer Vol.9035, Pag.436-438 ISBN:978-3-662-46680-3; 978-3-662-46681-0 | |
| 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 London, UK April 11-18, 2015 | |
| Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1007/978-3-662-46681-0_38 Codice identificativo SCOPUS: 2-s2.0-84926669630 | |
| Show it in Product Database (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Verifying Concurrent Programs by Memory Unwinding. In: Proceedings of Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part ETAPS 2015. Lecture Notes in Computer Science Springer Vol.9035, Pag.551-565 ISBN:978-3-662-46680-3; 978-3-662-46681-0 | |
| 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 London, UK April 11-18, 2015 | |
| Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1007/978-3-662-46681-0_52 Codice identificativo SCOPUS: 2-s2.0-84926676187 | |
| Show it in Product Database (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs. In: Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015 Institute of Electrical and Electronics Engineers Inc. Pag.807-812 ISBN:9781509000241; 9781509000241 | |
| 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015 usa 2015 | |
| Inverso, Omar; Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1109/ASE.2015.108 Codice identificativo ISI: WOS:000382380700082 Codice identificativo SCOPUS: 2-s2.0-84963815132 | |
| Show it in Product Database (IRIS) |
| 2015 | |
| Contributo in Atti di convegno | |
| Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable. In: Proc. of the 26th International Conference on Concurrency Theory (CONCUR 2015) Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik Vol.42, Pag.72-84 ISBN:9783939897910 | |
| 26th International Conference on Concurrency Theory (CONCUR 2015) Madrid, Spain September 1-4, 2015 | |
| LA TORRE, Salvatore; Muscholl, Anca; Walukievicz, Igor | |
| Digital Object Identifier (DOI): 10.4230/LIPIcs.CONCUR.2015.72 Codice identificativo SCOPUS: 2-s2.0-84958241162 | |
| Show it in Product Database (IRIS) |
