Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sigada/Barnes07,
  author       = {John G. P. Barnes},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {{SA1:} introducing the best of ada},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315582},
  doi          = {10.1145/1315580.1315582},
  timestamp    = {Fri, 25 Mar 2022 14:21:18 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Barnes07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Barnes07a,
  author       = {John G. P. Barnes},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {{SP1:} introducing the best of ada 2005},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {3},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315584},
  doi          = {10.1145/1315580.1315584},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Barnes07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Black07,
  author       = {Paul E. Black},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Static analysis summit {II}},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {101--107},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315606},
  doi          = {10.1145/1315580.1315606},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Black07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Brosgol07,
  author       = {Benjamin M. Brosgol},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {{SA2:} languages for safety-critical software: issues and assessment},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {2},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315583},
  doi          = {10.1145/1315580.1315583},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Brosgol07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/CarlisleB07,
  author       = {Martin C. Carlisle and
                  Leemon C. Baird III},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Timing neural networks in {C} and ada},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {71--74},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315598},
  doi          = {10.1145/1315580.1315598},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/CarlisleB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Chapman07,
  author       = {Rod Chapman},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {{MF1:} security by construction},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {5--6},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315586},
  doi          = {10.1145/1315580.1315586},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Chapman07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Chapman07a,
  author       = {Rod Chapman},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Correctness by construction: putting engineering (back) into software},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {100},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315605},
  doi          = {10.1145/1315580.1315605},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Chapman07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Dewar07,
  author       = {Robert B. K. Dewar},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {The compiler as a static analysis tool},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {83--88},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315601},
  doi          = {10.1145/1315580.1315601},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Dewar07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Dewar07a,
  author       = {Robert Dewar},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Birds-of-a-feather: where would you like to see {GNAT} go?},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {97--98},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315603},
  doi          = {10.1145/1315580.1315603},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Dewar07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Grosman07,
  author       = {Tom Grosman},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Hibachi: the eclipse ada development toolset},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {99},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315604},
  doi          = {10.1145/1315580.1315604},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Grosman07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/HallmarkR07,
  author       = {Tyler B. Hallmark and
                  Eugene K. Ressler},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Parallel evolution of game evaluation functions in ada},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {59--62},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315595},
  doi          = {10.1145/1315580.1315595},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/HallmarkR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Jarzombek07,
  author       = {Joe Jarzombek},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Wanted: software with assurance built-in},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {9--10},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315590},
  doi          = {10.1145/1315580.1315590},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Jarzombek07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Lau07,
  author       = {Kung{-}Kiu Lau},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Using {SPARK} for a beginner's course on reasoning about imperative
                  programs},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {75--78},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315599},
  doi          = {10.1145/1315580.1315599},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Lau07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/LauW07,
  author       = {Kung{-}Kiu Lau and
                  Zheng Wang},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Verified component-based software in {SPARK:} experimental results
                  for a missile guidance system},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {51--58},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315594},
  doi          = {10.1145/1315580.1315594},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/LauW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Maurer07,
  author       = {Ward Douglas Maurer},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Using mathematics to improve ada compiled code, part 2: the proof},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {11--26},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315591},
  doi          = {10.1145/1315580.1315591},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Maurer07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/McCormick07,
  author       = {John W. McCormick},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {{MA1:} real-time and parallel processing in ada},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {7},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315587},
  doi          = {10.1145/1315580.1315587},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/McCormick07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/NettletonIM07,
  author       = {Chris Nettleton and
                  Wilson Ifill and
                  Colin Marsh},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Towards a demonstrably-correct ada compiler},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {89--96},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315602},
  doi          = {10.1145/1315580.1315602},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/NettletonIM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Nyberg07,
  author       = {Karl A. Nyberg},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Multi-core + multi-tasking = multi-opportunity?},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {79--82},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315600},
  doi          = {10.1145/1315580.1315600},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Nyberg07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/OLeary07,
  author       = {Jeffrey O'Leary},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Federal aviation administration and Ada},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {69--70},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315597},
  doi          = {10.1145/1315580.1315597},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/OLeary07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/PukiteL07,
  author       = {Paul Pukite and
                  Luke Ludwig},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Generic discrete event simulations using \emph{DEGAS}: application
                  to logic design and digital signal processing},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {27--40},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315592},
  doi          = {10.1145/1315580.1315592},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/PukiteL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Singhoff07,
  author       = {Frank Singhoff},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {{MP1:} real time scheduling theory and its use with ada},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {8},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315588},
  doi          = {10.1145/1315580.1315588},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Singhoff07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/SinghoffP07,
  author       = {Frank Singhoff and
                  Alain Plantec},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {{AADL} modeling and analysis of hierarchical schedulers},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {41--50},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315593},
  doi          = {10.1145/1315580.1315593},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/SinghoffP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Sward07,
  author       = {Ricky E. Sward},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {{SP2:} exposing ada web services using a service-oriented architecture
                  {(SOA)}},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {4},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315585},
  doi          = {10.1145/1315580.1315585},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Sward07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Sward07a,
  author       = {Ricky E. Sward},
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Using ada in a service-Ooriented architecture},
  booktitle    = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  pages        = {63--68},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580.1315596},
  doi          = {10.1145/1315580.1315596},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Sward07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sigada/2007,
  editor       = {Alok Srivastava and
                  Leemon C. Baird III},
  title        = {Proceedings of the 2007 Annual {ACM} SIGAda International Conference
                  on Ada, Fairfax, Virginia, USA, November 4-8, 2007},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1315580},
  doi          = {10.1145/1315580},
  isbn         = {978-1-59593-876-3},
  timestamp    = {Fri, 25 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/2007.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.