Search dblp for Publications

export results for "stream:streams/conf/irtaw:"

 download as .bib file

@inproceedings{DBLP:conf/irtaw/0001W05,
  author       = {Alan Burns and
                  Andy J. Wellings},
  editor       = {Juan Antonio de la Puente},
  title        = {Introduction},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {59--60},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316015},
  doi          = {10.1145/1316003.1316015},
  timestamp    = {Wed, 06 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001W05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W07,
  author       = {Alan Burns and
                  Andy J. Wellings},
  editor       = {Juan Antonio de la Puente},
  title        = {Programming execution-time servers in Ada 2005},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {48--52},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316012},
  doi          = {10.1145/1316003.1316012},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001W07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/BrosgolR05,
  author       = {Ben Brosgol and
                  Mario Aldea Rivas},
  editor       = {Juan Antonio de la Puente},
  title        = {Introduction},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {88--89},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316023},
  doi          = {10.1145/1316003.1316023},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/BrosgolR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HarbourG07,
  author       = {Michael Gonz{\'{a}}lez Harbour and
                  J. Javier Guti{\'{e}}rrez},
  editor       = {Juan Antonio de la Puente},
  title        = {Introduction},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {37--40},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316010},
  doi          = {10.1145/1316003.1316010},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HarbourG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Michell05,
  author       = {Stephen Michell},
  editor       = {Juan Antonio de la Puente},
  title        = {Interfacing Ada to operating systems},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {90--95},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316024},
  doi          = {10.1145/1316003.1316024},
  timestamp    = {Wed, 06 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Michell05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/PuenteU05,
  author       = {Juan Antonio de la Puente and
                  Santiago Urue{\~{n}}a},
  editor       = {Juan Antonio de la Puente},
  title        = {Summary},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {96--97},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316026},
  doi          = {10.1145/1316003.1316026},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PuenteU05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/PulidoPHBV07,
  author       = {Jos{\'{e}} Antonio Pulido and
                  Juan Antonio de la Puente and
                  J{\'{e}}r{\^{o}}me Hugues and
                  Matteo Bordin and
                  Tullio Vardanega},
  editor       = {Juan Antonio de la Puente},
  title        = {Ada 2005 code patterns for metamodel-based code generation},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {53--58},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316013},
  doi          = {10.1145/1316003.1316013},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PulidoPHBV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RealM05,
  author       = {Jorge Real and
                  Stephen Michell},
  editor       = {Juan Antonio de la Puente},
  title        = {Introduction},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {72--74},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316019},
  doi          = {10.1145/1316003.1316019},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RealM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RivasH05,
  author       = {Mario Aldea Rivas and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {Juan Antonio de la Puente},
  title        = {Operating system support for execution time budgets for thread groups},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {67--71},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316017},
  doi          = {10.1145/1316003.1316017},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RivasH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/UruenaPRZ05,
  author       = {Santiago Urue{\~{n}}a and
                  Jos{\'{e}} Antonio Pulido and
                  Jos{\'{e}} Redondo and
                  Juan Zamorano},
  editor       = {Juan Antonio de la Puente},
  title        = {Implementing the new Ada 2005 real-time features on a bare board kernel},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {61--66},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316016},
  doi          = {10.1145/1316003.1316016},
  timestamp    = {Wed, 06 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/UruenaPRZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/UruenaZ07,
  author       = {Santiago Urue{\~{n}}a and
                  Juan Zamorano},
  editor       = {Juan Antonio de la Puente},
  title        = {Building high-integrity distributed systems with Ravenscar restrictions},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {29--36},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316008},
  doi          = {10.1145/1316003.1316008},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/UruenaZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/VardanegaR07,
  author       = {Tullio Vardanega and
                  Jos{\'{e}} F. Ruiz},
  editor       = {Juan Antonio de la Puente},
  title        = {Introduction},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {15--17},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316005},
  doi          = {10.1145/1316003.1316005},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/VardanegaR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/WardA05,
  author       = {Michael Ward and
                  Neil C. Audsley},
  editor       = {Juan Antonio de la Puente},
  title        = {Suggestions for stream based parallel systems in Ada},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {82--87},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316021},
  doi          = {10.1145/1316003.1316021},
  timestamp    = {Wed, 06 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/WardA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings005,
  author       = {Andy J. Wellings and
                  Alan Burns},
  editor       = {Juan Antonio de la Puente},
  title        = {Beyond Ada 2005: allocating tasks to processors in {SMP} systems},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {75--81},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316020},
  doi          = {10.1145/1316003.1316020},
  timestamp    = {Wed, 06 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Wellings005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings007,
  author       = {Andy J. Wellings and
                  Alan Burns},
  editor       = {Juan Antonio de la Puente},
  title        = {Integrating {OOP} and tasking: the missing requeue},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {23--28},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316007},
  doi          = {10.1145/1316003.1316007},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Wellings007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings007a,
  author       = {Andy J. Wellings and
                  Alan Burns},
  editor       = {Juan Antonio de la Puente},
  title        = {A framework for real-time utilities for Ada 2005},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {41--47},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316011},
  doi          = {10.1145/1316003.1316011},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Wellings007a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Zerzelidis0W07,
  author       = {Alexandros Zerzelidis and
                  Alan Burns and
                  Andy J. Wellings},
  editor       = {Juan Antonio de la Puente},
  title        = {Correcting the {EDF} protocol in Ada 2005},
  booktitle    = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  pages        = {18--22},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003.1316006},
  doi          = {10.1145/1316003.1316006},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Zerzelidis0W07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irtaw/2007,
  editor       = {Juan Antonio de la Puente},
  title        = {Proceedings of the 13th International Workshop on Real-Time Ada, {IRTAW}
                  2007, Woodstock, Vermont, USA, April 17-19, 2007},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1316003},
  doi          = {10.1145/1316003},
  isbn         = {978-1-4503-7840-6},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001V03,
  author       = {Alan Burns and
                  Tullio Vardanega},
  editor       = {Tullio Vardanega},
  title        = {Report of session: generating new AIs},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {93--95},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959239},
  doi          = {10.1145/959222.959239},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001V03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W03,
  author       = {Alan Burns and
                  Andy J. Wellings},
  editor       = {Tullio Vardanega},
  title        = {Task attribute-based scheduling: extending Ada's support for scheduling},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {36--41},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959230},
  doi          = {10.1145/959222.959230},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001W03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001WV03,
  author       = {Alan Burns and
                  Andy J. Wellings and
                  Tullio Vardanega},
  editor       = {Tullio Vardanega},
  title        = {Report of session: flexible scheduling in Ada},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {32--35},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959229},
  doi          = {10.1145/959222.959229},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001WV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/AmeyD03,
  author       = {Peter Amey and
                  Brian Dobbing},
  editor       = {Tullio Vardanega},
  title        = {Static analysis of Ravenscar programs},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {58--64},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959234},
  doi          = {10.1145/959222.959234},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/AmeyD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/DobbingP03,
  author       = {Brian Dobbing and
                  Juan Antonio de la Puente},
  editor       = {Tullio Vardanega},
  title        = {Session: status and future of the Ravenscar profile},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {55--57},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959233},
  doi          = {10.1145/959222.959233},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/DobbingP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HarbourR03,
  author       = {Michael Gonz{\'{a}}lez Harbour and
                  Mario Aldea Rivas},
  editor       = {Tullio Vardanega},
  title        = {Managing multiple execution-time timers from a single task},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {28--31},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959228},
  doi          = {10.1145/959222.959228},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HarbourR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HarbourV03,
  author       = {Michael Gonz{\'{a}}lez Harbour and
                  Tullio Vardanega},
  editor       = {Tullio Vardanega},
  title        = {Report of session: current real-time AIs},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {22--23},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959226},
  doi          = {10.1145/959222.959226},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HarbourV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HoweM03,
  author       = {Douglas J. Howe and
                  Stephen Michell},
  editor       = {Tullio Vardanega},
  title        = {An approach to formal verication of real time concurrent Ada programs},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {87--92},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959238},
  doi          = {10.1145/959222.959238},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HoweM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/MaiaMBCHRP03,
  author       = {Ricardo Maia and
                  Fl{\'{a}}vio Moreira and
                  R. Barbosa and
                  Diamantino Costa and
                  Kjeld Hjortaes and
                  Patricia Rodr{\'{\i}}guez and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Tullio Vardanega},
  title        = {Verifying, validating and monitoring the open Ravenscar real time
                  kernel},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {74--81},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959236},
  doi          = {10.1145/959222.959236},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MaiaMBCHRP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/MirandaSMRC03,
  author       = {Javier Miranda and
                  Edmond Schonberg and
                  Miguel Masmano and
                  Jorge Real and
                  Alfons Crespo},
  editor       = {Tullio Vardanega},
  title        = {Dynamic ceiling priorities in {GNAT} implementation report},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {24--27},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959227},
  doi          = {10.1145/959222.959227},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MirandaSMRC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/PuenteZ03,
  author       = {Juan Antonio de la Puente and
                  Juan Zamorano},
  editor       = {Tullio Vardanega},
  title        = {Execution-time clocks and Ravenscar kernels},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {82--86},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959237},
  doi          = {10.1145/959222.959237},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PuenteZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RivasH03,
  author       = {Mario Aldea Rivas and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {Tullio Vardanega},
  title        = {Application-defined scheduling in Ada},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {42--51},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959231},
  doi          = {10.1145/959222.959231},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RivasH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Tokar03,
  author       = {Joyce L. Tokar},
  editor       = {Tullio Vardanega},
  title        = {Space {\&} Time Partitioning with {ARINC} 653 and pragma profile},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {52--54},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959232},
  doi          = {10.1145/959222.959232},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Tokar03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/TokarD03,
  author       = {Joyce L. Tokar and
                  Brian Dobbing},
  editor       = {Tullio Vardanega},
  title        = {Session summary: new core language features},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {11--12},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959223},
  doi          = {10.1145/959222.959223},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/TokarD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Vardanega03,
  author       = {Tullio Vardanega},
  editor       = {Tullio Vardanega},
  title        = {Ravenscar design patterns?: reflections on use of the Ravenscar profile},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {65--73},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959235},
  doi          = {10.1145/959222.959235},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Vardanega03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/VardanegaP03,
  author       = {Tullio Vardanega and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Tullio Vardanega},
  title        = {Session summary: the future of {IRTAW}},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {96},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959240},
  doi          = {10.1145/959222.959240},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/VardanegaP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings03,
  author       = {Andy J. Wellings},
  editor       = {Tullio Vardanega},
  title        = {Is Java augmented with the {RTSJ} a better real-time systems implementation
                  technology than Ada 95?},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {16--21},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959225},
  doi          = {10.1145/959222.959225},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Wellings03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/WellingsT03,
  author       = {Andy J. Wellings and
                  Joyce L. Tokar},
  editor       = {Tullio Vardanega},
  title        = {Session summary: integration versus orthogonality {(RTSJ} scheduling
                  policies versus Ada's)},
  booktitle    = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  pages        = {13--15},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222.959224},
  doi          = {10.1145/959222.959224},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/WellingsT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irtaw/2003,
  editor       = {Tullio Vardanega},
  title        = {Proceedings of the 12th International Workshop on Real-Time Ada, {IRTAW}
                  2003, Viana do Castelo, Portugal, September 15-19, 2003},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/959222},
  doi          = {10.1145/959222},
  isbn         = {978-1-4503-7446-0},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001B02,
  author       = {Alan Burns and
                  Ben Brosgol},
  editor       = {William Currie Colket},
  title        = {Session summary: future of the Ada language and language changes such
                  as the Ravenscar profile},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {113--119},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584432},
  doi          = {10.1145/584418.584432},
  timestamp    = {Fri, 01 Apr 2022 12:28:55 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001B02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W02,
  author       = {Alan Burns and
                  Andy J. Wellings},
  editor       = {William Currie Colket},
  title        = {Accessing delay queues},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {72--76},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584428},
  doi          = {10.1145/584418.584428},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001W02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/BrachE02,
  author       = {David Brach and
                  P. Eng},
  editor       = {William Currie Colket},
  title        = {User experiences with the Aonix ObjectAda {RAVEN:} Ravenscar Profile
                  implementation},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {10--21},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584420},
  doi          = {10.1145/584418.584420},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/BrachE02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/BrosgolH02,
  author       = {Ben Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {William Currie Colket},
  title        = {Session summary: update on the real-time specification for java},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {128--130},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584436},
  doi          = {10.1145/584418.584436},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/BrosgolH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/BrosgolHR02,
  author       = {Benjamin M. Brosgol and
                  Ricardo J. Hassan II and
                  Scott Robbins},
  editor       = {William Currie Colket},
  title        = {Asynchronous transfer of control in the real-time specification for
                  java{\texttrademark}},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {95--112},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584431},
  doi          = {10.1145/584418.584431},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/BrosgolHR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/GarciaS02,
  author       = {Rodrigo Garc{\'{\i}}a Garc{\'{\i}}a and
                  Alfred Strohmeier},
  editor       = {William Currie Colket},
  title        = {Experiences report on the implementation of EPTs for {GNAT}},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {22--27},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584421},
  doi          = {10.1145/584418.584421},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/GarciaS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/GutierrezDHM02,
  author       = {J. Javier Guti{\'{e}}rrez and
                  Jos{\'{e}} M. Drake and
                  Michael Gonz{\'{a}}lez Harbour and
                  Julio L. Medina},
  editor       = {William Currie Colket},
  title        = {Modeling and schedulability analysis in the development of real-time
                  distributed Ada systems},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {58--65},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584426},
  doi          = {10.1145/584418.584426},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/GutierrezDHM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HarbourP02,
  author       = {Michael Gonz{\'{a}}lez Harbour and
                  Juan Antonio de la Puente},
  editor       = {William Currie Colket},
  title        = {Session on real-time, fault tolerance, and distribution},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {123--124},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584434},
  doi          = {10.1145/584418.584434},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HarbourP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Lewis02,
  author       = {Bruce Lewis},
  editor       = {William Currie Colket},
  title        = {Software portability gains realized with {METAH} and Ada95},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {37--46},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584423},
  doi          = {10.1145/584418.584423},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Lewis02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Michell02,
  author       = {Stephen Michell},
  editor       = {William Currie Colket},
  title        = {Practical implementations of embedded software using the Ravenscar
                  Profile},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {28--36},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584422},
  doi          = {10.1145/584418.584422},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Michell02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/PinhoV02,
  author       = {Lu{\'{\i}}s Miguel Pinho and
                  Francisco Vasques},
  editor       = {William Currie Colket},
  title        = {Using Ravenscar to support fault-tolerant real-time applications},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {47--52},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584424},
  doi          = {10.1145/584418.584424},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PinhoV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/PuenteP02,
  author       = {Juan Antonio de la Puente and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {William Currie Colket},
  title        = {Session summary: safety improvements for consideration},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {120--122},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584433},
  doi          = {10.1145/584418.584433},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PuenteP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RealCW002,
  author       = {Jorge Real and
                  Alfons Crespo and
                  Andy J. Wellings and
                  Alan Burns},
  editor       = {William Currie Colket},
  title        = {Protected ceiling changes},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {66--71},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584427},
  doi          = {10.1145/584418.584427},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RealCW002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RivasH02,
  author       = {Mario Aldea Rivas and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {William Currie Colket},
  title        = {Application-defined scheduling in Ada},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {77--84},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584429},
  doi          = {10.1145/584418.584429},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RivasH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/TokarB02,
  author       = {Joyce L. Tokar and
                  Ben Brosgol},
  editor       = {William Currie Colket},
  title        = {Session summary: summary and plans for next {IRTAW}},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {131},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584437},
  doi          = {10.1145/584418.584437},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/TokarB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/WardA02,
  author       = {Michael Ward and
                  Neil C. Audsley},
  editor       = {William Currie Colket},
  title        = {Language issues of compiling Ada to hardware},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {85--94},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584430},
  doi          = {10.1145/584418.584430},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/WardA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/WellingsV02,
  author       = {Andy J. Wellings and
                  Tullio Vardanega},
  editor       = {William Currie Colket},
  title        = {Report of session: language changes for scheduling, modeling and analysis},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {125--127},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584435},
  doi          = {10.1145/584418.584435},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/WellingsV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/ZamoranoP02,
  author       = {Juan Zamorano and
                  Juan Antonio de la Puente},
  editor       = {William Currie Colket},
  title        = {Precise response time analysis for Ravenscar kernels},
  booktitle    = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  pages        = {53--57},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418.584425},
  doi          = {10.1145/584418.584425},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/ZamoranoP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irtaw/2002,
  editor       = {William Currie Colket},
  title        = {Proceedings of the 11th International Workshop on Real-Time Ada, {IRTAW}
                  2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/584418},
  doi          = {10.1145/584418},
  isbn         = {978-1-4503-7361-6},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irtaw/2000,
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/374370},
  doi          = {10.1145/374370},
  isbn         = {978-1-4503-7327-2},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/000100,
  author       = {Alan Burns},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Non-preemptive dispatching and locking policies},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {46--47},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374380},
  doi          = {10.1145/374370.374380},
  timestamp    = {Mon, 04 Apr 2022 11:10:22 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/000100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001P00,
  author       = {Alejandro Alonso and
                  Juan Antonio de la Puente},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Implementation of mode changes with the Ravenscar profile},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {27--32},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374377},
  doi          = {10.1145/374370.374377},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001P00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001WKKRY00,
  author       = {Alan Burns and
                  Andy J. Wellings and
                  Albert Koelmans and
                  Maciej Koutny and
                  Alexander B. Romanovsky and
                  Alexandre Yakovlev},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {On developing and verifying design abstractions for reliable concurrent
                  programming in Ada},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {48--55},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374381},
  doi          = {10.1145/374370.374381},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001WKKRY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Asplund00,
  author       = {Lars Asplund},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Session: new scheduling/dispatching policies},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {11--13},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374373},
  doi          = {10.1145/374370.374373},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Asplund00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/AudsleyW00,
  author       = {Neil C. Audsley and
                  Andy J. Wellings},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Issues with using Ravenscar and the Ada distributed systems annex
                  for high-integrity systems},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {33--39},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374378},
  doi          = {10.1145/374370.374378},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/AudsleyW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Dobbing00,
  author       = {Brian Dobbing},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Overview of the Sun Java Community Process's Real-Time Expert Group
                  specification of RT-Java: Session Summary},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {18--19},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.569070},
  doi          = {10.1145/374370.569070},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Dobbing00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Dobbing00a,
  author       = {Brian Dobbing},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {The Ravenscar profile for high-integrity Java programs?},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {56--61},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374382},
  doi          = {10.1145/374370.374382},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Dobbing00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/DobbingV00,
  author       = {Brian Dobbing and
                  Tullio Vardanega},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Report of session: analysis of the {J} consortium real-time Java proposal},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {17--18},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374375},
  doi          = {10.1145/374370.374375},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/DobbingV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/GarciaH00,
  author       = {Jos{\'{e}} Javier Guiti{\'{e}}rrez Garc{\'{\i}}a and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Towards a real-time distributed systems annex in Ada},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {62--66},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374383},
  doi          = {10.1145/374370.374383},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/GarciaH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HarbourP00,
  author       = {Michael Gonz{\'{a}}lez Harbour and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Session summary: distribution and real-time},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {14--16},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374374},
  doi          = {10.1145/374370.374374},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HarbourP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/KienzleR00,
  author       = {J{\"{o}}rg Kienzle and
                  Alexander B. Romanovsky},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Combining tasking and transactions, part {II:} open multithreaded
                  transactions},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {67--74},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374384},
  doi          = {10.1145/374370.374384},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/irtaw/KienzleR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Michell00,
  author       = {Stephen Michell},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Position paper: completing the Ravenscar profile},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {75--78},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374385},
  doi          = {10.1145/374370.374385},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Michell00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/MichellT00,
  author       = {Stephen Michell and
                  Joyce L. Tokar},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Tasking and object orientation},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {9--10},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374372},
  doi          = {10.1145/374370.374372},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MichellT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/PinhoVF00,
  author       = {Lu{\'{\i}}s Miguel Pinho and
                  Francisco Vasques and
                  Luis Lino Ferreira},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Programming atomic multicast in {CAN}},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {79--84},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374386},
  doi          = {10.1145/374370.374386},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PinhoVF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/PuenteZRFG00,
  author       = {Juan Antonio de la Puente and
                  Juan Zamorano and
                  Jos{\'{e}} F. Ruiz and
                  Ram{\'{o}}n Fern{\'{a}}ndez and
                  Rodrigo Garc{\'{\i}}a},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {The design and implementation of the open Ravenscar kernel},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {85--90},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374387},
  doi          = {10.1145/374370.374387},
  timestamp    = {Thu, 21 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PuenteZRFG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RealLC00,
  author       = {Jorge Real and
                  Albert Llamos{\'{\i}} and
                  Alfons Crespo},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {A semantics for dynamic ceiling priorities in Ada},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {91--95},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374388},
  doi          = {10.1145/374370.374388},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RealLC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RivasH00,
  author       = {Mario Aldea Rivas and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Extending Ada's real-time systems annex with the {POSIX} scheduling
                  services},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {20--26},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374376},
  doi          = {10.1145/374370.374376},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RivasH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/VardanegaC00,
  author       = {Tullio Vardanega and
                  Gert Caspersen},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Using the Ravenscar profile for space applications: the {OBOSS} case},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {96--104},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374389},
  doi          = {10.1145/374370.374389},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/VardanegaC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings00,
  author       = {Andy J. Wellings},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Status and future of the Ravenscar profile session summary},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {5--8},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374371},
  doi          = {10.1145/374370.374371},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Wellings00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/WellingsJSK0M00,
  author       = {Andy J. Wellings and
                  Bob Johnson and
                  Bo Ingvar Sand{\'{e}}n and
                  J{\"{o}}rg Kienzle and
                  Thomas Wolf and
                  Stephen Michell},
  editor       = {Benjamin M. Brosgol and
                  Michael Gonz{\'{a}}lez Harbour},
  title        = {Extensible protected types: proposal status},
  booktitle    = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW}
                  2000, {\'{A}}vila, Spain, 2000},
  pages        = {105--110},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/374370.374390},
  doi          = {10.1145/374370.374390},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/WellingsJSK0M00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/000199,
  author       = {Alan Burns},
  editor       = {Alan Burns},
  title        = {The Ravenscar Profile and implementation issues (session summary)},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {12--14},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334728},
  doi          = {10.1145/329607.334728},
  timestamp    = {Tue, 19 Apr 2022 16:50:58 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/000199.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W99,
  author       = {Alan Burns and
                  Andy J. Wellings},
  editor       = {Alan Burns},
  title        = {How to verify concurrent Ada programs: the application of model checking},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {78--83},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334743},
  doi          = {10.1145/329607.334743},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001W99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/001399,
  author       = {Thomas Wolf},
  editor       = {Alan Burns},
  title        = {Transparent replication for fault tolerance in distributed Ada 95},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {33--40},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334735},
  doi          = {10.1145/329607.334735},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/001399.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/DobbingR99,
  author       = {Brian Dobbing and
                  George Romanski},
  editor       = {Alan Burns},
  title        = {The Ravenscar Tasking Profile - experience reporting},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {28--32},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334733},
  doi          = {10.1145/329607.334733},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/DobbingR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/GarciaH99,
  author       = {J. J. Guti{\'{e}}rrez Garc{\'{\i}}a and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {Alan Burns},
  title        = {Prioritizing remote procedure calls in Ada distributed systems},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {67--72},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334741},
  doi          = {10.1145/329607.334741},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/GarciaH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Harbour99,
  author       = {Michael Gonz{\'{a}}lez Harbour},
  editor       = {Alan Burns},
  title        = {Distributed Ada and real-time (session summary)},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {15--18},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334729},
  doi          = {10.1145/329607.334729},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Harbour99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Kamrad99,
  author       = {Mike Kamrad},
  editor       = {Alan Burns},
  title        = {Fault tolerance (session summary)},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {10--11},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334727},
  doi          = {10.1145/329607.334727},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Kamrad99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Kienzle99,
  author       = {J{\"{o}}rg Kienzle},
  editor       = {Alan Burns},
  title        = {Combining tasking and transaction},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {49--53},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334738},
  doi          = {10.1145/329607.334738},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Kienzle99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/MichellL99,
  author       = {Stephen Michell and
                  Kristina Lundqvist},
  editor       = {Alan Burns},
  title        = {Extendable, dispatchable task communication mechanisms},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {54--59},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334739},
  doi          = {10.1145/329607.334739},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MichellL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/MoodyKK99,
  author       = {Scott Arthur Moody and
                  Samuel Kwok and
                  Dale Karr},
  editor       = {Alan Burns},
  title        = {SimpleGraphics: Tcl/Tk visualization of real-time multi-threaded and
                  distributed applications},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {60--66},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334740},
  doi          = {10.1145/329607.334740},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MoodyKK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/PinhoV99,
  author       = {Lu{\'{\i}}s Miguel Pinho and
                  Francisco Vasques},
  editor       = {Alan Burns},
  title        = {Replica management in real-time Ada 95 applications},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {21--27},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334731},
  doi          = {10.1145/329607.334731},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PinhoV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/PuenteRG99,
  author       = {Juan Antonio de la Puente and
                  Jos{\'{e}} F. Ruiz and
                  Jes{\'{u}}s M. Gonz{\'{a}}lez{-}Barahona},
  editor       = {Alan Burns},
  title        = {Real-time programming with {GNAT:} specialised kernels versus {POSIX}
                  threads},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {73--77},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334742},
  doi          = {10.1145/329607.334742},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PuenteRG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/RealW99,
  author       = {Jorge Real and
                  Andy J. Wellings},
  editor       = {Alan Burns},
  title        = {Dynamic ceiling priorities and Ada 95},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {41--48},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334736},
  doi          = {10.1145/329607.334736},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/RealW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/ShenB99,
  author       = {Hongfeng Shen and
                  Theodore P. Baker},
  editor       = {Alan Burns},
  title        = {A Linux kernel module implementation of restricted Ada tasking},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {96--103},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334746},
  doi          = {10.1145/329607.334746},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/ShenB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/SmithV99,
  author       = {Gary W. Smith and
                  Richard A. Volz},
  editor       = {Alan Burns},
  title        = {Distributed programming with intermediate {IDL}},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {90--95},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334745},
  doi          = {10.1145/329607.334745},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/SmithV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/WalkerW099,
  author       = {W. M. Walker and
                  P. T. Woolley and
                  Alan Burns},
  editor       = {Alan Burns},
  title        = {An experimental testbed for embedded real time Ada 95},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {84--89},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334744},
  doi          = {10.1145/329607.334744},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/WalkerW099.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings99,
  author       = {Andy J. Wellings},
  editor       = {Alan Burns},
  title        = {New language features and other language issues (session summary)},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {19--20},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.335407},
  doi          = {10.1145/329607.335407},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Wellings99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irtaw/1999,
  editor       = {Alan Burns},
  title        = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607},
  doi          = {10.1145/329607},
  isbn         = {978-1-58113-177-2},
  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001BV97,
  author       = {Alan Burns and
                  Ted Baker and
                  Tullio Vardanega},
  editor       = {Andy J. Wellings},
  title        = {Tasking profiles (session summary)},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {5--7},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271668},
  doi          = {10.1145/271658.271668},
  timestamp    = {Mon, 27 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001BV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001PT97,
  author       = {Alejandro Alonso and
                  Juan Antonio de la Puente and
                  Ken Tindell},
  editor       = {Andy J. Wellings},
  title        = {Components for the implementation of fixed priority real-time systems
                  in {ADA}},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {18--23},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271674},
  doi          = {10.1145/271658.271674},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001PT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W97,
  author       = {Alan Burns and
                  Andy J. Wellings},
  editor       = {Andy J. Wellings},
  title        = {Feature interactions with dynamic priorities},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {24--26},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271677},
  doi          = {10.1145/271658.271677},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001W97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W97a,
  author       = {Alan Burns and
                  Andy J. Wellings},
  editor       = {Andy J. Wellings},
  title        = {Restricted tasking models},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {27--32},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271679},
  doi          = {10.1145/271658.271679},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001W97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/001397,
  author       = {Thomas Wolf},
  editor       = {Andy J. Wellings},
  title        = {Fault tolerance in distributed Ada 95},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {106--110},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271721},
  doi          = {10.1145/271658.271721},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/001397.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Bondeli97,
  author       = {Patrick de Bondeli},
  editor       = {Andy J. Wellings},
  title        = {Developing reusable multi-tasking components using object-oriented
                  techniques in Ada 95},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {33--34},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271682},
  doi          = {10.1145/271658.271682},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Bondeli97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Bondeli97a,
  author       = {Patrick de Bondeli},
  editor       = {Andy J. Wellings},
  title        = {A fully reusable class of objects for synchronization and communication
                  in Ada 95},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {35--39},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.283833},
  doi          = {10.1145/271658.283833},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Bondeli97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/DissauxPBKL97,
  author       = {Pierre Dissaux and
                  Laurent Pautet and
                  Lars Bj{\"{o}}rnfot and
                  Yvon Kermarrec and
                  Dominique LeCampion},
  editor       = {Andy J. Wellings},
  title        = {Communication and distribution tools for embedded distributed applications:
                  a case study with Ada 95 and its distributed systems annex},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {40--44},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271686},
  doi          = {10.1145/271658.271686},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/DissauxPBKL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/DobbingR97,
  author       = {Brian Dobbing and
                  Marc Richard{-}Foy},
  editor       = {Andy J. Wellings},
  title        = {{T-SMART} - task-safe, minimal Ada realtime toolset},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {45--50},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271689},
  doi          = {10.1145/271658.271689},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/DobbingR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/GargaroLV97,
  author       = {Anthony B. Gargaro and
                  C. Douglass Locke and
                  Richard A. Volz},
  editor       = {Andy J. Wellings},
  title        = {Distributed and fault tolerant systems (session summary)},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {8--10},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271669},
  doi          = {10.1145/271658.271669},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/GargaroLV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/GargaroSTVW97,
  author       = {Anthony B. Gargaro and
                  Gary W. Smith and
                  Ronald J. Theriault and
                  Richard A. Volz and
                  Raymond Waldrop},
  editor       = {Andy J. Wellings},
  title        = {Future directions in Ada - distributed execution and heterogeneous
                  language interoperability toolsets},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {51--56},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271690},
  doi          = {10.1145/271658.271690},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/GargaroSTVW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HarbourMRF97,
  author       = {Michael Gonz{\'{a}}lez Harbour and
                  J. M. Drake Moyano and
                  Mario Aldea Rivas and
                  J. Garc{\'{\i}}a Fern{\'{a}}ndez},
  editor       = {Andy J. Wellings},
  title        = {Implementing robot controllers under real-time {POSIX} and Ada},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {57--64},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271700},
  doi          = {10.1145/271658.271700},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HarbourMRF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/MichellCS97,
  author       = {Stephen Michell and
                  Dan Craigen and
                  Mark Saaltink},
  editor       = {Andy J. Wellings},
  title        = {Using analytical approaches for high integrity Ada95 systems},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {65--70},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271703},
  doi          = {10.1145/271658.271703},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MichellCS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Moody97,
  author       = {Scott Arthur Moody},
  editor       = {Andy J. Wellings},
  title        = {Object-oriented real-time systems using a hybrid distributed model
                  of Ada 95's built-in {DSA} capability (distributed systems annex-E)
                  and {CORBA}},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {71--76},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271705},
  doi          = {10.1145/271658.271705},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Moody97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/PazyK97,
  author       = {Offer Pazy and
                  Mike Kamrad},
  editor       = {Andy J. Wellings},
  title        = {Outstanding language (session summary)},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {11--15},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271670},
  doi          = {10.1145/271658.271670},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PazyK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Powers97,
  author       = {Richard D. Powers},
  editor       = {Andy J. Wellings},
  title        = {Implementing {CIFO} using Ada 95 and {POSIX}},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {77--82},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271708},
  doi          = {10.1145/271658.271708},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Powers97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Tombs97,
  author       = {David J. Tombs},
  editor       = {Andy J. Wellings},
  title        = {Using compliance notation to verify Ada tasking},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {83--87},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271710},
  doi          = {10.1145/271658.271710},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Tombs97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/UjvaryKD97,
  author       = {Brian G. Ujvary and
                  Nick I. Kamenoff and
                  Jorge L. D{\'{\i}}az{-}Herrera},
  editor       = {Andy J. Wellings},
  title        = {Benchmarking of hard real-time distributed systems with Ada 95},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {88--92},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271713},
  doi          = {10.1145/271658.271713},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/UjvaryKD97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/VestalGDML97,
  author       = {Steve Vestal and
                  Laurent Guerby and
                  Robert Dewar and
                  David J. McConnell and
                  Bruce A. Lewis},
  editor       = {Andy J. Wellings},
  title        = {Reimplementing a multiprocess distributed paradigm for real-time systems
                  in Ada 95},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {93--99},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271716},
  doi          = {10.1145/271658.271716},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/VestalGDML97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings0P97,
  author       = {Andy J. Wellings and
                  Alan Burns and
                  Offer Pazy},
  editor       = {Andy J. Wellings},
  title        = {Task termination and Ada 95},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {100--105},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271719},
  doi          = {10.1145/271658.271719},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Wellings0P97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/WellingsP97,
  author       = {Andy J. Wellings and
                  Juan Antonio de la Puente},
  editor       = {Andy J. Wellings},
  title        = {Object-oriented programming and real-time (session summary)},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {16--17},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271673},
  doi          = {10.1145/271658.271673},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/WellingsP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irtaw/1997,
  editor       = {Andy J. Wellings},
  title        = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658},
  doi          = {10.1145/271658},
  isbn         = {978-1-4503-7311-1},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/000190,
  author       = {Alan Burns},
  editor       = {John Barnes},
  title        = {A performance standard for Ada 9X},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {70--74},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102475},
  doi          = {10.1145/102454.102475},
  timestamp    = {Mon, 04 Apr 2022 11:10:38 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/000190.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001WD90,
  author       = {Alan Burns and
                  Andy J. Wellings and
                  Gordon Davies},
  editor       = {John Barnes},
  title        = {Asynchronous transfer of control in Ada 9X},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {75--84},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102476},
  doi          = {10.1145/102454.102476},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001WD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/000290,
  author       = {Colin Atkinson},
  editor       = {John Barnes},
  title        = {Object-oriented mechanisms},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {35--38},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102466},
  doi          = {10.1145/102454.102466},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/000290.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0002MB90,
  author       = {Colin Atkinson and
                  Andrea De Maio and
                  Rami Bayan},
  editor       = {John Barnes},
  title        = {Dragoon: an object-oriented notation supporting the reuse and distribution
                  of Ada software},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {50--59},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102470},
  doi          = {10.1145/102454.102470},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0002MB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker90,
  author       = {Ted Baker},
  editor       = {John Barnes},
  title        = {Protected records, time management and distribution},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {17--28},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102460},
  doi          = {10.1145/102454.102460},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker90a,
  author       = {Ted Baker},
  editor       = {John Barnes},
  title        = {Opening up Ada-tasking},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {60--64},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102472},
  doi          = {10.1145/102454.102472},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Borger090,
  author       = {Mark W. Borger and
                  John B. Goodenough},
  editor       = {John Barnes},
  title        = {Ada usage/performance specification},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {65--69},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102474},
  doi          = {10.1145/102454.102474},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Borger090.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Dobbing90,
  author       = {Brian Dobbing},
  editor       = {John Barnes},
  title        = {Distributed Ada: a suggested solution for Ada 9X},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {94--102},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102478},
  doi          = {10.1145/102454.102478},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Dobbing90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Elsom90,
  author       = {Kenneth C. Elsom},
  editor       = {John Barnes},
  title        = {Shared variables},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {29--30},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102462},
  doi          = {10.1145/102454.102462},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Elsom90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Elsom90a,
  author       = {Kenneth C. Elsom},
  editor       = {John Barnes},
  title        = {Prioritized asynchronism in Ada 9X},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {103--110},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102479},
  doi          = {10.1145/102454.102479},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Elsom90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/GargaroGPVW90,
  author       = {Anthony B. Gargaro and
                  Stephen J. Goldsack and
                  R. K. Powers and
                  Richard A. Volz and
                  Andy J. Wellings},
  editor       = {John Barnes},
  title        = {Adapting Ada distribution and fault tolerance},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {111--117},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102480},
  doi          = {10.1145/102454.102480},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/GargaroGPVW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HughesHBC90,
  author       = {D. Hughes and
                  L. Hoffman and
                  D. Brundelle and
                  James V. Chelini},
  editor       = {John Barnes},
  title        = {An example of event-driven asynchronous scheduling with Ada},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {130--144},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.101285},
  doi          = {10.1145/102454.101285},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HughesHBC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Jha90,
  author       = {Rakesh Jha},
  editor       = {John Barnes},
  title        = {Parallel Ada: issues in programming and implementation},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {126--132},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102483},
  doi          = {10.1145/102454.102483},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Jha90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/KamradC90,
  author       = {Mike Kamrad and
                  Joseph K. Cross},
  editor       = {John Barnes},
  title        = {Distributed communications},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {85--93},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102477},
  doi          = {10.1145/102454.102477},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/KamradC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/LockeVM90,
  author       = {C. Douglass Locke and
                  David R. Vogel and
                  T. J. Mesler},
  editor       = {John Barnes},
  title        = {Predictable real-time avionics design using Ada tasks and Rendezvous
                  study},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {118--125},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102482},
  doi          = {10.1145/102454.102482},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/LockeVM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Maymir-Ducharme90,
  author       = {Fred Maymir{-}Ducharme},
  editor       = {John Barnes},
  title        = {Dynamic priorities, priority scheduling and priority inheritance},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {39--45},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102467},
  doi          = {10.1145/102454.102467},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Maymir-Ducharme90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/McCoy90,
  author       = {Scott McCoy},
  editor       = {John Barnes},
  title        = {Bindings and Ada},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {156--160},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.101287},
  doi          = {10.1145/102454.101287},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/McCoy90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Pazy90,
  author       = {Offer Pazy},
  editor       = {John Barnes},
  title        = {Problems with Pthreads and Ada},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {133--140},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102484},
  doi          = {10.1145/102454.102484},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Pazy90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Powers90,
  author       = {Richard D. Powers},
  editor       = {John Barnes},
  title        = {Asynchronous and stand-alone entries},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {31--34},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102464},
  doi          = {10.1145/102454.102464},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Powers90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Quiggle90,
  author       = {Thomas J. Quiggle},
  editor       = {John Barnes},
  title        = {Asynchronous transfer of control and interrupt handling},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {46--49},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102468},
  doi          = {10.1145/102454.102468},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Quiggle90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Quiggle90a,
  author       = {Thomas J. Quiggle},
  editor       = {John Barnes},
  title        = {Efficient periodic execution of Ada tasks},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {141--146},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102485},
  doi          = {10.1145/102454.102485},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Quiggle90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Vestal90,
  author       = {Steve Vestal},
  editor       = {John Barnes},
  title        = {Linear benchmarks},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {145--155},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.101286},
  doi          = {10.1145/102454.101286},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Vestal90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Wellings90,
  author       = {Andy J. Wellings},
  editor       = {John Barnes},
  title        = {Real-time requirements},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {1--16},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102458},
  doi          = {10.1145/102454.102458},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Wellings90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irtaw/1990,
  editor       = {John Barnes},
  title        = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454},
  doi          = {10.1145/102454},
  isbn         = {978-0-89791-375-1},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W89,
  author       = {Alan Burns and
                  Andy J. Wellings},
  editor       = {John B. Goodenough},
  title        = {Real-time Ada: outstanding problem areas},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {5--14},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91365},
  doi          = {10.1145/91354.91365},
  timestamp    = {Fri, 01 Apr 2022 12:29:11 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001W89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W89a,
  author       = {Alan Burns and
                  Andy J. Wellings},
  editor       = {John B. Goodenough},
  title        = {Usability of the Ada tasking-model},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {49--56},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91369},
  doi          = {10.1145/91354.91369},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001W89a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/000289,
  author       = {John B. Goodenough},
  editor       = {John B. Goodenough},
  title        = {Real-time tasking semantics working group},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {32--48},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91368},
  doi          = {10.1145/91354.91368},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/000289.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker89,
  author       = {Ted Baker},
  editor       = {John B. Goodenough},
  title        = {Time issues working group},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {119--135},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91381},
  doi          = {10.1145/91354.91381},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker89a,
  author       = {Ted Baker},
  editor       = {John B. Goodenough},
  title        = {Fixing some time-related problems in Ada},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {136--143},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91382},
  doi          = {10.1145/91354.91382},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker89a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Ben-Ari89,
  author       = {Mordechai Ben{-}Ari},
  editor       = {John B. Goodenough},
  title        = {Ada requirements for small real-time systems},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {159--165},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91384},
  doi          = {10.1145/91354.91384},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Ben-Ari89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Cross89,
  author       = {Joseph K. Cross},
  editor       = {John B. Goodenough},
  title        = {Other compiler support working group},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {144--158},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91383},
  doi          = {10.1145/91354.91383},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Cross89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Elsom89,
  author       = {Kenneth C. Elsom},
  editor       = {John B. Goodenough},
  title        = {Asynchronous communication in Ada},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {57--65},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91371},
  doi          = {10.1145/91354.91371},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Elsom89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Gargaro89,
  author       = {Anthony B. Gargaro},
  editor       = {John B. Goodenough},
  title        = {Virtual nodes/distributed systems working group},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {66--77},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91372},
  doi          = {10.1145/91354.91372},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Gargaro89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/GoldsackA89,
  author       = {Stephen J. Goldsack and
                  C. Alkinson},
  editor       = {John B. Goodenough},
  title        = {An object oriented approach to virtual nodes: are package types an
                  answer?},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {78--84},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91374},
  doi          = {10.1145/91354.91374},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/GoldsackA89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/PowersR89,
  author       = {Richard D. Powers and
                  Chuck Roark},
  editor       = {John B. Goodenough},
  title        = {Ada support for real-time systems},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {114--118},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91380},
  doi          = {10.1145/91354.91380},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/PowersR89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Quiggle89,
  author       = {Thomas J. Quiggle},
  editor       = {John B. Goodenough},
  title        = {Asynchronous transfer of control working group},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {15--24},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91366},
  doi          = {10.1145/91354.91366},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Quiggle89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Quiggle89a,
  author       = {Thomas J. Quiggle},
  editor       = {John B. Goodenough},
  title        = {Ramifications of re-introducing asynchronous exceptions to the Ada
                  language},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {25--31},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91367},
  doi          = {10.1145/91354.91367},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Quiggle89a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Scoy89,
  author       = {Roger Van Scoy},
  editor       = {John B. Goodenough},
  title        = {Communication issues working group},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {97--113},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91378},
  doi          = {10.1145/91354.91378},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Scoy89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Volz89,
  author       = {Richard A. Volz},
  editor       = {John B. Goodenough},
  title        = {Virtual nodes and units of distribution for distributed Ada},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {85--96},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91376},
  doi          = {10.1145/91354.91376},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Volz89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irtaw/1989,
  editor       = {John B. Goodenough},
  title        = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354},
  doi          = {10.1145/91354},
  isbn         = {978-0-89791-360-7},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/1989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0002G88,
  author       = {Colin Atkinson and
                  Stephen J. Goldsack},
  editor       = {John Barnes},
  title        = {Communication between Ada programs in {DIADEM}},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {86--96},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59379},
  doi          = {10.1145/58612.59379},
  timestamp    = {Thu, 31 Mar 2022 11:11:48 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0002G88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0002S88,
  author       = {John B. Goodenough and
                  Lui Sha},
  editor       = {John Barnes},
  title        = {The priority ceiling protocol: {A} method for minimizing the blocking
                  of high priority Ada tasks},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {20--31},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59371},
  doi          = {10.1145/58612.59371},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0002S88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/ArevaloA88,
  author       = {Sergio Ar{\'{e}}valo and
                  Angel Alvarez},
  editor       = {John Barnes},
  title        = {Fault tolerant distributed Ada},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {118--122},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59384},
  doi          = {10.1145/58612.59384},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/ArevaloA88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker88,
  author       = {Ted Baker},
  editor       = {John Barnes},
  title        = {Improving immediacy in Ada},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {50--56},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59375},
  doi          = {10.1145/58612.59375},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Bishop88,
  author       = {Judy M. Bishop},
  editor       = {John Barnes},
  title        = {Three steps to distribution: partitioning, configuring, and adapting},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {97--100},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59380},
  doi          = {10.1145/58612.59380},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Bishop88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Bondeli88,
  author       = {Patrick de Bondeli},
  editor       = {John Barnes},
  title        = {Asynchronous transfer of control and scheduling problems},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {57--60},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59376},
  doi          = {10.1145/58612.59376},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Bondeli88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/BorgerKW88,
  author       = {Mark W. Borger and
                  Mark H. Klein and
                  Nelson H. Weiderman},
  editor       = {John Barnes},
  title        = {A testbed for investigating real-time Ada issues},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {7--11},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59369},
  doi          = {10.1145/58612.59369},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/BorgerKW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Elrad88,
  author       = {Tzilla Elrad},
  editor       = {John Barnes},
  title        = {Comprehensive scheduling controls for Ada tasking},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {12--19},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59370},
  doi          = {10.1145/58612.59370},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Elrad88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Hunt88,
  author       = {J. R. Hunt},
  editor       = {John Barnes},
  title        = {Interrupts and Ada},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {61--64},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59377},
  doi          = {10.1145/58612.59377},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Hunt88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HutcheonW88,
  author       = {Andrew D. Hutcheon and
                  Andy J. Wellings},
  editor       = {John Barnes},
  title        = {Supporting Ada in a distributed environment},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {113--117},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59383},
  doi          = {10.1145/58612.59383},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HutcheonW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Jansohn88,
  author       = {Hans{-}Stephan Jansohn},
  editor       = {John Barnes},
  title        = {Ada for distributed systems},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {101--103},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59381},
  doi          = {10.1145/58612.59381},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Jansohn88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/KnightR88,
  author       = {John C. Knight and
                  Marc E. Rouleau},
  editor       = {John Barnes},
  title        = {A new approach to fault tolerance in distributed Ada programs},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {123--126},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59385},
  doi          = {10.1145/58612.59385},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/KnightR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/KrishnanVT88,
  author       = {Padmanabhan Krishnan and
                  Richard A. Volz and
                  Ron Theriault},
  editor       = {John Barnes},
  title        = {Implementation of task types in distributed Ada},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {104--107},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59382},
  doi          = {10.1145/58612.59382},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/KrishnanVT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/LiuL88,
  author       = {Jane W.{-}S. Liu and
                  Kwei{-}Jay Lin},
  editor       = {John Barnes},
  title        = {On means to provide flexibility in scheduling},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {32--34},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59372},
  doi          = {10.1145/58612.59372},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/LiuL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Locke088,
  author       = {C. Douglass Locke and
                  John B. Goodenough},
  editor       = {John Barnes},
  title        = {A practical application of the ceiling protocol in a real-time system},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {35--38},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59373},
  doi          = {10.1145/58612.59373},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Locke088.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/LockeSRLB88,
  author       = {C. Douglass Locke and
                  Lui Sha and
                  R. Rajikumar and
                  John P. Lehoczky and
                  Gregory Burns},
  editor       = {John Barnes},
  title        = {Priority inversion and its control: An experimental investigation},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {39--42},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59374},
  doi          = {10.1145/58612.59374},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/LockeSRLB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/ToetenelK88,
  author       = {W. J. Toetenel and
                  Jan van Katwijk},
  editor       = {John Barnes},
  title        = {Asynchronous transfer of control in Ada},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {65--69},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59378},
  doi          = {10.1145/58612.59378},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/ToetenelK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irtaw/1988,
  editor       = {John Barnes},
  title        = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612},
  doi          = {10.1145/58612},
  isbn         = {978-0-89791-295-2},
  timestamp    = {Thu, 31 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/1988.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001W87,
  author       = {Alan Burns and
                  Andy J. Wellings},
  editor       = {John Barnes},
  title        = {Real-time Ada issues},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {43--46},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36800},
  doi          = {10.1145/36821.36800},
  timestamp    = {Wed, 30 Mar 2022 14:40:38 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001W87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Allen87,
  author       = {Dock Allen},
  editor       = {John Barnes},
  title        = {Tailored run-time environments for real-time applications},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {13--14},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36793},
  doi          = {10.1145/36821.36793},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Allen87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Alvarez87,
  author       = {Angel Alvarez},
  editor       = {John Barnes},
  title        = {Real-time programming and priority interrupt systems},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {97--100},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36813},
  doi          = {10.1145/36821.36813},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Alvarez87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Ardo87,
  author       = {Anders Ard{\"{o}}},
  editor       = {John Barnes},
  title        = {Real-time efficiency of Ada in a multiprocessor environment},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {40--42},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36799},
  doi          = {10.1145/36821.36799},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Ardo87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/BackK87,
  author       = {Ralph{-}Johan Back and
                  Reino Kurki{-}Suonio},
  editor       = {John Barnes},
  title        = {A new paradigm for the design of concurrent systems},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {110--112},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36815},
  doi          = {10.1145/36821.36815},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/BackK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker87,
  author       = {Ted Baker},
  editor       = {John Barnes},
  title        = {Ada runtime support environments to better support real-time systems},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {85--87},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36810},
  doi          = {10.1145/36821.36810},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Bondeli87,
  author       = {Patrick de Bondeli},
  editor       = {John Barnes},
  title        = {Real-time Ada systems: development methodology and real-time performance},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {119--120},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36818},
  doi          = {10.1145/36821.36818},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Bondeli87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Burns87,
  author       = {Gregory Burns},
  editor       = {John Barnes},
  title        = {Cross-debugging real-time Ada programs},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {21--23},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36796},
  doi          = {10.1145/36821.36796},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Burns87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Christensen87,
  author       = {Elisabeth Broe Christensen},
  editor       = {John Barnes},
  title        = {Ada features and real-time embedded applications},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {116--118},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36817},
  doi          = {10.1145/36821.36817},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Christensen87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Clark87,
  author       = {Robert G. Clark},
  editor       = {John Barnes},
  title        = {Designing concurrent objects},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {107--109},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36814},
  doi          = {10.1145/36821.36814},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Clark87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Collingbourne87,
  author       = {L. R. Collingbourne},
  editor       = {John Barnes},
  title        = {A practical approach to developing real-time Ada programs for embedded
                  systems},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {15--17},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36794},
  doi          = {10.1145/36821.36794},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Collingbourne87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/CornhillSL87,
  author       = {Dennis Cornhill and
                  Lui Sha and
                  John P. Lehoczky},
  editor       = {John Barnes},
  title        = {Limitations of Ada for real-time scheduling},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {33--39},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36798},
  doi          = {10.1145/36821.36798},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/CornhillSL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Crespi-Reghizzi87,
  author       = {Stefano Crespi{-}Reghizzi and
                  Andrea Di Maio and
                  Francesco Maderna},
  editor       = {John Barnes},
  title        = {Distributable Ada programs},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {67--69},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36806},
  doi          = {10.1145/36821.36806},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Crespi-Reghizzi87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Domitz87,
  author       = {R. O. Domitz},
  editor       = {John Barnes},
  title        = {Real-time Ada debugging},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {18--20},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36795},
  doi          = {10.1145/36821.36795},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Domitz87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Firth87,
  author       = {Robert Firth},
  editor       = {John Barnes},
  title        = {A pragmatic approach to Ada insertion},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {24--26},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36797},
  doi          = {10.1145/36821.36797},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Firth87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Frankel87,
  author       = {Gary Frankel},
  editor       = {John Barnes},
  title        = {Improving Ada tasking performance},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {47--48},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36801},
  doi          = {10.1145/36821.36801},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Frankel87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/HutcheonSW87,
  author       = {Andrew D. Hutcheon and
                  David S. Snowden and
                  Andy J. Wellings},
  editor       = {John Barnes},
  title        = {Programming and debugging distributed real-time applications in Ada},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {73--76},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36808},
  doi          = {10.1145/36821.36808},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HutcheonSW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/KamradJEC87,
  author       = {Mike Kamrad and
                  Rakesh Jha and
                  Greg Eisenhauer and
                  Dennis T. Cornhill},
  editor       = {John Barnes},
  title        = {Distributed Ada},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {113--115},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36816},
  doi          = {10.1145/36821.36816},
  timestamp    = {Wed, 06 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/KamradJEC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Knight87,
  author       = {John C. Knight},
  editor       = {John Barnes},
  title        = {Ada on fault-tolerant distributed systems},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {61--63},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36804},
  doi          = {10.1145/36821.36804},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Knight87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/LandwehrHBK87,
  author       = {Rudolf Landwehr and
                  Peter Heensel and
                  Rami Bayan and
                  Antonio Kung},
  editor       = {John Barnes},
  title        = {A model for a portable Ada run-time library},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {93--96},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36812},
  doi          = {10.1145/36821.36812},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/LandwehrHBK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/LockeV87,
  author       = {C. Douglass Locke and
                  David R. Vogel},
  editor       = {John Barnes},
  title        = {Problems in Ada runtime task scheduling},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {51--53},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36803},
  doi          = {10.1145/36821.36803},
  timestamp    = {Wed, 20 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/LockeV87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/McCormick87,
  author       = {Frank McCormick},
  editor       = {John Barnes},
  title        = {Scheduling difficulties of Ada in the hard real-time environment},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {49--50},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36802},
  doi          = {10.1145/36821.36802},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/McCormick87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Mearns87,
  author       = {Ian Mearns},
  editor       = {John Barnes},
  title        = {Developing real-time Ada systems},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {124--126},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36820},
  doi          = {10.1145/36821.36820},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Mearns87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Mudge87,
  author       = {Trevor N. Mudge},
  editor       = {John Barnes},
  title        = {Units of distribution for distributed Ada},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {64--66},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36805},
  doi          = {10.1145/36821.36805},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Mudge87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Paulk87,
  author       = {Mark C. Paulk},
  editor       = {John Barnes},
  title        = {Real-time performance of distributed Ada programs},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {77--78},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36809},
  doi          = {10.1145/36821.36809},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Paulk87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Pierce87,
  author       = {R. H. Pierce},
  editor       = {John Barnes},
  title        = {On the use of passive tasks in Ada},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {121--123},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36819},
  doi          = {10.1145/36821.36819},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Pierce87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/SarkarW87,
  author       = {J. P. Sarkar and
                  T. T. Wong},
  editor       = {John Barnes},
  title        = {Impacts of Ada features on real-time performance},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {88--92},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36811},
  doi          = {10.1145/36821.36811},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/SarkarW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Volz87,
  author       = {Richard A. Volz},
  editor       = {John Barnes},
  title        = {Distributed Ada execution: a definitional void},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {70--72},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36807},
  doi          = {10.1145/36821.36807},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Volz87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irtaw/1987,
  editor       = {John Barnes},
  title        = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821},
  doi          = {10.1145/36821},
  isbn         = {978-0-89791-240-2},
  timestamp    = {Wed, 30 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/1987.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics