|
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
SyLVaaS: System Level Formal Verification as a Service |
2016 |
Fundamenta Informaticae |
|
|
|
10.3233/FI-2016-1444 |
149 |
101-132 |
|
|
Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
Automated Generation Of Optimal Controllers Through Model Checking Techniques |
2008 |
Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006 |
Springer |
|
|
10.1007/978-3-540-79142-3_10 |
|
107-119 |
|
|
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 |
|
|
Fischer, S.; Ehrig, R.; Schaefer, S.; Tronci, E.; Mancini, T.; Egli, M.; Ille, F.; Krueger, T.H.C.; Leeners, B.; Roeblitz, S. |
Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation |
2021 |
Frontiers in Endocrinology |
|
1664-2392 |
|
10.3389/fendo.2021.613048 |
12 |
117 |
|
|
Leeners, B.; Kruger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Hengartner, M.P. |
Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles |
2017 |
Frontiers in Behavioral Neuroscience |
|
1662-5153 |
|
10.3389/fnbeh.2017.00120 |
11 |
120 |
|
|
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; 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 |
|
|
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 |
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications |
1999 |
4th IEEE International Symposium on High-Assurance Systems Engineering (HASE) |
IEEE Computer Society |
0-7695-0418-3 |
|
10.1109/HASE.1999.809490 |
|
151 |
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems |
2013 |
International Journal on Advances in Software |
IARIA |
1942-2628 |
|
|
vol. 6, nr 1&2 |
155-169 |
|