Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2019 | |
| Contributo in Atti di convegno | |
| Model Checking BDI Logics over Finite-state Worlds. In: Proceedings of the 1st Workshop on Artificial Intelligence and FormalVerification, Logic, Automata, and Synthesis, co-located with the18th International Conference of the Italian Association for ArtificialIntelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019 CEUR-WS.org Vol.2509, Pag.11-16 | |
| 1st Workshop on Artificial Intelligence and FormalVerification, Logic, Automata, and Synthesis Rende (Italy) November 19-20, 2019 | |
| LA TORRE, Salvatore; Parlato, Gennaro | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-85082139032 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Contributo in Atti di convegno | |
| VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq. In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019) IEEE Computer Society Pag.1150-1153 ISBN:978-1-7281-2508-4 | |
| 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) San Diego, California, USA 10-15 November 2019 | |
| Fischer, Bernd; La Torre, Salvatore; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1109/ASE.2019.00124 Codice identificativo ISI: WOS:000533303400117 Codice identificativo SCOPUS: 2-s2.0-85078890078 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Contributo in Atti di convegno | |
| Reachability in Concurrent Uninterpreted Programs. In: Proceedings of 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) Dagstuhl, Germany Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik Vol.150, Pag.46:1-46:16 ISBN:9783959771313 | |
| 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) Mumbai, India 11-13 Dicembre 2019 | |
| LA TORRE, Salvatore; Parthasarathy, Madhusudan | |
| Versione online | |
| Digital Object Identifier (DOI): 10.4230/lipics.fsttcs.2019.46 Codice identificativo SCOPUS: 2-s2.0-85077467272 | |
| Visualizza sul Database dei Prodotti (IRIS) |
