Author  |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
| Tronci, Enrico |
Equational Programming in lambda-calculus |
1991 |
Sixth Annual IEEE Symposium on Logic in Computer Science (LICS) |
IEEE Computer Society |
|
|
10.1109/LICS.1991.151644 |
|
191-202 |
| Tronci, Enrico |
On Computing Optimal Controllers for Finite State Systems |
1997 |
CDC '97: Proceedings of the 36th IEEE International Conference on Decision and Control |
IEEE Computer Society |
|
|
|
|
|
| Tronci, Enrico |
Optimal Finite State Supervisory Control |
1996 |
CDC '96: Proceedings of the 35th IEEE International Conference on Decision and Control |
IEEE Computer Society |
|
|
10.1109/CDC.1996.572981 |
|
|
| Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa |
A Probabilistic Approach to Automatic Verification of Concurrent Systems |
2001 |
8th Asia-Pacific Software Engineering Conference (APSEC) |
IEEE Computer Society |
0-7695-1408-1 |
|
10.1109/APSEC.2001.991495 |
|
317-324 |
| Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa |
Exploiting Transition Locality in Automatic Verification |
2001 |
11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) |
Springer |
3-540-42541-1 |
|
10.1007/3-540-44798-9_22 |
|
259-274 |
| Verzino Giovanni ; Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Yushtein, Yuri; Tronci, Enrico |
Model checking driven simulation of sat procedures |
2012 |
Proceedings of 12th International Conference on Space Operations (SpaceOps 2012) |
|
|
|
10.2514/6.2012-1275611 |
|
|
