Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Javier Miranda
@article{DBLP:journals/internet/MirandaMGBMCM15,
author = {Javier Miranda and
Niko M{\"{a}}kitalo and
Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
Javier Berrocal and
Tommi Mikkonen and
Carlos Canal and
Juan Manuel Murillo},
title = {From the Internet of Things to the Internet of People},
journal = {{IEEE} Internet Comput.},
volume = {19},
number = {2},
pages = {40--47},
year = {2015},
url = {https://doi.org/10.1109/MIC.2015.24},
doi = {10.1109/MIC.2015.24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/internet/MirandaMGBMCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BerrocalCGMMMM15,
author = {Javier Berrocal and
Carlos Canal and
Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
Niko M{\"{a}}kitalo and
Tommi Mikkonen and
Javier Miranda and
Juan Manuel Murillo},
editor = {Aharon Abadi and
Danny Dig and
Yael Dubinsky},
title = {Smartphones as Personal Profile Providers: Enhancing Mobile App Architectures},
booktitle = {2nd {ACM} International Conference on Mobile Software Engineering
and Systems, MOBILESoft 2015, Florence, Italy, May 16-17, 2015},
pages = {134--135},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MobileSoft.2015.31},
doi = {10.1109/MOBILESOFT.2015.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BerrocalCGMMMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/GuillenMBGMC14,
author = {Joaqu{\'{\i}}n Guill{\'{e}}n and
Javier Miranda and
Javier Berrocal and
Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
Juan Manuel Murillo and
Carlos Canal},
title = {People as a Service: {A} Mobile-centric Model for Providing Collective
Sociological Profiles},
journal = {{IEEE} Softw.},
volume = {31},
number = {2},
pages = {48--53},
year = {2014},
url = {https://doi.org/10.1109/MS.2013.140},
doi = {10.1109/MS.2013.140},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/GuillenMBGMC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/JansenMM14,
author = {Marc Jansen and
Javier Miranda and
Juan Manuel Murillo},
editor = {Markus Helfert and
Fr{\'{e}}d{\'{e}}ric Desprez and
Donald Ferguson and
Frank Leymann and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz},
title = {Implementation of Asynchronous Mobile Web Services - Implementation
and First Usage},
booktitle = {{CLOSER} 2014 - Proceedings of the 4th International Conference on
Cloud Computing and Services Science, Barcelona, Spain, April 3-5,
2014},
pages = {645--651},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004948906450651},
doi = {10.5220/0004948906450651},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/closer/JansenMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psd/MirandaV14,
author = {Javier Miranda and
Lars Vilhuber},
editor = {Josep Domingo{-}Ferrer},
title = {Using Partially Synthetic Data to Replace Suppression in the Business
Dynamics Statistics: Early Results},
booktitle = {Privacy in Statistical Databases - {UNESCO} Chair in Data Privacy,
International Conference, {PSD} 2014, Ibiza, Spain, September 17-19,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8744},
pages = {232--242},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11257-2\_18},
doi = {10.1007/978-3-319-11257-2\_18},
timestamp = {Mon, 03 Jan 2022 22:19:43 +0100},
biburl = {https://dblp.org/rec/conf/psd/MirandaV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/GuillenMMC13,
author = {Joaqu{\'{\i}}n Guill{\'{e}}n and
Javier Miranda and
Juan Manuel Murillo and
Carlos Canal},
title = {A service-oriented framework for developing cross cloud migratable
software},
journal = {J. Syst. Softw.},
volume = {86},
number = {9},
pages = {2294--2308},
year = {2013},
url = {https://doi.org/10.1016/j.jss.2012.12.033},
doi = {10.1016/J.JSS.2012.12.033},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/GuillenMMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/MirandaGMC13,
author = {Javier Miranda and
Joaqu{\'{\i}}n Guill{\'{e}}n and
Juan Manuel Murillo and
Carlos Canal},
title = {Assisting Cloud Service Migration Using Software Adaptation Techniques},
booktitle = {2013 {IEEE} Sixth International Conference on Cloud Computing, Santa
Clara, CA, USA, June 28 - July 3, 2013},
pages = {573--580},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CLOUD.2013.35},
doi = {10.1109/CLOUD.2013.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcloud/MirandaGMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/GuillenMMC13,
author = {Joaqu{\'{\i}}n Guill{\'{e}}n and
Javier Miranda and
Juan Manuel Murillo and
Carlos Canal},
editor = {Kung{-}Kiu Lau and
Winfried Lamersdorf and
Ernesto Pimentel},
title = {A {UML} Profile for Modeling Multicloud Applications},
booktitle = {Service-Oriented and Cloud Computing - Second European Conference,
{ESOCC} 2013, M{\'{a}}laga, Spain, September 11-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8135},
pages = {180--187},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40651-5\_15},
doi = {10.1007/978-3-642-40651-5\_15},
timestamp = {Wed, 12 May 2021 10:56:07 +0200},
biburl = {https://dblp.org/rec/conf/esocc/GuillenMMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/MirandaGBGMC13,
author = {Javier Miranda and
Joaqu{\'{\i}}n Guill{\'{e}}n and
Javier Berrocal and
Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
Juan Manuel Murillo and
Carlos Canal},
editor = {Carlos Canal and
Massimo Villari},
title = {Architecting Infrastructures for Cloud-Enabled Mobile Devices},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {393},
pages = {277--287},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45364-9\_23},
doi = {10.1007/978-3-642-45364-9\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esocc/MirandaGBGMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/MirandaGMC13,
author = {Javier Miranda and
Joaqu{\'{\i}}n Guill{\'{e}}n and
Juan Manuel Murillo and
Carlos Canal},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Joaquim Filipe and
Rui C{\'{e}}sar das Neves},
title = {Development of Adaptive Multi-cloud Applications - {A} Model-Driven
Approach},
booktitle = {{MODELSWARD} 2013 - Proceedings of the 1st International Conference
on Model-Driven Engineering and Software Development, Barcelona, Spain,
19 - 21 February, 2013},
pages = {321--330},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004370603210330},
doi = {10.5220/0004370603210330},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/MirandaGMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordicloud/GuillenMMC13,
author = {Joaqu{\'{\i}}n Guill{\'{e}}n and
Javier Miranda and
Juan Manuel Murillo and
Carlos Canal},
editor = {Arnor Solberg and
Muhammad Ali Babar and
Marlon Dumas and
Carlos E. Cuesta},
title = {Developing migratable multicloud applications based on {MDE} and adaptation
techniques},
booktitle = {Second Nordic Symposium on Cloud Computing {\&} Internet Technologies,
NordiCloud '13, Oslo, Norway, September 1-3, 2013},
series = {{ACM} International Conference Proceeding Series},
volume = {826},
pages = {30--37},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2513534.2513541},
doi = {10.1145/2513534.2513541},
timestamp = {Fri, 14 Apr 2023 23:05:46 +0200},
biburl = {https://dblp.org/rec/conf/nordicloud/GuillenMMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/GuillenMM12,
author = {Joaqu{\'{\i}}n Guill{\'{e}}n and
Javier Miranda and
Juan Manuel Murillo},
editor = {Frank Leymann and
Ivan I. Ivanov and
Marten van Sinderen and
Tony Shan},
title = {Decoupling Cloud Applications from the Source - {A} Framework for
Developing Cloud Agnostic Software},
booktitle = {{CLOSER} 2012 - Proceedings of the 2nd International Conference on
Cloud Computing and Services Science, Porto, Portugal, 18 - 21 April,
2012},
pages = {70--75},
publisher = {SciTePress},
year = {2012},
timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
biburl = {https://dblp.org/rec/conf/closer/GuillenMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/MirandaMGC12,
author = {Javier Miranda and
Juan Manuel Murillo and
Joaqu{\'{\i}}n Guill{\'{e}}n and
Carlos Canal},
editor = {Javier Cubo and
Juan Boubeta{-}Puig and
Guadalupe Ortiz and
Howard Foster and
Winfried Lamersdorf and
Agnes Koschmider and
Maristella Matera and
Victoria Torres},
title = {Identifying adaptation needs to avoid the vendor lock-in effect in
the deployment of cloud SBAs},
booktitle = {Proceedings of the 2nd International Workshop on Adaptive Services
for the Future Internet and 6th International Workshop on Web APIs
and Service Mashups (WAS4FI-Mashups 2012), Bertinoro, Italy, September
19, 2012},
pages = {12--19},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2377836.2377841},
doi = {10.1145/2377836.2377841},
timestamp = {Fri, 29 Apr 2022 09:10:26 +0200},
biburl = {https://dblp.org/rec/conf/esocc/MirandaMGC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/MirandaGMC12,
author = {Javier Miranda and
Joaqu{\'{\i}}n Guill{\'{e}}n and
Juan Manuel Murillo and
Carlos Canal},
editor = {Tomi M{\"{a}}nnist{\"{o}} and
Muhammad Ali Babar and
Carlos E. Cuesta and
Juha Erik Savolainen},
title = {Enough about standardization, let's build cloud applications},
booktitle = {2012 Joint Working {IEEE/IFIP} Conference on Software Architecture
and European Conference on Software Architecture, {WICSA/ECSA} 2012,
Helsinki, Finland, August 20-24, 2012 - Companion Volume},
series = {{ACM} International Conference Proceeding Series},
volume = {704},
pages = {74--77},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2361999.2362011},
doi = {10.1145/2361999.2362011},
timestamp = {Fri, 14 Apr 2023 23:05:46 +0200},
biburl = {https://dblp.org/rec/conf/wicsa/MirandaGMC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eann/MirandaPBG09,
author = {Javier Miranda and
Rosa M. P{\'{e}}rez and
Antonio Baeza and
Javier Guillen},
editor = {Dominic Palmer{-}Brown and
Chrisina Draganova and
Elias Pimenidis and
Haris Mouratidis},
title = {Study of Alpha Peak Fitting by Techniques Based on Neural Networks},
booktitle = {Engineering Applications of Neural Networks - 11th International Conference,
{EANN} 2009, London, UK, August 27-29, 2009. Proceedings},
series = {Communications in Computer and Information Science},
volume = {43},
pages = {79--85},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03969-0\_8},
doi = {10.1007/978-3-642-03969-0\_8},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eann/MirandaPBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/MirandaBGU09,
author = {Javier Miranda and
Antonio Baeza and
Javier Guillen and
Rosa M. P{\'{e}}rez Utrero},
title = {Fitting Multiple Alpha Peaks Using Neural Network Techniques},
booktitle = {Ninth International Conference on Intelligent Systems Design and Applications,
{ISDA} 2009, Pisa, Italy , November 30-December 2, 2009},
pages = {1296--1300},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISDA.2009.144},
doi = {10.1109/ISDA.2009.144},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isda/MirandaBGU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Garcia-RodriguezMG07,
author = {Francisco Garc{\'{\i}}a{-}Rodr{\'{\i}}guez and
Javier Miranda and
Jos{\'{e}} Fortes G{\'{a}}lvez},
editor = {Nabil Abdennadher and
Fabrice Kordon},
title = {Incorporating Precise Garbage Collection in an Ada Compiler},
booktitle = {Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe
International Conference on Reliable Software Technologies, Geneva,
Switzerland, June 25-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4498},
pages = {235--245},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73230-3\_18},
doi = {10.1007/978-3-540-73230-3\_18},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Garcia-RodriguezMG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MirandaS06,
author = {Javier Miranda and
Edmond Schonberg},
editor = {Lu{\'{\i}}s Miguel Pinho and
Michael Gonz{\'{a}}lez Harbour},
title = {Abstract Interface Types in {GNAT:} Conversions, Discriminants, and
{C++}},
booktitle = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
International Conference on Reliable Software Technologies, Porto,
Portugal, June 5-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4006},
pages = {179--190},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767077\_15},
doi = {10.1007/11767077\_15},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MirandaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MirandaSD05,
author = {Javier Miranda and
Edmond Schonberg and
Gary Dismukes},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {The Implementation of Ada 2005 Interface Types in the {GNAT} Compiler},
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 = {208--219},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_17},
doi = {10.1007/11499909\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MirandaSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RivasMH05,
author = {Mario Aldea Rivas and
Javier Miranda and
Michael Gonz{\'{a}}lez Harbour},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Integrating Application-Defined Scheduling with the New Dispatching
Policies for Ada Tasks},
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 = {220--235},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_18},
doi = {10.1007/11499909\_18},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/RivasMH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/MirandaSK05,
author = {Javier Miranda and
Edmond Schonberg and
Hristian Hristov Kirtchev},
editor = {John W. McCormick and
Leemon C. Baird III},
title = {The implementation of ada 2005 synchronized interfaces in the {GNAT}
compiler},
booktitle = {Proceedings of the 2005 Annual {ACM} SIGAda International Conference
on Ada: The Engineering of Correct and Reliable Software for Real-Time
{\&} Distributed Systems using Ada and Related Technologies 2005,
Atlanta, GA, USA, November 13-17, 2005},
pages = {41--48},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1103846.1103853},
doi = {10.1145/1103846.1103853},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/MirandaSK05.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/adaEurope/RivasGH04,
author = {Mario Aldea Rivas and
Javier Miranda and
Michael Gonz{\'{a}}lez Harbour},
editor = {Albert Llamos{\'{\i}} and
Alfred Strohmeier},
title = {Implementing an Application-Defined Scheduling Framework for Ada Tasking},
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 = {283--296},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24841-5\_23},
doi = {10.1007/978-3-540-24841-5\_23},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/RivasGH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/MartelMSH04,
author = {Ernestina Martel and
Javier Miranda and
Francisco Guerra Santana and
Luis Hern{\'{a}}ndez},
title = {Remote Management of Distributed Applications},
booktitle = {12th Euromicro Workshop on Parallel, Distributed and Network-Based
Processing {(PDP} 2004), 11-13 February 2004, {A} Coruna, Spain},
pages = {159},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/EMPDP.2004.1271441},
doi = {10.1109/EMPDP.2004.1271441},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/MartelMSH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/MirandaS04,
author = {Javier Miranda and
Edmond Schonberg},
editor = {John W. McCormick and
Ricky E. Sward},
title = {{GNAT:} on the road to Ada 2005},
booktitle = {Proceedings of the 2004 Annual {ACM} SIGAda International Conference
on Ada: The Engineering of Correct and Reliable Software for Real-Time
{\&} Distributed Systems using Ada and Related Technologies 2004,
Atlanta, GA, USA, November 14-14, 2004},
pages = {51--60},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1032297.1032307},
doi = {10.1145/1032297.1032307},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/MirandaS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MartelSMH03,
author = {Ernestina Martel and
Francisco Guerra Santana and
Javier Miranda and
Luis Hern{\'{a}}ndez},
editor = {Jean{-}Pierre Rosen and
Alfred Strohmeier},
title = {A Graphical Environment for {GLADE}},
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 = {182--195},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44947-7\_13},
doi = {10.1007/3-540-44947-7\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MartelSMH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/GonzalezH03,
author = {Javier Miranda and
Michael Gonz{\'{a}}lez Harbour},
editor = {Jean{-}Pierre Rosen and
Alfred Strohmeier},
title = {A Proposal to Integrate the {POSIX} Execution-Time Clocks into Ada
95},
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 = {344--358},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44947-7\_26},
doi = {10.1007/3-540-44947-7\_26},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/GonzalezH03.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/adaEurope/GonzalezSMMG02,
author = {Javier Miranda and
Francisco Guerra Santana and
Ernestina Martel and
Jos{\'{e}} Mart{\'{\i}}n and
Alexis Gonz{\'{a}}lez},
editor = {Johann Blieberger and
Alfred Strohmeier},
title = {How to Use {GNAT} to Efficiently Preprocess New Ada Sentences},
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 = {179--192},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48046-3\_14},
doi = {10.1007/3-540-48046-3\_14},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/GonzalezSMMG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MartelSG02,
author = {Ernestina Martel and
Francisco Guerra Santana and
Javier Miranda},
editor = {Johann Blieberger and
Alfred Strohmeier},
title = {A Tailorable Distributed Programming Environment},
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 = {269--281},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48046-3\_21},
doi = {10.1007/3-540-48046-3\_21},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/MartelSG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/MartelSM02,
author = {Ernestina Martel and
Francisco Guerra Santana and
Javier Miranda},
title = {EPDA-modeller: a tool for modelling a distributed programming environment},
booktitle = {Proceedings of the Seventh {IEEE} Symposium on Computers and Communications
{(ISCC} 2002), 1-4 July 2002, Taormina, Italy},
pages = {245--250},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISCC.2002.1021686},
doi = {10.1109/ISCC.2002.1021686},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/MartelSM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/GuerraMSMHP02,
author = {Francisco Guerra Santana and
Javier Miranda and
J. M. Santos and
Ernestina Martel and
Luis Hern{\'{a}}ndez and
E. Pulido},
title = {Programming Distributed Systems with Group{\_}IO},
booktitle = {10th Euromicro Workshop on Parallel, Distributed and Network-Based
Processing {(PDP} 2002), 9-11 January 2002, Canary Islands, Spain},
pages = {188--197},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/EMPDP.2002.994266},
doi = {10.1109/EMPDP.2002.994266},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdp/GuerraMSMHP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/MirandaGMG02,
author = {Javier Miranda and
Francisco Guerra Santana and
Jos{\'{e}} Mart{\'{\i}}n and
Alexis Gonz{\'{a}}lez},
title = {A Technique to Build Ada Preprocessors},
booktitle = {10th Euromicro Workshop on Parallel, Distributed and Network-Based
Processing {(PDP} 2002), 9-11 January 2002, Canary Islands, Spain},
pages = {196--200},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/EMPDP.2002.994268},
doi = {10.1109/EMPDP.2002.994268},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/MirandaGMG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SantanaGEC01,
author = {Francisco Guerra Santana and
Javier Miranda and
Jos{\'{e}} Miguel Santos Espino and
Jos{\'{e}} Carlos Rodr{\'{\i}}guez Calero},
editor = {Dirk Craeynest and
Alfred Strohmeier},
title = {Building Robust Applications by Reusing Non-robust Legacy Software},
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 = {148--159},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45136-6\_11},
doi = {10.1007/3-540-45136-6\_11},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/SantanaGEC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/MirandaSAA01,
author = {Javier Miranda and
Francisco Guerra Santana and
Angel Alvarez and
Sergio Ar{\'{e}}valo},
title = {Programming Cooperative Systems in Drago},
booktitle = {Ninth Euromicro Workshop on Parallel and Distributed Processing, {PDP}
2001, 7-9 February 2001, Mantova, Italy},
pages = {211},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/EMPDP.2001.905045},
doi = {10.1109/EMPDP.2001.905045},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/MirandaSAA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MirandaGMG99,
author = {Javier Miranda and
Francisco Guerra Santana and
Jos{\'{e}} Mart{\'{\i}}n and
Alexis Gonz{\'{a}}lez},
editor = {Michael Gonz{\'{a}}lez Harbour and
Juan Antonio de la Puente},
title = {How to Modify the {GNAT} Frontend tp Experiment with Ada Extensions},
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 = {226--237},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48753-0\_20},
doi = {10.1007/3-540-48753-0\_20},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/MirandaGMG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/GuerraMAA97,
author = {Francisco Guerra Santana and
Javier Miranda and
Angel Alvarez and
Sergio Ar{\'{e}}valo},
editor = {Keith Hardy and
James S. Briggs},
title = {An Ada Library to Program Fault-Tolerant Distributed Applications},
booktitle = {Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International
Conference on Reliable Software Technologies, London, UK, June 2-6,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1251},
pages = {230--243},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63114-3\_21},
doi = {10.1007/3-540-63114-3\_21},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/GuerraMAA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MirandaAAG96,
author = {Javier Miranda and
Angel Alvarez and
Sergio Ar{\'{e}}valo and
Francisco Guerra Santana},
editor = {Alfred Strohmeier},
title = {Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications},
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 = {235--246},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0013492},
doi = {10.1007/BFB0013492},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/MirandaAAG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/SantanaAAM93,
author = {Francisco Guerra Santana and
Sergio Ar{\'{e}}valo and
Angel Alvarez and
Javier Miranda},
title = {A quick distributed consensus protocol},
journal = {Microprocess. Microprogramming},
volume = {39},
number = {2-5},
pages = {111--114},
year = {1993},
url = {https://doi.org/10.1016/0165-6074(93)90068-V},
doi = {10.1016/0165-6074(93)90068-V},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/SantanaAAM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/GuerraAAM93,
author = {Francisco Guerra Santana and
Sergio Ar{\'{e}}valo and
Angel Alvarez and
Javier Miranda},
editor = {Michel Cosnard and
Ram{\'{o}}n Puigjaner},
title = {A Distributed Consensus Protocol with a Coordinator},
booktitle = {Decentralized and Distributed Systems, Proceedings of the {IFIP} {WG10.3}
International Conference on Decentralized and Distributed Systems,
Palma de Mallorca, Spain, 13-17 September 1993},
series = {{IFIP} Transactions},
volume = {{A-39}},
pages = {85--96},
publisher = {North-Holland},
year = {1993},
timestamp = {Fri, 26 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-3/GuerraAAM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/MirandaG91,
author = {Javier Miranda and
Jos{\'{e}} Fortes G{\'{a}}lvez},
title = {A modula-2-like systems programming language and its implementation},
journal = {Microprocessing and Microprogramming},
volume = {32},
number = {1-5},
pages = {625--634},
year = {1991},
url = {https://doi.org/10.1016/0165-6074(91)90412-M},
doi = {10.1016/0165-6074(91)90412-M},
timestamp = {Wed, 17 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/MirandaG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-11-13 23:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
