| |
Author  |
Title |
Year |
Publication |
Volume |
Pages |
Links |
|
|
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Prodanovic, M.; Gruber, J.K.; Hayes, B.; Elmegaard, L. |
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids |
2014 |
Proceedings of the 5th IEEE International Conference On Smart Grid Communications (SmartGridComm 2014) |
|
|
|
|
|
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Jacobsen, R. H.; Ebeid, E.; Mikkelsen, S. A.; Prodanovic, M.; Gruber, J. K.; Hayes, B. |
SmartHG: Energy Demand Aware Open Services for Smart Grid Intelligent Automation |
2014 |
Proceedings of the Work in Progress Session of DSD/SEAA 2014 |
|
|
|
|
|
Mikkelsen, S.A.; Jacobsen, R.H. |
Consumer-Centric and Service-Oriented Architecture for the Envisioned Energy Internet |
2015 |
Digital System Design (DSD), 2015 Euromicro Conference on |
|
301-305 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems |
2013 |
International Journal on Advances in Software |
vol. 6, nr 1&2 |
155-169 |
|
|
|
Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
Model Based Synthesis of Control Software from System Level Formal Specifications |
2014 |
Acm Transactions On Software Engineering And Methodology |
23 |
6 |
|
|
|
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico |
System Level Formal Verification via Model Checking Driven Simulation |
2013 |
Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013). July 13–19, 2013, Saint Petersburg, Russia |
|
296-312 |
|
|
|
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.K.; Hayes, B.; Prodanovic, M.; Elmegaard, L. |
User Flexibility Aware Price Policy Synthesis for Smart Grids |
2015 |
Digital System Design (DSD), 2015 Euromicro Conference on |
|
478-485 |
|
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
Simulator Semantics for System Level Formal Verification |
2015 |
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), |
|
|
|
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
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 Computing (PDP 2014) |
|
|
|
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation |
2014 |
In Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014) |
|
|
|
