BibTeX records: Dirk Craeynest

• > Home > Persons > Dirk Craeynest

@inproceedings{DBLP:conf/adaEurope/BriotGDCW03,
  author       = {Emmanuel Briot and
                  Franco Gasperoni and
                  Robert Dewar and
                  Dirk Craeynest and
                  Philippe Waroquiers},
  editor       = {Jean{-}Pierre Rosen and
                  Alfred Strohmeier},
  title        = {Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms
                  in Ada},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
                  Conference on Reliable Software Technologies, Toulouse, France, June
                  16-20, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2655},
  pages        = {129--141},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44947-7\_9},
  doi          = {10.1007/3-540-44947-7\_9},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BriotGDCW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/AllaertCW03,
  author       = {Gaetan Allaert and
                  Dirk Craeynest and
                  Philippe Waroquiers},
  editor       = {Robert C. Leif and
                  Ricky E. Sward},
  title        = {European air traffic flow management: porting a large application
                  to GNU/linux},
  booktitle    = {Proceedings of the 2003 Annual {ACM} SIGAda International Conference
                  on Ada: The Engineering of Correct and Reliable Software for Real-Time
                  {\&} Distributed Systems using Ada and Related Technologies 2003,
                  San Diego, CA, USA, December 7-11, 2003},
  pages        = {29--37},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/958420.958426},
  doi          = {10.1145/958420.958426},
  timestamp    = {Fri, 25 Mar 2022 14:21:18 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/AllaertCW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/DewarHCW02,
  author       = {Robert Dewar and
                  Olivier Hainque and
                  Dirk Craeynest and
                  Philippe Waroquiers},
  editor       = {Johann Blieberger and
                  Alfred Strohmeier},
  title        = {Exposing Uninitialized Variables: Strengthening and Extending Run-Time
                  Checks in Ada},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International
                  Conference on Reliable Software Technologies, Vienna, Austria, June
                  17-21, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2361},
  pages        = {193--204},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-48046-3\_15},
  doi          = {10.1007/3-540-48046-3\_15},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/DewarHCW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/WaroquiersVCHD01,
  author       = {Philippe Waroquiers and
                  Stef van Vlierberghe and
                  Dirk Craeynest and
                  Andrew Hately and
                  Erik Duvinage},
  editor       = {Dirk Craeynest and
                  Alfred Strohmeier},
  title        = {Migrating Large Applications from Ada83 to Ada95},
  booktitle    = {Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International
                  Conference Leuven, Belgium, May 14-18, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2043},
  pages        = {380--391},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45136-6\_31},
  doi          = {10.1007/3-540-45136-6\_31},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/WaroquiersVCHD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/adaEurope/2001,
  editor       = {Dirk Craeynest and
                  Alfred Strohmeier},
  title        = {Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International
                  Conference Leuven, Belgium, May 14-18, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2043},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45136-6},
  doi          = {10.1007/3-540-45136-6},
  isbn         = {3-540-42123-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigplan/CraeynestVL84,
  author       = {Dirk Craeynest and
                  Geert Vansteenkiste and
                  Johan Lewi},
  title        = {Construction of an {ELL(1)} syntax analyser for Ada with the compiler-generator
                  {LILA}},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {19},
  number       = {1},
  pages        = {36--45},
  year         = {1984},
  url          = {https://doi.org/10.1145/948415.948419},
  doi          = {10.1145/948415.948419},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigplan/CraeynestVL84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}