| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Bobbio, Andrea; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico |
Functional analysis of a telecontrol system and stochastic measures of its GSM/GPRS connections |
2005 |
Archives of Transport – International Journal of Transport Problems |
|
|
|
|
17 |
|
|
|
|
Campagnano, Edoardo; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico |
Automatic Analysis of a Safety Critical Tele Control System |
2005 |
24th International Conference on: Computer Safety, Reliability, and Security (SAFECOMP) |
Springer |
3-540-29200-4 |
|
10.1007/11563228_8 |
|
94-107 |
|
|
|
Martinelli, Marco; Tronci, Enrico; Dipoppa, Giovanni; Balducelli, Claudio |
Electric Power System Anomaly Detection Using Neural Networks |
2004 |
8th International Conference on: Knowledge-Based Intelligent Information and Engineering Systems (KES) |
Springer |
3-540-23318-0 |
|
10.1007/978-3-540-30132-5_168 |
|
1242-1248 |
|
|
|
|
Charme |
2003 |
Lecture Notes in Computer Science |
Springer |
3-540-20363-X |
|
10.1007/b93958 |
2860 |
|
|
|
|
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele |
Fluid Petri Nets and hybrid model checking: a comparative case study |
2003 |
Int. Journal on: Reliability Engineering & System Safety |
Elsevier |
|
|
10.1016/S0951-8320(03)00089-9 |
81 |
239-257 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Exploiting Transition Locality in the Disk Based Mur$\varphi$ Verifier |
2002 |
4th International Conference on Formal Methods in Computer-Aided Design (FMCAD) |
Springer |
3-540-00116-6 |
|
10.1007/3-540-36126-X_13 |
|
202-219 |
|
|
|
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele |
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant |
2002 |
21st International Conference on Computer Safety, Reliability and Security (SAFECOMP) |
Springer |
3-540-44157-3 |
|
10.1007/3-540-45732-1_27 |
|
273-283 |
|
|
|
Dipoppa, G.; D'Alessandro, G.; Semprini, R.; Tronci, E. |
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design |
2001 |
High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on |
IEEE Computer Society |
0-7695-1275-5 |
|
10.1109/HASE.2001.966821 |
|
209-219 |
|
|
|
Alimguzhin, V.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
Linearising Discrete Time Hybrid Systems |
2017 |
IEEE Transactions on Automatic Control |
|
0018-9286 |
|
10.1109/TAC.2017.2694559 |
62 |
5357-5364 |
|
|
|
Tronci, Enrico |
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming |
1995 |
Tenth Annual IEEE Symposium on Logic in Computer Science (LICS) |
IEEE Computer Society |
|
|
10.1109/LICS.1995.523275 |
|
408-418 |
|
