| |
Author |
Title |
Year |
Publication  |
Volume |
Pages |
Links |
|
|
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 |
|
|
|
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 |
|
|
|
Jacobsen, R.H.; Mikkelsen, S.A.; Rasmussen, N.H. |
Towards the Use of Pairing-Based Cryptography for Resource-Constrained Home Area Networks |
2015 |
Digital System Design (DSD), 2015 Euromicro Conference on |
|
233-240 |
|
|
|
Alimguzhin, V.; Mari, F.; Melatti, I.; Tronci, E.; Ebeid, E.; Mikkelsen, S.A.; Jacobsen, R.H.; Gruber, J.K.; Hayes, B.; Huerta, F.; Prodanovic, M. |
A Glimpse of SmartHG Project Test-bed and Communication Infrastructure |
2015 |
Digital System Design (DSD), 2015 Euromicro Conference on |
|
225-232 |
|
|
|
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. |
SyLVaaS: System Level Formal Verification as a Service |
2016 |
Fundam. Inform. |
149 |
101-132 |
|
|
|
Mancini, T. |
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts |
2016 |
Fundam. Inform. |
149 |
61-100 |
|
|
|
Kidmose, E.; Ebeid, E.; Jacobsen, R. |
A Framework for Predicting User Behavior from the Main Smart Meter Data. |
2015 |
IARIA Fourth International Conference on Smart Systems, Devices and Technologies (SMART 2015), Brussels, Belgium |
|
|
|
|
|
Ebeid, E. ; Griful, S.; Mikkelsen, S.; Jacobsen, R. |
A Methodology to Evaluate Demand Response Communication Protocols for the Smart Grid. |
2015 |
IEEE International Conference on Communications (ICC), UK |
|
|
|
|
|
Hayes, B. P.; Gruber, J.K.; Prodanovic, M. |
Short-term load forecasting at the local level using smart meter data |
2015 |
IEEE PES Europe Conference (PowerTech), Eindhoven, Netherlands |
|
|
|
