Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2024 | |
| Articolo in rivista | |
| CHC-Based Verification of Programs Through Graph Decompositions SN COMPUTER SCIENCE. Vol. 5. Pag.1-28 ISSN:2661-8907. | |
| Faella, Marco; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1007/s42979-024-03371-6 Codice identificativo SCOPUS: 2-s2.0-85209549238 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2024 | |
| Contributo in Atti di convegno | |
| Static Data Race Detection via Lazy Sequentialization. In: Networked Systems. NETYS 2024 Springer Vol.14783, Pag.124-141 ISBN:9783031673207; 9783031673214 | |
| 12th International Conference on Networked Systems (Netys 2024) Rabat, Morocco 29-31 maggio 2024 | |
| Fischer, Bernd; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro; Schrammel, Peter | |
| Digital Object Identifier (DOI): 10.1007/978-3-031-67321-4_8 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2023 | |
| Contributo in Atti di convegno | |
| Verifying Programs by Bounded Tree-Width Behavior Graphs. In: Proceedings of the 20th European Conference on Multi-Agent Systems (EUMAS) 2023 Springer Vol.14282 LNAI, Pag.116-132 ISBN:978-3-031-43263-7; 978-3-031-43264-4 | |
| The 20th European Conference on Multi-Agent Systems (EUMAS) 2023 Naples, Italy September 14-15, 2023 | |
| Inverso, O.; La Torre, S.; Parlato, G.; Tomasco, E. | |
| Digital Object Identifier (DOI): 10.1007/978-3-031-43264-4_8 Codice identificativo SCOPUS: 2-s2.0-85171998189 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Bounded Verification of Multi-threaded Programs via Lazy Sequentialization ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. Vol. 44. Pag.1-50 ISSN:0164-0925. | |
| Inverso, O.; Tomasco, E.; Fischer, B.; La Torre, S.; Parlato, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1145/3478536 Codice identificativo ISI: WOS:000748389400001 Codice identificativo SCOPUS: 2-s2.0-85123441720 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Contributo in Atti di convegno | |
| CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. In: Proc. of the 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022 ACM Pag.156:1-156:5 ISBN:9781450394758 | |
| 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022 Rochester, MI, USA October 10-14, 2022 | |
| Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P. | |
| Digital Object Identifier (DOI): 10.1145/3551349.3559523 Codice identificativo ISI: WOS:001062775200108 Codice identificativo SCOPUS: 2-s2.0-85146936369 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2021 | |
| Contributo in volume (Capitolo o Saggio) | |
| Automated Planning Through Program Verification. In Dario Della Monica, Gian Luca Pozzato, Enrico Scala Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis Pag.13-17 CEUR. | |
| LA TORRE, Salvatore; Parlato, Gennaro | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-85118200185 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2020 | |
| Articolo in rivista | |
| Reachability of scope-bounded multistack pushdown systems INFORMATION AND COMPUTATION. Vol. 275. Pag.1-25 ISSN:0890-5401. | |
| La Torre, S.; Napoli, M.; Parlato, G. | |
| Digital Object Identifier (DOI): 10.1016/j.ic.2020.104588 Codice identificativo ISI: WOS:000595367200019 Codice identificativo SCOPUS: 2-s2.0-85085091314 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2020 | |
| Contributo in Atti di convegno | |
| On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities. In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems International Foundation for Autonomous Agents and Multiagent Systems Pag.681-689 ISBN:9781450375184 | |
| AAMAS '19: International Conference on Autonomous Agents and Multiagent Systems Auckland New Zealand 9-13 Maggio 2020 | |
| La Torre, S.; Parlato, G. | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-85096709017 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2020 | |
| Contributo in Atti di convegno | |
| Complexity of qualitative timeline-based planning. In: Leibniz International Proceedings in Informatics, LIPIcs Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing Vol.178, Pag.16:1-16:13 ISBN:978-3-95977-167-2 | |
| 27th International Symposium on Temporal Representation and Reasoning, TIME 2020 ita 2020 | |
| Della, Monica. D.; Gigante, N.; la Torre, S.; Montanari, A. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.4230/LIPIcs.TIME.2020.16 Codice identificativo SCOPUS: 2-s2.0-85091646530 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2020 | |
| Contributo in volume (Capitolo o Saggio) | |
| A Fixed-point Model-checker for BDI Logics over Finite-state Worlds. In Riccardo De Benedictis, Luca Geretti and Andrea Micheli Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020 Pag.47-52 CEUR-WS.org. | |
| LA TORRE, Salvatore; Parlato, Gennaro | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-85099335502 | |
| 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) |
| 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) |
| 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 | |
| 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 | |
| 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 | |
| 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) |
| 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 | |
| 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 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 | |
| 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) |
| 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) |
| 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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (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 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Articolo in rivista | |
| Automata-theoretic decision of timed games THEORETICAL COMPUTER SCIENCE. Vol. 515. Pag.46-63 ISSN:0304-3975. | |
| Faella, Marco; LA TORRE, Salvatore; Murano, Aniello | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2013.08.021 Codice identificativo ISI: WOS:000330913500003 Codice identificativo SCOPUS: 2-s2.0-84890118252 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 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 | |
| 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) |
| 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 | |
| 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) |
| 2013 | |
| Contributo in Atti di convegno | |
| Modular Synthesis with Open Components Reachability Problems. In: Proc. of the 7th International Workshop on Reachability Problems, RP 2013 Sringer Vol.8169, Pag.96-108 ISBN:9783642410369 | |
| 7th International Workshop on Reachability Problems, RP 2013 Uppsala, Sweden September 24-26, 2013 | |
| DE CRESCENZO, Ilaria; LA TORRE, Salvatore | |
| Digital Object Identifier (DOI): 10.1007/978-3-642-41036-9_10 Codice identificativo ISI: WOS:000329203100010 Codice identificativo SCOPUS: 2-s2.0-84886436397 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Curatela | |
| Curatore/i di Games, Automata, Logic, and Formal Verification (GandALF 2011). Di D'Agostino, Giovanna; LA TORRE, SalvatoreVol. 493. Pag.1-1 | |
| D'Agostino, Giovanna; LA TORRE, Salvatore | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2013.05.029 Codice identificativo ISI: WOS:000321410000001 Codice identificativo SCOPUS: 2-s2.0-84879217202 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Contributo in Atti di convegno | |
| Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik Vol.18, Pag.173-184 ISBN:9783939897477 | |
| 32nd International Conference on Foundations of Software Technology and Theoretical Computer Science Hyderabad (India) December 15-17 | |
| LA TORRE, Salvatore; Parlato, Gennaro | |
| Codice identificativo SCOPUS: 2-s2.0-84880232378 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Contributo in Atti di convegno | |
| A Temporal Logic for Multi-threaded Programs. In: Proc. of the 7th IFIP International Conference on Theoretical Computer Science 2012, TCS'12. Lecture Notes in Computer Science Springer Vol.7604, Pag.225-239 ISBN:9783642334740 | |
| 7th IFIP International Conference on Theoretical Computer Science 2012, TCS'12, Amsterdam, The Netherlands September 26-28, 2012 | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Codice identificativo SCOPUS: 2-s2.0-84866915947 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Contributo in Atti di convegno | |
| Sequentializing Parameterized Programs. In: Proc. of the 4th International Workshop on Foundations of Interface Technologies (FIT'12, satellite workshop at ETAPS 2012) EPTCS Vol.87, Pag.34-47 | |
| 4th International Workshop on Foundations of Interface Technologies (FIT'12, satellite workshop at ETAPS 2012) Tallinn, Estonia March 25, 2012 | |
| LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.4204/EPTCS.87.4 Codice identificativo SCOPUS: 2-s2.0-85026634221 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in volume (Capitolo o Saggio) | |
| Winning CaRet Games with Modular Strategies. In Fabio Fioravanti CILC 2011 26th Italian Conference on Computational Logic Pag.327-331 ISSN:1613-0073. | |
| DE CRESCENZO, Ilaria; LA TORRE, Salvatore | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-84883399932 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Curatela | |
| Curatore/i di Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011. Electronic Proceedings in Theoretical Computer Science. Di Giovanna, D'Agostino; LA TORRE, SalvatoreVol. 54. | |
| Giovanna, D'Agostino; LA TORRE, Salvatore | |
| Digital Object Identifier (DOI): 10.4204/EPTCS.54 Codice identificativo SCOPUS: 2-s2.0-85048471157 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Contributo in Atti di convegno | |
| The Language Theory of Bounded Context-Switching. In: 9th Latin American Symposium on Theoretical Informatics (LATIN 2010) Springer Vol.Lecture Notes in Computer Science 6034, Pag.96-107 ISBN:9783642121999 | |
| 9th Latin American Theoretical Informatics Symposium, LATIN 2010 Oaxaca, Mexico April 19-23, 2010 | |
| LA TORRE, Salvatore; Parthasarathy, Madhusudan; Parlato, Gennaro | |
| Codice identificativo ISI: WOS:000279661700009 Codice identificativo SCOPUS: 2-s2.0-77953486393 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Contributo in Atti di convegno | |
| Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. In: 22nd International Conference on Computer Aided Verification (CAV 2010) Springer Vol.Lecture Notes in Computer Science 6174, Pag.629-644 ISBN:9783642142949 | |
| 22nd International Conference on Computer-Aided Verification, CAV 2010 Edinburgh; United Kingdom 15 July 2010 through 19 July 2010 | |
| LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
| Codice identificativo ISI: WOS:000281446200053 Codice identificativo SCOPUS: 2-s2.0-77955003220 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Contributo in Atti di convegno | |
| Parametric Metric Interval Temporal Logic. In: 4th International Conference Language and Automata Theory and Applications (LATA 2010) Springer Vol.Lecture Notes in Computer Science 6031, Pag.249-260 ISBN:9783642130885 | |
| 4th International Conference on Language and Automata Theory and Applications, LATA 2010 Trier (Germany) May 24-28, 2010 | |
| DI GIAMPAOLO, Barbara; LA TORRE, Salvatore; Napoli, Margherita | |
| Codice identificativo ISI: WOS:000279649600021 Codice identificativo SCOPUS: 2-s2.0-77953791611 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Articolo in rivista | |
| Decision Problems for lower/upper bound Parametric Timed Automata FORMAL METHODS IN SYSTEM DESIGN. Vol. 35 (2). Pag.121-151 ISSN:0925-9856. | |
| LA TORRE, Salvatore; L., Bozzelli | |
| Codice identificativo ISI: WOS:000271199900001 Codice identificativo SCOPUS: 2-s2.0-72249090386 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Analyzing Recursive Programs using a Fixed-point Calculus. In: Proc. of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation, (PLDI'09) ACM press Pag.211-222 ISBN:978-160558392-1 | |
| ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI'09) Dublin (Ireland) June 15-20, 2009 | |
| LA TORRE, Salvatore; Madhusudan, P; Parlato, G. | |
| Codice identificativo SCOPUS: 2-s2.0-70450260585 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Reducing context-bounded concurrent reachability to sequentialreachability. In: Proc. of 21st International Conference on Computer-Aided Verification, (CAV'09). Lecture Notes in Computer Science BERLIN Springer Vol.5643, Pag.477-492 ISBN:9783642026577 | |
| International Conference on Computer-Aided Verification (CAV'09) Grenoble (France) June 26 - July 2, 2009 | |
| LA TORRE, Salvatore; Madhusudan, P; Parlato, G. | |
| Codice identificativo SCOPUS: 2-s2.0-70350241658 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Articolo in rivista | |
| Verification of Scope-dependent Hierarchical State Machines INFORMATION AND COMPUTATION. Vol. 206. Pag.1161-1177 ISSN:0890-5401. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1016/j.ic.2008.03.017 Codice identificativo ISI: WOS:000259251400015 Codice identificativo SCOPUS: 2-s2.0-50149099553 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Articolo in rivista | |
| Verification of well-formed Communicating Recursive State Machines THEORETICAL COMPUTER SCIENCE. Vol. 403 (2-3). Pag.382-405 ISSN:0304-3975. | |
| LA TORRE, Salvatore; L., Bozzelli; A., Peron | |
| Codice identificativo ISI: WOS:000259044800014 Codice identificativo SCOPUS: 2-s2.0-48449099517 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Contributo in Atti di convegno | |
| An Infinite Automaton Characterization of Double Exponential Time. In: Proc. of the 17th EACSL Annual Conference onComputer Science Logic (CSL'08) BERLIN Springer Vol.5213, Pag.33-48 ISBN:3540875301 | |
| Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th Annual Conference of the EACSL Bertinoro (Italy) September 15-20, 2008. | |
| LA TORRE, Salvatore; P., Madhusudan; G., Parlato | |
| Codice identificativo ISI: WOS:000261091200004 Codice identificativo SCOPUS: 2-s2.0-57849104025 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Contributo in Atti di convegno | |
| Context-Bounded Analysis of Concurrent Queue Systems. In: Proc. of the 14th International Conference onTools and Algorithms for the Construction and theAnalysis of Systems (TACAS'08) (a member conference of ETAPS'08). Lecture Notes in Computer Science BERLIN Springer Vol.4963, Pag.299-314 ISBN:9783540787990 | |
| Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 Budapest (Hungary) March 29 - April 6, 2008 | |
| LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
| Codice identificativo ISI: WOS:000254735100021 Codice identificativo SCOPUS: 2-s2.0-47249155301 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| The word problem for visibly pushdown languages described by grammars FORMAL METHODS IN SYSTEM DESIGN. Vol. 31 (3). Pag.265-279 ISSN:0925-9856. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1007/s10703-007-0040-7 Codice identificativo ISI: WOS:000250580800004 Codice identificativo SCOPUS: 2-s2.0-35649027452 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| The Firing Squad Synchronization Problem on Squares, Toruses and Rings INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. Vol. 18. Pag.637-654 ISSN:0129-0541. | |
| Gruska, J; LA TORRE, Salvatore; Parente, Domenico | |
| Codice identificativo ISI: WOS:000251155900012 Codice identificativo SCOPUS: 2-s2.0-34249750503 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Contributo in Atti di convegno | |
| A Robust Class of Context-Sensitive Languages. In: Proc. of the 22nd Annual IEEE Symposium on Logic in Computer Science,(LICS 2007) IEEE COMPUTER SOCIETY PRESS Pag.161-170 ISBN:0769529089 | |
| 22nd Annual IEEE Symposium on Logic in Computer Science Wroclaw, Poland 10-12 July 2007 | |
| LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
| Codice identificativo ISI: WOS:000248944000016 Codice identificativo SCOPUS: 2-s2.0-82755165825 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Contributo in Atti di convegno | |
| On the Complexity of LTL Model-Checking of Recursive State Machines. In: Proc. of the 34th International Colloquium on Automata, Languages andProgramming (ICALP 2007). Lecture Notes in Computer Science BERLIN Springer Vol.4596, Pag.937-948 ISBN:3540734198 | |
| 34th International Colloquium on Automata, Languages and Programming, ICALP 2007 Wroclaw (Poland) July 9 - 13, 2007 | |
| LA TORRE, Salvatore; Parlato, G. | |
| Codice identificativo ISI: WOS:000248143000079 Codice identificativo SCOPUS: 2-s2.0-38149035168 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Contributo in Atti di convegno | |
| Verification of Succinct Hierarchical State Machines. In: Proc. of the 1st International Conference on Language and Automata Theory and Applications, (LATA 2007). Universitat Rovira i Virgili, Tarragona Vol.Report 35/07, Pag.485-496 | |
| 1st International Conference on Language and Automata Theory and Applications, LATA 2007 Tarragona (Spain) March 29 - April 4, 2007 | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G. | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Contributo in Atti di convegno | |
| Decision Problems for lower/upper bound Parametric Timed Automata. In: Proc. of the 34th International Colloquium on Automata, Languages andProgramming (ICALP 2007). Lecture Notes in Computer Science BERLIN Springer Vol.4596, Pag.925-936 ISBN:3540734198 | |
| Automata, Languages and Programming, 34th International Colloquium, ICALP 2007 Wroclaw (Poland) July 9 - 13, 2007 | |
| Bozzelli, L; LA TORRE, Salvatore | |
| Codice identificativo ISI: WOS:000248143000078 Codice identificativo SCOPUS: 2-s2.0-38149024855 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| Modular Strategies for Recursive Game Graphs THEORETICAL COMPUTER SCIENCE. Vol. 354. Pag.230-249 ISSN:0304-3975. | |
| R., Alur; LA TORRE, Salvatore; P., Madhusudan | |
| Codice identificativo ISI: WOS:000236485400005 Codice identificativo SCOPUS: 2-s2.0-33644676096 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 40. Pag.177-206 ISSN:0988-3754. | |
| Gruska, J; LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Codice identificativo ISI: WOS:000239790500007 Codice identificativo SCOPUS: 2-s2.0-33746307821 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Contributo in Atti di convegno | |
| On the Membership Problem for Visibly Pushdown Languages. In: Proc. of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). Lecture Notes in Computer Science. BERLIN Springer Vol.4218, Pag.96-109 ISBN:3540472371 | |
| Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006 Beijing (China) October 23-26 | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Codice identificativo ISI: WOS:000241648200010 Codice identificativo SCOPUS: 2-s2.0-33845197318 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Contributo in Atti di convegno | |
| Verification of Well-Formed Communicating Recursive State Machines. In: Proc. ofthe 7th International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2006). Lecture Notes in Computer Science BERLIN Springer Vol.3855, Pag.416-426 ISBN:3540311394 | |
| Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006 Charleston -- South Carolina (USA) January 8 - 10, 2006 | |
| Bozzelli, L; LA TORRE, Salvatore; Peron, A. | |
| Codice identificativo ISI: WOS:000235836700027 Codice identificativo SCOPUS: 2-s2.0-33745642477 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Articolo in rivista | |
| Weak Muller acceptance conditions for tree automata THEORETICAL COMPUTER SCIENCE. Vol. 332. Pag.233-250 ISSN:0304-3975. | |
| LA TORRE, Salvatore; A., Murano; Napoli, Margherita | |
| Codice identificativo ISI: WOS:000227578800011 Codice identificativo SCOPUS: 2-s2.0-13644259310 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Contributo in Atti di convegno | |
| Decidability and Infinite Precision in Timed Automata. In: Atti del 43esimo Congresso Annuale AICAVol.2, Pag.465-474 | |
| 43esimo Congresso Annuale AICA Udine (Italia) 5-7 Ottobre, 2005 | |
| LA TORRE, Salvatore | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Contributo in Atti di convegno | |
| Perturbed Timed Automata. In: Proc. of the 8th International Workshop on Hybrid Systems: Computation and Control (HSCC 2005). Lecture Notes in Computer Science Berlin Springer Vol.3414, Pag.70-85 ISBN:3540251081 | |
| Hybrid Systems: Computation and Control, HSCC 2005 Zurich (Switzerland) March 9-11, 2005 | |
| Alur, R; LA TORRE, Salvatore; Madhusudan, P. | |
| Codice identificativo SCOPUS: 2-s2.0-24344501346 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| Polyhedral Flows in Hybrid Automata FORMAL METHODS IN SYSTEM DESIGN. Vol. 24. Pag.261-280 ISSN:0925-9856. | |
| Alur, R; Kannan, S; LA TORRE, Salvatore | |
| Codice identificativo ISI: WOS:000221119700002 Codice identificativo SCOPUS: 2-s2.0-3543093974 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| Deterministic generators and games for Ltl fragments ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. Vol. 5. Pag.1-25 ISSN:1529-3785. | |
| Alur, R; LA TORRE, Salvatore | |
| Codice identificativo SCOPUS: 2-s2.0-4444246434 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| MODEL-CHECKING THE SECURE RELEASE OF A TIME-LOCKED SECRET OVER A NETWORK ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 99. Pag.229-243 ISSN:1571-0661. | |
| LA TORRE, Salvatore; Murano, Aniello; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1016/j.entcs.2004.02.010 Codice identificativo SCOPUS: 2-s2.0-18944406943 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| Optimal paths in weighted timed automata THEORETICAL COMPUTER SCIENCE. Vol. 318. Pag.297-322 ISSN:0304-3975. | |
| Alur, R.; LA TORRE, Salvatore; Pappas, G. | |
| Codice identificativo ISI: WOS:000221896700002 Codice identificativo SCOPUS: 2-s2.0-2442597825 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Contributo in Atti di convegno | |
| Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings. In: Proc. of the 8th International Conference on Developments in Language Theory (DLT’04). Lecture Notes in Computer Science Berlin Springer Vol.3340, Pag.200-211 ISBN:3540240144 | |
| Developments in Language Theory Auckland (New Zealand) December 13 - 17, 2004 | |
| Gruska, J.; LA TORRE, Salvatore; Parente, Domenico | |
| Codice identificativo ISI: WOS:000226160800017 Codice identificativo SCOPUS: 2-s2.0-33746314400 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Contributo in Atti di convegno | |
| Reasoning About Co-Büchi Tree Automata. In: Proc. of the 1st International Colloquium onTheoretical Aspects of Computing (ICTAC 2004). Lecture Notes in Computer Science. BERLIN Springer Vol.3407, Pag.527-542 ISBN:3-540-25304-1 | |
| Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium Guiyang (China) September 20 - 24, 2004 | |
| LA TORRE, Salvatore; Murano, A. | |
| Codice identificativo SCOPUS: 2-s2.0-24644480573 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Articolo in rivista | |
| Deterministic finite automata with recursive calls and DPDAs INFORMATION PROCESSING LETTERS. Vol. 87. Pag.187-193 ISSN:0020-0190. | |
| Gallier, J; LA TORRE, Salvatore; Mukhopadhyay, S. | |
| Codice identificativo ISI: WOS:000184631400003 Codice identificativo SCOPUS: 2-s2.0-0043172394 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Articolo in rivista | |
| Finite automata on timed omega-trees. THEORETICAL COMPUTER SCIENCE. Vol. 293. Pag.479-505 ISSN:0304-3975. | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Codice identificativo ISI: WOS:000180905300002 Codice identificativo SCOPUS: 2-s2.0-0037427175 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Contributo in Atti di convegno | |
| Hierarchical and Recursive State Machines with Context-Dependent Properties. In: Proc. of the 30th International Colloquium on Automata, Languages and Programming (ICALP 2003). Lecture Notes in Computer Science Berlin Springer Vol.2719, Pag.776-789 ISBN:3540404937 | |
| ICALP '03 Eindhoven (The Netherlands) June 30 - July 4, 2003 | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G. | |
| Codice identificativo ISI: WOS:000185145700061 Codice identificativo SCOPUS: 2-s2.0-35248871028 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Contributo in Atti di convegno | |
| Playing Games with Boxes and Diamonds. In: Proc. of the 14th International Conference on Concurrency Theory (CONCUR 2003). Lecture Notes in Computer Science BERLIN Springer Vol.2761, Pag.127-141 ISBN:3540407537 | |
| CONCUR 2003 - Concurrency Theory Marseille (France) September 3-5, 2003 | |
| Alur, R; LA TORRE, Salvatore; Madhusudan, P. | |
| Codice identificativo ISI: WOS:000185948700008 Codice identificativo SCOPUS: 2-s2.0-35248822590 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Contributo in Atti di convegno | |
| Modular Strategies for Infinite Games on Recursive Graphs. In: Proc. of the 15th International Conference on Computer-Aided Verification (CAV 2003). Lecture Notes in Computer Science. BERLIN Springer Vol.2725, Pag.67-79 ISBN:3-540-40524-0 | |
| Computer Aided Verification, 15th International Conference, CAV 2003 Boulder -- Colorado (USA) July 8 - 12, 2003 | |
| Alur, R; LA TORRE, Salvatore; Madhusudan, P. | |
| Codice identificativo ISI: WOS:000185145800006 Codice identificativo SCOPUS: 2-s2.0-33644689137 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Contributo in Atti di convegno | |
| Modular Strategies for Recursive Game Graphs. In: Proc. of the 9th International Conference onTools and Algorithms for the Construction and the Analysis of Systems (TACAS 2003) BERLIN Springer Vol.2619, Pag.363-378 ISBN:3-540-00898-5 | |
| Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, (Poland) April 7-11, 2003 | |
| Alur, R; LA TORRE, Salvatore; Madhusudan, P. | |
| Codice identificativo ISI: WOS:000183012400025 Codice identificativo SCOPUS: 2-s2.0-26444569586 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Contributo in Atti di convegno | |
| Weak Muller Acceptance Conditions for Tree Automata. In: Proc. of the 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2002). Lecture Notes in Computer Science Berlin Springer Vol.2294, Pag.240-254 ISBN:3540436316 | |
| 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002 Venezia (Italia) January 21 - 22, 2002 | |
| LA TORRE, Salvatore; Murano, A; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1007/3-540-47813-2_17 Codice identificativo SCOPUS: 2-s2.0-24644464982 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Contributo in Atti di convegno | |
| Automata-Theoretic Decision of Timed Games. In: Proc. of the 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2002). Lecture Notes in Computer Science. BERLIN Springer Vol.2294, Pag.94-108 ISBN:3540436316 | |
| 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002 Venezia (Italia) January 21 - 22, 2002. | |
| Faella, M; LA TORRE, Salvatore; Murano, A. | |
| Digital Object Identifier (DOI): 10.1007/3-540-47813-2_7 Codice identificativo SCOPUS: 2-s2.0-84894618648 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Contributo in Atti di convegno | |
| Dense Real-Time Games. In: Proc. of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002) IEEE Computer Society Press Pag.167-176 | |
| 17th Annual IEEE Symposium on Logic in Computer Science, LICS 2002 Copenhagen (Denmark) July 22-25, 2002. | |
| Faella, M; LA TORRE, Salvatore; Murano, A. | |
| Digital Object Identifier (DOI): 10.1109/LICS.2002.1029826 Codice identificativo ISI: WOS:000177324300014 Codice identificativo SCOPUS: 2-s2.0-0036052664 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Contributo in Atti di convegno | |
| Optimal-Reachability and Control for Acyclic Weighted Timed Automata. In: Proc. of the 2nd IFIP International Conference on Theoretical Computer Science (IFIP TCS 2002) Kluwer Academic Publishers Pag.485-497 ISBN:978-147575275-5 | |
| IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science, TCS 2002 Montreal (Canada) August 25-30, 2002. | |
| LA TORRE, Salvatore; Mukhopadhyay, S; Murano, A. | |
| Digital Object Identifier (DOI): 10.1007/978-0-387-35608-2_40 Codice identificativo ISI: WOS:000178979200040 Codice identificativo SCOPUS: 2-s2.0-84891128671 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| Automata-based Representations for Infinite Graphs RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 35. Pag.311-330 ISSN:0988-3754. | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1051/ita:2001122 Codice identificativo ISI: WOS:000173251500001 Codice identificativo SCOPUS: 2-s2.0-14244273624 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| A Model of Finite Automata on Timed omega-Trees ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 42. Pag.1-16 ISSN:1571-0661. | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1016/S1571-0661(04)80884-3 Codice identificativo SCOPUS: 2-s2.0-18944400508 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| Timed tree Automata with an application to Temporal Logic ACTA INFORMATICA. Vol. 38. Pag.89-116 ISSN:0001-5903. | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1007/s002360100067 Codice identificativo ISI: WOS:000172558100001 Codice identificativo SCOPUS: 2-s2.0-0035498097 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| Parametric temporal logic for "model measuring" ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. Vol. 2. Pag.388-407 ISSN:1529-3785. | |
| Alur, R; Etessami, K; LA TORRE, Salvatore; Peled, D. | |
| Digital Object Identifier (DOI): 10.1145/377978.377990 Codice identificativo SCOPUS: 2-s2.0-27644510684 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| Optimal Paths in Weighted Timed Automata. In: Proc. of the 4th International Workshop on Hybrid Systems: Computation and Control (HSCC 2001). Lecture Notes in Computer Science. BERLIN Springer Vol.2034, Pag.49-62 ISBN:3540418660 | |
| 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001 Roma (Italia) March 28-30, 2001. | |
| Alur, R; LA TORRE, Salvatore; Pappas, G. | |
| Digital Object Identifier (DOI): 10.1007/3-540-45351-2_8 Codice identificativo SCOPUS: 2-s2.0-84944225404 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| Deterministic Generators and Games for LTL Fragments. In: Proc. of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001) IEEE Computer Society Press Pag.291-302 | |
| 16th Annual IEEE Symposium on Logic in Computer Science Boston -- Massachusetts (USA) June 16 - 19, 2001 | |
| Alur, R; LA TORRE, Salvatore | |
| Digital Object Identifier (DOI): 10.1109/LICS.2001.932505 Codice identificativo ISI: WOS:000170688700028 Codice identificativo SCOPUS: 2-s2.0-0034858404 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Contributo in Atti di convegno | |
| Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. In: Proc. of the 3rd International Conference on Machines, Computations and Universality (MCU’01). Lecture Notes in Computer Science Berlin Springer Vol.2055, Pag.264-275 ISBN:3540421211 | |
| 3rd INTERNATIONAL CONFERENCE ON MACHINES, COMPUTATIONS AND UNIVERSALITY Chisinau (Moldavia) May 23-27, 2001 | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Codice identificativo SCOPUS: 2-s2.0-2142736604 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2000 | |
| Articolo in rivista | |
| A Compositional Approach to Synchronize Two Dimensional Networks of Processors RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 34(6). Pag.549-564 ISSN:0988-3754. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Codice identificativo ISI: WOS:000168984600007 Codice identificativo SCOPUS: 2-s2.0-17844392080 | |
| Visualizza sul Database dei Prodotti (IRIS) |
42677Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information
| 2000 | |
| Contributo in Atti di convegno | |
| Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information. In: Proc. of the 5th Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL 2000) Pag.1-10 | |
| 5th Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL 2000) Ischia, Italy 18-20 Settembre, 2000 | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2000 | |
| Contributo in Atti di convegno | |
| A Decidable Dense Branching-time Temporal Logic. In: Proc. of the 20th Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2000). Lecture Notes in Computer Science Berlin Springer Vol.1974, Pag.139-150 ISBN:3540414134 | |
| 20th Conf.on theFoundations of SoftwareTechnology andTheoreticalComputer Science New Delhi (India) December 13-15, 2000 | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Codice identificativo ISI: WOS:000170924100011 Codice identificativo SCOPUS: 2-s2.0-84908371689 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1999 | |
| Contributo in Atti di convegno | |
| Parametric Temporal Logic for Model Measuring. In: Proc. of the 26th International Colloquium on Automata, Languages andProgramming, (ICALP 1999). Lecture Notes in Computer Science BERLIN Springer Vol.1644, Pag.159-168 ISBN:3540662243 | |
| 26th International Colloquium on Automata, Languages and Programming, ICALP 1999 Prague (Czech Republic) July 11-15, 1999 | |
| Alur, R; Etessami, K; LA TORRE, Salvatore; Peled, D. | |
| Digital Object Identifier (DOI): 10.1007/3-540-48523-6_13 Codice identificativo SCOPUS: 2-s2.0-84887437507 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1999 | |
| Contributo in Atti di convegno | |
| Polyhedral Flows in Hybrid Automata. In: Proc. of the 2th International Workshop on Hybrid Systems: Computation and Control (HSCC 1999). Lecture Notes in Computer Science BERLIN Springer Vol.1569, Pag.5-18 | |
| Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99 Berg en Dal (The Netherlands) March 29-31, 1999 | |
| Alur, R; Kannan, S; LA TORRE, Salvatore | |
| Digital Object Identifier (DOI): 10.1007/3-540-48983-5_5 Codice identificativo ISI: WOS:000083613200005 Codice identificativo SCOPUS: 2-s2.0-84949430415 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1998 | |
| Articolo in rivista | |
| Synchronization of a Line of Identical Processors at a Given Time FUNDAMENTA INFORMATICAE. Vol. 34. Pag.103-128 ISSN:0169-2968. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.3233/FI-1998-341204 Codice identificativo SCOPUS: 2-s2.0-0000478750 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1998 | |
| Contributo in Atti di convegno | |
| Representing Infinite hyper-graphs by regular languages. In: Proc. of the 23th International Symposium on Mathematical Foundations of Computer Science (MFCS’98). Lecture Notes in Computer Science Berlin Springer Vol.1450, Pag.571-579 ISBN:3540648275 | |
| 23rd International Symposium on Mathematical Foundations of Computer Science, Brno (Czech Republic) August 24-28, 1998 | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Codice identificativo SCOPUS: 2-s2.0-84896750719 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1998 | |
| Contributo in Atti di convegno | |
| Representing hyper-graphs by regular languages. In: Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1998 Springer Vol.1450, Pag.571-579 ISBN:3540648275 | |
| 23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS 1998 Brno (Czech Republic) August 24-28,1998 | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1007/BFb0055807 Codice identificativo ISI: WOS:000083173400054 Codice identificativo SCOPUS: 2-s2.0-84896750719 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1997 | |
| Articolo in rivista | |
| Modelling the Effects of Input Correlation in Iterative Software RELIABILITY ENGINEERING & SYSTEM SAFETY. Vol. 57 (3). Pag.189-202 ISSN:0951-8320. | |
| A., Bondavalli; S., Chiaradonna; F., Di Giandomenico; LA TORRE, Salvatore | |
| Digital Object Identifier (DOI): 10.1016/S0951-8320(97)00040-9 Codice identificativo ISI: WOS:A1997YH06700001 Codice identificativo SCOPUS: 2-s2.0-0031223902 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1996 | |
| Articolo in rivista | |
| Synchronization of 1-way connected processors COMPLEX SYSTEMS. Vol. 10 (4). Pag.239-255 ISSN:0891-2513. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Codice identificativo ISI: WOS:000170638000025 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1996 | |
| Articolo in rivista | |
| Parallel Word Substitution FUNDAMENTA INFORMATICAE. Vol. 27(1). Pag.27-36 ISSN:0169-2968. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.3233/fi-1996-27102 Codice identificativo SCOPUS: 2-s2.0-0030195787 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1995 | |
| Contributo in Atti di convegno | |
| Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation. In: Proc. of the 14th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1995) Springer Pag.489-503 ISBN:3540199624 | |
| 14th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1995) Belgirate, Italy October 11-13, 1995 | |
| Bondavalli, A; Chiaradonna, S; DI GIANDOMENICO, F; LA TORRE, Salvatore | |
| Visualizza sul Database dei Prodotti (IRIS) |
