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 Hayes, B. P.; Gruber, J.K.; Prodanovic, M. pdf  doi
openurl 
  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 (up) UNIROMA1 @ davi @ Serial 51  
Permanent link to this record
 
 
Author Mancini, T. pdf  url
openurl 
  Title Now or Never: negotiating efficiently with unknown counterparts Type
  Year 2015 Publication In proceedings of the 22nd RCRA International Workshop. Ferrara, Italy. CEUR, 2015 (Co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 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 (up) UNIROMA1 @ davi @ Serial 53  
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 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 (up) 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 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 (up) UNIROMA1 @ davi @ Alimguzhin_etal2013_2 Serial 19  
Permanent link to this record
 
 
Author Mancini, T. pdf  doi
openurl 
  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 (up) UNIROMA1 @ davi @ DBLP:journals/fuin/Mancini16 Serial 62  
Permanent link to this record
 
 
Author Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. pdf  doi
openurl 
  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 (up) UNIROMA1 @ davi @ DBLP:journals/fuin/ManciniMMMT16 Serial 63  
Permanent link to this record
 
 
Author Jacobsen, R.H.; Mikkelsen, S.A. pdf  url
doi  openurl
  Title Infrastructure for Intelligent Automation Services in the Smart Grid Type
  Year 2014 Publication Wireless Personal Communications Abbreviated Journal  
  Volume 76 Issue 2 Pages 125-147  
  Keywords Home area network; Smart energy profile; Intelligent automation services; Smart grid  
  Abstract  
  Address  
  Corporate Author Thesis  
  Publisher Springer US Place of Publication Editor  
  Language Summary Language Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN 0929-6212 ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number (up) UNIROMA1 @ davi @ JacMik14 Serial 41  
Permanent link to this record
 
 
Author Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. pdf  url
doi  openurl
  Title Anytime system level verification via parallel random exhaustive hardware in the loop simulation Type
  Year 2016 Publication Microprocessors and Microsystems Abbreviated Journal  
  Volume 41 Issue Pages 12-28  
  Keywords Model Checking of Hybrid Systems; Model checking driven simulation; Hardware in the loop simulation  
  Abstract Abstract System level verification of cyber-physical systems has the goal of verifying that the whole (i.e., software + hardware) system meets the given specifications. Model checkers for hybrid systems cannot handle system level verification of actual systems. Thus, Hardware In the Loop Simulation (HILS) is currently the main workhorse for system level verification. By using model checking driven exhaustive HILS, System Level Formal Verification (SLFV) can be effectively carried out for actual systems. We present a parallel random exhaustive HILS based model checker for hybrid systems that, by simulating all operational scenarios exactly once in a uniform random order, is able to provide, at any time during the verification process, an upper bound to the probability that the System Under Verification exhibits an error in a yet-to-be-simulated scenario (Omission Probability). We show effectiveness of the proposed approach by presenting experimental results on SLFV of the Inverted Pendulum on a Cart and the Fuel Control System examples in the Simulink distribution. To the best of our knowledge, no previously published model checker can exhaustively verify hybrid systems of such a size and provide at any time an upper bound to the Omission Probability.  
  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 0141-9331 ISBN Medium  
  Area Expedition Conference  
  Notes Approved  
  Call Number (up) UNIROMA1 @ davi @ Mancini201612 Serial 59  
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 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 (up) UNIROMA1 @ davi @ Mancini_etal2013 Serial 21  
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 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 (up) UNIROMA1 @ davi @ Mancini_etal2014 Serial 39  
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