| Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
| Driouich, Y.; Parente, M.; Tronci, E. |
Modeling cyber-physical systems for automatic verification |
2017 |
14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017) |
|
|
|
10.1109/SMACD.2017.7981621 |
|
1-4 |
| Driouich, Y.; Parente, M.; Tronci, E. |
A methodology for a complete simulation of Cyber-Physical Energy Systems |
2018 |
EESMS 2018 – Environmental, Energy, and Structural Monitoring Systems, Proceedings |
|
|
|
10.1109/EESMS.2018.8405826 |
|
1-5 |
| Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.; Hayes, B.; Prodanovic, M.; Elmegaard, L. |
Parallel Statistical Model Checking for Safety Verification in Smart Grids |
2018 |
2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) |
|
|
|
10.1109/SmartGridComm.2018.8587416 |
|
1-6 |
| 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 |
|
|
| Mancini, T.; Tronci, E.; Scialanca, A.; Lanciotti, F.; Finzi, A.; Guarneri, R.; Di Pompeo, S. |
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network |
2018 |
25th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” (RCRA 2018) |
|
|
|
10.29007/grw9 |
|
|
| Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, S.; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, B. |
Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction |
2018 |
25th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” (RCRA 2018) |
|
|
|
10.29007/g864 |
|
|
| Pappagallo, A.; Massini, A.; Tronci, E. |
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review |
2020 |
Information |
|
|
|
10.3390/info11120588 |
11 |
|
| Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E. |
Reconciling interoperability with efficient Verification and Validation within open source simulation environments |
2021 |
Simulation Modelling Practice and Theory |
|
1569-190x |
|
10.1016/j.simpat.2021.102277 |
|
102277 |
| Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico |
Automatic Synthesis of Robust Numerical Controllers |
2007 |
Icas '07 |
IEEE Computer Society |
0-7695-2859-5 |
|
10.1109/CONIELECOMP.2007.59 |
|
4 |
| 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 |
