LA TORRE, Salvatore
LA TORRE, Salvatore
Dipartimento di Informatica/DI
A Compositional Approach to Synchronize Two Dimensional Networks of Processors
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Analyzing Recursive Programs using a Fixed-point Calculus
2009-01-01 LA TORRE, Salvatore; Madhusudan, P; Parlato, G.
Automata-based Representations for Infinite Graphs
2001-01-01 LA TORRE, Salvatore; Napoli, Margherita
Automata-Theoretic Decision of Timed Games
2002-01-01 Faella, M; LA TORRE, Salvatore; Murano, A.
Automata-theoretic decision of timed games
2014-01-01 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Automated Planning Through Program Verification
2021-01-01 LA TORRE, Salvatore; Parlato, Gennaro
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
2014-01-01 Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; LA TORRE, Salvatore; Gennaro, Parlato
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization
2022-01-01 Inverso, O.; Tomasco, E.; Fischer, B.; La Torre, S.; Parlato, G.
Complexity of qualitative timeline-based planning
2020-01-01 Della, Monica. D.; Gigante, N.; la Torre, S.; Montanari, A.
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis
2017-01-01 Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro
Context-Bounded Analysis of Concurrent Queue Systems
2008-01-01 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
Decidability and Infinite Precision in Timed Automata
2005-01-01 LA TORRE, Salvatore
A Decidable Dense Branching-time Temporal Logic
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita
Decision Problems for lower/upper bound Parametric Timed Automata
2007-01-01 Bozzelli, L; LA TORRE, Salvatore
Decision Problems for lower/upper bound Parametric Timed Automata
2009-01-01 LA TORRE, Salvatore; L., Bozzelli
Dense Real-Time Games
2002-01-01 Faella, M; LA TORRE, Salvatore; Murano, A.
Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation
1995-01-01 Bondavalli, A; Chiaradonna, S; DI GIANDOMENICO, F; LA TORRE, Salvatore
Deterministic finite automata with recursive calls and DPDAs
2003-01-01 Gallier, J; LA TORRE, Salvatore; Mukhopadhyay, S.
Deterministic Generators and Games for LTL Fragments
2001-01-01 Alur, R; LA TORRE, Salvatore
| 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 | |
| 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-2002 | Faella, M; LA TORRE, Salvatore; Murano, A. | |
| Automata-theoretic decision of timed games | 1-gen-2014 | Faella, Marco; LA TORRE, Salvatore; Murano, Aniello | |
| 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. | |
| 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 | |
| Concurrent Program Verification with Lazy Sequentialization and Interval Analysis | 1-gen-2017 | Nguyen, Truc L.; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro | |
| Context-Bounded Analysis of Concurrent Queue Systems | 1-gen-2008 | LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro | |
| Decidability and Infinite Precision in Timed Automata | 1-gen-2005 | LA TORRE, Salvatore | |
| A Decidable Dense Branching-time Temporal Logic | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita | |
| Decision Problems for lower/upper bound Parametric Timed Automata | 1-gen-2007 | Bozzelli, L; LA TORRE, Salvatore | |
| Decision Problems for lower/upper bound Parametric Timed Automata | 1-gen-2009 | LA TORRE, Salvatore; L., Bozzelli | |
| Dense Real-Time Games | 1-gen-2002 | Faella, M; LA TORRE, Salvatore; Murano, A. | |
| Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation | 1-gen-1995 | Bondavalli, A; Chiaradonna, S; DI GIANDOMENICO, F; LA TORRE, Salvatore | |
| Deterministic finite automata with recursive calls and DPDAs | 1-gen-2003 | Gallier, J; LA TORRE, Salvatore; Mukhopadhyay, S. | |
| Deterministic Generators and Games for LTL Fragments | 1-gen-2001 | Alur, R; LA TORRE, Salvatore |