Browse All Publications

Login:

Login:
 
  List of All Publications:  
 

2016

T. Mancini. "Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts." Fundam. Inform. 149, no. 1-2 (2016): 61–100.
toggle visibility
T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. "Anytime system level verification via parallel random exhaustive hardware in the loop simulation." Microprocessors and Microsystems 41 (2016): 12–28. ISSN: 0141-9331.
toggle visibility
T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. "SyLVaaS: System Level Formal Verification as a Service." Fundam. Inform. 149, no. 1-2 (2016): 101–132.
toggle visibility

2015

V. Alimguzhin, F. Mari, I. Melatti, E. Tronci, E. Ebeid, S. A. Mikkelsen, R. H. Jacobsen, J. K. Gruber, B. Hayes, F. Huerta et al. "A Glimpse of SmartHG Project Test-bed and Communication Infrastructure." In Digital System Design (DSD), 2015 Euromicro Conference on, 225–232., 2015.
toggle visibility
E. Ebeid, S. Griful, S. Mikkelsen, and R. Jacobsen. "A Methodology to Evaluate Demand Response Communication Protocols for the Smart Grid." In IEEE International Conference on Communications (ICC), UK., 2015.
toggle visibility
B. P. Hayes, and M. Prodanovic. "A comparison of MV distribution system state estimation methods using field data." In IEEE PES General Meeting, Denver, CO, United States., 2015.
toggle visibility
B. P. Hayes, J. K. Gruber, and M. Prodanovic. "A closed-loop state estimation tool for MV network monitoring and operation." IEEE Transactions on Smart Grid PP, no. 99 (2015).
toggle visibility
B. P. Hayes, J. K. Gruber, and M. Prodanovic. "Short-term load forecasting at the local level using smart meter data." In IEEE PES Europe Conference (PowerTech), Eindhoven, Netherlands., 2015.
toggle visibility
R. H. Jacobsen, S. A. Mikkelsen, and N. H. Rasmussen. "Towards the Use of Pairing-Based Cryptography for Resource-Constrained Home Area Networks." In Digital System Design (DSD), 2015 Euromicro Conference on, 233–240., 2015.
toggle visibility
E. Kidmose, E. Ebeid, and R. Jacobsen. "A Framework for Predicting User Behavior from the Main Smart Meter Data." In IARIA Fourth International Conference on Smart Systems, Devices and Technologies (SMART 2015), Brussels, Belgium., 2015.
toggle visibility
T. Mancini. "Now or Never: negotiating efficiently with unknown counterparts." 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)). (2015).
toggle visibility
T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. "Simulator Semantics for System Level Formal Verification." In Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015),., 2015.
toggle visibility
T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. "SyLVaaS: System Level Formal Verification as a Service." In 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)., 2015.
toggle visibility
T. Mancini, F. Mari, I. Melatti, I. Salvo, E. Tronci, J. K. Gruber, B. Hayes, M. Prodanovic, and L. Elmegaard. "User Flexibility Aware Price Policy Synthesis for Smart Grids." In Digital System Design (DSD), 2015 Euromicro Conference on, 478–485., 2015.
toggle visibility
S. A. Mikkelsen, and R. H. Jacobsen. "Consumer-Centric and Service-Oriented Architecture for the Envisioned Energy Internet." In Digital System Design (DSD), 2015 Euromicro Conference on, 301–305., 2015.
toggle visibility

2014

B. Hayes, and M. Prodanovic. "Short-term Operational Planning and State Estimation in Power Distribution Networks." In Proceedings of the CIRED Electricity Distribution Workshop., 2014.
toggle visibility
B. Hayes, and M. Prodanovic. "State Estimation Techniques for Electric Power Distribution Systems." In Proceedings of the 2014 UKSim-AMSS 8th European Modelling Symposium (EMS 2014)., 2014.
toggle visibility
R. H. Jacobsen, and S. A. Mikkelsen. "Infrastructure for Intelligent Automation Services in the Smart Grid." Wireless Personal Communications 76, no. 2 (2014): 125–147. Springer US. ISSN: 0929-6212.
toggle visibility
T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. "Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation." In Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014) (2014).
toggle visibility
T. Mancini, F. Mari, A. Massini, I. Melatti, and E. Tronci. "System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation." In Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2014). IEEE Computer Society, 2014.
toggle visibility
F. Mari, I. Melatti, I. Salvo, and E. Tronci. "Model Based Synthesis of Control Software from System Level Formal Specifications." Acm Transactions On Software Engineering And Methodology 23, no. 1 (2014): 6. Acm. ISSN: 1049-331x.
toggle visibility
E. Tronci, T. Mancini, F. Mari, I. Melatti, R. H. Jacobsen, E. Ebeid, S. A. Mikkelsen, M. Prodanovic, J. K. Gruber, and B. Hayes. "SmartHG: Energy Demand Aware Open Services for Smart Grid Intelligent Automation." In Proceedings of the Work in Progress Session of DSD/SEAA 2014., 2014. ISBN: 978-3-902457-40-0.
toggle visibility
E. Tronci, T. Mancini, F. Mari, I. Melatti, I. Salvo, M. Prodanovic, J. K. Gruber, B. Hayes, and L. Elmegaard. "Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids." In Proceedings of the 5th IEEE International Conference On Smart Grid Communications (SmartGridComm 2014)., 2014.
toggle visibility

2013

Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. "A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software." In Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013), 43–60. Lecture Notes in Computer Science 7976. Springer - Verlag, 2013. ISSN: 978-3-642-39175-0.
toggle visibility
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. "On-the-Fly Control Software Synthesis." In Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013), 61–80. Lecture Notes in Computer Science 7976. Springer - Verlag, 2013. ISSN: 978-3-642-39175-0.
toggle visibility
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, and Enrico Tronci. "System Level Formal Verification via Model Checking Driven Simulation." In Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013). July 1319, 2013, Saint Petersburg, Russia, 296–312. Lecture Notes in Computer Science 8044. Springer - Verlag, 2013. ISSN: 978-3-642-39798-1.
toggle visibility
Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. "Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems." International Journal on Advances in Software vol. 6, nr 1&2 (2013): 155–169. Iaria. ISSN: 1942-2628.
toggle visibility

2012

Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. "On Model Based Synthesis of Embedded Control Software." In International Conference on Embedded Software, EMSOFT. ACM, 2012.
toggle visibility

About

  This literature database is maintained by the SmartHG: Energy Demand Aware Open Services for Smart Grid Intelligent Automation (SmartHG). You're welcome to send any questions or suggestions to our feedback address. The database is powered by refbase, an open source database front-end for managing scientific literature & citations. powered by refbase