| Records |
| 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 |
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 |
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 |
| |
|
| |
| Author |
B. Hayes; M. Prodanovic |
| Title |
Short-term Operational Planning and State Estimation in Power Distribution Networks |
Type |
|
| Year |
2014 |
Publication |
Proceedings of the CIRED Electricity Distribution Workshop |
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 |
45 |
| Permanent link to this record |
| |
|
| |
| Author |
B. Hayes; M. Prodanovic |
| Title |
State Estimation Techniques for Electric Power Distribution Systems |
Type |
|
| Year |
2014 |
Publication |
Proceedings of the 2014 UKSim-AMSS 8th European Modelling Symposium (EMS 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 |
46 |
| 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 |
2015 |
Publication |
Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD) |
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 |
47 |
| 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 |
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 |
Hayes, B. P.; Gruber, J. K.; Prodanovic, M. |
| Title |
A closed-loop state estimation tool for MV network monitoring and operation |
Type |
|
| Year |
2015 |
Publication |
IEEE Transactions on Smart Grid |
Abbreviated Journal |
|
| Volume |
PP |
Issue |
99 |
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 |
50 |
| Permanent link to this record |
