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/adaEurope2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/adaEurope/AlonsoVPA08,
author = {Diego Alonso and
Cristina Vicente{-}Chicote and
Juan Angel Pastor and
B{\'{a}}rbara {\'{A}}lvarez},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {StateML\({}^{\mbox{+s}}\): From Graphical State Machine Models to
Thread-Safe Ada Code},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {158--170},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_12},
doi = {10.1007/978-3-540-68624-8\_12},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/AlonsoVPA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BordinTP08,
author = {Matteo Bordin and
Thanassis Tsiodras and
Maxime Perrotin},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Experience in the Integration of Heterogeneous Models in the Model-driven
Engineering of High-Integrity Systems},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {171--184},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_13},
doi = {10.1007/978-3-540-68624-8\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BordinTP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Brosgol08,
author = {Benjamin M. Brosgol},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {115--129},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_9},
doi = {10.1007/978-3-540-68624-8\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Brosgol08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/CarnevaliGV08,
author = {Laura Carnevali and
Leonardo Grassi and
Enrico Vicario},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {A Tailored V-Model Exploiting the Theory of Preemptive Time Petri
Nets},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {87--100},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_7},
doi = {10.1007/978-3-540-68624-8\_7},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/CarnevaliGV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/ChoppyPR08,
author = {Christine Choppy and
Laure Petrucci and
Gianna Reggio},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {A Modelling Approach with Coloured Petri Nets},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {73--86},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_6},
doi = {10.1007/978-3-540-68624-8\_6},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/ChoppyPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Evequoz08,
author = {Claude {\'{E}}v{\'{e}}quoz},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Practical, Fast and Simple Concurrent {FIFO} Queues Using Single Word
Synchronization Primitives},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {59--72},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_5},
doi = {10.1007/978-3-540-68624-8\_5},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/Evequoz08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/FahmyRJ08,
author = {Sherif Fadel Fahmy and
Binoy Ravindran and
E. Douglas Jensen},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End
Timeliness},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {211--225},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_16},
doi = {10.1007/978-3-540-68624-8\_16},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/FahmyRJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/FecheteKB08,
author = {Raul Fechete and
Georg Kienesberger and
Johann Blieberger},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {A Framework for CFG-Based Static Program Analysis of Ada Programs},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {130--143},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_10},
doi = {10.1007/978-3-540-68624-8\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/FecheteKB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/HamidN08,
author = {Irfan Hamid and
Elie Najm},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Operational Semantics of Ada Ravenscar},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {44--58},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_4},
doi = {10.1007/978-3-540-68624-8\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/HamidN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/KaiserPP08,
author = {Claude Kaiser and
Christophe Pajault and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Concurrent Program Metrics Drawn by Quasar},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {101--114},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_8},
doi = {10.1007/978-3-540-68624-8\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/KaiserPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MartinezDPM08,
author = {Patricia L{\'{o}}pez Mart{\'{\i}}nez and
Jos{\'{e}} M. Drake and
Pablo Pacheco and
Julio L. Medina},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {An Ada 2005 Technology for Distributed and Real-Time Component-Based
Applications},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {254--267},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_19},
doi = {10.1007/978-3-540-68624-8\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MartinezDPM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/NarayananK08,
author = {Sri Hari Krishna Narayanan and
Mahmut T. Kandemir},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {A Systematic Approach to Automatically Generate Multiple Semantically
Equivalent Program Versions},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {185--198},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_14},
doi = {10.1007/978-3-540-68624-8\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/NarayananK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Natale08,
author = {Marco Di Natale},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Design and Development of Component-Based Embedded Systems for Automotive
Applications},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {15--29},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_2},
doi = {10.1007/978-3-540-68624-8\_2},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Natale08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/OberH08,
author = {Iulian Ober and
Nicolas Halbwachs},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {On the Timed Automata-Based Verification of Ravenscar Systems},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {30--43},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_3},
doi = {10.1007/978-3-540-68624-8\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/OberH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/PerezGSH08,
author = {H{\'{e}}ctor P{\'{e}}rez and
J. Javier Guti{\'{e}}rrez and
Daniel Sangorr{\'{\i}}n and
Michael Gonz{\'{a}}lez Harbour},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Real-Time Distribution Middleware from the Ada Perspective},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {268--281},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_20},
doi = {10.1007/978-3-540-68624-8\_20},
timestamp = {Thu, 21 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adaEurope/PerezGSH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Pettit08,
author = {Robert G. Pettit IV},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Increasing Confidence in Concurrent Software through Architectural
Analysis},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {199--210},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_15},
doi = {10.1007/978-3-540-68624-8\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Pettit08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RazaV08,
author = {Aoun Raza and
Gunther Vogel},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {RCanalyser: {A} Flexible Framework for the Detection of Data Races
in Parallel Programs},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {226--239},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_17},
doi = {10.1007/978-3-540-68624-8\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/RazaV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/SinghoffPD08,
author = {Frank Singhoff and
Alain Plantec and
Pierre Dissaux},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Can We Increase the Usability of Real Time Scheduling Theory? The
Cheddar Project},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {240--253},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_18},
doi = {10.1007/978-3-540-68624-8\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/SinghoffPD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/UruenaPLZP08,
author = {Santiago Urue{\~{n}}a and
Jos{\'{e}} Antonio Pulido and
Jorge L{\'{o}}pez and
Juan Zamorano and
Juan Antonio de la Puente},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {A New Approach to Memory Partitioning in On-Board Spacecraft Software},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {1--14},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_1},
doi = {10.1007/978-3-540-68624-8\_1},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/UruenaPLZP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/VilloingB08,
author = {Florian Villoing and
Emmanuel Briot},
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {A Type-Safe Database Interface},
booktitle = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {144--157},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8\_11},
doi = {10.1007/978-3-540-68624-8\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/VilloingB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adaEurope/2008,
editor = {Fabrice Kordon and
Tullio Vardanega},
title = {Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe
International Conference on Reliable Software Technologies, Venice,
Italy, June 16-20, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5026},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68624-8},
doi = {10.1007/978-3-540-68624-8},
isbn = {978-3-540-68621-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/2008.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-30 22:52 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:
