| |
Author  |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Bobbio, Andrea; Bologna, Sandro; Minichino, Michele; Ciancamerla, Ester; Incalcaterra, Piero; Kropp, Corrado; Tronci, Enrico |
Advanced techniques for safety analysis applied to the gas turbine control system of Icaro co generative plant |
2001 |
X Convegno Tecnologie e Sistemi Energetici Complessi |
|
|
|
|
|
339-350 |
|
|
|
Bobbio, Andrea; Ciancamerla, Ester; Di Blasi, Saverio; Iacomini, Alessandro; Mari, Federico; Melatti, Igor; Minichino, Michele; Scarlatti, Alessandro; Tronci, Enrico; Terruggia, Roberta; Zendri, Emilio |
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks |
2009 |
Proceedings of Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS) |
|
|
|
10.1109/CRISIS.2009.5411974 |
|
90-97 |
|
|
|
Bobbio, Andrea; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico |
Functional analysis of a telecontrol system and stochastic measures of its GSM/GPRS connections |
2005 |
Archives of Transport – International Journal of Transport Problems |
|
|
|
|
17 |
|
|
|
|
Böhm, Corrado; Piperno, Adolfo; Tronci, Enrico |
Solving Equations in λ-calculus |
1989 |
Proc. of: Logic Colloquium 88 |
|
|
|
|
|
|
|
|
|
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 |
|
|
|
Böhm, Corrado; Tronci, Enrico |
X-separability and left-invertibility in the λ-calculus (extended abstract, invited paper) |
1987 |
Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea |
|
|
|
|
|
|
|
|
|
Böhm, Corrado; Tronci, Enrico |
X-Separability and Left-Invertibility in lambda-calculus |
1987 |
Symposium on Logic in Computer Science (LICS) |
IEEE Computer Society |
|
|
|
|
320-328 |
|
|
|
Brizzolari, Francesco; Melatti, Igor; Tronci, Enrico; Della Penna, Giuseppe |
Disk Based Software Verification via Bounded Model Checking |
2007 |
APSEC '07: Proceedings of the 14th Asia-Pacific Software Engineering Conference |
IEEE Computer Society |
0-7695-3057-5 |
|
10.1109/APSEC.2007.43 |
|
358-365 |
|
|
|
Campagnano, Edoardo; Ciancamerla, Ester; Minichino, Michele; Tronci, Enrico |
Automatic Analysis of a Safety Critical Tele Control System |
2005 |
24th International Conference on: Computer Safety, Reliability, and Security (SAFECOMP) |
Springer |
3-540-29200-4 |
|
10.1007/11563228_8 |
|
94-107 |
|
|
|
Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Tronci, Enrico; Verzino, Giovanni; Yushtein, Yuri |
Model Checking Satellite Operational Procedures |
2011 |
DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. San Anton, Malta, EuroSpace. |
|
|
|
|
|
|
|
