| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
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 |
|
|
|
Bucciarelli, Antonio; de Lorenzis, Silvia; Piperno, Adolfo; Salvo, Ivano |
Some Computational Properties of Intersection Types (Extended Abstract) |
1999 |
|
IEEE Computer Society |
|
|
10.1109/LICS.1999.782598 |
|
109-118 |
|
|
|
Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano |
Intersection types and λ-definability |
2003 |
Mathematical Structures in Computer Science |
Cambridge University Press |
0960-1295 |
|
10.1017/S0960129502003833 |
13 |
15-53 |
|
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
On Checking Equivalence of Simulation Scripts |
2021 |
Journal of Logical and Algebraic Methods in Programming |
|
2352-2208 |
|
10.1016/j.jlamp.2021.100640 |
|
100640 |
|
|
|
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 |
|
|
|
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro |
A Type Inference Algorithm for Secure Ambients |
2002 |
Electronic Notes in Theoretical Computer Science |
Elsevier |
|
|
10.1016/S1571-0661(04)00321-4 |
62 |
83-101 |
|
|
|
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico |
Automatic Analysis of the NRL Pump |
2004 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
10.1016/j.entcs.2004.02.011 |
99 |
245-266 |
|
|
|
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico |
Formal Models of Timing Attacks on Web Privacy |
2002 |
Electronic Notes in Theoretical Computer Science |
|
|
|
10.1016/S1571-0661(04)00329-9 |
62 |
229-243 |
|
|
|
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 |
|
|
|
Tronci, Enrico |
Automatic Synthesis of Control Software for an Industrial Automation Control System |
1999 |
Proc.of: 14th IEEE International Conference on: Automated Software Engineering (ASE) |
|
|
|
10.1109/ASE.1999.802292 |
|
247-250 |
|
