BibTeX records: Stephen Michell

download as .bib file

@inproceedings{DBLP:conf/adaEurope/PinhoMMT15,
  author       = {Lu{\'{\i}}s Miguel Pinho and
                  Brad Moore and
                  Stephen Michell and
                  S. Tucker Taft},
  editor       = {Juan Antonio de la Puente and
                  Tullio Vardanega},
  title        = {An Execution Model for Fine-Grained Parallelism in Ada},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe
                  International Conference on Reliable Software Technologies, Madrid
                  Spain, June 22-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9111},
  pages        = {196--211},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19584-1\_13},
  doi          = {10.1007/978-3-319-19584-1\_13},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/PinhoMMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/PinhoMMT15,
  author       = {Lu{\'{\i}}s Miguel Pinho and
                  Brad Moore and
                  Stephen Michell and
                  S. Tucker Taft},
  title        = {Real-Time Support in the Proposal for Fine-Grained Parallelism in
                  Ada},
  booktitle    = {2015 {IEEE} Real-Time Systems Symposium, {RTSS} 2015, San Antonio,
                  Texas, USA, December 1-4, 2015},
  pages        = {374},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/RTSS.2015.43},
  doi          = {10.1109/RTSS.2015.43},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/PinhoMMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/PinhoMM14,
  author       = {Lu{\'{\i}}s Miguel Pinho and
                  Brad Moore and
                  Stephen Michell},
  editor       = {Laurent George and
                  Tullio Vardanega},
  title        = {Parallelism in Ada: Status and Prospects},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe
                  International Conference on Reliable Software Technologies, Paris,
                  France, June 23-27, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8454},
  pages        = {91--106},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08311-7\_8},
  doi          = {10.1007/978-3-319-08311-7\_8},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/PinhoMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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

@inproceedings{DBLP:conf/adaEurope/MichellMP13,
  author       = {Stephen Michell and
                  Brad Moore and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk},
  title        = {Tasklettes - {A} Fine Grained Parallelism for Ada on Multicores},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe
                  International Conference on Reliable Software Technologies, Berlin,
                  Germany, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7896},
  pages        = {17--34},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38601-5\_2},
  doi          = {10.1007/978-3-642-38601-5\_2},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MichellMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/MichellMP13,
  author       = {Stephen Michell and
                  Brad Moore and
                  Lu{\'{\i}}s Miguel Pinho},
  editor       = {Jeff Boleng and
                  S. Tucker Taft},
  title        = {Real-time programming on accelerator many-core processors},
  booktitle    = {Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2013, Pittsburgh, Pennsylvania, USA, November
                  10-14, 2013},
  pages        = {23--36},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2527269.2527270},
  doi          = {10.1145/2527269.2527270},
  timestamp    = {Tue, 06 Nov 2018 16:57:53 +0100},
  biburl       = {https://dblp.org/rec/conf/sigada/MichellMP13.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/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/pe-wasun/MichellS04,
  author       = {Stephen Michell and
                  Kannan Srinivasan},
  editor       = {Mohamed Ould{-}Khaoua and
                  Franco Zambonelli},
  title        = {State based key hop protocol: a lightweight security protocol for
                  wireless networks},
  booktitle    = {Proceedings of the 1st {ACM} International Workshop on Performance
                  Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, {PE-WASUN}
                  2004, Venezia, Italy, October 4, 2004},
  pages        = {112--118},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1023756.1023777},
  doi          = {10.1145/1023756.1023777},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pe-wasun/MichellS04.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 11:12:58 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/HoweM03.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 12:28:55 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Michell02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/WellingsJSKWM00,
  author       = {Andy J. Wellings and
                  Bob Johnson and
                  Bo Ingvar Sand{\'{e}}n and
                  J{\"{o}}rg Kienzle and
                  Thomas Wolf and
                  Stephen Michell},
  title        = {Integrating object-oriented programming and protected objects in Ada
                  95},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {22},
  number       = {3},
  pages        = {506--539},
  year         = {2000},
  url          = {https://doi.org/10.1145/353926.353938},
  doi          = {10.1145/353926.353938},
  timestamp    = {Wed, 03 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/WellingsJSKWM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/WellingsJSKWM00,
  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       = {Hubert B. Keller and
                  Erhard Pl{\"{o}}dereder},
  title        = {Object-Oriented Programming and Protected Objects in Ada 95},
  booktitle    = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International
                  Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1845},
  pages        = {16--28},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722060\_5},
  doi          = {10.1007/10722060\_5},
  timestamp    = {Wed, 03 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/WellingsJSKWM00.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 11:10:22 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MichellT00.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/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/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 16:50:58 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MichellL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/MichellSW98,
  author       = {Stephen Michell and
                  Mark Saaltink and
                  Brian A. Wichmann},
  editor       = {Ed Seidewitz and
                  William Thomas and
                  Michael B. Feldman},
  title        = {Looking into Safety with the Safety and Security Rapporteur Group},
  booktitle    = {Proceedings of the {ACM} SIGAda Annual International Conference on
                  Ada Technology, SIGAda 1998, Washington, DC, USA, November 8-12, 1998},
  pages        = {7--11},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/289524.289526},
  doi          = {10.1145/289524.289526},
  timestamp    = {Fri, 02 Jun 2023 17:16:28 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/MichellSW98.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 12:20:20 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/MichellCS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.