Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Michael McDougall
@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} }
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.