Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters |
2011 |
|
CoRR, Technical Report |
|
|
|
abs/1105.5640 |
|
Kuijpers, Ed; Carotenuto, Luigi; Malapert, Jean-Cristophe; Markov-Vetter, Daniela; Melatti, Igor; Orlandini, Andrea; Pinchuk, Ranni |
Collaboration on ISS Experiment Data and Knowledge Representation |
2012 |
Proc. of IAC 2012 |
|
|
|
|
D.5.11 |
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesizing Control Software from Boolean Relations |
2012 |
International Journal on Advances in Software |
IARIA |
1942-2628 |
|
|
vol. 5, nr 3&4 |
212-223 |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems |
2013 |
International Journal on Advances in Software |
IARIA |
1942-2628 |
|
|
vol. 6, nr 1&2 |
155-169 |
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 SEAA/DSD 2014 |
|
|
978-3-902457-40-0 |
|
|
|
Mancini, T. |
Now or Never: negotiating efficiently with unknown counterparts |
2015 |
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)). |
|
|
|
|
|
|
Bartolini, Novella; Tronci, Enrico |
On Optimizing Service Availability of an Internet Based Architecture for Infrastructure Protection |
2006 |
Cnip |
|
|
|
|
|
|
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Merging Planning, Scheduling & Verification – A Preliminary Analysis |
2008 |
In Proc. of 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA) |
|
|
|
|
|
|
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Validation and Verification Issues in a Timeline-based Planning System |
2008 |
In E-Proc. of ICAPS Workshop on Knowledge Engineering for Planning and Scheduling |
|
|
|
|
|
|
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Verifying Flexible Timeline-based Plans |
2009 |
E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems |
|
|
|
|
|
|