Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/adaEurope/AlonsoSAP06,
  author       = {Diego Alonso and
                  Pedro S{\'{a}}nchez and
                  B{\'{a}}rbara {\'{A}}lvarez and
                  Juan Angel Pastor},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {A Systematic Approach to Developing Safe Tele-operated Robots},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {119--130},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_10},
  doi          = {10.1007/11767077\_10},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/AlonsoSAP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/ArandaPETG06,
  author       = {Gustavo Aranda Bada and
                  Javier Palanca C{\'{a}}mara and
                  Agust{\'{\i}}n Espinosa and
                  Andr{\'{e}}s Terrasa and
                  Ana Garc{\'{\i}}a{-}Fornes},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Towards Developing Multi-agent Systems in Ada},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {131--142},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_11},
  doi          = {10.1007/11767077\_11},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/ArandaPETG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/BreuerP06,
  author       = {Peter T. Breuer and
                  Simon Pickin},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {One Million {(LOC)} and Counting: Static Analysis for Errors and Vulnerabilities
                  in the Linux Kernel Source Code},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {56--70},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_5},
  doi          = {10.1007/11767077\_5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BreuerP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/BrosgolW06,
  author       = {Benjamin M. Brosgol and
                  Andy J. Wellings},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {A Comparison of Ada and Real-Time Java\({}^{\mbox{TM}}\) for Safety-Critical
                  Applications},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {13--26},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_2},
  doi          = {10.1007/11767077\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BrosgolW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/BurgstallerBM06,
  author       = {Bernd Burgstaller and
                  Johann Blieberger and
                  Robert Mittermayr},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Static Detection of Access Anomalies in Ada95},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {40--55},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_4},
  doi          = {10.1007/11767077\_4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BurgstallerBM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/CamposGH06,
  author       = {Juan L{\'{o}}pez Campos and
                  J. Javier Guti{\'{e}}rrez and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Interchangeable Scheduling Policies in Real-Time Middleware for Distribution},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {227--240},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_19},
  doi          = {10.1007/11767077\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/CamposGH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/ChenHZ06,
  author       = {Tsong Yueh Chen and
                  Dehao Huang and
                  Zhiquan Zhou},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Adaptive Random Testing Through Iterative Partitioning},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {155--166},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_13},
  doi          = {10.1007/11767077\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/ChenHZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/Cheng06,
  author       = {Jingde Cheng},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Run-Time Detection of Tasking Deadlocks in Real-Time Systems with
                  the Ada 95 Annex of Real-Time Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {167--178},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_14},
  doi          = {10.1007/11767077\_14},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Cheng06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/Curtis06,
  author       = {Damian Curtis},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {{SPARK} Annotations Within Executable {UML}},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {83--93},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_7},
  doi          = {10.1007/11767077\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Curtis06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/LiWQLYZZ06,
  author       = {Xuandong Li and
                  Linzhang Wang and
                  Xiaokang Qiu and
                  Bin Lei and
                  Jiesong Yuan and
                  Jianhua Zhao and
                  Guoliang Zheng},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Runtime Verification of Java Programs for Scenario-Based Specifications},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {94--105},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_8},
  doi          = {10.1007/11767077\_8},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/LiWQLYZZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/Maurer06,
  author       = {Ward Douglas Maurer},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Using Mathematics to Improve Ada Compiled Code},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {191--202},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_16},
  doi          = {10.1007/11767077\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Maurer06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/MirandaS06,
  author       = {Javier Miranda and
                  Edmond Schonberg},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Abstract Interface Types in {GNAT:} Conversions, Discriminants, and
                  {C++}},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {179--190},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_15},
  doi          = {10.1007/11767077\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MirandaS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/NarayananKBK06,
  author       = {Sri Hari Krishna Narayanan and
                  Mahmut T. Kandemir and
                  Richard R. Brooks and
                  Ibrahim Kolcu},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Secure Execution of Computations in Untrusted Hosts},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {106--118},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_9},
  doi          = {10.1007/11767077\_9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/NarayananKBK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/PulidoUZVP06,
  author       = {Jos{\'{e}} Antonio Pulido and
                  Santiago Urue{\~{n}}a and
                  Juan Zamorano and
                  Tullio Vardanega and
                  Juan Antonio de la Puente},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Hierarchical Scheduling with Ada 2005},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_1},
  doi          = {10.1007/11767077\_1},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/PulidoUZVP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/RazaVP06,
  author       = {Aoun Raza and
                  Gunther Vogel and
                  Erhard Pl{\"{o}}dereder},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Bauhaus - {A} Tool Suite for Program Analysis and Reverse Engineering},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {71--82},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_6},
  doi          = {10.1007/11767077\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/RazaVP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/SharifiS06,
  author       = {Mohsen Sharifi and
                  Hadi Salimi},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Replication-Aware Transactions: How to Roll a Transaction over Failures},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {203--214},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_17},
  doi          = {10.1007/11767077\_17},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/SharifiS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/UruenaZBPP06,
  author       = {Santiago Urue{\~{n}}a and
                  Juan Zamorano and
                  Daniel Berj{\'{o}}n and
                  Jos{\'{e}} Antonio Pulido and
                  Juan Antonio de la Puente},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {The Arbitrated Real-Time Protocol {(AR-TP):} {A} Ravenscar Compliant
                  Communication Protocol for High-Integrity Distributed Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {215--226},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_18},
  doi          = {10.1007/11767077\_18},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/UruenaZBPP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/ValpereiroP06,
  author       = {Filipe Valpereiro and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {{POSIX} Trace Based Behavioural Reflection},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {27--39},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_3},
  doi          = {10.1007/11767077\_3},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/ValpereiroP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/WagnerF06,
  author       = {Stefan Wagner and
                  Helmut Fischer},
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {A Software Reliability Model Based on a Geometric Sequence of Failure
                  Rates},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  pages        = {143--154},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077\_12},
  doi          = {10.1007/11767077\_12},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/WagnerF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/adaEurope/2006,
  editor       = {Lu{\'{\i}}s Miguel Pinho and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe
                  International Conference on Reliable Software Technologies, Porto,
                  Portugal, June 5-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4006},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11767077},
  doi          = {10.1007/11767077},
  isbn         = {3-540-34663-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.