| Records |
| Author |
Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
| Title |
Model Based Synthesis of Control Software from System Level Formal Specifications |
Type |
|
| Year |
2014 |
Publication  |
Acm Transactions On Software Engineering And Methodology |
Abbreviated Journal |
|
| Volume |
23 |
Issue |
1 |
Pages |
6 |
| Keywords |
|
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
Acm |
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
1049-331x |
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ Mari_etal2014 |
Serial |
40 |
| Permanent link to this record |
| |
|
| |
| Author |
Mikkelsen, S.A.; Jacobsen, R.H. |
| Title |
Consumer-Centric and Service-Oriented Architecture for the Envisioned Energy Internet |
Type |
|
| Year |
2015 |
Publication |
Digital System Design (DSD), 2015 Euromicro Conference on |
Abbreviated Journal |
|
| Volume |
|
Issue |
|
Pages |
301-305 |
| Keywords |
Authorization;Computer architecture;Data privacy;Home appliances;Privacy;Protocols;Smart grids;data privacy;smart grid;web services |
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
|
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
|
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ ref7302289 |
Serial |
56 |
| Permanent link to this record |
| |
|
| |
| Author |
Jacobsen, R.H.; Mikkelsen, S.A.; Rasmussen, N.H. |
| Title |
Towards the Use of Pairing-Based Cryptography for Resource-Constrained Home Area Networks |
Type |
|
| Year |
2015 |
Publication |
Digital System Design (DSD), 2015 Euromicro Conference on |
Abbreviated Journal |
|
| Volume |
|
Issue |
|
Pages |
233-240 |
| Keywords |
Authentication;Elliptic curve cryptography;Logic gates;Prototypes;constrained devices;home area network;identity-based cryptography;network bootstrap;pairing-based cryptography;security |
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
|
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
|
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ ref7302275 |
Serial |
55 |
| Permanent link to this record |
| |
|
| |
| Author |
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. |
| Title |
A Glimpse of SmartHG Project Test-bed and Communication Infrastructure |
Type |
|
| Year |
2015 |
Publication |
Digital System Design (DSD), 2015 Euromicro Conference on |
Abbreviated Journal |
|
| Volume |
|
Issue |
|
Pages |
225-232 |
| Keywords |
Batteries;Control systems;Databases;Production;Sensors;Servers;Smart grids;Grid State Estimation;Peak Shaving;Policy Robustness Verification;Price Policy Synthesis |
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
|
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
|
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ ref7302274 |
Serial |
57 |
| Permanent link to this record |
| |
|
| |
| Author |
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E.; Gruber, J.K.; Hayes, B.; Prodanovic, M.; Elmegaard, L. |
| Title |
User Flexibility Aware Price Policy Synthesis for Smart Grids |
Type |
|
| Year |
2015 |
Publication |
Digital System Design (DSD), 2015 Euromicro Conference on |
Abbreviated Journal |
|
| Volume |
|
Issue |
|
Pages |
478-485 |
| Keywords |
Contracts;Current measurement;Load management;Power demand;Power measurement;State estimation;Substations;Grid State Estimation;Peak Shaving;Policy Robustness Verification;Price Policy Synthesis |
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
|
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
|
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ ref7302312 |
Serial |
58 |
| Permanent link to this record |
| |
|
| |
| Author |
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
| Title |
SyLVaaS: System Level Formal Verification as a Service |
Type |
|
| Year |
2016 |
Publication |
Fundam. Inform. |
Abbreviated Journal |
|
| Volume |
149 |
Issue |
1-2 |
Pages |
101-132 |
| Keywords |
|
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
|
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
|
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ DBLP:journals/fuin/ManciniMMMT16 |
Serial |
63 |
| Permanent link to this record |
| |
|
| |
| Author |
Mancini, T. |
| Title |
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts |
Type |
|
| Year |
2016 |
Publication |
Fundam. Inform. |
Abbreviated Journal |
|
| Volume |
149 |
Issue |
1-2 |
Pages |
61-100 |
| Keywords |
|
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
|
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
|
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ DBLP:journals/fuin/Mancini16 |
Serial |
62 |
| Permanent link to this record |
| |
|
| |
| Author |
Kidmose, E.; Ebeid, E.; Jacobsen, R. |
| Title |
A Framework for Predicting User Behavior from the Main Smart Meter Data. |
Type |
|
| Year |
2015 |
Publication |
IARIA Fourth International Conference on Smart Systems, Devices and Technologies (SMART 2015), Brussels, Belgium |
Abbreviated Journal |
|
| Volume |
|
Issue |
|
Pages |
|
| Keywords |
|
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
|
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
|
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ |
Serial |
49 |
| Permanent link to this record |
| |
|
| |
| Author |
Ebeid, E. ; Griful, S.; Mikkelsen, S.; Jacobsen, R. |
| Title |
A Methodology to Evaluate Demand Response Communication Protocols for the Smart Grid. |
Type |
|
| Year |
2015 |
Publication |
IEEE International Conference on Communications (ICC), UK |
Abbreviated Journal |
|
| Volume |
|
Issue |
|
Pages |
|
| Keywords |
|
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
|
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
|
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ |
Serial |
48 |
| Permanent link to this record |
| |
|
| |
| Author |
Hayes, B. P.; Gruber, J.K.; Prodanovic, M. |
| Title |
Short-term load forecasting at the local level using smart meter data |
Type |
|
| Year |
2015 |
Publication |
IEEE PES Europe Conference (PowerTech), Eindhoven, Netherlands |
Abbreviated Journal |
|
| Volume |
|
Issue |
|
Pages |
|
| Keywords |
|
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
|
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
|
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ |
Serial |
51 |
| Permanent link to this record |
