LA TORRE, Salvatore

LA TORRE, Salvatore  

Dipartimento di Informatica/DI  

Mostra records
Risultati 1 - 20 di 102 (tempo di esecuzione: 0.025 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
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