LA TORRE, Salvatore

LA TORRE, Salvatore  

Dipartimento di Informatica/DI  

Mostra records
Risultati 1 - 20 di 102 (tempo di esecuzione: 0.04 secondi).
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