toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (up) Title Year Publication Volume Pages Links
B. Hayes; M. Prodanovic State Estimation Techniques for Electric Power Distribution Systems 2014 Proceedings of the 2014 UKSim-AMSS 8th European Modelling Symposium (EMS 2014) details   pdf doi
B. Hayes; M. Prodanovic Short-term Operational Planning and State Estimation in Power Distribution Networks 2014 Proceedings of the CIRED Electricity Distribution Workshop details   pdf openurl
Jacobsen, R.H.; Mikkelsen, S.A. Infrastructure for Intelligent Automation Services in the Smart Grid 2014 Wireless Personal Communications 76 125-147 details   pdf doi
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 2014 In Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014) details   pdf doi
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation 2014 Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2014) details   pdf doi
Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. Model Based Synthesis of Control Software from System Level Formal Specifications 2014 Acm Transactions On Software Engineering And Methodology 23 6 details   pdf doi
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Jacobsen, R. H.; Ebeid, E.; Mikkelsen, S. A.; Prodanovic, M.; Gruber, J. K.; Hayes, B. SmartHG: Energy Demand Aware Open Services for Smart Grid Intelligent Automation 2014 Proceedings of the Work in Progress Session of DSD/SEAA 2014 details   pdf isbn
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Prodanovic, M.; Gruber, J.K.; Hayes, B.; Elmegaard, L. Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 2014 Proceedings of the 5th IEEE International Conference On Smart Grid Communications (SmartGridComm 2014) details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: