| |
Author |
Title  |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Tronci, Enrico |
Automatic Synthesis of Controllers from Formal Specifications |
1998 |
Proc of 2nd IEEE International Conference on Formal Engineering Methods (ICFEM) |
|
|
|
10.1109/ICFEM.1998.730577 |
|
134-143 |
|
|
|
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 |
|
|
|
Ciancamerla, Ester; Minichino, Michele; Serro, Stefano; Tronci, Enrico |
Automatic Timeliness Verification of a Public Mobile Network |
2003 |
22nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) |
Springer |
978-3-540-20126-7 |
|
10.1007/978-3-540-39878-3_4 |
|
35-48 |
|
|
|
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 |
|
|
|
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 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa |
Bounded Probabilistic Model Checking with the Mur$\varphi$ Verifier |
2004 |
Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings |
Springer |
3-540-23738-0 |
|
10.1007/978-3-540-30494-4_16 |
|
214-229 |
|
|
|
Mari, Federico; Tronci, Enrico |
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems |
2007 |
Hybrid Systems: Computation and Control (HSCC 2007) |
Springer |
|
|
10.1007/978-3-540-71493-4_32 |
|
399-412 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico |
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems |
2013 |
European Journal of Control |
Elsevier North-Holland, Inc. |
0947-3580 |
|
10.1016/j.ejcon.2013.02.001 |
19 |
14-36 |
|
|
|
|
Charme |
2003 |
Lecture Notes in Computer Science |
Springer |
3-540-20363-X |
|
10.1007/b93958 |
2860 |
|
|
|
|
Leeners, B.; Krueger, T.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Roeblitz, S.; Wunder, D.; Saleh, L.; Schippert, C.; Hengartner, M.P. |
Cognitive function in association with high estradiol levels resulting from fertility treatment |
2021 |
Hormones and Behavior |
|
0018-506x |
|
10.1016/j.yhbeh.2021.104951 |
130 |
104951 |
|
