| |
Author |
Title |
Year |
Publication  |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems |
2012 |
Theoretical Aspects of Computing – ICTAC 2012 |
Springer Berlin Heidelberg |
|
978-3-642-32942-5 |
10.1007/978-3-642-32943-2_19 |
|
243-258 |
|
|
|
Tronci, Enrico |
Equational Programming in Lambda-Calculus via SL-Systems. Part 1 |
1996 |
Theoretical Computer Science |
|
|
|
10.1016/0304-3975(95)00105-0 |
160 |
145-184 |
|
|
|
Tronci, Enrico |
Equational Programming in Lambda-Calculus via SL-Systems. Part 2 |
1996 |
Theoretical Computer Science |
|
|
|
10.1016/0304-3975(95)00106-9 |
160 |
185-216 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa |
Finite Horizon Analysis of Stochastic Systems with the Mur$\varphi$ Verifier |
2003 |
Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings |
Springer |
3-540-20216-1 |
|
10.1007/978-3-540-45208-9_6 |
|
58-71 |
|
|
|
Pugliese, Rosario; Tronci, Enrico |
Automatic Verification of a Hydroelectric Power Plant |
1996 |
Third International Symposium of Formal Methods Europe (FME), Co-Sponsored by IFIP WG 14.3 |
Springer |
3-540-60973-3 |
|
10.1007/3-540-60973-3_100 |
|
425-444 |
|
|
|
Bobbio, Andrea; Bologna, Sandro; Minichino, Michele; Ciancamerla, Ester; Incalcaterra, Piero; Kropp, Corrado; Tronci, Enrico |
Advanced techniques for safety analysis applied to the gas turbine control system of Icaro co generative plant |
2001 |
X Convegno Tecnologie e Sistemi Energetici Complessi |
|
|
|
|
|
339-350 |
|
