BibTeX records: Alfons Crespo

download as .bib file

@article{DBLP:journals/tjs/GuasqueABSC22,
  author       = {Ana Guasque and
                  Jos{\'{e}} Mar{\'{\i}}a Aceituno and
                  Patricia Balbastre and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Alfons Crespo},
  title        = {Schedulability analysis of dynamic priority real-time systems with
                  contention},
  journal      = {J. Supercomput.},
  volume       = {78},
  number       = {12},
  pages        = {14703--14725},
  year         = {2022},
  url          = {https://doi.org/10.1007/s11227-022-04446-y},
  doi          = {10.1007/S11227-022-04446-Y},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/GuasqueABSC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/AceitunoGBSC21,
  author       = {Jos{\'{e}} Mar{\'{\i}}a Aceituno and
                  Ana Guasque and
                  Patricia Balbastre and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Alfons Crespo},
  title        = {Hardware resources contention-aware scheduling of hard real-time multiprocessor
                  systems},
  journal      = {J. Syst. Archit.},
  volume       = {118},
  pages        = {102223},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.sysarc.2021.102223},
  doi          = {10.1016/J.SYSARC.2021.102223},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/AceitunoGBSC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/ParedesBMCSG21,
  author       = {Carlos Mario Paredes and
                  Andr{\'{e}}s F. Bayona and
                  Diego Mart{\'{\i}}nez and
                  Alfons Crespo and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Apolinar Gonz{\'{a}}lez},
  title        = {Socio-economic and technological impact of a microgrid in isolated
                  communities using Simulation Modeling},
  booktitle    = {22nd {IEEE} International Conference on Industrial Technology, {ICIT}
                  2021, Valencia, Spain, March 10-12, 2021},
  pages        = {649--656},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICIT46573.2021.9453608},
  doi          = {10.1109/ICIT46573.2021.9453608},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icit2/ParedesBMCSG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GuasqueTBASC20,
  author       = {Ana Guasque and
                  Hossein Tohidi and
                  Patricia Balbastre and
                  Jos{\'{e}} Mar{\'{\i}}a Aceituno and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Alfons Crespo},
  title        = {Integer Programming Techniques for Static Scheduling of Hard Real-Time
                  Systems},
  journal      = {{IEEE} Access},
  volume       = {8},
  pages        = {170389--170403},
  year         = {2020},
  url          = {https://doi.org/10.1109/ACCESS.2020.3024698},
  doi          = {10.1109/ACCESS.2020.3024698},
  timestamp    = {Mon, 20 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/GuasqueTBASC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/RealSC19,
  author       = {Jorge Real and
                  Sergio S{\'{a}}ez and
                  Alfons Crespo},
  title        = {A hierarchical architecture for time- and event-triggered real-time
                  systems},
  journal      = {J. Syst. Archit.},
  volume       = {101},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.sysarc.2019.101652},
  doi          = {10.1016/J.SYSARC.2019.101652},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/RealSC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/MuttilloPBSC19,
  author       = {Vittoriano Muttillo and
                  Luigi Pomante and
                  Patricia Balbastre and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Alfons Crespo},
  title        = {{HW/SW} Co-Design Framework for Mixed-Criticality Embedded Systems
                  Considering Xtratum-Based {SW} Partitions},
  booktitle    = {22nd Euromicro Conference on Digital System Design, {DSD} 2019, Kallithea,
                  Greece, August 28-30, 2019},
  pages        = {554--561},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/DSD.2019.00085},
  doi          = {10.1109/DSD.2019.00085},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsd/MuttilloPBSC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SavithryOPBC19,
  author       = {J. Savithry and
                  Ana Guasque Ortega and
                  Anju S. Pillai and
                  Patricia Balbastre and
                  Alfons Crespo},
  title        = {Design of Criticality-Aware Scheduling for Advanced Driver Assistance
                  Systems},
  booktitle    = {24th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
                  2019},
  pages        = {1407--1410},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ETFA.2019.8868957},
  doi          = {10.1109/ETFA.2019.8868957},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/SavithryOPBC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icca/AlbertosCHYG19,
  author       = {Pedro Albertos and
                  Alfons Crespo and
                  W. He and
                  Yanping Yang and
                  Pedro Garc{\'{\i}}a},
  title        = {Networked Control of Unstable Resonant Systems},
  booktitle    = {15th {IEEE} International Conference on Control and Automation, {ICCA}
                  2019, Edinburgh, United Kingdom, July 16-19, 2019},
  pages        = {1435--1440},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICCA.2019.8899519},
  doi          = {10.1109/ICCA.2019.8899519},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icca/AlbertosCHYG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/CrespoBSCGB18,
  author       = {Alfons Crespo and
                  Patricia Balbastre and
                  Jos{\'{e}}{-}Enrique Sim{\'{o}}{-}Ten and
                  Javier Coronel and
                  Daniel Gracia{-}Perez and
                  Philippe Bonnot},
  title        = {Hypervisor-Based Multicore Feedback Control of Mixed-Criticality Systems},
  journal      = {{IEEE} Access},
  volume       = {6},
  pages        = {50627--50640},
  year         = {2018},
  url          = {https://doi.org/10.1109/ACCESS.2018.2869094},
  doi          = {10.1109/ACCESS.2018.2869094},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/CrespoBSCGB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jirs/UsachVCP18,
  author       = {Hector Usach and
                  Juan A. Vila and
                  Alfons Crespo and
                  P. Yuste P{\'{e}}rez},
  title        = {Automatic Deployment of an {RPAS} Mission Manager to an {ARINC-653}
                  Compliant System},
  journal      = {J. Intell. Robotic Syst.},
  volume       = {92},
  number       = {3-4},
  pages        = {587--598},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10846-017-0694-3},
  doi          = {10.1007/S10846-017-0694-3},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jirs/UsachVCP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RealSC18,
  author       = {Jorge Real and
                  Sergio S{\'{a}}ez and
                  Alfons Crespo},
  editor       = {Ant{\'{o}}nio Casimiro and
                  Pedro Miguel Ferreira},
  title        = {Combined Scheduling of Time-Triggered and Priority-Based Task Sets
                  in Ravenscar},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe
                  International Conference on Reliable Software Technologies, Lisbon,
                  Portugal, June 18-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10873},
  pages        = {105--122},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-92432-8\_7},
  doi          = {10.1007/978-3-319-92432-8\_7},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/RealSC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/GuasqueBCF18,
  author       = {Ana Guasque and
                  Patricia Balbastre and
                  Alfons Crespo and
                  Gerhard Fohler},
  title        = {Energy Characterization of Real-Time Partitioned Systems},
  booktitle    = {24th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2018, Hakodate, Japan, August 28-31,
                  2018},
  pages        = {118--124},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/RTCSA.2018.00023},
  doi          = {10.1109/RTCSA.2018.00023},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtcsa/GuasqueBCF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/DominguezHC17,
  author       = {Carlos Dom{\'{\i}}nguez and
                  Houcine Hassan and
                  Alfons Crespo},
  title        = {Emotional robot control architecture implementation using FPGAs},
  journal      = {J. Syst. Archit.},
  volume       = {72},
  pages        = {29--41},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.sysarc.2016.08.004},
  doi          = {10.1016/J.SYSARC.2016.08.004},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/DominguezHC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PerezGPC17,
  author       = {H{\'{e}}ctor P{\'{e}}rez and
                  J. Javier Guti{\'{e}}rrez and
                  Salva Peir{\'{o}} and
                  Alfons Crespo},
  title        = {Distributed architecture for developing mixed-criticality systems
                  in multi-core platforms},
  journal      = {J. Syst. Softw.},
  volume       = {123},
  pages        = {145--159},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jss.2016.08.088},
  doi          = {10.1016/J.JSS.2016.08.088},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/PerezGPC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/FakihLACCDGRGSS17,
  author       = {Maher Fakih and
                  Alina Lenz and
                  Mikel Azkarate{-}askasua and
                  Javier Coronel and
                  Alfons Crespo and
                  Simon Davidmann and
                  Juan Carlos Diaz Garcia and
                  Nera Gonz{\'{a}}lez Romero and
                  Kim Gr{\"{u}}ttner and
                  S{\"{o}}ren Schreiner and
                  Razi Seyyedi and
                  Roman Obermaisser and
                  Adele Maleki and
                  Johnny {\"{O}}berg and
                  Mohamed Tagelsir Mohammadat and
                  Jon P{\'{e}}rez{-}Cerrolaza and
                  Ingo Sander and
                  Ingemar S{\"{o}}derquist},
  title        = {{SAFEPOWER} project: Architecture for safe and power-efficient mixed-criticality
                  systems},
  journal      = {Microprocess. Microsystems},
  volume       = {52},
  pages        = {89--105},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.micpro.2017.05.016},
  doi          = {10.1016/J.MICPRO.2017.05.016},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mam/FakihLACCDGRGSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/Gonzalez-PotesM16,
  author       = {Apolinar Gonz{\'{a}}lez{-}Potes and
                  Walter A. Mata{-}L{\'{o}}pez and
                  Vrani Ibarra{-}Junquera and
                  Alberto M. Ochoa{-}Brust and
                  Diego Mart{\'{\i}}nez{-}Castro and
                  Alfons Crespo},
  title        = {Distributed multi-agent architecture for real-time wireless control
                  networks of multiple plants},
  journal      = {Eng. Appl. Artif. Intell.},
  volume       = {56},
  pages        = {142--156},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.engappai.2016.08.017},
  doi          = {10.1016/J.ENGAPPAI.2016.08.017},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eaai/Gonzalez-PotesM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PeiroMC16,
  author       = {Salva Peir{\'{o}} and
                  Manuel Mu{\~{n}}oz and
                  Alfons Crespo},
  title        = {An analysis on the impact and detection of kernel stack infoleaks},
  journal      = {Log. J. {IGPL}},
  volume       = {24},
  number       = {6},
  pages        = {899--915},
  year         = {2016},
  url          = {https://doi.org/10.1093/jigpal/jzw049},
  doi          = {10.1093/JIGPAL/JZW049},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/PeiroMC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/GuasqueBC16,
  author       = {Ana Guasque and
                  Patricia Balbastre and
                  Alfons Crespo},
  title        = {Real-time hierarchical systems with arbitrary scheduling at global
                  level},
  journal      = {J. Syst. Softw.},
  volume       = {119},
  pages        = {70--86},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jss.2016.05.040},
  doi          = {10.1016/J.JSS.2016.05.040},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/GuasqueBC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RealSC16,
  author       = {Jorge Real and
                  Sergio S{\'{a}}ez and
                  Alfons Crespo},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Combining Time-Triggered Plans with Priority Scheduled Task Sets},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {195--212},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_13},
  doi          = {10.1007/978-3-319-39083-3\_13},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/RealSC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/GrixtiSHCMC16,
  author       = {Stephen Grixti and
                  Nicholas Sammut and
                  Maria Hernek and
                  Elena Carrascosa and
                  Miguel Masmano and
                  Alfons Crespo},
  title        = {Separation Kernel Robustness Testing: The XtratuM Case Study},
  booktitle    = {2016 {IEEE} International Conference on Cluster Computing, {CLUSTER}
                  2016, Taipei, Taiwan, September 12-16, 2016},
  pages        = {524--531},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/CLUSTER.2016.91},
  doi          = {10.1109/CLUSTER.2016.91},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cluster/GrixtiSHCMC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/LenzBCCDGRGOOPS16,
  author       = {Alina Lenz and
                  Mikel Azkarate{-}Askasua Blazquez and
                  Javier Coronel and
                  Alfons Crespo and
                  Simon Davidmann and
                  Juan Carlos Diaz Garcia and
                  Nera Gonz{\'{a}}lez Romero and
                  Kim Gr{\"{u}}ttner and
                  Roman Obermaisser and
                  Johnny {\"{O}}berg and
                  Jon P{\'{e}}rez and
                  Ingo Sander and
                  Ingemar S{\"{o}}derquist},
  editor       = {Paris Kitsos},
  title        = {{SAFEPOWER} Project: Architecture for Safe and Power-Efficient Mixed-Criticality
                  Systems},
  booktitle    = {2016 Euromicro Conference on Digital System Design, {DSD} 2016, Limassol,
                  Cyprus, August 31 - September 2, 2016},
  pages        = {294--300},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/DSD.2016.64},
  doi          = {10.1109/DSD.2016.64},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsd/LenzBCCDGRGOOPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/DominguezHCA15,
  author       = {Carlos Dom{\'{\i}}nguez and
                  Houcine Hassan and
                  Alfons Crespo and
                  Jos{\'{e}} Albaladejo},
  title        = {Multicore and {FPGA} implementations of emotional-based agent architectures},
  journal      = {J. Supercomput.},
  volume       = {71},
  number       = {2},
  pages        = {479--507},
  year         = {2015},
  url          = {https://doi.org/10.1007/s11227-014-1307-6},
  doi          = {10.1007/S11227-014-1307-6},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/DominguezHCA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atacss/MolinaVLP15,
  author       = {H. Usach Molina and
                  Joan Vila{-}Carb{\'{o}} and
                  Alfons Crespo i Lorente and
                  P. Yuste P{\'{e}}rez},
  editor       = {Michael Feary and
                  Thomas Feuerle and
                  Cristina Gonzalez Rechea and
                  Francisco Javier Saez and
                  Chris W. Johnson and
                  C{\'{e}}lia Martinie and
                  Philippe A. Palanque and
                  Alberto Pasquini and
                  Pim van Leeuwen and
                  Marco Winckler},
  title        = {A highly-automated {RPAS} mission manager for integrated airspace},
  booktitle    = {Proceedings of the 5th International Conference on Application and
                  Theory of Automation in Command and Control Systems, {ATACCS} 2015,
                  Toulouse, France, September 30 - October 2, 2015},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2899361.2899363},
  doi          = {10.1145/2899361.2899363},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atacss/MolinaVLP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ebccsp/CilkuCPCP15,
  author       = {Bekim Cilku and
                  Alfons Crespo and
                  Peter P. Puschner and
                  Javier Coronel and
                  Salvador Peir{\'{o}}},
  title        = {A TDMA-Based arbitration scheme for mixed-criticality multicore platforms},
  booktitle    = {International Conference on Event-based Control, Communication, and
                  Signal Processing, {EBCCSP} 2015, Krakow, Poland, June 17-19, 2015},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/EBCCSP.2015.7300671},
  doi          = {10.1109/EBCCSP.2015.7300671},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ebccsp/CilkuCPCP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SpiegelbergKC15,
  author       = {Gernot Spiegelberg and
                  Hermann Kopetz and
                  Alfons Crespo},
  title        = {Keynote Talks: Requirements on E/E-system architecture for future
                  car concepts - Example eMobility with project {RACE}},
  booktitle    = {10th {IEEE} International Symposium on Industrial Embedded Systems,
                  {SIES} 2015, Siegen, Germany, June 8-10, 2015},
  pages        = {IV--VI},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/SIES.2015.7185033},
  doi          = {10.1109/SIES.2015.7185033},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sies/SpiegelbergKC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/TrujilloCAP14,
  author       = {Salvador Trujillo and
                  Alfons Crespo and
                  Alejandro Alonso and
                  Jon P{\'{e}}rez},
  title        = {MultiPARTES: Multi-core partitioning and virtualization for easing
                  the certification of mixed-criticality systems},
  journal      = {Microprocess. Microsystems},
  volume       = {38},
  number       = {8},
  pages        = {921--932},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.micpro.2014.09.004},
  doi          = {10.1016/J.MICPRO.2014.09.004},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mam/TrujilloCAP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/CarrascosaCMBC14,
  author       = {Elena Carrascosa and
                  Javier Coronel and
                  Miguel Masmano and
                  Patricia Balbastre and
                  Alfons Crespo},
  title        = {XtratuM hypervisor redesign for {LEON4} multicore processor},
  journal      = {{SIGBED} Rev.},
  volume       = {11},
  number       = {2},
  pages        = {27--31},
  year         = {2014},
  url          = {https://doi.org/10.1145/2668138.2668142},
  doi          = {10.1145/2668138.2668142},
  timestamp    = {Fri, 09 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/CarrascosaCMBC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SaezRC14,
  author       = {Sergio S{\'{a}}ez and
                  Jorge Real and
                  Alfons Crespo},
  editor       = {Laurent George and
                  Tullio Vardanega},
  title        = {Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor
                  Platforms in Ada 2012},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe
                  International Conference on Reliable Software Technologies, Paris,
                  France, June 23-27, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8454},
  pages        = {74--90},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08311-7\_7},
  doi          = {10.1007/978-3-319-08311-7\_7},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SaezRC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SaezC14,
  author       = {Sergio S{\'{a}}ez and
                  Alfons Crespo},
  editor       = {Laurent George and
                  Tullio Vardanega},
  title        = {Integrated Schedulers for a Predictable Interrupt Management on Real-Time
                  Kernels},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe
                  International Conference on Reliable Software Technologies, Paris,
                  France, June 23-27, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8454},
  pages        = {134--148},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08311-7\_11},
  doi          = {10.1007/978-3-319-08311-7\_11},
  timestamp    = {Thu, 24 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SaezC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcomp/PeiroMMC14,
  author       = {Salva Peir{\'{o}} and
                  Manuel Mu{\~{n}}oz and
                  Miguel Masmano and
                  Alfons Crespo},
  editor       = {Jos{\'{e}} Gaviria de la Puerta and
                  Iv{\'{a}}n Garc{\'{\i}}a{-}Ferreira and
                  Pablo Garc{\'{\i}}a Bringas and
                  Fanny Klett and
                  Ajith Abraham and
                  Andr{\'{e}} C. P. L. F. de Carvalho and
                  {\'{A}}lvaro Herrero and
                  Bruno Baruque and
                  H{\'{e}}ctor Quinti{\'{a}}n and
                  Emilio Corchado},
  title        = {Detecting Stack Based Kernel Information Leaks},
  booktitle    = {International Joint Conference SOCO'14-CISIS'14-ICEUTE'14 - Bilbao,
                  Spain, June 25th-27th, 2014, Proceedings},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {299},
  pages        = {321--331},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07995-0\_32},
  doi          = {10.1007/978-3-319-07995-0\_32},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/softcomp/PeiroMMC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/GonzalezMCMFA13,
  author       = {Apolinar Gonz{\'{a}}lez and
                  Walter Mata and
                  Alfons Crespo and
                  Miguel Masmano and
                  Jos{\'{e}} F{\'{e}}lix and
                  Alvaro Aburto},
  title        = {A hypervisor based platform to support real-time safety critical embedded
                  java applications},
  journal      = {Comput. Syst. Sci. Eng.},
  volume       = {28},
  number       = {3},
  year         = {2013},
  timestamp    = {Tue, 05 Aug 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csse/GonzalezMCMFA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/Garcia-VallsCV13,
  author       = {Marisol Garc{\'{\i}}a{-}Valls and
                  Alfons Crespo and
                  Joan Vila{-}Carb{\'{o}}},
  title        = {Resource management for mobile operating systems based on the active
                  object model},
  journal      = {Comput. Syst. Sci. Eng.},
  volume       = {28},
  number       = {4},
  year         = {2013},
  timestamp    = {Tue, 05 Aug 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csse/Garcia-VallsCV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/TrujilloCA13,
  author       = {Salvador Trujillo and
                  Alfons Crespo and
                  Alejandro Alonso},
  title        = {MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems},
  booktitle    = {2013 Euromicro Conference on Digital System Design, {DSD} 2013, Los
                  Alamitos, CA, USA, September 4-6, 2013},
  pages        = {260--265},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSD.2013.37},
  doi          = {10.1109/DSD.2013.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/TrujilloCA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/GarciaACG13,
  author       = {Pedro Garc{\'{\i}}a and
                  Pedro Albertos and
                  Alfons Crespo and
                  F. Gonz{\'{a}}lez},
  editor       = {Jean{-}Louis Ferrier and
                  Oleg Yu. Gusikhin and
                  Kurosh Madani and
                  Jurek Z. Sasiadek},
  title        = {Developing Embedded Control Systems with XtratuM - Application to
                  Control the Attitude of a Mini-helicopter},
  booktitle    = {{ICINCO} 2013 - Proceedings of the 10th International Conference on
                  Informatics in Control, Automation and Robotics, Volume 1, Reykjav{\'{\i}}k,
                  Iceland, 29 - 31 July, 2013},
  pages        = {434--441},
  publisher    = {SciTePress},
  year         = {2013},
  url          = {https://doi.org/10.5220/0004484504340441},
  doi          = {10.5220/0004484504340441},
  timestamp    = {Fri, 26 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icinco/GarciaACG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/DominguezHMC13,
  author       = {Carlos Dom{\'{\i}}nguez and
                  Houcine Hassan and
                  Vicent Mayans and
                  Alfons Crespo},
  title        = {Multicore Parallel Implementation of Agent Emotional Processes},
  booktitle    = {12th {IEEE} International Conference on Trust, Security and Privacy
                  in Computing and Communications, TrustCom 2013 / 11th {IEEE} International
                  Symposium on Parallel and Distributed Processing with Applications,
                  {ISPA-13} / 12th {IEEE} International Conference on Ubiquitous Computing
                  and Communications, IUCC-2013, Melbourne, Australia, July 16-18, 2013},
  pages        = {1856--1861},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/TrustCom.2013.248},
  doi          = {10.1109/TRUSTCOM.2013.248},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/trustcom/DominguezHMC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SaezRC12,
  author       = {Sergio S{\'{a}}ez and
                  Jorge Real and
                  Alfons Crespo},
  editor       = {Mats Brorsson and
                  Lu{\'{\i}}s Miguel Pinho},
  title        = {An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe
                  International Conference on Reliable Software Technologies, Stockholm,
                  Sweden, June 11-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7308},
  pages        = {18--34},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30598-6\_2},
  doi          = {10.1007/978-3-642-30598-6\_2},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SaezRC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jirs/GonzalezMVASCC11,
  author       = {Apolinar Gonz{\'{a}}lez and
                  Walter Mata and
                  Luis Villase{\~{n}}or Pineda and
                  Ra{\'{u}}l Aquino and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Magaly Ch{\'{a}}vez and
                  Alfons Crespo},
  title        = {{\(\mu\)}DDS: {A} Middleware for Real-time Wireless Embedded Systems},
  journal      = {J. Intell. Robotic Syst.},
  volume       = {64},
  number       = {3-4},
  pages        = {489--503},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10846-011-9550-z},
  doi          = {10.1007/S10846-011-9550-Z},
  timestamp    = {Tue, 07 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jirs/GonzalezMVASCC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/MartinezGBASC11,
  author       = {Diego Mart{\'{\i}}nez and
                  Apolinar Gonz{\'{a}}lez and
                  Francisco Blanes and
                  Ra{\'{u}}l Aquino and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Alfons Crespo},
  title        = {Formal Specification and Design Techniques for Wireless Sensor and
                  Actuator Networks},
  journal      = {Sensors},
  volume       = {11},
  number       = {1},
  pages        = {1059--1077},
  year         = {2011},
  url          = {https://doi.org/10.3390/s110101059},
  doi          = {10.3390/S110101059},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/MartinezGBASC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SaezTC11,
  author       = {Sergio S{\'{a}}ez and
                  Silvia Terrasa and
                  Alfons Crespo},
  editor       = {Alexander B. Romanovsky and
                  Tullio Vardanega},
  title        = {A Real-Time Framework for Multiprocessor Platforms Using Ada 2012},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe
                  International Conference on Reliable Software Technologies, Edinburgh,
                  UK, June 20-24, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6652},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21338-0\_4},
  doi          = {10.1007/978-3-642-21338-0\_4},
  timestamp    = {Thu, 24 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SaezTC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/EsquinasZPMRC11,
  author       = {{\'{A}}ngel Esquinas and
                  Juan Zamorano and
                  Juan Antonio de la Puente and
                  Miguel Masmano and
                  Ismael Ripoll and
                  Alfons Crespo},
  editor       = {Alexander B. Romanovsky and
                  Tullio Vardanega},
  title        = {ORK+/XtratuM: An Open Partitioning Platform for Ada},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe
                  International Conference on Reliable Software Technologies, Edinburgh,
                  UK, June 20-24, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6652},
  pages        = {160--173},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21338-0\_12},
  doi          = {10.1007/978-3-642-21338-0\_12},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/EsquinasZPMRC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/DominguezHAMC11,
  author       = {Carlos Dom{\'{\i}}nguez and
                  Houcine Hassan and
                  Jos{\'{e}} Albaladejo and
                  Maria Marco and
                  Alfons Crespo},
  editor       = {Yang Xiang and
                  Alfredo Cuzzocrea and
                  Michael Hobbs and
                  Wanlei Zhou},
  title        = {Emotional Contribution Process Implementations on Parallel Processors},
  booktitle    = {Algorithms and Architectures for Parallel Processing - 11th International
                  Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7017},
  pages        = {343--352},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24669-2\_33},
  doi          = {10.1007/978-3-642-24669-2\_33},
  timestamp    = {Thu, 21 Apr 2022 14:42:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ica3pp/DominguezHAMC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/AlbertosCSF10,
  author       = {Pedro Albertos and
                  Alfons Crespo and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Adel Fern{\'{a}}ndez},
  editor       = {Jorge Real and
                  Tullio Vardanega},
  title        = {Control Co-design: Algorithms and Their Implementation},
  booktitle    = {Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe
                  International Conference on Reliable Software Technologies, Valencia,
                  Spain, June 14-18, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6106},
  pages        = {19--40},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13550-7\_2},
  doi          = {10.1007/978-3-642-13550-7\_2},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/AlbertosCSF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SaezC10,
  author       = {Sergio S{\'{a}}ez and
                  Alfons Crespo},
  editor       = {Jorge Real and
                  Tullio Vardanega},
  title        = {Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems},
  booktitle    = {Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe
                  International Conference on Reliable Software Technologies, Valencia,
                  Spain, June 14-18, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6106},
  pages        = {68--82},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13550-7\_5},
  doi          = {10.1007/978-3-642-13550-7\_5},
  timestamp    = {Thu, 24 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SaezC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/JouvrayCFRMC10,
  author       = {Christophe Jouvray and
                  Gr{\'{e}}goire Chartier and
                  Nicolas Fran{\c{c}}ois and
                  Ismael Ripoll and
                  Miguel Masmano and
                  Alfons Crespo},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Enforcing trust in control automotive platforms},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {43--46},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772656},
  doi          = {10.1145/1772643.1772656},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/JouvrayCFRMC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/CrespoRM10,
  author       = {Alfons Crespo and
                  Ismael Ripoll and
                  Miguel Masmano},
  title        = {Partitioned Embedded Architecture Based on Hypervisor: The XtratuM
                  Approach},
  booktitle    = {Eighth European Dependable Computing Conference, {EDCC-8} 2010, Valencia,
                  Spain, 28-30 April 2010},
  pages        = {67--72},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/EDCC.2010.18},
  doi          = {10.1109/EDCC.2010.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/CrespoRM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/MartinezBBSC10,
  author       = {Diego Mart{\'{\i}}nez and
                  Patricia Balbastre and
                  Francisco Blanes and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Alfons Crespo},
  title        = {Design procedure to minimize power consumption and delays in {WSAN}},
  booktitle    = {Proceedings of 15th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2010, September 13-16, 2010, Bilbao,
                  Spain},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ETFA.2010.5641283},
  doi          = {10.1109/ETFA.2010.5641283},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/MartinezBBSC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/AracilDHC10,
  author       = {Joan Aracil and
                  Carlos Dom{\'{\i}}nguez and
                  Houcine Hassan and
                  Alfons Crespo},
  editor       = {Ching{-}Hsien Hsu and
                  Laurence Tianruo Yang and
                  Jong Hyuk Park and
                  Sang{-}Soo Yeo},
  title        = {Real-Time Linux Framework for Designing Parallel Mobile Robotic Applications},
  booktitle    = {Algorithms and Architectures for Parallel Processing, 10th International
                  Conference, {ICA3PP} 2010, Busan, Korea, May 21-23, 2010. Proceedings.
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6082},
  pages        = {454--463},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13136-3\_46},
  doi          = {10.1007/978-3-642-13136-3\_46},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ica3pp/AracilDHC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/DominguezHAC10,
  author       = {Carlos Dom{\'{\i}}nguez and
                  Houcine Hassan and
                  Jos{\'{e}} Albaladejo and
                  Alfons Crespo},
  editor       = {Hamid R. Arabnia and
                  David de la Fuente and
                  Elena B. Kozerenko and
                  Jos{\'{e}} Angel Olivas and
                  Rui Chang and
                  Peter M. LaMonica and
                  Raymond A. Liuzzi and
                  Ashu M. G. Solo},
  title        = {Simulation Fframework for Validation of Emotional Agents},
  booktitle    = {Proceedings of the 2010 International Conference on Artificial Intelligence,
                  {ICAI} 2010, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes},
  pages        = {982--988},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Tue, 07 Dec 2010 11:23:59 +0100},
  biburl       = {https://dblp.org/rec/conf/icai/DominguezHAC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BalbastreRC09,
  author       = {Patricia Balbastre and
                  Ismael Ripoll and
                  Alfons Crespo},
  title        = {Period sensitivity analysis and {D-P} domain feasibility region in
                  dynamic priority systems},
  journal      = {J. Syst. Softw.},
  volume       = {82},
  number       = {7},
  pages        = {1098--1111},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jss.2009.01.040},
  doi          = {10.1016/J.JSS.2009.01.040},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/BalbastreRC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/MartinezBSC09,
  author       = {Diego Mart{\'{\i}}nez and
                  Francisco Blanes and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Alfons Crespo},
  title        = {Wireless Sensors and Actuators Networks: Characterization and Cases
                  Study for Confined Spaces Healthcare and Control Applications},
  journal      = {Scalable Comput. Pract. Exp.},
  volume       = {10},
  number       = {3},
  year         = {2009},
  url          = {http://www.scpe.org/index.php/scpe/article/view/620},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scpe/MartinezBSC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SaezTGC09,
  author       = {Sergio S{\'{a}}ez and
                  Silvia Terrasa and
                  Vicente Lorente Garc{\'{e}}s and
                  Alfons Crespo},
  editor       = {Fabrice Kordon and
                  Yvon Kermarrec},
  title        = {Implementing Reactive Systems with {UML} State Machines and Ada 2005},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe
                  International Conference, Brest, France, June 8-12, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5570},
  pages        = {149--163},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01924-1\_11},
  doi          = {10.1007/978-3-642-01924-1\_11},
  timestamp    = {Thu, 24 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SaezTGC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaESA/GarciaHDC09,
  author       = {Jesus Garcia and
                  Houcine Hassan and
                  Carlos Dom{\'{\i}}nguez and
                  Alfons Crespo},
  editor       = {Hamid R. Arabnia and
                  Ashu M. G. Solo},
  title        = {Simulation Tool Incorporating a Flexible Real-Time Task Model for
                  Mobile Robotic Systems},
  booktitle    = {Proceedings of the 2009 International Conference on Embedded Systems
                  {\&} Applications, {ESA} 2009, July 13-16, 2009, Las Vegas Nevada,
                  {USA}},
  pages        = {123--129},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Tue, 03 Nov 2009 11:09:08 +0100},
  biburl       = {https://dblp.org/rec/conf/csreaESA/GarciaHDC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/DominguezHC09,
  author       = {Carlos Dom{\'{\i}}nguez and
                  Houcine Hassan and
                  Alfons Crespo},
  editor       = {Hamid R. Arabnia and
                  David de la Fuente and
                  Jos{\'{e}} Angel Olivas},
  title        = {Real-time Emotional Agent Architecture Application on Service Mobile
                  Robot Control},
  booktitle    = {Proceedings of the 2009 International Conference on Artificial Intelligence,
                  {ICAI} 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes},
  pages        = {385--391},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Sun, 01 Nov 2009 16:07:13 +0100},
  biburl       = {https://dblp.org/rec/conf/icai/DominguezHC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BalbastreRC09,
  author       = {Patricia Balbastre and
                  Ismael Ripoll and
                  Alfons Crespo},
  title        = {Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling},
  booktitle    = {15th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2009, Beijing, China, 24-26 August
                  2009},
  pages        = {315--320},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/RTCSA.2009.40},
  doi          = {10.1109/RTCSA.2009.40},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/BalbastreRC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/CrespoRHL08,
  author       = {Alfons Crespo and
                  Ismael Ripoll and
                  Michael Gonz{\'{a}}lez Harbour and
                  Giuseppe Lipari},
  title        = {Operating System Support for Embedded Real-Time Applications},
  journal      = {{EURASIP} J. Embed. Syst.},
  volume       = {2008},
  year         = {2008},
  url          = {https://doi.org/10.1155/2008/502768},
  doi          = {10.1155/2008/502768},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejes/CrespoRHL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/MasmanoRBC08,
  author       = {Miguel Masmano and
                  Ismael Ripoll and
                  Patricia Balbastre and
                  Alfons Crespo},
  title        = {A constant-time dynamic storage allocator for real-time systems},
  journal      = {Real Time Syst.},
  volume       = {40},
  number       = {2},
  pages        = {149--179},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11241-008-9052-7},
  doi          = {10.1007/S11241-008-9052-7},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/MasmanoRBC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/MasmanoRRCW08,
  author       = {Miguel Masmano and
                  Ismael Ripoll and
                  Jorge Real and
                  Alfons Crespo and
                  Andy J. Wellings},
  title        = {Implementation of a constant-time dynamic storage allocator},
  journal      = {Softw. Pract. Exp.},
  volume       = {38},
  number       = {10},
  pages        = {995--1026},
  year         = {2008},
  url          = {https://doi.org/10.1002/spe.858},
  doi          = {10.1002/SPE.858},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/spe/MasmanoRRCW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BalbastreRC08,
  author       = {Patricia Balbastre and
                  Ismael Ripoll and
                  Alfons Crespo},
  title        = {Minimum Deadline Calculation for Periodic Real-Time Tasks in Dynamic
                  Priority Systems},
  journal      = {{IEEE} Trans. Computers},
  volume       = {57},
  number       = {1},
  pages        = {96--109},
  year         = {2008},
  url          = {https://doi.org/10.1109/TC.2007.70787},
  doi          = {10.1109/TC.2007.70787},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tc/BalbastreRC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaESA/RamadaDHC08,
  author       = {David Ramada and
                  Carlos Dom{\'{\i}}nguez and
                  Houcine Hassan and
                  Alfons Crespo},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun},
  title        = {Real-time Embedded Architecture for Advanced Service Robots},
  booktitle    = {Proceedings of the 2008 International Conference on Embedded Systems
                  {\&} Applications, {USA} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {81--87},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Tue, 10 Feb 2009 12:27:35 +0100},
  biburl       = {https://dblp.org/rec/conf/csreaESA/RamadaDHC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/DominguezHC08,
  author       = {Carlos Dom{\'{\i}}nguez and
                  Houcine Hassan and
                  Alfons Crespo},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun},
  title        = {Emotional Architecture for Robotic Agents},
  booktitle    = {Proceedings of the 2008 International Conference on Artificial Intelligence,
                  {ICAI} 2008, July 14-17, 2008, Las Vegas, Nevada, USA, 2 Volumes (includes
                  the 2008 International Conference on Machine Learning; Models, Technologies
                  and Applications)},
  pages        = {693--699},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Tue, 10 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icai/DominguezHC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imcsit/MartinezBSC08,
  author       = {Diego Mart{\'{\i}}nez and
                  Francisco Blanes and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Alfons Crespo},
  title        = {Wireless Sensor and Actuator Networks: Charecterization and case study
                  for confined spaces healthcare applications},
  booktitle    = {Proceedings of the International Multiconference on Computer Science
                  and Information Technology, {IMCSIT} 2008, Wisla, Poland, 20-22 October
                  2008},
  pages        = {687--693},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/IMCSIT.2008.4747317},
  doi          = {10.1109/IMCSIT.2008.4747317},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/imcsit/MartinezBSC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/MarchandBRC08,
  author       = {Audrey Marchand and
                  Patricia Balbastre and
                  Ismael Ripoll and
                  Alfons Crespo},
  title        = {Providing Memory QoS Guarantees for Real-Time Applications},
  booktitle    = {The Fourteenth {IEEE} Internationl Conference on Embedded and Real-Time
                  Computing Systems and Applications, {RTCSA} 2008, Kaohisung, Taiwan,
                  25-27 August 2008, Proceedings},
  pages        = {312--317},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/RTCSA.2008.12},
  doi          = {10.1109/RTCSA.2008.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/MarchandBRC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BalbastreRC07,
  author       = {Patricia Balbastre and
                  Ismael Ripoll and
                  Alfons Crespo},
  title        = {Analysis of window-constrained execution time systems},
  journal      = {Real Time Syst.},
  volume       = {35},
  number       = {2},
  pages        = {109--134},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11241-006-9004-z},
  doi          = {10.1007/S11241-006-9004-Z},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BalbastreRC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/MarchandBRMC07,
  author       = {Audrey Marchand and
                  Patricia Balbastre and
                  Ismael Ripoll and
                  Miguel Masmano and
                  Alfons Crespo},
  title        = {Memory Resource Management for Real-Time Systems},
  booktitle    = {19th Euromicro Conference on Real-Time Systems, ECRTS'07, 4-6 July
                  2007, Pisa, Italy, Proceedings},
  pages        = {201--210},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ECRTS.2007.18},
  doi          = {10.1109/ECRTS.2007.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/MarchandBRMC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipc/DominguezHC07,
  author       = {Carlos Dom{\'{\i}}nguez and
                  Houcine Hassan and
                  Alfons Crespo},
  title        = {Real-Time Embedded Architecture for Pervasive Robots},
  booktitle    = {The 2007 International Conference on Intelligent Pervasive Computing,
                  {IPC} 2007, Jeju Island, Korea, 11-13 October 2007},
  pages        = {531--536},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/IPC.2007.97},
  doi          = {10.1109/IPC.2007.97},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipc/DominguezHC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BalbastreRC06,
  author       = {Patricia Balbastre and
                  Ismael Ripoll and
                  Alfons Crespo},
  title        = {Optimal deadline assignment for periodic real-time tasks in dynamic
                  priority systems},
  booktitle    = {18th Euromicro Conference on Real-Time Systems, ECRTS'06, 5-7 July
                  2006, Dresden, Germany, Proceedings},
  pages        = {65--74},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ECRTS.2006.17},
  doi          = {10.1109/ECRTS.2006.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BalbastreRC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/CrespoRM06,
  author       = {Alfons Crespo and
                  Ismael Ripoll and
                  Miguel Masmano},
  editor       = {Bernd Kleinjohann and
                  Lisa Kleinjohann and
                  Ricardo Jorge Machado and
                  Carlos Eduardo Pereira and
                  P. S. Thiagarajan},
  title        = {Dynamic Memory Management for Embedded Real-Time Systems},
  booktitle    = {From Model-Driven Design to Resource Management for Distributed Embedded
                  Systems, {IFIP} {TC} 10 Working Conference on Distributed and Parallel
                  Embedded Systems {(DIPES} 2006), October 11-13, 2006, Braga, Portugal},
  series       = {{IFIP}},
  volume       = {225},
  pages        = {195--204},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-39362-9\_21},
  doi          = {10.1007/978-0-387-39362-9\_21},
  timestamp    = {Wed, 09 Aug 2023 08:39:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/CrespoRM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/MasmanoRC06,
  author       = {Miguel Masmano and
                  Ismael Ripoll and
                  Alfons Crespo},
  editor       = {Marc Richard{-}Foy},
  title        = {A comparison of memory allocators for real-time applications},
  booktitle    = {Proceedings of the 4th international workshop on Java technologies
                  for real-time and embedded systems, {JTRES} '06, Paris, France, October
                  11-13, 2006},
  pages        = {68--76},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1167999.1168012},
  doi          = {10.1145/1167999.1168012},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jtres/MasmanoRC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LluesmaCBRC06,
  author       = {Manuel Lluesma and
                  Anton Cervin and
                  Patricia Balbastre and
                  Ismael Ripoll and
                  Alfons Crespo},
  title        = {Jitter Evaluation of Real-Time Control Systems},
  booktitle    = {12th {IEEE} Conference on Embedded and Real-Time Computing Systems
                  and Applications {(RTCSA} 2006), 16-18 August 2006, Sydney, Australia},
  pages        = {257--260},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/RTCSA.2006.41},
  doi          = {10.1109/RTCSA.2006.41},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/LluesmaCBRC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SaezLTC05,
  author       = {Sergio S{\'{a}}ez and
                  Vicente Lorente Garc{\'{e}}s and
                  Silvia Terrasa and
                  Alfons Crespo},
  editor       = {Tullio Vardanega and
                  Andy J. Wellings},
  title        = {Efficient Alternatives for Implementing Fixed-Priority Schedulers},
  booktitle    = {Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International
                  Conference on Reliable Software Technologies, York, UK, June 20-24,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3555},
  pages        = {39--50},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11499909\_4},
  doi          = {10.1007/11499909\_4},
  timestamp    = {Thu, 24 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SaezLTC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MasmanoRCR05,
  author       = {Miguel Masmano and
                  Jorge Real and
                  Alfons Crespo and
                  Ismael Ripoll},
  editor       = {Tullio Vardanega and
                  Andy J. Wellings},
  title        = {Distributing Criticality Across Ada Partitions},
  booktitle    = {Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International
                  Conference on Reliable Software Technologies, York, UK, June 20-24,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3555},
  pages        = {196--207},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11499909\_16},
  doi          = {10.1007/11499909\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MasmanoRCR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/RealC04,
  author       = {Jorge Real and
                  Alfons Crespo},
  title        = {Mode Change Protocols for Real-Time Systems: {A} Survey and a New
                  Proposal},
  journal      = {Real Time Syst.},
  volume       = {26},
  number       = {2},
  pages        = {161--197},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:TIME.0000016129.97430.c6},
  doi          = {10.1023/B:TIME.0000016129.97430.C6},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rts/RealC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BalbastreRVC04,
  author       = {Patricia Balbastre and
                  Ismael Ripoll and
                  Josep Vidal Canet and
                  Alfons Crespo},
  title        = {A Task Model to Reduce Control Delays},
  journal      = {Real Time Syst.},
  volume       = {27},
  number       = {3},
  pages        = {215--236},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:TIME.0000029049.50766.fa},
  doi          = {10.1023/B:TIME.0000029049.50766.FA},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BalbastreRVC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MasmanoRRC04,
  author       = {Miguel Masmano and
                  Jorge Real and
                  Ismael Ripoll and
                  Alfons Crespo},
  editor       = {Albert Llamos{\'{\i}} and
                  Alfred Strohmeier},
  title        = {Extending the Capabilities of Real-Time Applications by Combining
                  MaRTE-OS and Linux},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International
                  Conference on Reliable Software Technologies, Palma de Mallorca, Spain,
                  June 14-18, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3063},
  pages        = {144--155},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24841-5\_11},
  doi          = {10.1007/978-3-540-24841-5\_11},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MasmanoRRC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RealBGSC04,
  author       = {Jorge Real and
                  Alan Burns and
                  Javier Miranda and
                  Edmond Schonberg and
                  Alfons Crespo},
  editor       = {Albert Llamos{\'{\i}} and
                  Alfred Strohmeier},
  title        = {Dynamic Ceiling Priorities: {A} Proposal for Ada0Y},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International
                  Conference on Reliable Software Technologies, Palma de Mallorca, Spain,
                  June 14-18, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3063},
  pages        = {261--272},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24841-5\_21},
  doi          = {10.1007/978-3-540-24841-5\_21},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/RealBGSC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/MasmanoRCR04,
  author       = {Miguel Masmano and
                  Ismael Ripoll and
                  Alfons Crespo and
                  Jorge Real},
  title        = {{TLSF:} {A} New Dynamic Memory Allocator for Real-Time Systems},
  booktitle    = {16th Euromicro Conference on Real-Time Systems {(ECRTS} 2004), 30
                  June - 2 July 1004, Catania, Italy, Proceedings},
  pages        = {79--86},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ECRTS.2004.35},
  doi          = {10.1109/ECRTS.2004.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/MasmanoRCR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/MarzarioLBC04,
  author       = {Luca Marzario and
                  Giuseppe Lipari and
                  Patricia Balbastre and
                  Alfons Crespo},
  title        = {{IRIS:} {A} New Reclaiming Algorithm for Server-Based Real-Time Systems},
  booktitle    = {10th {IEEE} Real-Time and Embedded Technology and Applications Symposium
                  {(RTAS} 2004), 25-28 May 2004, Toronto, Canada},
  pages        = {211--218},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/RTTAS.2004.1317266},
  doi          = {10.1109/RTTAS.2004.1317266},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/MarzarioLBC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MinguetGFL03,
  author       = {Agust{\'{\i}}n Espinosa Minguet and
                  Vicente Lorente Garc{\'{e}}s and
                  Ana Garc{\'{\i}}a{-}Fornes and
                  Alfons Crespo i Lorente},
  editor       = {Jean{-}Pierre Rosen and
                  Alfred Strohmeier},
  title        = {Getting System Metrics Using {POSIX} Tracing Services},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
                  Conference on Reliable Software Technologies, Toulouse, France, June
                  16-20, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2655},
  pages        = {220--231},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44947-7\_16},
  doi          = {10.1007/3-540-44947-7\_16},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MinguetGFL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MasmanoRRC03,
  author       = {Miguel Masmano and
                  Jorge Real and
                  Ismael Ripoll and
                  Alfons Crespo},
  editor       = {Jean{-}Pierre Rosen and
                  Alfred Strohmeier},
  title        = {Running Ada on Real-Time Linux},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
                  Conference on Reliable Software Technologies, Toulouse, France, June
                  16-20, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2655},
  pages        = {322--333},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44947-7\_24},
  doi          = {10.1007/3-540-44947-7\_24},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MasmanoRRC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PozaPSC03,
  author       = {Jos{\'{e}} L. Poza and
                  Juan L. Posadas and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Alfons Crespo},
  title        = {Communication system architecture to manage a containers terminal},
  booktitle    = {Proceedings of 9th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2003, September 16-19, 2003, Lisbon,
                  Portugal - Volume 2},
  pages        = {629--635},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/ETFA.2003.1248757},
  doi          = {10.1109/ETFA.2003.1248757},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/PozaPSC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/MirandaSMRC03,
  author       = {Javier Miranda and
                  Edmond Schonberg and
                  Miguel Masmano and
                  Jorge Real and
                  Alfons Crespo},
  editor       = {Tullio Vardanega},
  title        = {Dynamic ceiling priorities in {GNAT} implementation report},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {24--27},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959227},
  doi          = {10.1145/959222.959227},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MirandaSMRC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/LorenteETGC03,
  author       = {Vicente Lorente Garc{\'{e}}s and
                  Agust{\'{\i}}n Espinosa and
                  Andr{\'{e}}s Terrasa and
                  Ana Garc{\'{\i}}a{-}Fornes and
                  Alfons Crespo},
  editor       = {Jan Gustafsson},
  title        = {Evaluating Reasons for Unexpected Results When Measuring Execution
                  Time of Code},
  booktitle    = {Proceedings of the 3rd International Workshop on Worst-Case Execution
                  Time Analysis, {WCET} 2003 - a Satellite Event to {ECRTS} 2003, Polytechnic
                  Institute of Porto, Portugal, July 1, 2003},
  volume       = {{MDH-MRTC-116/2003-1-SE}},
  pages        = {79--85},
  publisher    = {Department of Computer Science and Engineering, M{\"{a}}lardalen
                  University, Box 883, 721 23 V{\"{a}}ster{\aa}s, Sweden},
  year         = {2003},
  timestamp    = {Wed, 10 Jun 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcet/LorenteETGC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/Jaramillo-BoteroC02,
  author       = {Andr{\'{e}}s Jaramillo{-}Botero and
                  Alfons Crespo},
  title        = {A Unified Formulation for Massively Parallel Rigid Multibody Dynamics
                  of {O} (log\({}_{\mbox{2}}\)n) Computational Complexity},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {62},
  number       = {6},
  pages        = {1001--1020},
  year         = {2002},
  url          = {https://doi.org/10.1006/jpdc.2001.1820},
  doi          = {10.1006/JPDC.2001.1820},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jpdc/Jaramillo-BoteroC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MinguetGC02,
  author       = {Agust{\'{\i}}n Espinosa Minguet and
                  Ana Garc{\'{\i}}a{-}Fornes and
                  Alfons Crespo},
  editor       = {Johann Blieberger and
                  Alfred Strohmeier},
  title        = {An Ada Binding to the {IEEE} 1003.1q {(POSIX} Tracing) Standard},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International
                  Conference on Reliable Software Technologies, Vienna, Austria, June
                  17-21, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2361},
  pages        = {321--333},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-48046-3\_25},
  doi          = {10.1007/3-540-48046-3\_25},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MinguetGC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BalbastreRC02,
  author       = {Patricia Balbastre and
                  Ismael Ripoll and
                  Alfons Crespo},
  title        = {Schedulability Analysis of Window-Constrained Execution Time Tasks
                  for Real-Time Control},
  booktitle    = {14th Euromicro Conference on Real-Time Systems {(ECRTS} 2002), 19-21
                  June 2002, Vienna, Austria, Proceedings},
  pages        = {11--18},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/EMRTS.2002.1019181},
  doi          = {10.1109/EMRTS.2002.1019181},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BalbastreRC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/HassanSC02,
  author       = {Houcine Hassan and
                  Jos{\'{e}} E. Sim{\'{o}} and
                  Alfons Crespo},
  title        = {Enhancing the Flexibility and the Quality of Service of Autonomous
                  Mobile Robotic Applications},
  booktitle    = {14th Euromicro Conference on Real-Time Systems {(ECRTS} 2002), 19-21
                  June 2002, Vienna, Austria, Proceedings},
  pages        = {213},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/EMRTS.2002.1019201},
  doi          = {10.1109/EMRTS.2002.1019201},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/HassanSC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RealCW002,
  author       = {Jorge Real and
                  Alfons Crespo and
                  Andy J. Wellings and
                  Alan Burns},
  editor       = {William Currie Colket},
  title        = {Protected ceiling changes},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {66--71},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584427},
  doi          = {10.1145/584418.584427},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RealCW002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/CrespoBT01,
  author       = {Alfons Crespo and
                  Patricia Balbastre and
                  Silvia Terrasa},
  editor       = {Dirk Craeynest and
                  Alfred Strohmeier},
  title        = {Complex Task Implementation in Ada},
  booktitle    = {Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International
                  Conference Leuven, Belgium, May 14-18, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2043},
  pages        = {167--178},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45136-6\_13},
  doi          = {10.1007/3-540-45136-6\_13},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/CrespoBT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/RealC01,
  author       = {Jorge Real and
                  Alfons Crespo},
  title        = {Offsets for Scheduling Mode Changes},
  booktitle    = {13th Euromicro Conference on Real-Time Systems {(ECRTS} 2001), 13-15
                  June 2001, Delft, The Netherlands, Proceedings},
  pages        = {3--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/EMRTS.2001.933989},
  doi          = {10.1109/EMRTS.2001.933989},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/RealC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/HassanCS01,
  author       = {Houcine Hassan and
                  Alfons Crespo and
                  Jos{\'{e}} E. Sim{\'{o}}},
  title        = {Improving the quality of service in behavioural-based mobile robotic
                  applications},
  booktitle    = {Proceedings of 8th {IEEE} International Conference on Emerging Technologies
                  and Factory Automation, {ETFA} 2001, October 15-18, 2001, Antibes/Juan
                  les Pins, France - Volume 1},
  pages        = {31--40},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/ETFA.2001.996351},
  doi          = {10.1109/ETFA.2001.996351},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/HassanCS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/AlbertosC01,
  author       = {Pedro Albertos and
                  Alfons Crespo},
  editor       = {Roberto Moreno{-}D{\'{\i}}az and
                  Bruno Buchberger and
                  Jos{\'{e}} Luis Freire},
  title        = {Integrated Design and Implementation of Digital Controllers},
  booktitle    = {Computer Aided Systems Theory - {EUROCAST} 2001, Las Palmas de Gran
                  Canaria, Spain, February 19-23, 2001, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2178},
  pages        = {385--392},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45654-6\_30},
  doi          = {10.1007/3-540-45654-6\_30},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocast/AlbertosC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AlbertosCRVB00,
  author       = {Pedro Albertos and
                  Alfons Crespo and
                  Ismael Ripoll and
                  Marina Vall{\'{e}}s and
                  Patricia Balbastre},
  title        = {{RT} control scheduling to reduce control performance degrading},
  booktitle    = {39th {IEEE} Conference on Decision and Control, {CDC} 2000, Sydney,
                  Australia, December 12-15, 2000},
  pages        = {4889--4894},
  publisher    = {{IEEE}},
  year         = {2000},
  url          = {https://doi.org/10.1109/CDC.2001.914705},
  doi          = {10.1109/CDC.2001.914705},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/AlbertosCRVB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RealLC00,
  author       = {Jorge Real and
                  Albert Llamos{\'{\i}} and
                  Alfons Crespo},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {A semantics for dynamic ceiling priorities in Ada},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {91--95},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374388},
  doi          = {10.1145/374370.374388},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RealLC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SaezVC00,
  author       = {Sergio S{\'{a}}ez and
                  Joan Vila i Carb{\'{o}} and
                  Alfons Crespo},
  title        = {Task attribute assignment of fixed priority scheduled tasks to reenact
                  off-line schedules},
  booktitle    = {7th International Workshop on Real-Time Computing and Applications
                  Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
                  Korea},
  pages        = {145--149},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/RTCSA.2000.896382},
  doi          = {10.1109/RTCSA.2000.896382},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtcsa/SaezVC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BalbastreRC00,
  author       = {Patricia Balbastre and
                  Ismael Ripoll and
                  Alfons Crespo},
  title        = {Control tasks delay reduction under static and dynamic scheduling
                  policies},
  booktitle    = {7th International Workshop on Real-Time Computing and Applications
                  Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
                  Korea},
  pages        = {522},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/RTCSA.2000.896437},
  doi          = {10.1109/RTCSA.2000.896437},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtcsa/BalbastreRC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/GonzalezC99,
  author       = {Apolinar Gonz{\'{a}}lez and
                  Alfons Crespo},
  editor       = {Michael Gonz{\'{a}}lez Harbour and
                  Juan Antonio de la Puente},
  title        = {Environment for the Development and Specification of Real-Time Ada
                  Programs},
  booktitle    = {Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International
                  Conference on Reliable Software Technologies, Santander, Spain, June
                  7-11, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1622},
  pages        = {124--135},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48753-0\_11},
  doi          = {10.1007/3-540-48753-0\_11},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/GonzalezC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/SaezVC99,
  author       = {Sergio S{\'{a}}ez and
                  Joan Vila i Carb{\'{o}} and
                  Alfons Crespo},
  title        = {Development of a Host {DBMS} for Testing Switching System Software},
  booktitle    = {6th International Workshop on Real-Time Computing and Applications
                  Symposium {(RTCSA} '99), 13-16 December 1999, Hong Kong, China},
  pages        = {424},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/RTCSA.1999.811293},
  doi          = {10.1109/RTCSA.1999.811293},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtcsa/SaezVC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/BallbastreTVC99,
  author       = {Patricia Balbastre and
                  Silvia Terrasa and
                  Joan Vila i Carb{\'{o}} and
                  Alfons Crespo},
  editor       = {Hal Hart and
                  S. Tucker Taft and
                  Franco Gasperoni},
  title        = {Experiences using Ada in a real-time and distributed laboratory},
  booktitle    = {Proceedings {ACM} SIGAda Annual International Conference, SIGAda 1999,
                  The Engineering of Industrial Strength Real-Time Software {\&}
                  Distributed Systems: Using Ada and Related Technologie, Redondo Beach,
                  CA, USA, October 17-21, 1999},
  pages        = {145--155},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/319294.319316},
  doi          = {10.1145/319294.319316},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/BallbastreTVC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/BottiBC98,
  author       = {Vicente J. Botti and
                  Federico Barber and
                  Alfons Crespo},
  title        = {Towards a Temporal Coherence Management in Real-Time Knowledge-Based
                  Systems},
  journal      = {Data Knowl. Eng.},
  volume       = {25},
  number       = {3},
  pages        = {247--266},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0169-023X(97)00025-6},
  doi          = {10.1016/S0169-023X(97)00025-6},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/BottiBC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/SaezCC98,
  author       = {Sergio S{\'{a}}ez and
                  Joan Vila i Carb{\'{o}} and
                  Alfons Crespo},
  title        = {Using exact feasibility tests for allocating real-time tasks in multiprocessor
                  systems},
  booktitle    = {10th Euromicro Conference on Real-Time Systems {(ECRTS} 1998), 17-19
                  June 1998, berlin, Germany, Proceedings},
  pages        = {53--60},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/EMWRTS.1998.685068},
  doi          = {10.1109/EMWRTS.1998.685068},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/SaezCC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RipollCG97,
  author       = {Ismael Ripoll and
                  Alfons Crespo and
                  Ana Garc{\'{\i}}a{-}Fornes},
  title        = {An Optimal Algorithm for Scheduling Soft Aperiodic Tasks in Dynamic-Priority
                  Preemptive Systems},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {23},
  number       = {6},
  pages        = {388--400},
  year         = {1997},
  url          = {https://doi.org/10.1109/32.601081},
  doi          = {10.1109/32.601081},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/RipollCG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/SanchezBHCM97,
  author       = {A. J. S{\'{a}}nchez and
                  F{\'{e}}lix Buend{\'{\i}}a and
                  Houcine Hassan and
                  Alfons Crespo and
                  John A. Marchant},
  title        = {Analysis and evaluation of a real-time horticultural autonomous vehicle
                  system},
  booktitle    = {Proceedings of the Ninth Euromicro Workshop on Real-Time Systems,
                  {RTS} 1997, 11-13 June, 1997, Toledo, Spain},
  pages        = {41--47},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/EMWRTS.1997.613762},
  doi          = {10.1109/EMWRTS.1997.613762},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/SanchezBHCM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/Garcia-FornesHC96,
  author       = {Ana Garc{\'{\i}}a{-}Fornes and
                  Houcine Hassan and
                  Alfons Crespo},
  title        = {Strategies for scheduling optional tasks in intelligent real-time
                  environments},
  journal      = {J. Syst. Archit.},
  volume       = {42},
  number       = {6-7},
  pages        = {391--407},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1383-7621(96)00030-6},
  doi          = {10.1016/S1383-7621(96)00030-6},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/Garcia-FornesHC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/RipollCM96,
  author       = {Ismael Ripoll and
                  Alfons Crespo and
                  Aloysius K. Mok},
  title        = {Improvement in Feasibility Testing for Real-Time Tasks},
  journal      = {Real Time Syst.},
  volume       = {11},
  number       = {1},
  pages        = {19--39},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00365519},
  doi          = {10.1007/BF00365519},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/RipollCM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RealEC96,
  author       = {Jorge Real and
                  Agust{\'{\i}}n Espinosa and
                  Alfons Crespo},
  editor       = {Alfred Strohmeier},
  title        = {Using Ada 95 for Prototyping Real-Time Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International
                  Conference on Reliable Software Technologies, Montreux, Switzerland,
                  June 10-14, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1088},
  pages        = {262--274},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0013494},
  doi          = {10.1007/BFB0013494},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/RealEC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/SaezVC96,
  author       = {Sergio S{\'{a}}ez and
                  Joan Vila i Carb{\'{o}} and
                  Alfons Crespo},
  title        = {A Dynamic Real-Time Scheduler for Shared Memory Multiprocessors},
  booktitle    = {Proceedings of the Eighth Euromicro Workshop on Real-Time Systems,
                  {RTS} 1996, L'Aquila, Italy, June 12-14, 1996},
  pages        = {158--163},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/EMWRTS.1996.557847},
  doi          = {10.1109/EMWRTS.1996.557847},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/SaezVC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/EchagueVC96,
  author       = {Juan Echag{\"{u}}e and
                  Joan Vila i Carb{\'{o}} and
                  Alfons Crespo},
  title        = {Providing Generalized Rate Monotonic Scheduling Theory to {I/O} Abstractions
                  over Timed Token Protocol {MAC} Networks},
  booktitle    = {2nd {IEEE} International Conference on Engineering of Complex Computer
                  Systems {(ICECCS} '96), 21-25 October 1996, Montreal, Canada},
  pages        = {107},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ICECCS.1996.558393},
  doi          = {10.1109/ICECCS.1996.558393},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/EchagueVC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/RipollGC96,
  author       = {Ismael Ripoll and
                  Ana Garc{\'{\i}}a{-}Fornes and
                  Alfons Crespo},
  title        = {Optimal aperiodic scheduling for dynamic-priority systems},
  booktitle    = {Third International Workshop on Real-Time Computing Systems Application
                  {(RTCSA} '96), October 30 - November 01, 1996, Seoul, Korea},
  pages        = {294--300},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/RTCSA.1996.554989},
  doi          = {10.1109/RTCSA.1996.554989},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/RipollGC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/BottiBCOGRGH95,
  author       = {Vicente J. Botti and
                  Federico Barber and
                  Alfons Crespo and
                  Eva Onaindia and
                  Ana Garc{\'{\i}}a{-}Fornes and
                  Ismael Ripoll and
                  Domingo Gallardo and
                  Luis Hern{\'{a}}ndez},
  title        = {A Temporal Blackboard for a Multi-Agent Environment},
  journal      = {Data Knowl. Eng.},
  volume       = {15},
  number       = {3},
  pages        = {189--211},
  year         = {1995},
  url          = {https://doi.org/10.1016/0169-023X(95)00007-F},
  doi          = {10.1016/0169-023X(95)00007-F},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/BottiBCOGRGH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/HassanCG95,
  author       = {Houcine Hassan and
                  Alfons Crespo and
                  Ana Garc{\'{\i}}a{-}Fornes},
  title        = {Scheduling algorithms for improving the response in intelligent real-time
                  environments},
  booktitle    = {7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense,
                  Denmark, March 14-16, 1995},
  pages        = {93--98},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/EMWRTS.1995.514298},
  doi          = {10.1109/EMWRTS.1995.514298},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/HassanCG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/EchagueRC95,
  author       = {Juan Echag{\"{u}}e and
                  Ismael Ripoll and
                  Alfons Crespo},
  title        = {Hard real-time preemptively scheduling with high context switch cost},
  booktitle    = {7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense,
                  Denmark, March 14-16, 1995},
  pages        = {184--190},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/EMWRTS.1995.514310},
  doi          = {10.1109/EMWRTS.1995.514310},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/EchagueRC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/airtc/1994,
  editor       = {Alfons Crespo},
  title        = {Postprint Volume from the {IFAC} Symposium on Artificial Intelligence
                  in Real-Time Control, {AIRTC} 1994, Valencia, Spain, October 3-5,
                  1994},
  publisher    = {Elsevier},
  year         = {1995},
  url          = {https://doi.org/10.1016/c2009-0-00856-3},
  doi          = {10.1016/C2009-0-00856-3},
  isbn         = {978-0-08-042236-7},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/airtc/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/BarberBOC94,
  author       = {Federico Barber and
                  Vicente J. Botti and
                  Eva Onaindia and
                  Alfons Crespo},
  title        = {Temporal Reasoning in {REAKT:} An Environment for Real-Time Knowledge-Based
                  Systems},
  journal      = {{AI} Commun.},
  volume       = {7},
  number       = {3/4},
  pages        = {175--202},
  year         = {1994},
  url          = {https://doi.org/10.3233/AIC-1994-73-403},
  doi          = {10.3233/AIC-1994-73-403},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/BarberBOC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/airtc/SimoC94,
  author       = {Jos{\'{e}} E. Sim{\'{o}} and
                  Alfons Crespo},
  editor       = {Alfons Crespo},
  title        = {Real Time Planning in n-dim State Space},
  booktitle    = {Postprint Volume from the {IFAC} Symposium on Artificial Intelligence
                  in Real-Time Control, {AIRTC} 1994, Valencia, Spain, October 3-5,
                  1994},
  pages        = {307--312},
  publisher    = {Elsevier},
  year         = {1994},
  url          = {https://doi.org/10.1016/b978-0-08-042236-7.50052-3},
  doi          = {10.1016/B978-0-08-042236-7.50052-3},
  timestamp    = {Tue, 02 Jun 2020 16:41:37 +0200},
  biburl       = {https://dblp.org/rec/conf/airtc/SimoC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/airtc/Crespo94,
  author       = {Alfons Crespo},
  editor       = {Alfons Crespo},
  title        = {Foreword},
  booktitle    = {Postprint Volume from the {IFAC} Symposium on Artificial Intelligence
                  in Real-Time Control, {AIRTC} 1994, Valencia, Spain, October 3-5,
                  1994},
  pages        = {iv},
  publisher    = {Elsevier},
  year         = {1994},
  url          = {https://doi.org/10.1016/b978-0-08-042236-7.50004-3},
  doi          = {10.1016/B978-0-08-042236-7.50004-3},
  timestamp    = {Tue, 02 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/airtc/Crespo94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BottiCBR94,
  author       = {Vicente J. Botti and
                  Alfons Crespo and
                  Federico Barber and
                  Ismael Ripoll},
  editor       = {Anthony G. Cohn},
  title        = {Multiple Access and Coherence Management in a Real-Time Temporal Blackboard},
  booktitle    = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
                  Amsterdam, The Netherlands, August 8-12, 1994},
  pages        = {312--316},
  publisher    = {John Wiley and Sons, Chichester},
  year         = {1994},
  timestamp    = {Tue, 20 Jun 2023 09:03:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BottiCBR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/BottiBCGROH93,
  author       = {Vicente J. Botti and
                  Federico Barber and
                  Alfons Crespo and
                  Domingo Gallardo and
                  Ismael Ripoll and
                  Eva Onaindia and
                  Luis Hern{\'{a}}ndez},
  editor       = {Vladim{\'{\i}}r Mar{\'{\i}}k and
                  Jir{\'{\i}} Lazansk{\'{y}} and
                  Roland R. Wagner},
  title        = {Sharing Temporal Knowledge by Multiple Agents},
  booktitle    = {Database and Expert Systems Applications, 4th International Conference,
                  DEXA'93, Prague, Czech Republic, September 6-8, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {720},
  pages        = {470--473},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57234-1\_46},
  doi          = {10.1007/3-540-57234-1\_46},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dexa/BottiBCGROH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics