Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2009 | |
| Articolo in rivista | |
| Decision Problems for lower/upper bound Parametric Timed Automata FORMAL METHODS IN SYSTEM DESIGN. Vol. 35 (2). Pag.121-151 ISSN:0925-9856. | |
| LA TORRE, Salvatore; L., Bozzelli | |
| Codice identificativo ISI: WOS:000271199900001 Codice identificativo SCOPUS: 2-s2.0-72249090386 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Analyzing Recursive Programs using a Fixed-point Calculus. In: Proc. of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation, (PLDI'09) ACM press Pag.211-222 ISBN:978-160558392-1 | |
| ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI'09) Dublin (Ireland) June 15-20, 2009 | |
| LA TORRE, Salvatore; Madhusudan, P; Parlato, G. | |
| Codice identificativo SCOPUS: 2-s2.0-70450260585 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Reducing context-bounded concurrent reachability to sequentialreachability. In: Proc. of 21st International Conference on Computer-Aided Verification, (CAV'09). Lecture Notes in Computer Science BERLIN Springer Vol.5643, Pag.477-492 ISBN:9783642026577 | |
| International Conference on Computer-Aided Verification (CAV'09) Grenoble (France) June 26 - July 2, 2009 | |
| LA TORRE, Salvatore; Madhusudan, P; Parlato, G. | |
| Codice identificativo SCOPUS: 2-s2.0-70350241658 | |
| Visualizza sul Database dei Prodotti (IRIS) |
