Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/adaEurope/AsensioLCN13,
  author       = {Esteban Asensio and
                  Ismael Lafoz and
                  Andrew Coombes and
                  Julian Navas},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne
                  Software},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {161--176},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_11},
  doi          = {10.1007/978-3-642-38601-5\_11},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/AsensioLCN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/BaldovinMV13,
  author       = {Andrea Baldovin and
                  Enrico Mezzetti and
                  Tullio Vardanega},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Towards a Time-Composable Operating System},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {143--160},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_10},
  doi          = {10.1007/978-3-642-38601-5\_10},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BaldovinMV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/BicchieraiBNV13,
  author       = {Irene Bicchierai and
                  Giacomo Bucci and
                  Carlo Nocentini and
                  Enrico Vicario},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Using Ontologies in the Integration of Structural, Functional, and
                  Process Perspectives in the Development of Safety Critical Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {95--108},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_7},
  doi          = {10.1007/978-3-642-38601-5\_7},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BicchieraiBNV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/BrandonC13,
  author       = {Carl Brandon and
                  Peter Chapin},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {A SPARK/Ada CubeSat Control Program},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {51--64},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_4},
  doi          = {10.1007/978-3-642-38601-5\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BrandonC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/FaginC13,
  author       = {Barry S. Fagin and
                  Martin C. Carlisle},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Provably Secure {DNS:} {A} Case Study in Reliable Software},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {81--93},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_6},
  doi          = {10.1007/978-3-642-38601-5\_6},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/FaginC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/KampenhoutH13,
  author       = {J. Reinier van Kampenhout and
                  Robert Hilbrich},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Model-Based Deployment of Mission-Critical Spacecraft Applications
                  on Multicore Processors},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {35--50},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_3},
  doi          = {10.1007/978-3-642-38601-5\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/KampenhoutH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/MichellMP13,
  author       = {Stephen Michell and
                  Brad Moore and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Tasklettes - {A} Fine Grained Parallelism for Ada on Multicores},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {17--34},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_2},
  doi          = {10.1007/978-3-642-38601-5\_2},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MichellMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/PerezG13,
  author       = {H{\'{e}}ctor P{\'{e}}rez and
                  J. Javier Guti{\'{e}}rrez},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Experience with the Integration of Distribution Middleware into Partitioned
                  Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_1},
  doi          = {10.1007/978-3-642-38601-5\_1},
  timestamp    = {Thu, 21 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/PerezG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/QuinotB13,
  author       = {Thomas Quinot and
                  Eric Botcazou},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Lady Ada Mediates Peace Treaty in Endianness War},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {65--80},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_5},
  doi          = {10.1007/978-3-642-38601-5\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/QuinotB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/SalazarAMP13,
  author       = {Emilio Salazar and
                  Alejandro Alonso and
                  Miguel A. de Miguel and
                  Juan Antonio de la Puente},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {A Model-Based Framework for Developing Real-Time Safety Ada Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {127--142},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_9},
  doi          = {10.1007/978-3-642-38601-5\_9},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SalazarAMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/XueN13,
  author       = {Xiaozhen Xue and
                  Akbar Siami Namin},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Measuring the Odds of Statements Being Faulty},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {109--126},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_8},
  doi          = {10.1007/978-3-642-38601-5\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/XueN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/adaEurope/2013,
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5},
  doi          = {10.1007/978-3-642-38601-5},
  isbn         = {978-3-642-38600-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/2013.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.