BibTeX records: Michael McDougall

download as .bib file

@inproceedings{DBLP:conf/iros/MahendranFCMVV23,
  author       = {Arun Niddish Mahendran and
                  Caitlin Freeman and
                  Alexander H. Chang and
                  Michael McDougall and
                  Patricio A. Vela and
                  Vishesh Vikas},
  title        = {Multi-Gait Locomotion Planning and Tracking for Tendon-Actuated Terrestrial
                  Soft Robot (TerreSoRo)},
  booktitle    = {{IROS}},
  pages        = {2542--2549},
  year         = {2023},
  url          = {https://doi.org/10.1109/IROS55552.2023.10341926},
  doi          = {10.1109/IROS55552.2023.10341926},
  timestamp    = {Fri, 05 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iros/MahendranFCMVV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-16385,
  author       = {Arun Niddish Mahendran and
                  Caitlin Freeman and
                  Alexander H. Chang and
                  Michael McDougall and
                  Patricio A. Vela and
                  Vishesh Vikas},
  title        = {Multi-gait Locomotion Planning and Tracking for Tendon-actuated Terrestrial
                  Soft Robot (TerreSoRo)},
  journal      = {CoRR},
  volume       = {abs/2307.16385},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.16385},
  doi          = {10.48550/ARXIV.2307.16385},
  eprinttype    = {arXiv},
  eprint       = {2307.16385},
  timestamp    = {Wed, 02 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-16385.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SokolskyZLM16,
  author       = {Oleg Sokolsky and
                  Teng Zhang and
                  Insup Lee and
                  Michael McDougall},
  editor       = {Luca Aceto and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Monitoring Assumptions in Assume-Guarantee Contracts},
  booktitle    = {Proceedings First Workshop on Pre- and Post-Deployment Verification
                  Techniques, PrePost@IFM 2016, Reykjav{\'{\i}}k, Iceland, 4th
                  June 2016},
  series       = {{EPTCS}},
  volume       = {208},
  pages        = {46--53},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.208.4},
  doi          = {10.4204/EPTCS.208.4},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/SokolskyZLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/McDougallAG04,
  author       = {Michael McDougall and
                  Rajeev Alur and
                  Carl A. Gunter},
  editor       = {Giorgio C. Buttazzo},
  title        = {A model-based approach to integrating security policies for embedded
                  devices},
  booktitle    = {{EMSOFT} 2004, September 27-29, 2004, Pisa, Italy, Fourth {ACM} International
                  Conference On Embedded Software, Proceedings},
  pages        = {211--219},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1017753.1017789},
  doi          = {10.1145/1017753.1017789},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/McDougallAG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/GoodloeMGA02,
  author       = {Alwyn Goodloe and
                  Michael McDougall and
                  Carl A. Gunter and
                  Rajeev Alur},
  editor       = {Shuvra S. Bhattacharyya and
                  Trevor N. Mudge and
                  Wayne H. Wolf and
                  Ahmed Amine Jerraya},
  title        = {Predictable programs in barcodes},
  booktitle    = {Proceedings of the International Conference on Compilers, Architectures
                  and Synthesis for Embedded Systems, {CASES} 2002, Greenoble, France,
                  October 8-11, 2002},
  pages        = {298--303},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/581630.581679},
  doi          = {10.1145/581630.581679},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cases/GoodloeMGA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurMY02,
  author       = {Rajeev Alur and
                  Michael McDougall and
                  Zijiang Yang},
  editor       = {Ed Brinksma and
                  Kim Guldstrand Larsen},
  title        = {Exploiting Behavioral Hierarchy for Efficient Model Checking},
  booktitle    = {Computer Aided Verification, 14th International Conference, {CAV}
                  2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2404},
  pages        = {338--342},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45657-0\_25},
  doi          = {10.1007/3-540-45657-0\_25},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AlurMY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurGM00,
  author       = {Rajeev Alur and
                  Radu Grosu and
                  Michael McDougall},
  editor       = {E. Allen Emerson and
                  A. Prasad Sistla},
  title        = {Efficient Reachability Analysis of Hierarchical Reactive Machines},
  booktitle    = {Computer Aided Verification, 12th International Conference, {CAV}
                  2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1855},
  pages        = {280--295},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722167\_23},
  doi          = {10.1007/10722167\_23},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AlurGM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwan/KakkarMGJ00,
  author       = {Pankaj Kakkar and
                  Michael McDougall and
                  Carl A. Gunter and
                  Trevor Jim},
  editor       = {Hiroshi Yasuda},
  title        = {Certificate Distribution with Local Autonomy},
  booktitle    = {Active Networks, Second International Working Conference, {IWAN} 2000,
                  Tokyo, Japan, October 16-18, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1942},
  pages        = {277--295},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-40057-5\_21},
  doi          = {10.1007/3-540-40057-5\_21},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/iwan/KakkarMGJ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics