@inproceedings{Ballester:2011, author = {Vicent Brocal and Patricia Balbastre and Rafael Ballester and Ismael Ripoll}, booktitle = {Proceedings of the 16$^{th}$ IEEE International Conference on Emerging Technologies and Factor Automation}, location = {Toulouse, France}, month = {September}, title = {Task period selection to minimize hyperperiod}, year = {2011} }
@inproceedings{masmano04dynamic, author = {Miguel Masmano and Ismael Ripoll and Alfons Crespo and Jorge Real}, title = {TLSF: A New Dynamic Memory Allocator for Real-Time Systems}, booktitle = {ECRTS}, year = {2004}, pages = {79-86}, doi = {http://doi.ieeecomputersociety.org/10.1109/ECRTS.2004.35}, bibsource = {DBLP, http://dblp.uni-trier.de} }
@inproceedings{Peiro:2007, author = {Salvador Peiro and Miguel Masmano and Ismael Ripoll and Alfons Crespo}, booktitle = {9th Real-Time Linux Workshop}, title = {{P}a{R}{T}i{K}le {O}{S}, a replacement of the core of {R}{T}{L}inux}, year = {2007} }
@inproceedings{xm, author = {Miguel Masmano and Ismael Ripoll and Alfons Crespo}, booktitle = {Workshop on Operating Systems Platforms for Embedded Real-Time applications}, title = {An overview of the XtratuM nanokernel}, year = {2005} }
@inproceedings{xtratum09_1, author = {Miguel Masmano and Ismael Ripoll and Alfons Crespo and J.J. Metge and Paul Arberet}, booktitle = {DASIA 2009. DAta Systems In Aerospace.}, keywords = {nanokernels, real-time, embedded system}, month = {May. Istanbul}, title = {XTRATUM: An open source hypervisor for {TSP} embedded systems in aerospace}, year = {2009} }
@inproceedings{xtratum:2009a, address = {Dresden (Germany)}, author = {Miguel Masmano and Ismael Ripoll and Alfons Crespo and J.J. Metge}, booktitle = {Eleventh Real-Time Linux Workshop}, month = {September}, title = {XtratuM: a Hypervisor for Safety Critical Embedded Systems}, year = {2009} }
@inproceedings{xtratum:2010, address = {Toulouse (France)}, author = {Miguel Masmano and Ismael Ripoll and Salvador Peir{\'o} and Alfons Crespo}, booktitle = {European Conference on Embedded Real Time Software and Systems. ERTS2 2010.}, month = {May}, title = {XtratuM for LEON3: an Open Source Hypervisor for High Integrity Systems}, year = {2010} }
@inproceedings{RTCSA:2008, author = {Audrey Marchand and Patricia Balbastre and Ismael Ripoll and Alfons Crespo}, title = {Providing Memory QoS Guarantees for Real-Time Applications}, booktitle = {RTCSA}, year = {2008}, pages = {312-317}, doi = {http://dx.doi.org/10.1109/RTCSA.2008.12}, bibsource = {DBLP, http://dblp.uni-trier.de} }
@inproceedings{RTCSA:2009, author = {Patricia Balbastre and Ismael Ripoll and Alfons Crespo}, title = {Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling}, booktitle = {RTCSA}, year = {2009}, pages = {315-320}, doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2009.40}, bibsource = {DBLP, http://dblp.uni-trier.de} }
@inproceedings{EDCC:2010a, author = {Alfons Crespo and Ismael Ripoll and Miguel Masmano}, title = {Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach}, booktitle = {EDCC}, year = {2010}, pages = {67-72}, doi = {http://doi.ieeecomputersociety.org/10.1109/EDCC.2010.18}, bibsource = {DBLP, http://dblp.uni-trier.de} }
@inproceedings{EDCC:2010b, author = {Jouvray, Christophe and Chartier, Gr{\'e}goire and Fran\c{c}ois, Nicolas and Ripoll, Ismael and Masmano, Miguel and Crespo, Alfons}, title = {Enforcing trust in control automotive platforms}, booktitle = {Proceedings of the 1st Workshop on Critical Automotive applications: Robustness \& Safety}, series = {CARS '10}, year = {2010}, isbn = {978-1-60558-915-2}, location = {Valencia, Spain}, pages = {43--46}, numpages = {4}, doi = {10.1145/1772643.1772656}, acmid = {1772656}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {AUTOSAR, control system architecture, security, trust} }
@inproceedings{Ada:2011, author = {{\'A}ngel Esquinas and Juan Zamorano and Juan Antonio de la Puente and Miguel Masmano and Ismael Ripoll and Alfons Crespo}, title = {ORK+/XtratuM: An Open Partitioning Platform for Ada}, booktitle = {Ada-Europe}, year = {2011}, pages = {160-173}, doi = {http://dx.doi.org/10.1007/978-3-642-21338-0_12}, bibsource = {DBLP, http://dblp.uni-trier.de} }
@inproceedings{Marco-Gisbert:2013, author = {Marco-Gisbert, H. and Ripoll, I.}, booktitle = {Network Computing and Applications (NCA), 2013 12th IEEE International Symposium on}, title = {Preventing Brute Force Attacks Against Stack Canary Protection on Networking Servers}, year = {2013}, pages = {243-250}, keywords = {C language;Internet;Linux;client-server systems;cryptography;software libraries;ASLR;GNU distribution;Linux distribution;SSP technique;Web servers;brute force attack prevention;buffer overflow;networking servers;nonexecutable;shared library preloading;stack canary protection;stack-smashing protector technique;standard C library;Force;Instruction sets;Layout;Libraries;Proposals;Servers;Standards;Buffer overflow prevention;Netwoking server security}, doi = {10.1109/NCA.2013.12} }
This file was generated by bibtex2html 1.99.