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
A Decidable Dense Branching-time Temporal Logic
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds
2020-01-01 LA TORRE, Salvatore; Parlato, Gennaro
A general modular synthesis problem for pushdown systems
2016-01-01 DE CRESCENZO, Ilaria; LA TORRE, Salvatore
A Model of Finite Automata on Timed omega-Trees
2001-01-01 LA TORRE, Salvatore; Napoli, Margherita
A Robust Class of Context-Sensitive Languages
2007-01-01 LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
A Temporal Logic for Multi-threaded Programs
2012-01-01 LA TORRE, Salvatore; Napoli, Margherita
A Unifying Approach for Multistack Pushdown Automata
2014-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
An Infinite Automaton Characterization of Double Exponential Time
2008-01-01 LA TORRE, Salvatore; P., Madhusudan; G., Parlato
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.
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
2022-01-01 Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P.
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
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-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. | |
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory | 1-gen-2022 | Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P. | |
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 |