| SmartHG Newsletter #5 |
|
|
|
|
|
|
Dear Visitor,
this is the SmartHG Newsletter #5.
It contains the list of project publications (so far).
From now, SmartHG newsletters will be delivered every three months.
|
SmartHG Project Publications
2014
|
| 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. IEEE Computer Society, 2014.
|
   |
| 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 Methodology23, no. 1 (2014): 6. Acm. ISSN: 1049-331x.
|
 |
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.
|
|
| 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.
|
|
| 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. July 13–19, 2013, Saint Petersburg, Russia, 296–312. Lecture Notes in Computer Science 8044. Springer – Verlag, 2013. ISSN: 978-3-642-39798-1.
|
|
| 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 Softwarevol. 6, nr 1&2 (2013): 155–169. Iaria. ISSN: 1942-2628.
|
|
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. Notes: To Appear. A preliminary version can be found at arxiv.org.
|
|
|
Other Consortium Publications
2013
|
| Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, and Enrico Tronci. “CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems.” European Journal of Control19, no. 1 (2013): 14–36. Elsevier North-Holland, Inc.. ISSN: 0947-3580.
|
   |
| Jorn Klaas Gruber, and José Luis Fernández Mínguez. “Supply mix optimization for decentralized energy systems.” 2013 International Conference on Smart Grid (ICSG 2013) – Open Journal of Applied Sciences(2013): 5–11.
|
|
| Sergei Levchenko, and Sergey Plyuta. “Aspects of creating a library of production rules in Decision Support Systems for smart grids based on fuzzy mathematics logic libraries.” In Proceedings of the International Humboldt conference: Magnetic resonance as a tool for interdisciplinary research, p. 18., 2013.
|
 |
| Federico Mari, Igor Melatti, Enrico Tronci, and Alberto Finzi. “A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET.” Mobile Information Systems3, no. 9 (2013): 261–280. IOS Press. ISSN: 1574-017x (Print) 1875-905X (Online).
|
|
| Milan Prodanovic, Maria Belén Téllez Molina, Alessandro Gallo, and José González Aguilar. “Proactive Management for Smart Buildings – Resource Management Strategy.” In SMARTGREENS 2013 – Proceedings of the 2nd International Conference on Smart Grids and Green IT Systems, 165–170., 2013.
|
|
| Anders Franz Terkelsen. “The Lost Children of Smart Grid.” Pan European Networks: Government, no. 07 (2013): p- 230.
|
|
2012
|
| Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. “Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems.” In Conference on Decision and Control, CDC. IEEE, 2012. Notes: To Appear. A preliminary version can be found at http://arxiv.org/abs/1207.4098.
|
|
| Jorn Klaas Gruber, and Milan Prodanovic. “Residential Energy Load Profile Generation Using a Probabilistic Approach.” In Sixth UKSim/AMSS European Symposium on Computer Modeling and Simulation (EMS 2012), 317–322. Ieee, 2012. ISSN: 978-1-4673-4977-2.
|
|
| Ed Kuijpers, Luigi Carotenuto, Jean- Cristophe Malapert, Daniela Markov-Vetter, Igor Melatti, Andrea Orlandini, and Ranni Pinchuk. “Collaboration on ISS Experiment Data and Knowledge Representation.” In Proc. of IAC 2012. Vol. D.5.11., 2012.
|
|
| Sergei Levchenko. “From Smart energy grids to Smart Cities.”Energy strategyn. 6 (2012): c. 23–27.
|
|
| Sergei Levchenko. “Modern trends and technology for energy efficiency based on integrated smart grids in Belarus.” In Proc. of International conference “Energy of Moldova – 2012. Aspects of regional development”., 2012.
|
|
| Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. “Control Software Visualization.” In Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation, 15–20. ThinkMind, 2012.
|
|
| Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. “Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems.” In Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances, 664–671. ThinkMind, 2012.
|
|
| Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. “Synthesizing Control Software from Boolean Relations.”International Journal on Advances in Softwarevol. 5, nr 3&4 (2012): 212–223. Iaria. ISSN: 1942-2628.
|
|
|
Connect with SmartHG
 
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
