Publications

Publications: M1–M12

During first year of ULISSE project, number of publications has been increased according to following list:

David Damen, Ranni Pinchuk, Bernard Fontain - “Creating Topic Maps Ontologies for Space Experiments” - Article submitted for the proceedings, and presented during TMRA Conference, 11-13, November, Leipzig
Christian Muller, “ULISSE: a knowledge management project for life and physical sciences from the International Space Station.”
- Poster and presentation at EANA 2009 (European astrobiology Network Association), 12 – 14 October, Brussels
- Abstract in the proceedings for PV 2009, and poster presentation, 1-3 December 2009, Madrid, Spain
S.Mazzini, S. Puri, F. Mari, I. Melatti, E. Tronci, “Formal Verification at System Level.” In Proc. of the DAta Systems In Aerospace Conference DASIA ’09 (ESA Proceedings, to appear)
Igor Melatti, R. Palmer, G. Sawaya, Y. Yang, R. M. Kirby, and G. Gopalakrishnan: ”Parallel and Distributed Model Checking in Eddy.” STTT, 11(1): 13–25, 2009, Springer-Verlag
A. Bobbio, E. Ciancamerla, S. Di Blasi, A. Iacomini, F. Mari, I. Melatti, M. Minichino, A. Scarlatti, Enrico Tronci, Roberta Terruggia, Emilio Zendri. “Risk analysis of SCADA systems interconnecting Power Grids and Telco Networks via heterogeneous models and tools.” In Proc. of the 4th International Conference on Risks and Security of Internet and Systems CRISIS ’09 (IEEE Proceedings, to appear)
F. Mari, I. Melatti, I. Salvo, E. Tronci, L. Alvisi, A. Clement and H. Li. “Model Checking Coalition Nash Equilibria in MAD Distributed Systems”. In Rachid Guerraoui and Franck Petit, editors, Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, volume 5873 of Lecture Notes in Computer Science, pages 531–546. Springer, 2009
A. Cesta, A. Finzi, S. Fratini, A. Orlandini and E. Tronci. “Flexible Timeline-Based Plan Verification.” In B. Mertsching, M. Hund and M. Zaheer Aziz editors, KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, volume 5803 of Lecture Notes in Computer Science, pages 531–546. Springer, 2009
In the electronic journal of UPM and in different webs of the UPM: http://www2.upm.es/portal/site/institucional/menuitem.fa77d63875fa4490b99bfa04dffb46a8/vgnextoid=e3393848388f1210VgnVCM10000009c7648aRCRD
In a divulgation journal: “Una ventana abierta al espacio”. Acción Telefónica, nº 32, September 2009

Publications: M12–M24

During second year of ULISSE project, number of publications has been increased according to following list:

Luigi Carotenuto, Hanna Rothkaehl, Audrey Berthier, and Ewa Slominska - “The ULISSE FP7 project new system for data exploration and dissemination” - COSPAR conference, Bremen 18th -25th of July, 2010, Book of Abstracts
Hanna Rothkaehl, Marek Morawski, Jozef Juchniewicz - “Diagnostics of Space Plasma on Board of International Space Station-ISS”,Nov 2010, Contributions to Plasma Physics, WILEY-VCH Verlag GmbH & Co
Luigi Carotenuto, Hanna Rothkaehl, Audrey Berthier, Ewa Slominska - “The ULISSE FP7 project new system for data exploration and dissemination” - Geophysical Research Abstracts, Vol. 12, EGU2010-6107-1, 2010
H. Rothkaehl, M. Morawski1,W. Puccio, J. Bergman, and S. I. Klimov, Diagnostics of Space Plasma on Board International SpaceStation - ISS - Contrib. Plasma Phys. 51, No. 2-3, 1 – 7 (2011)
E. Brinckmann, I. Karoliussen, T. M. Hauan, K. R. Fossum - “TOPIC MAPS FOR ARCHIVING SPACE PLANT EXPERIMENTS” - COSPAR conference, Bremen 18th -25th of July, 2010, Book of Abstracts
E. Brinckmann, I. Karoliussen, T. M. Hauan, K. R. Fossum, ULISSE – A NEW APPROACH OF ARCHIVING SPACE (PLANT-) EXPERIMENT DATA - COSPAR conference, Bremen 18th -25th of July, 2010, Book of Abstracts
Grimbach, Alois and Wever, Philipp and Schneider, Stephan and Willnecker, Rainer (2010) Knowledge preservation: A Semantic Approach to Visualizing and Reusing Microgravity Material Science Data. IAF Congress 2010, 26.09. - 01.10.2010, Prague
Kuijpers, Ed and Cornier, Christine and Carotenuto, Luigi and Grimbach, Alois and Damen, David (2010) The ULISSE environment for collaboration on ISS experiment data and knowledge representation. IAF Congress 2010, 26.09. - 01.10.2010, Prague
Grimbach, Alois and Damen, D. (2010) Joint Topic Maps Ontology Development for Interdisciplinary Space Experiments. 3rd International Conference of Managing Knowledge for Space Missions, 21-23 June 2010, Darmstadt, Germany
Damen D., Patriksson M.: Putting Topic Maps to REST. In: Maicher L.; Garshol, L.M.: Information wants to be a topic map, Proceedings of the Sixth International Conference on Topic Maps Research and Applications (TMRA'10)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci: Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. Proc. of 22nd International Conference on Computer Aided Verification (CAV), Edinburgh, UK, July 15-19, 2010 Lecture Notes in Computer Science, Vol. 6174 Springer 2010, pag. 180-195, ISBN 978-3-642-14294-9
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci: Analyzing Flexible Timeline-based Plans. Proc. of 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Frontiers in Artificial Intelligence and Applications 215 IOS Press 2010, pag. 471-476, ISBN 978-1-60750-605-8
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci: Validation and verification issues in a timeline-based planning system. Knowledge Eng. Review 25(3): 299-318 (2010), Cambridge University Press
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci, Validating timeline-based plans for robots: current results. 7th IARP Workshop on Technical Challenges for Dependable Robots in Human Environments, Toulouse, France, June 16-17, 2010
Orlandini, A., Finzi, A., Cesta, A., Fratini, S. and Tronci, E., Formal Methods for Plan-based Robot Autonomy: A Case Study.In PlanSIG-10. Brescia, Italy, December 1-2, 2010
Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E. How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?.In KEPS-10., ICAPS Workshop on Knowledge Engineering for Planning and Scheduling, Toronto, Canada, May, 2010