Resultados

• I. Ripoll, A. Crespo. Hypervisor Technology for Building Safety-Critical Systems: XtratuM. 16th International Conference on Reliable Software Technologies – Ada-Europe 2011.Valencia. June 2010.
• Apolinar González, W. Mata, L. Villaseñor, R. Aquino, Jose Simo, M. Chávez and A. Crespo . μDDS: A Middleware for Real-time Wireless Embedded Systems. Journal of Intelligent & Robotic Systems. DOI: 10.1007/s10846-011-9550-z. 2011.
• Martínez, D.; González, A.; Blanes, F.; Aquino, R.; Simo, J.; Crespo, A. Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks. Sensors 2011, 11, 1059-1077.
• Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo: ORK+/XtratuM: An Open Partitioning Platform for Ada. Ada-Europe 2011: 160-173
• Sergio Saez, Silvia Terrasa, Alfons Crespo: A Real-Time Framework for Multiprocessor Platforms Using Ada 2012. Ada-Europe 2011: 46-60
• Carlos Domínguez, Houcine Hassan, José Albaladejo, Maria Marco, Alfons Crespo: Emotional Contribution Process Implementations on Parallel Processors. ICA3PP (2) 2011: 343-352
• Thomas Pareaud, Luc Planche , Alfons Crespo, Ismael Ripoll, Miguel Masmano. Securely Partitioning Spacecraft Computing Resources: Validation of a Separation Kernel.DASIA 2011. May 2011
• Julien Galizzi, Jean-Jacques Metge, Paul Arberet, Alfons Crespo, Miguel Masmano, Javier Coronel Parada, Ismael Ripoll, Vicent Brocal. .Porting of LVCUGEN on CPU ITAR-FREE. DASIA 2011.
• M. Masmano, A. Crespo, M. Mathieu. Impact of Distributed Multiprocessor Systems and XtratuM. ESA Workshop on Avionics Data, Control and Software Systems (ADCSS). October 2011, ESTEC
• A. Crespo, I. Ripoll, M. Masmano, S. Peiró: Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach. Eighth European Dependable Computing Conference, pp: 67-72, Valencia, Spain, 28-30 April 2010
• C. Jouvray, G. Chartier, N. François, I. Ripoll, M. Masmano, A. Crespo: Enforcing trust in control automotive platforms. EDCC-CARS 2010: 43-46.
• S. Saez, A. Crespo: Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems. Ada-Europe 2010: 68-82
• P. Albertos, A. Crespo, J. Simó, A. Fernández: Control Co-design: Algorithms and Their Implementation. Ada-Europe 2010: 19-40
• V. Brocal, M. Masmano, I. Ripoll, A. Crespo, P. Balbastre, J.J. Metge. Xoncrete: a Scheduling Tool for Partitioned Real-Time Systems. Embedded Real Time Software and Systems (ERTS2 2010). May 2010. Toulouse (France). 2010
• M. Masmano, I. Ripoll, A. Crespo, S. Peiro. XtratuM for LEON3: an OpenSource Hypervisor for High-Integrity Systems. Embedded Real Time Software and Systems (ERTS2 2010). May 2010. Toulouse (France). 2010
• I. Ripoll, A. Crespo, M. Masmano, V. Brocal, P. Balbastre, S. Peiró, P. Arberet, J.J. Metge. Configuration and Scheduling tools for TSP systems based on XtratuM. In DASIA 2010. DAta Systems In Aerospace. May. Budapest 2010.
• G. Herrgott, T. Pareaud, L. Planche, V. Kollias, N. Pogkas, A. Crespo, I. Ripoll, M. Masmano. Securely Partitioning Spacecraft Computing Resources. In DASIA 2010. DAta Systems In Aerospace. May. Budapest 2010.
• M. Masmano, I. Ripoll, Y. Valiente, P. Balbastre and A. Crespo. LithOS: a ARINC 653 guest operating for XtratuM. Twelfth Real-Time Linux Workshop. October 2010. Nairobi, Kenya. 2010