Search dblp for Publications

export results for "toc:db/conf/adaEurope/adaEurope2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/adaEurope/BalazsBBHKPRSSS15,
  author       = {Andr{\'{a}}s Bal{\'{a}}zs and
                  Attila Baksa and
                  H. Bitterlich and
                  I. Hernyes and
                  O. K{\"{u}}chemann and
                  Zoltan P{\'{a}}los and
                  J. Rustenbach and
                  W. Schmidt and
                  P{\'{e}}ter Sp{\'{a}}nyi and
                  J. Suly{\'{a}}n and
                  S{\'{a}}ndor Szalai and
                  Laszlo V{\'{a}}rhalmi},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {The Central on-Board Computer of the Philae Lander in the Context
                  of the Rosetta Space Mission},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {18--30},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_2},
  doi          = {10.1007/978-3-319-19584-1\_2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BalazsBBHKPRSSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/BaldovinZNP15,
  author       = {Andrea Baldovin and
                  Alessandro Zovi and
                  Geoffrey Nelissen and
                  Stefano Puri},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {The {CONCERTO} Methodology for Model-Based Development of Avionics
                  Software},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {131--145},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_9},
  doi          = {10.1007/978-3-319-19584-1\_9},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BaldovinZNP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/CatellaniBHM15,
  author       = {Sebastiano Catellani and
                  Luca Bonato and
                  Sebastian Huber and
                  Enrico Mezzetti},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {Challenges in the Implementation of MrsP},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {179--195},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_12},
  doi          = {10.1007/978-3-319-19584-1\_12},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/CatellaniBHM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/DiazG15,
  author       = {Manuel D{\'{\i}}az and
                  Daniel Garrido},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {Maintenance of Reliable Distributed Applications with Open-Source
                  Middleware: Fifteen Years Later},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {116--128},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_8},
  doi          = {10.1007/978-3-319-19584-1\_8},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/DiazG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/FernandezPGH15,
  author       = {Jes{\'{u}}s Fern{\'{a}}ndez and
                  H{\'{e}}ctor P{\'{e}}rez and
                  J. Javier Guti{\'{e}}rrez and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {{AFDX} Emulator for an ARINC-Based Training Platform},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {212--227},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_14},
  doi          = {10.1007/978-3-319-19584-1\_14},
  timestamp    = {Thu, 18 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/FernandezPGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/JaradatBP15,
  author       = {Omar Jaradat and
                  Iain Bate and
                  Sasikumar Punnekkat},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {Using Sensitivity Analysis to Facilitate the Maintenance of Safety
                  Cases},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {162--176},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_11},
  doi          = {10.1007/978-3-319-19584-1\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/JaradatBP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/KhanfarLM15,
  author       = {Husni Khanfar and
                  Bj{\"{o}}rn Lisper and
                  Abu Naser Masud},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {Static Backward Program Slicing for Safety-Critical Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {50--65},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_4},
  doi          = {10.1007/978-3-319-19584-1\_4},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/KhanfarLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/MkaouarZHJ15,
  author       = {Hana Mkaouar and
                  Bechir Zalila and
                  J{\'{e}}r{\^{o}}me Hugues and
                  Mohamed Jmaiel},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {From {AADL} Model to {LNT} Specification},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {146--161},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_10},
  doi          = {10.1007/978-3-319-19584-1\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MkaouarZHJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/NelissenPP15,
  author       = {Geoffrey Nelissen and
                  David Pereira and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline
                  Monitoring},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {66--82},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_5},
  doi          = {10.1007/978-3-319-19584-1\_5},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/NelissenPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/PavleticVRKK15,
  author       = {Domenik Pavletic and
                  Markus Voelter and
                  Syed Aoun Raza and
                  Bernd Kolb and
                  Timo Kehrer},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {Extensible Debugger Framework for Extensible Languages},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {33--49},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_3},
  doi          = {10.1007/978-3-319-19584-1\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/PavleticVRKK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/PerezGTT15,
  author       = {Jon P{\'{e}}rez and
                  David Gonz{\'{a}}lez and
                  Salvador Trujillo and
                  Ton Trapman},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {A Safety Concept for an {IEC-61508} Compliant Fail-Safe Wind Power
                  Mixed-Criticality System Based on Multicore and Partitioning},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {3--17},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_1},
  doi          = {10.1007/978-3-319-19584-1\_1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/PerezGTT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/PinhoMMT15,
  author       = {Lu{\'{\i}}s Miguel Pinho and
                  Brad Moore and
                  Stephen Michell and
                  S. Tucker Taft},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {An Execution Model for Fine-Grained Parallelism in Ada},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {196--211},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_13},
  doi          = {10.1007/978-3-319-19584-1\_13},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/PinhoMMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/UruenaPCFJ15,
  author       = {Santiago Urue{\~{n}}a and
                  Nuria P{\'{e}}rez and
                  Bruno N. Calvo and
                  Carlos Flores and
                  Andreas Jung},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {Guaranteeing Timing Requirements in the {IXV} On-Board Software},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {100--115},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_7},
  doi          = {10.1007/978-3-319-19584-1\_7},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/UruenaPCFJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/ZamoranoG15,
  author       = {Juan Zamorano and
                  Jorge Garrido},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {Schedulability Analysis of {PWM} Tasks for the UPMSat-2 {ADCS}},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {85--99},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_6},
  doi          = {10.1007/978-3-319-19584-1\_6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/ZamoranoG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/adaEurope/2015,
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1},
  doi          = {10.1007/978-3-319-19584-1},
  isbn         = {978-3-319-19583-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.