|
Records |
Links |
|
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 |
Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
|
|
Title |
On Model Based Synthesis of Embedded Control Software |
Type |
|
|
Year |
2012 |
Publication |
International Conference on Embedded Software, EMSOFT |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
|
|
|
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 |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ mari @ Alimguzhin_etal2012_2 |
Serial |
14 |
|
Permanent link to this record |
|
|
|
|
Author |
Hayes, B. P.; Prodanovic, M. |
|
|
Title |
A comparison of MV distribution system state estimation methods using field data |
Type |
|
|
Year |
2015 |
Publication |
IEEE PES General Meeting, Denver, CO, United States |
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 |
52 |
|
Permanent link to this record |
|
|
|
|
Author |
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
|
|
Title |
Simulator Semantics for System Level Formal Verification |
Type |
|
|
Year |
2015 |
Publication |
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), |
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 |
54 |
|
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 |
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Jacobsen, R. H.; Ebeid, E.; Mikkelsen, S. A.; Prodanovic, M.; Gruber, J. K.; Hayes, B. |
|
|
Title |
SmartHG: Energy Demand Aware Open Services for Smart Grid Intelligent Automation |
Type |
|
|
Year |
2014 |
Publication |
Proceedings of the Work in Progress Session of DSD/SEAA 2014 |
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 |
978-3-902457-40-0 |
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
42 |
|
Permanent link to this record |
|
|
|
|
Author |
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Prodanovic, M.; Gruber, J.K.; Hayes, B.; Elmegaard, L. |
|
|
Title |
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids |
Type |
|
|
Year |
2014 |
Publication |
Proceedings of the 5th IEEE International Conference On Smart Grid Communications (SmartGridComm 2014) |
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 @ Tronci_etal2014 |
Serial |
43 |
|
Permanent link to this record |
|
|
|
|
Author |
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
|
|
Title |
System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation |
Type |
|
|
Year |
2014 |
Publication |
Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2014) |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
|
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
IEEE Computer Society |
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 @ Mancini_etal2014 |
Serial |
39 |
|
Permanent link to this record |
|
|
|
|
Author |
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
|
|
Title |
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation |
Type |
|
|
Year |
2014 |
Publication |
In Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014) |
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 |
44 |
|
Permanent link to this record |