default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/adaEurope/adaEurope2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/adaEurope/BaruahB11,
author = {Sanjoy K. Baruah and
Alan Burns},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Implementing Mixed Criticality Systems in 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 = {174--188},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_13},
doi = {10.1007/978-3-642-21338-0\_13},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/BaruahB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Burns11,
author = {Alan Burns},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Programming Languages for Real-Time Applications Executing on Parallel
Hardware},
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 = {193--195},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_15},
doi = {10.1007/978-3-642-21338-0\_15},
timestamp = {Fri, 18 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/Burns11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/CarnevaliLPV11,
author = {Laura Carnevali and
Giuseppe Lipari and
Alessandro Pinzuti and
Enrico Vicario},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {A Formal Approach to Design and Verification of Two-Level Hierarchical
Scheduling Systems},
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 = {118--131},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_9},
doi = {10.1007/978-3-642-21338-0\_9},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/CarnevaliLPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/ChapmanJ11,
author = {Roderick Chapman and
Trevor Jennings},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {OOT, {DO-178C} and {SPARK}},
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 = {206--210},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_18},
doi = {10.1007/978-3-642-21338-0\_18},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/ChapmanJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/ChilAOP11,
author = {Rigoberto Chil and
Diego Alonso and
Francisco J. Ortiz and
Juan Angel Pastor},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer
Robot},
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 = {147--159},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_11},
doi = {10.1007/978-3-642-21338-0\_11},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/ChilAOP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/ChouteauR11,
author = {Fabien Chouteau and
Jos{\'{e}} F. Ruiz},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Design and Implementation of a Ravenscar Extension for Multiprocessors},
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 = {31--45},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_3},
doi = {10.1007/978-3-642-21338-0\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/ChouteauR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/CoqR11,
author = {Thierry Coq and
Jean{-}Pierre Rosen},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {The {SQALE} Quality and Analysis Models for Assessing the Quality
of Ada Source Code},
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 = {61--74},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_5},
doi = {10.1007/978-3-642-21338-0\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/CoqR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Daniels11,
author = {Dewi Daniels},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Position Paper: {DO-178C/ED-12C} and Object-Orientation for Critical
Systems},
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 = {211--213},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_19},
doi = {10.1007/978-3-642-21338-0\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Daniels11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/EilersK11,
author = {Dan Eilers and
Tero Koskinen},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Adapting {ACATS} to the Ahven Testing Framework},
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 = {75--88},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_6},
doi = {10.1007/978-3-642-21338-0\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/EilersK11.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/adaEurope/Hammond11,
author = {Kevin Hammond},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Why Parallel Functional Programming Matters: Panel Statement},
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 = {201--205},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_17},
doi = {10.1007/978-3-642-21338-0\_17},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Hammond11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Hatton11,
author = {Les Hatton},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {On the Evolution of Unnatural Language},
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 = {219--225},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_21},
doi = {10.1007/978-3-642-21338-0\_21},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Hatton11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/JohnsenL11,
author = {Andreas Johnsen and
Kristina Lundqvist},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Developing Dependable Software-Intensive Systems: {AADL} vs. {EAST-ADL}},
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 = {103--117},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_8},
doi = {10.1007/978-3-642-21338-0\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/JohnsenL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MedinaC11,
author = {Julio L. Medina and
{\'{A}}lvaro Garcia Cuesta},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Model-Based Analysis and Design of Real-Time Distributed Systems with
Ada and the {UML} Profile for {MARTE}},
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 = {89--102},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_7},
doi = {10.1007/978-3-642-21338-0\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MedinaC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/OLeary11,
author = {Jeffrey O'Leary},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Assuring Software Reliability While Using Web Services and Commercial
Products},
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 = {1--16},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_1},
doi = {10.1007/978-3-642-21338-0\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/OLeary11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Ploedereder11,
author = {Erhard Ploedereder},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Programming Languages Meet Multicore},
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 = {189--192},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_14},
doi = {10.1007/978-3-642-21338-0\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Ploedereder11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RazaFP11,
author = {Syed Aoun Raza and
Stefan Franke and
Erhard Ploedereder},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Detecting High-Level Synchronization Errors in Parallel Programs},
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 = {17--30},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_2},
doi = {10.1007/978-3-642-21338-0\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/RazaFP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Rodriguez-LopezG11,
author = {Iago Rodr{\'{\i}}guez{-}L{\'{o}}pez and
Marisol Garc{\'{\i}}a{-}Valls},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Architecting a Common Bridge Abstraction over Different Middleware
Paradigms},
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 = {132--146},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_10},
doi = {10.1007/978-3-642-21338-0\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Rodriguez-LopezG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Rosen11,
author = {Jean{-}Pierre Rosen},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Object Orientation in Critical Systems: Yes, in Moderation - Position
Paper for the {DO178C} and Object-Orientation for Critical Systems
Panel},
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 = {214--218},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_20},
doi = {10.1007/978-3-642-21338-0\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Rosen11.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/Taft11,
author = {S. Tucker Taft},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Multicore Programming in ParaSail - Parallel Specification and Implementation
Language},
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 = {196--200},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_16},
doi = {10.1007/978-3-642-21338-0\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Taft11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adaEurope/2011,
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {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},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0},
doi = {10.1007/978-3-642-21338-0},
isbn = {978-3-642-21337-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/2011.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.
retrieved on 2024-12-26 00:32 CET 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:
