Salvatore La Torre
Salvatore La Torre
Vahvistettu sähköpostiosoite verkkotunnuksessa unisa.it - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Optimal paths in weighted timed automata
R Alur, S La Torre, GJ Pappas
International Workshop on Hybrid Systems: Computation and Control, 49-62, 2001
2982001
A robust class of context-sensitive languages
S La Torre, P Madhusudan, G Parlato
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 161-170, 2007
1542007
Deterministic Generators and Games for LTL Fragments
R Alur, S La Torre
16th Annual IEEE Symposium on Logic in Computer Science, 291-300, 2001
1522001
Reducing context-bounded concurrent reachability to sequential reachability
S La Torre, P Madhusudan, G Parlato
International Conference on Computer Aided Verification, 477-492, 2009
1122009
Context-bounded analysis of concurrent queue systems
S La Torre, P Madhusudan, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2008
1072008
Parametric temporal logic for “model measuring”
R Alur, K Etessami, S La Torre, D Peled
ACM Transactions on Computational Logic (TOCL) 2 (3), 388-407, 2001
992001
Optimal paths in weighted timed automata
R Alur, S La Torre, GJ Pappas
Theoretical Computer Science 318 (3), 297-322, 2004
922004
Model-checking parameterized concurrent programs using linear interfaces
S La Torre, P Madhusudan, G Parlato
International Conference on Computer Aided Verification, 629-644, 2010
792010
Perturbed timed automata
R Alur, S La Torre, P Madhusudan
International Workshop on Hybrid Systems: Computation and Control, 70-85, 2005
722005
Bounded model checking of multi-threaded C programs via lazy sequentialization
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
International Conference on Computer Aided Verification, 585-602, 2014
712014
Decision problems for lower/upper bound parametric timed automata
L Bozzelli, S La Torre
Formal Methods in System Design 35 (2), 121, 2009
712009
Optimal-reachability and control for acyclic weighted timed automata
S La Torre, S Mukhopadhyay, A Murano
Foundations of Information Technology in the Era of Network and Mobile …, 2002
642002
Reachability of multistack pushdown systems with scope-bounded matching relations
S La Torre, M Napoli
International Conference on Concurrency Theory, 203-218, 2011
602011
Analyzing recursive programs using a fixed-point calculus
S La Torre, M Parthasarathy, G Parlato
ACM Sigplan Notices PLDI 44 (6), 211-222, 2009
562009
Dense real-time games
M Faella, S La Torre, A Murano
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 167-176, 2002
552002
Lazy-cseq: A context-bounded model checking tool for multi-threaded c-programs
O Inverso, TL Nguyen, B Fischer, S La Torre, G Parlato
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
452015
Verifying Concurrent Programs by Memory Unwinding
E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems, TACAS …, 2015
422015
Parametric temporal logic for “model measuring”
R Alur, K Etessami, S La Torre, D Peled
International Colloquium on Automata, Languages, and Programming, 159-168, 1999
351999
Lazy-CSeq: a lazy sequentialization tool for C
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2014
342014
Playing games with boxes and diamonds
R Alur, S La Torre, P Madhusudan
International Conference on Concurrency Theory, 128-143, 2003
342003
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20