| Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
| Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Minichino, Michele; Ciancamerla, Ester; Parisse, Andrea; Tronci, Enrico; Venturini Zilli, Marisa |
Automatic Verification of a Turbogas Control System with the Mur$\varphi$ Verifier |
2003 |
Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings |
Springer |
3-540-00913-2 |
|
10.1007/3-540-36580-X |
|
141-155 |
| Tortora, L.; Meynen, G.; Bijlsma, J.; Tronci, E.; Ferracuti, S. |
Neuroprediction and A.I. in Forensic Psychiatry and Criminal Justice: A Neurolaw Perspective |
2020 |
Frontiers in Psychology |
|
1664-1078 |
|
10.3389/fpsyg.2020.00220 |
11 |
220 |
| Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
Anytime system level verification via parallel random exhaustive hardware in the loop simulation |
2016 |
Microprocessors and Microsystems |
|
0141-9331 |
|
10.1016/j.micpro.2015.10.010 |
41 |
12-28 |
| 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 |
| Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
Automatic Synthesis of Robust Numerical Controllers |
2007 |
Icas '07 |
IEEE Computer Society |
0-7695-2859-5 |
|
10.1109/CONIELECOMP.2007.59 |
|
4 |
| Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E. |
Reconciling interoperability with efficient Verification and Validation within open source simulation environments |
2021 |
Simulation Modelling Practice and Theory |
|
1569-190x |
|
10.1016/j.simpat.2021.102277 |
|
102277 |
| Della Penna, Giuseppe; Tofani, Alberto; Pecorari, Marcello; Raparelli, Orazio; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
A Case Study on Automated Generation of Integration Tests |
2006 |
Fdl |
Ecsi |
978-3-00-019710-9 |
|
|
|
278-284 |
| Cesta, Amedeo; Fratini, Simone; Orlandini, Andrea; Finzi, Alberto; Tronci, Enrico |
Flexible Plan Verification: Feasibility Results |
2011 |
Fundamenta Informaticae |
|
|
|
10.3233/FI-2011-397 |
107 |
111-137 |
| Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Flexible Timeline-Based Plan Verification |
2009 |
KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings |
Springer |
978-3-642-04616-2 |
|
10.1007/978-3-642-04617-9_7 |
|
49-56 |
| Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Flexible Plan Verification: Feasibility Results |
2009 |
16th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” (RCRA). Proceedings |
|
|
|
|
|
|
