Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sigada/AhmadLBZD14,
  author       = {Ehsan Ahmad and
                  Brian R. Larson and
                  Stephen C. Barrett and
                  Naijun Zhan and
                  Yunwei Dong},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Hybrid annex: an {AADL} extension for continuous behavior and cyber-physical
                  interaction modeling},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {29--38},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663178},
  doi          = {10.1145/2663171.2663178},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/AhmadLBZD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Anderson14,
  author       = {Christine Anderson},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {From Ada 9x to spaceport America: going where no one has gone before},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663172},
  doi          = {10.1145/2663171.2663172},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Anderson14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/BaggeH14,
  author       = {Anya Helene Bagge and
                  Magne Haveraaen},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Specification of generic APIs, or: why algebraic may be better than
                  pre/post},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {71--80},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663183},
  doi          = {10.1145/2663171.2663183},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/BaggeH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Ball14,
  author       = {Thomas Ball},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Correctness via compilation to logic: a decade of verification at
                  microsoft research},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {69--70},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663189},
  doi          = {10.1145/2663171.2663189},
  timestamp    = {Tue, 09 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Ball14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/BarnesT14,
  author       = {John Barnes and
                  S. Tucker Taft},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Ada 83 to Ada 2012: lessons learned over 30 years of language design},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {3--4},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663173},
  doi          = {10.1145/2663171.2663173},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/BarnesT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/BocchinoGGS14,
  author       = {Robert L. Bocchino and
                  Edward B. Gamble and
                  Kim P. Gostelow and
                  Raphael R. Some},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Spot: a programming language for verified flight software},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {97--102},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663185},
  doi          = {10.1145/2663171.2663185},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/BocchinoGGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/BocchinoMTLS14,
  author       = {Robert Bocchino and
                  Nicholas D. Matsakis and
                  S. Tucker Taft and
                  Brian Larson and
                  Ed Seidewitz},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Panel summary: finding safety in numbers: new languages for safe multicore
                  programming and modeling},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {105--106},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663190},
  doi          = {10.1145/2663171.2663190},
  timestamp    = {Sat, 11 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/BocchinoMTLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Crocker14,
  author       = {David Crocker},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Can {C++} be made as safe as SPARK?},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {5--12},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663179},
  doi          = {10.1145/2663171.2663179},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Crocker14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Feiler14,
  author       = {Peter H. Feiler},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {{AADL} and model-based engineering},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {17--18},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663174},
  doi          = {10.1145/2663171.2663174},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Feiler14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/GacekBCSW14,
  author       = {Andrew Gacek and
                  John Backes and
                  Darren D. Cofer and
                  Konrad Slind and
                  Mike Whalen},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Resolute: an assurance case language for architecture models},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {19--28},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663177},
  doi          = {10.1145/2663171.2663177},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/GacekBCSW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/HuguesG14,
  author       = {J{\'{e}}r{\^{o}}me Hugues and
                  Christophe Garion},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Leveraging Ada 2012 and {SPARK} 2014 for assessing generated code
                  from {AADL} models},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {39--46},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663180},
  doi          = {10.1145/2663171.2663180},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/HuguesG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Larson14,
  author       = {Brian R. Larson},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Formal semantics for the {PACEMAKER} system specification},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {47--60},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663182},
  doi          = {10.1145/2663171.2663182},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Larson14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/MatsakisK14,
  author       = {Nicholas D. Matsakis and
                  Felix S. Klock II},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {The rust language},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {103--104},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663188},
  doi          = {10.1145/2663171.2663188},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/MatsakisK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/RathjeR14,
  author       = {William Rathje and
                  Brad Richards},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {A framework for model checking {UDP} network programs with Java pathfinder},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {81--86},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663184},
  doi          = {10.1145/2663171.2663184},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/RathjeR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Seidewitz14,
  author       = {Ed Seidewitz},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {{UML} with meaning: executable modeling in foundational {UML} and
                  the Alf action language},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {61--68},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663187},
  doi          = {10.1145/2663171.2663187},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/Seidewitz14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/SzaboVKRS14,
  author       = {Tam{\'{a}}s Szab{\'{o}} and
                  Markus Voelter and
                  Bernd Kolb and
                  Daniel Ratiu and
                  Bernhard Sch{\"{a}}tz},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {mbeddr: extensible languages for embedded software development},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {13--16},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663186},
  doi          = {10.1145/2663171.2663186},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/SzaboVKRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/TaftMPM14,
  author       = {S. Tucker Taft and
                  Brad Moore and
                  Lu{\'{\i}}s Miguel Pinho and
                  Stephen Michell},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Safe parallel programming in ada with language extensions},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {87--96},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663181},
  doi          = {10.1145/2663171.2663181},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/TaftMPM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sigada/2014,
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171},
  doi          = {10.1145/2663171},
  isbn         = {978-1-4503-3217-0},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.