| |
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI  |
Volume |
Pages |
Links |
|
|
Mancini, Toni ; Mari, Federico ; Massini, Annalisa; Melatti, Igor; Tronci, Enrico |
System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation |
2014 |
Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing |
IEEE Computer Society |
|
|
10.1109/PDP.2014.32 |
|
|
|
|
|
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 |
|
|
|
Tronci, Enrico |
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming |
1995 |
Tenth Annual IEEE Symposium on Logic in Computer Science (LICS) |
IEEE Computer Society |
|
|
10.1109/LICS.1995.523275 |
|
408-418 |
|
|
|
Tronci, Enrico |
Equational Programming in lambda-calculus |
1991 |
Sixth Annual IEEE Symposium on Logic in Computer Science (LICS) |
IEEE Computer Society |
|
|
10.1109/LICS.1991.151644 |
|
191-202 |
|
|
|
Driouich, Y.; Parente, M.; Tronci, E. |
Model Checking Cyber-Physical Energy Systems |
2018 |
Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017 |
Institute of Electrical and Electronics Engineers Inc. |
|
|
10.1109/IRSEC.2017.8477334 |
|
|
|
|
|
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 |
|
|
|
Dipoppa, G.; D'Alessandro, G.; Semprini, R.; Tronci, E. |
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design |
2001 |
High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on |
IEEE Computer Society |
0-7695-1275-5 |
|
10.1109/HASE.2001.966821 |
|
209-219 |
|
|
|
Cecconi, Michele; Tronci, Enrico |
Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher |
2000 |
Hase |
IEEE Computer Society |
0-7695-0927-4 |
|
10.1109/HASE.2000.895456 |
|
|
|
|
|
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, E.; Mancini, T.; Salvo, I.; Mari, F.; Melatti, I.; Massini, A.; Sinisi, S.; Davì, F.; Dierkes, T.; Ehrig, R.; Röblitz, S.; Leeners, B.; Krüger, T.; Egli, M.; Ille, F. |
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records |
2014 |
Formal Methods in Computer-Aided Design (FMCAD) |
|
|
|
10.1109/FMCAD.2014.6987615 |
|
|
|
