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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase/img/file_PDF.gif) ![find record details (via OpenURL) openurl](http://smarthg.di.uniroma1.it//refbase/img/resolve.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase/img/file_PDF.gif) ![goto web page (via DOI) doi](http://smarthg.di.uniroma1.it//refbase/img/link.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase/img/file_PDF.gif) ![goto web page (via DOI) doi](http://smarthg.di.uniroma1.it//refbase/img/link.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase/img/file_PDF.gif) ![goto web page (via DOI) doi](http://smarthg.di.uniroma1.it//refbase/img/link.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase/img/file_PDF.gif) ![goto web page (via DOI) doi](http://smarthg.di.uniroma1.it//refbase/img/link.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase/img/file_PDF.gif) ![goto web page url](http://smarthg.di.uniroma1.it//refbase/img/link.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase/img/file_PDF.gif) ![goto web page (via DOI) doi](http://smarthg.di.uniroma1.it//refbase/img/link.gif) |
|
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase2/img/file_PDF.gif) ![goto web page (via DOI) doi](http://smarthg.di.uniroma1.it//refbase2/img/link.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase2/img/file_PDF.gif) ![goto web page url](http://smarthg.di.uniroma1.it//refbase2/img/link.gif) |
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.
|
![find record details (via OpenURL) openurl](http://smarthg.di.uniroma1.it//refbase2/img/resolve.gif) |
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).
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase2/img/file_PDF.gif) ![goto web page (via DOI) doi](http://smarthg.di.uniroma1.it//refbase2/img/link.gif) |
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.
|
![goto web page (via DOI) doi](http://smarthg.di.uniroma1.it//refbase2/img/link.gif) |
Anders Franz Terkelsen. “The Lost Children of Smart Grid.” Pan European Networks: Government, no. 07 (2013): p- 230.
|
![goto web page url](http://smarthg.di.uniroma1.it//refbase2/img/link.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase2/img/file_PDF.gif) ![find record details (via OpenURL) openurl](http://smarthg.di.uniroma1.it//refbase2/img/resolve.gif) |
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.
|
![goto web page (via DOI) doi](http://smarthg.di.uniroma1.it//refbase2/img/link.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase2/img/file_PDF.gif) ![find record details (via OpenURL) openurl](http://smarthg.di.uniroma1.it//refbase2/img/resolve.gif) |
Sergei Levchenko. “From Smart energy grids to Smart Cities.”Energy strategyn. 6 (2012): c. 23–27.
|
![find record details (via OpenURL) openurl](http://smarthg.di.uniroma1.it//refbase2/img/resolve.gif) |
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.
|
![find record details (via OpenURL) openurl](http://smarthg.di.uniroma1.it//refbase2/img/resolve.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase2/img/file_PDF.gif) ![find record details (via OpenURL) openurl](http://smarthg.di.uniroma1.it//refbase2/img/resolve.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase2/img/file_PDF.gif) ![find record details (via OpenURL) openurl](http://smarthg.di.uniroma1.it//refbase2/img/resolve.gif) |
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.
|
![download PDF file pdf](http://smarthg.di.uniroma1.it//refbase2/img/file_PDF.gif) ![find record details (via OpenURL) openurl](http://smarthg.di.uniroma1.it//refbase2/img/resolve.gif) |
|
Connect with SmartHG
![Twitter](http://smarthg.di.uniroma1.it/wp-content/uploads/2015/09/twittershare.png)
|
|
|
|
|
|
|
|
![](http://smarthg.di.uniroma1.it/wp-content/uploads/2015/09/statpicture.png)
|
|
|
|
|
|
|