Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/adaEurope/BaracchiMPV16,
  author       = {Laura Baracchi and
                  Silvia Mazzini and
                  Stefano Puri and
                  Tullio Vardanega},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Lessons Learned in a Journey Toward Correct-by-Construction Model-Based
                  Development},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {113--128},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_8},
  doi          = {10.1007/978-3-319-39083-3\_8},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BaracchiMPV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/Burns16,
  author       = {Alan Burns},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Why the Expressive Power of Programming Languages Such as Ada Is Needed
                  for Future Cyber Physical Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {3--11},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_1},
  doi          = {10.1007/978-3-319-39083-3\_1},
  timestamp    = {Fri, 18 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Burns16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/GabsiZJ16,
  author       = {Wafa Gabsi and
                  Bechir Zalila and
                  Mohamed Jmaiel},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Extension of the Ocarina Tool Suite to Support Reliable Replication-Based
                  Fault-Tolerance},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {129--144},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_9},
  doi          = {10.1007/978-3-319-39083-3\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/GabsiZJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/Jones16,
  author       = {Andrew V. Jones},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Addressing the Regression Test Problem with Change Impact Analysis
                  for Ada},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {61--77},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_5},
  doi          = {10.1007/978-3-319-39083-3\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Jones16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/LaaliLHSS16,
  author       = {Mohsen Laali and
                  Huai Liu and
                  Margaret Hamilton and
                  Maria Spichkova and
                  Heinz W. Schmidt},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Test Case Prioritization Using Online Fault Detection Information},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {78--93},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_6},
  doi          = {10.1007/978-3-319-39083-3\_6},
  timestamp    = {Mon, 13 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/LaaliLHSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/Mazzanti16,
  author       = {Franco Mazzanti},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {An Experience in Ada Multicore Programming: Parallelisation of a Model
                  Checking Engine},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {94--109},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_7},
  doi          = {10.1007/978-3-319-39083-3\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Mazzanti16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/MeiGW16,
  author       = {HaiTao Mei and
                  Ian Gray and
                  Andy J. Wellings},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Real-Time Stream Processing in Java},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {44--57},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_4},
  doi          = {10.1007/978-3-319-39083-3\_4},
  timestamp    = {Mon, 18 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MeiGW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/MittermayrB16,
  author       = {Robert Mittermayr and
                  Johann Blieberger},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Kronecker Algebra for Static Analysis of Barriers in Ada},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {145--159},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_10},
  doi          = {10.1007/978-3-319-39083-3\_10},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MittermayrB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/MohaqeqiAY16,
  author       = {Morteza Mohaqeqi and
                  Jakaria Abdullah and
                  Wang Yi},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time
                  Task Model},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {15--29},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_2},
  doi          = {10.1007/978-3-319-39083-3\_2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MohaqeqiAY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/PerezGHP16,
  author       = {H{\'{e}}ctor P{\'{e}}rez and
                  J. Javier Guti{\'{e}}rrez and
                  Michael Gonz{\'{a}}lez Harbour and
                  J. Carlos Palencia},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {The Polling Effect on the Schedulability of Distributed Real-Time
                  Systems},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {179--194},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_12},
  doi          = {10.1007/978-3-319-39083-3\_12},
  timestamp    = {Thu, 21 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adaEurope/PerezGHP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/RealSC16,
  author       = {Jorge Real and
                  Sergio S{\'{a}}ez and
                  Alfons Crespo},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Combining Time-Triggered Plans with Priority Scheduled Task Sets},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {195--212},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_13},
  doi          = {10.1007/978-3-319-39083-3\_13},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/RealSC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/ThekkilakattilZ16,
  author       = {Abhilash Thekkilakattil and
                  Kaiqian Zhu and
                  Yonggao Nie and
                  Radu Dobrin and
                  Sasikumar Punnekkat},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {An Empirical Investigation of Eager and Lazy Preemption Approaches
                  in Global Limited Preemptive Scheduling},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {163--178},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_11},
  doi          = {10.1007/978-3-319-39083-3\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/ThekkilakattilZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/Wittiger16,
  author       = {Martin Wittiger},
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Eliminating Data Race Warnings Using {CSP}},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  pages        = {30--43},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3\_3},
  doi          = {10.1007/978-3-319-39083-3\_3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Wittiger16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/adaEurope/2016,
  editor       = {Marko Bertogna and
                  Lu{\'{\i}}s Miguel Pinho and
                  Eduardo Qui{\~{n}}ones},
  title        = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
                  International Conference on Reliable Software Technologies, Pisa,
                  Italy, June 13-17, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9695},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39083-3},
  doi          = {10.1007/978-3-319-39083-3},
  isbn         = {978-3-319-39082-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/2016.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.