| |
Author |
Title |
Year |
Publication  |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Mazzini, Silvia; Puri, Stefano; Mari, Federico; Melatti, Igor; Tronci, Enrico |
Formal Verification at System Level |
2009 |
In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace |
|
|
|
|
|
|
|
|
|
Böhm, Corrado; Tronci, Enrico |
About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus |
1991 |
Inf. Comput. |
|
|
|
10.1016/0890-5401(91)90057-9 |
90 |
1-32 |
|
|
|
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 |
|
|
|
Pappagallo, A.; Massini, A.; Tronci, E. |
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review |
2020 |
Information |
|
|
|
10.3390/info11120588 |
11 |
|
|
|
|
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico |
Automatic Covert Channel Analysis of a Multilevel Secure Component |
2004 |
Information and Communications Security, 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004, Proceedings |
Springer |
|
|
10.1007/b101042 |
|
249-261 |
|
|
|
Mancini, T. ; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Tronci, E. |
On minimising the maximum expected verification time |
2017 |
Information Processing Letters |
|
|
|
10.1016/j.ipl.2017.02.001 |
|
|
|
|
|
Piperno, Adolfo; Tronci, Enrico |
Regular Systems of Equations in λ-calculus |
1990 |
Int. J. Found. Comput. Sci. |
|
|
|
10.1142/S0129054190000230 |
1 |
325-340 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa |
Finite horizon analysis of Markov Chains with the Mur$\varphi$ verifier |
2006 |
Int. J. Softw. Tools Technol. Transf. |
Springer-Verlag |
1433-2779 |
|
10.1007/s10009-005-0216-7 |
8 |
397-409 |
|
|
|
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 |
|
|
|
Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico |
Automated analysis of timed security: a case study on web privacy |
2004 |
International Journal of Information Security |
|
|
|
10.1007/s10207-004-0037-9 |
2 |
168-186 |
|
