Domenico PARENTE | Pubblicazioni
Domenico PARENTE Pubblicazioni
| 2017 | |
| Contributo in Atti di convegno | |
| Model Checking Cyber-Physical Energy Systems. In: 2017 International Renewable and Sustainable Energy Conference (IRSEC) IEEE Pag.1-6 ISBN:978-1-5386-2847-8 | |
| 2017 International Renewable and Sustainable Energy Conference (IRSEC) Tangier, Morocco 4-7 December 2017 | |
| Driouich, Youssef; Parente, Domenico; Tronci, Enrico | |
| Digital Object Identifier (DOI): 10.1109/IRSEC.2017.8477334 Codice identificativo ISI: WOS:000464725700117 Codice identificativo SCOPUS: 2-s2.0-85055894604 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| Modeling cyber-physical systems for automatic verification. In: 2017 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) IEEE Pag.1-4 ISBN:978-1-5090-5052-9 | |
| International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) Giardini Naxos (Italy) 12-15 June 2017 | |
| Driouich, Youssef; Parente, Domenico; Tronci, Enrico | |
| Digital Object Identifier (DOI): 10.1109/SMACD.2017.7981621 Codice identificativo ISI: WOS:000463391700066 Codice identificativo SCOPUS: 2-s2.0-85027510649 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Contributo in Atti di convegno | |
| A private Intelligent Shopping Mall. In: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016 Institute of Electrical and Electronics Engineers Inc. Pag.1-7 ISBN:9781509042401 | |
| 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016 grc 2016 | |
| Blundo, Carlo; Orciuoli, Francesco; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1109/SSCI.2016.7850186 Codice identificativo ISI: WOS:000400488302092 Codice identificativo SCOPUS: 2-s2.0-85016020200 | |
| Visualizza sul Database dei Prodotti (IRIS) |
