Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/adaEurope/adaEurope2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/adaEurope/AmeyCW05,
author = {Peter Amey and
Roderick Chapman and
Neil White},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Smart Certification of Mixed Criticality Systems},
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 = {144--155},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_12},
doi = {10.1007/11499909\_12},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/AmeyCW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/AtiyaK05,
author = {Diyaa{-}Addein Atiya and
Steve King},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Extending Ravenscar with {CSP} Channels},
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 = {79--90},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_7},
doi = {10.1007/11499909\_7},
timestamp = {Wed, 09 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/AtiyaK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/AyavooPP05,
author = {Devaraj Ayavoo and
Michael J. Pont and
Stephen Parker},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Observing the Development of a Reliable Embedded System},
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 = {167--179},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_14},
doi = {10.1007/11499909\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/AyavooPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BerrendonnerG05,
author = {Romain Berrendonner and
J{\'{e}}r{\^{o}}me Guitton},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {The {ESA} Ravenscar Benchmark},
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 = {260--271},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_21},
doi = {10.1007/11499909\_21},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BerrendonnerG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BordinV05,
author = {Matteo Bordin and
Tullio Vardanega},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {A New Strategy for the {HRT-HOOD} to Ada Mapping},
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 = {51--66},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_5},
doi = {10.1007/11499909\_5},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BordinV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Brosgol05,
author = {Benjamin M. Brosgol},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {A Comparison of the Mutual Exclusion Features in Ada and the Real-Time
Specification for Java \({}^{\mbox{TM}}\)},
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 = {129--143},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_11},
doi = {10.1007/11499909\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Brosgol05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/EvangelistaKPPR05,
author = {Sami Evangelista and
Claude Kaiser and
Christophe Pajault and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
Pierre Rousseau},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Dynamic Tasks Verification with Quasar},
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 = {91--104},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_8},
doi = {10.1007/11499909\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/EvangelistaKPPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/LundqvistSG05,
author = {Kristina Lundqvist and
Jayakanth Srinivasan and
S{\'{e}}bastien Gorelov},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Non-intrusive System Level Fault-Tolerance},
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 = {156--166},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_13},
doi = {10.1007/11499909\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/LundqvistSG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MartinezH05,
author = {Jos{\'{e}} Mar{\'{\i}}a Mart{\'{\i}}nez and
Michael Gonz{\'{a}}lez Harbour},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {{RT-EP:} {A} Fixed-Priority Real Time Communication Protocol over
Standard Ethernet},
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 = {180--195},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_15},
doi = {10.1007/11499909\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MartinezH05.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}
}
@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 = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MirandaSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/OrtizAAP05,
author = {Francisco J. Ortiz and
Diego Alonso and
B{\'{a}}rbara {\'{A}}lvarez and
Juan Angel Pastor},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {A Reference Control Architecture for Service Robots Implemented on
a Climbing Vehicle},
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 = {13--24},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_2},
doi = {10.1007/11499909\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/OrtizAAP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/PinhoNB05,
author = {Lu{\'{\i}}s Miguel Pinho and
Lu{\'{\i}}s Nogueira and
Ricardo Barbosa},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {An Ada Framework for QoS-Aware Applications},
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 = {25--38},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_3},
doi = {10.1007/11499909\_3},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/PinhoNB05.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/adaEurope/RogersW05,
author = {Patrick Rogers and
Andy J. Wellings},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {The Application of Compile-Time Reflection to Software Fault Tolerance
Using Ada 95},
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 = {236--247},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_19},
doi = {10.1007/11499909\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/RogersW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Rowden05,
author = {Neville Rowden},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {{ILTIS} - The Legacy of a Successful Product},
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 = {1--12},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_1},
doi = {10.1007/11499909\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Rowden05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Ruiz05,
author = {Jos{\'{e}} F. Ruiz},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {{GNAT} Pro for On-board Mission-Critical Space Applications},
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 = {248--259},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_20},
doi = {10.1007/11499909\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Ruiz05.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/SimonVP05,
author = {Daniel Simon and
Gunther Vogel and
Erhard Pl{\"{o}}dereder},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Teaching Software Engineering with Ada 95},
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 = {115--128},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_10},
doi = {10.1007/11499909\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/SimonVP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SwardB05,
author = {Ricky E. Sward and
Leemon C. Baird III},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Proving Functional Equivalence for Program Slicing in SPARK{\texttrademark}},
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 = {105--114},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_9},
doi = {10.1007/11499909\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/SwardB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/VergnaudPK05,
author = {Thomas Vergnaud and
Laurent Pautet and
Fabrice Kordon},
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {Using the {AADL} to Describe Distributed Applications from Middleware
to Software Components},
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 = {67--78},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499909\_6},
doi = {10.1007/11499909\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/VergnaudPK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adaEurope/2005,
editor = {Tullio Vardanega and
Andy J. Wellings},
title = {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},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b137344},
doi = {10.1007/B137344},
isbn = {3-540-26286-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/2005.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.
retrieved on 2024-04-27 01:47 CEST from data curated 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:
