SmartHG Home

SmartHG Project Publications

Home |  Show All |  Simple Search |  Advanced Search
Quick Search:
11-20 of 28 records found matching your query:
toggle visibility Search & Display Options
Select All    Deselect All << 1 2 3 >>
List View
 | 
Citations
 | 
Details
   print
  Records Links
Author Jacobsen, R.H.; Mikkelsen, S.A.; Rasmussen, N.H. pdf  doi
openurl 
  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 (down) 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, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico pdf  doi
openurl 
  Title On-the-Fly Control Software Synthesis Type
  Year 2013 Publication Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) Abbreviated Journal  
  Volume (down) Issue Pages 61-80  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Springer - Verlag Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Lecture Notes in Computer Science Abbreviated Series Title  
  Series Volume 7976 Series Issue Edition  
  ISSN 978-3-642-39175-0 ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Alimguzhin_etal2013 Serial 18  
Permanent link to this record
 
 
Author Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico pdf  doi
openurl 
  Title A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software Type
  Year 2013 Publication Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013) Abbreviated Journal  
  Volume (down) Issue Pages 43-60  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Springer - Verlag Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Lecture Notes in Computer Science Abbreviated Series Title  
  Series Volume 7976 Series Issue Edition  
  ISSN 978-3-642-39175-0 ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Alimguzhin_etal2013_2 Serial 19  
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. pdf  doi
openurl 
  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 (down) 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, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico pdf  doi
openurl 
  Title System Level Formal Verification via Model Checking Driven Simulation Type
  Year 2013 Publication Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013). July 13–19, 2013, Saint Petersburg, Russia Abbreviated Journal  
  Volume (down) Issue Pages 296-312  
  Keywords  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Springer - Verlag Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Lecture Notes in Computer Science Abbreviated Series Title  
  Series Volume 8044 Series Issue Edition  
  ISSN 978-3-642-39798-1 ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number UNIROMA1 @ davi @ Mancini_etal2013 Serial 21  
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. pdf  isbn
openurl 
  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 (down) 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. pdf  doi
openurl 
  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 (down) 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. pdf  doi
openurl 
  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 (down) 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. pdf  doi
openurl 
  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 (down) 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 pdf  openurl
  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 (down) 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
Select All    Deselect All << 1 2 3 >>
List View
 | 
Citations
 | 
Details
   print
toggle visibility
Save Citations:
Export Records:
Home CQL Search  |  Library Search  |  Show Record  |  Extract Citations