| Optimal paths in weighted timed automata R Alur, S La Torre, GJ Pappas Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001 | 326 | 2001 |
| Deterministic Generators and Games for LTL Fragments R Alur, S La Torre 16th Annual IEEE Symposium on Logic in Computer Science, 291-300, 2001 | 186 | 2001 |
| 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 | 172 | 2007 |
| Reducing context-bounded concurrent reachability to sequential reachability S La Torre, P Madhusudan, G Parlato International Conference on Computer Aided Verification, 477-492, 2009 | 138 | 2009 |
| 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 | 133 | 2008 |
| Bounded model checking of multi-threaded C programs via lazy sequentialization O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 121 | 2014 |
| Optimal paths in weighted timed automata R Alur, S La Torre, GJ Pappas Theoretical Computer Science 318 (3), 297-322, 2004 | 110 | 2004 |
| 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 | 107 | 2001 |
| Model-checking parameterized concurrent programs using linear interfaces S La Torre, P Madhusudan, G Parlato International Conference on Computer Aided Verification, 629-644, 2010 | 98 | 2010 |
| Decision problems for lower/upper bound parametric timed automata L Bozzelli, S La Torre Formal Methods in System Design 35 (2), 121-151, 2009 | 93 | 2009 |
| Perturbed timed automata R Alur, S La Torre, P Madhusudan International Workshop on Hybrid Systems: Computation and Control, 70-85, 2005 | 72 | 2005 |
| Analyzing recursive programs using a fixed-point calculus S La Torre, M Parthasarathy, G Parlato ACM Sigplan Notices PLDI 44 (6), 211-222, 2009 | 70 | 2009 |
| Reachability of multistack pushdown systems with scope-bounded matching relations S La Torre, M Napoli International Conference on Concurrency Theory, 203-218, 2011 | 69 | 2011 |
| 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 | 65 | 2002 |
| 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 | 60 | 2015 |
| Dense real-time games M Faella, S La Torre, A Murano Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 167-176, 2002 | 58 | 2002 |
| 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 | 50 | 2015 |
| Lazy-CSeq: A Lazy Sequentialization Tool for C: (Competition Contribution) O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 49 | 2014 |
| Playing games with boxes and diamonds R Alur, S La Torre, P Madhusudan International Conference on Concurrency Theory, 128-143, 2003 | 38 | 2003 |
| Lazy sequentialization for TSO and PSO via shared memory abstractions E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato 2016 Formal Methods in Computer-Aided Design (FMCAD), 193-200, 2016 | 36 | 2016 |
Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyVerified email at unimol.it
