Search dblp for Publications

export results for "toc:db/conf/sigada/sigada2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sigada/AbrahamCP11,
  author       = {Jay Abraham and
                  Jeff Chapple and
                  Cyril Preve},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Improving quality of Ada software with range analysis},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {7--8},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070342},
  doi          = {10.1145/2070337.2070342},
  timestamp    = {Fri, 02 Jun 2023 17:16:28 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/AbrahamCP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/AbrahamCP11a,
  author       = {Jay Abraham and
                  Jeff Chapple and
                  Cyril Preve},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Improving quality of Ada software with range analysis},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {69--74},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070360},
  doi          = {10.1145/2070337.2070360},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/AbrahamCP11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/AliP11,
  author       = {Hazem Ismail Ali and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {A parallel programming model for ada},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {19--26},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070350},
  doi          = {10.1145/2070337.2070350},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/AliP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/BeltHRCHD11,
  author       = {Jason Belt and
                  John Hatcliff and
                  Robby and
                  Patrice Chalin and
                  David S. Hardin and
                  Xianghua Deng},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Enhancing spark's contract checking facilities using symbolic execution},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {47--60},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070357},
  doi          = {10.1145/2070337.2070357},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/BeltHRCHD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Booch11,
  author       = {Grady Booch},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Everything i know i learned from ada},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {17--18},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070348},
  doi          = {10.1145/2070337.2070348},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Booch11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Brosgol11,
  author       = {Benjamin M. Brosgol},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Do-178c: the next avionics safety standard},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {5--6},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070341},
  doi          = {10.1145/2070337.2070341},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Brosgol11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/BrosterC11,
  author       = {Ian Broster and
                  Andrew Coombes},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {How to measure and optimize reliable embedded software},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070339},
  doi          = {10.1145/2070337.2070339},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/BrosterC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Carlisle11,
  author       = {Martin C. Carlisle},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Why i came back to Ada},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {37--38},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070354},
  doi          = {10.1145/2070337.2070354},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Carlisle11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/EilersK11,
  author       = {Dan Eilers and
                  Tero Koskinen},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Making the non-executable {ACATS} tests executable},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {75--80},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070361},
  doi          = {10.1145/2070337.2070361},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/EilersK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Feldman11,
  author       = {Michael B. Feldman},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Introduction to Ada},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {9--10},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070343},
  doi          = {10.1145/2070337.2070343},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Feldman11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/GaudelSPRDL11,
  author       = {Vincent Gaudel and
                  Frank Singhoff and
                  Alain Plantec and
                  St{\'{e}}phane Rubini and
                  Pierre Dissaux and
                  J{\'{e}}r{\^{o}}me Legrand},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {An Ada design pattern recognition tool for {AADL} performance analysis},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {61--68},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070359},
  doi          = {10.1145/2070337.2070359},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/GaudelSPRDL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/McCormickS11,
  author       = {John W. McCormick and
                  Frank Singhoff},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Building embedded real-time applications},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {15--16},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070346},
  doi          = {10.1145/2070337.2070346},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/McCormickS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Moore11,
  author       = {Bradley J. Moore},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Stack safe parallel recursion with paraffin},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {27--34},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070351},
  doi          = {10.1145/2070337.2070351},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Moore11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/PhDJPD11,
  author       = {Joyce L. Tokar and
                  F. David Jones and
                  Paul E. Black and
                  Chris E. Dupilka},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Software vulnerabilities precluded by spark},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {39--46},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070356},
  doi          = {10.1145/2070337.2070356},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/PhDJPD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Rogers11,
  author       = {James S. Rogers},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Language choice for safety critical applications},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {81--90},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070363},
  doi          = {10.1145/2070337.2070363},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Rogers11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Rosen11,
  author       = {Jean{-}Pierre Rosen},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Designing and checking coding standards for ada},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {13--14},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070345},
  doi          = {10.1145/2070337.2070345},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Rosen11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/RosenMT11,
  author       = {Jean{-}Pierre Rosen and
                  Brad Moore and
                  S. Tucker Taft},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {How to make ada go 'viral'},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {35--36},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070352},
  doi          = {10.1145/2070337.2070352},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/RosenMT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/SwardB11,
  author       = {Ricky E. Sward and
                  Jeff Boleng},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Service-oriented architecture (SOA)concepts and implementations},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {3--4},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070340},
  doi          = {10.1145/2070337.2070340},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/SwardB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Taft11,
  author       = {S. Tucker Taft},
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Experimenting with parasail: parallel specification and implementation
                  language},
  booktitle    = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  pages        = {11--12},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337.2070344},
  doi          = {10.1145/2070337.2070344},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Taft11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sigada/2011,
  editor       = {Ricky E. Sward and
                  Michael B. Feldman and
                  Dan Eilers and
                  Jean{-}Pierre Rosen and
                  Frank Singhoff and
                  Julien Delange and
                  Mark Gardinier and
                  Karl A. Nyberg and
                  Jeff Boleng},
  title        = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
                  on Ada, Denver, Colorado, USA, November 6-10, 2011},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2070337},
  doi          = {10.1145/2070337},
  isbn         = {978-1-4503-1028-4},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/2011.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.