LA TORRE, Salvatore
LA TORRE, Salvatore
Dipartimento di Informatica/DI
A Compositional Approach to Synchronize Two Dimensional Networks of Processors
2000 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
A Decidable Dense Branching-time Temporal Logic
2000 LA TORRE, Salvatore; Napoli, Margherita
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds
2020 LA TORRE, Salvatore; Parlato, Gennaro
A general modular synthesis problem for pushdown systems
2016 DE CRESCENZO, Ilaria; LA TORRE, Salvatore
A Model of Finite Automata on Timed omega-Trees
2001 LA TORRE, Salvatore; Napoli, Margherita
A Robust Class of Context-Sensitive Languages
2007 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
A Temporal Logic for Multi-threaded Programs
2012 LA TORRE, Salvatore; Napoli, Margherita
A Unifying Approach for Multistack Pushdown Automata
2014 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
An Infinite Automaton Characterization of Double Exponential Time
2008 LA TORRE, Salvatore; P., Madhusudan; G., Parlato
Analyzing Recursive Programs using a Fixed-point Calculus
2009 LA TORRE, Salvatore; Madhusudan, P; Parlato, G.
Automata-based Representations for Infinite Graphs
2001 LA TORRE, Salvatore; Napoli, Margherita
Automata-theoretic decision of timed games
2014 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Automata-Theoretic Decision of Timed Games
2002 Faella, M; LA TORRE, Salvatore; Murano, A.
Automated Planning Through Program Verification
2021 LA TORRE, Salvatore; Parlato, Gennaro
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
2014 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; LA TORRE, Salvatore; Gennaro, Parlato
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization
2022 Inverso, O.; Tomasco, E.; Fischer, B.; La Torre, S.; Parlato, G.
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
2022 Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P.
CHC-Based Verification of Programs Through Graph Decompositions
2024 Faella, Marco; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro
Complexity of qualitative timeline-based planning
2020 Della, Monica. D.; Gigante, N.; la Torre, S.; Montanari, A.
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information
2000 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Compositional Approach to Synchronize Two Dimensional Networks of Processors | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| A Decidable Dense Branching-time Temporal Logic | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita | |
| A Fixed-point Model-checker for BDI Logics over Finite-state Worlds | 1-gen-2020 | LA TORRE, Salvatore; Parlato, Gennaro | |
| A general modular synthesis problem for pushdown systems | 1-gen-2016 | DE CRESCENZO, Ilaria; LA TORRE, Salvatore | |
| A Model of Finite Automata on Timed omega-Trees | 1-gen-2001 | LA TORRE, Salvatore; Napoli, Margherita | |
| A Robust Class of Context-Sensitive Languages | 1-gen-2007 | LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
| A Temporal Logic for Multi-threaded Programs | 1-gen-2012 | LA TORRE, Salvatore; Napoli, Margherita | |
| A Unifying Approach for Multistack Pushdown Automata | 1-gen-2014 | LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
| An Infinite Automaton Characterization of Double Exponential Time | 1-gen-2008 | LA TORRE, Salvatore; P., Madhusudan; G., Parlato | |
| Analyzing Recursive Programs using a Fixed-point Calculus | 1-gen-2009 | LA TORRE, Salvatore; Madhusudan, P; Parlato, G. | |
| Automata-based Representations for Infinite Graphs | 1-gen-2001 | LA TORRE, Salvatore; Napoli, Margherita | |
| Automata-theoretic decision of timed games | 1-gen-2014 | Faella, Marco; LA TORRE, Salvatore; Murano, Aniello | |
| Automata-Theoretic Decision of Timed Games | 1-gen-2002 | Faella, M; LA TORRE, Salvatore; Murano, A. | |
| Automated Planning Through Program Verification | 1-gen-2021 | LA TORRE, Salvatore; Parlato, Gennaro | |
| Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization | 1-gen-2014 | Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; LA TORRE, Salvatore; Gennaro, Parlato | |
| Bounded Verification of Multi-threaded Programs via Lazy Sequentialization | 1-gen-2022 | Inverso, O.; Tomasco, E.; Fischer, B.; La Torre, S.; Parlato, G. | |
| CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory | 1-gen-2022 | Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P. | |
| CHC-Based Verification of Programs Through Graph Decompositions | 1-gen-2024 | Faella, Marco; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro | |
| Complexity of qualitative timeline-based planning | 1-gen-2020 | Della, Monica. D.; Gigante, N.; la Torre, S.; Montanari, A. | |
| Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico |