BibTeX records: Michael Short 0001

download as .bib file

@article{DBLP:journals/data/AmadasunSSC21,
  author       = {Kennedy Nomamidobo Amadasun and
                  Michael Short and
                  Rajesh Shankar{-}Priya and
                  Tracey Crosbie},
  title        = {Transitioning to Society 5.0 in Africa: Tools to Support {ICT} Infrastructure
                  Sharing},
  journal      = {Data},
  volume       = {6},
  number       = {7},
  pages        = {69},
  year         = {2021},
  url          = {https://doi.org/10.3390/data6070069},
  doi          = {10.3390/DATA6070069},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/data/AmadasunSSC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ShortT19,
  author       = {Michael Short and
                  John Twiddle},
  title        = {An Industrial Digitalization Platform for Condition Monitoring and
                  Predictive Maintenance of Pumping Equipment},
  journal      = {Sensors},
  volume       = {19},
  number       = {17},
  pages        = {3781},
  year         = {2019},
  url          = {https://doi.org/10.3390/s19173781},
  doi          = {10.3390/S19173781},
  timestamp    = {Sat, 30 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sensors/ShortT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/Short17,
  author       = {Michael Short},
  title        = {Eligible earliest deadline first: Server-based scheduling for master-slave
                  industrial wireless networks},
  journal      = {Comput. Electr. Eng.},
  volume       = {64},
  pages        = {305--321},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.compeleceng.2017.08.007},
  doi          = {10.1016/J.COMPELECENG.2017.08.007},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cee/Short17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcnc/Short16,
  author       = {Michael Short},
  title        = {Bounds on Worst-Case Deadline Failure Probabilities in Controller
                  Area Networks},
  journal      = {J. Comput. Networks Commun.},
  volume       = {2016},
  pages        = {5196092:1--5196092:12},
  year         = {2016},
  url          = {https://doi.org/10.1155/2016/5196092},
  doi          = {10.1155/2016/5196092},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcnc/Short16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ShortSR16,
  author       = {Michael Short and
                  Imran Sheikh and
                  Syed Aley Imran Rizvi},
  title        = {A transmission window technique for {CAN} networks},
  journal      = {J. Syst. Archit.},
  volume       = {69},
  pages        = {15--28},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.sysarc.2016.07.001},
  doi          = {10.1016/J.SYSARC.2016.07.001},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/ShortSR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/OgwumikeSA16,
  author       = {Chris Ogwumike and
                  Michael Short and
                  Fathi Abugchem},
  title        = {An embedded prototype of a residential smart appliance scheduling
                  system},
  booktitle    = {21st {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ETFA.2016.7733613},
  doi          = {10.1109/ETFA.2016.7733613},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/OgwumikeSA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/Short16,
  author       = {Michael Short},
  title        = {Scheduling master-slave wireless networks in the presence of interference},
  booktitle    = {21st {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ETFA.2016.7733564},
  doi          = {10.1109/ETFA.2016.7733564},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/Short16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgift/CrosbieVSDCB16,
  author       = {Tracey Crosbie and
                  Vladimir Vukovic and
                  Michael Short and
                  Nashwan Dawood and
                  Richard Charlesworth and
                  Paul Brodrick},
  editor       = {Jia Hu and
                  Victor C. M. Leung and
                  Kun Yang and
                  Yan Zhang and
                  Jianliang Gao and
                  Shusen Yang},
  title        = {Future Demand Response Services for Blocks of Buildings},
  booktitle    = {Smart Grid Inspired Future Technologies - First International Conference,
                  SmartGIFT 2016, Liverpool, UK, May 19-20, 2016, Revised Selected Papers},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {175},
  pages        = {118--135},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47729-9\_13},
  doi          = {10.1007/978-3-319-47729-9\_13},
  timestamp    = {Thu, 22 Oct 2020 17:33:49 +0200},
  biburl       = {https://dblp.org/rec/conf/smartgift/CrosbieVSDCB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esl/AbugchemSX15,
  author       = {Fathi Abugchem and
                  Michael Short and
                  Donglai Xu},
  title        = {A Note on the Suboptimality of Nonpreemptive Real-time Scheduling},
  journal      = {{IEEE} Embed. Syst. Lett.},
  volume       = {7},
  number       = {3},
  pages        = {69--72},
  year         = {2015},
  url          = {https://doi.org/10.1109/LES.2015.2426657},
  doi          = {10.1109/LES.2015.2426657},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/esl/AbugchemSX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ShortDI15,
  author       = {Michael Short and
                  Muneeb Dawood and
                  Carlos C. Insaurralde},
  title        = {Fault-tolerant generator telecontrol over a microgrid {IP} network},
  booktitle    = {20th {IEEE} Conference on Emerging Technologies {\&} Factory Automation,
                  {ETFA} 2015, Luxembourg, September 8-11, 2015},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ETFA.2015.7301470},
  doi          = {10.1109/ETFA.2015.7301470},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/ShortDI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/Ogwumike0D15,
  author       = {Chris Ogwumike and
                  Michael Short and
                  Mouloud Denai},
  title        = {Near-optimal scheduling of residential smart home appliances using
                  heuristic approach},
  booktitle    = {{IEEE} International Conference on Industrial Technology, {ICIT} 2015,
                  Seville, Spain, March 17-19, 2015},
  pages        = {3128--3133},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICIT.2015.7125560},
  doi          = {10.1109/ICIT.2015.7125560},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icit2/Ogwumike0D15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/Short14,
  author       = {Michael Short},
  editor       = {Antoni Grau and
                  Herminio Mart{\'{\i}}nez},
  title        = {Simple bounds on deadline failure probabilities in fault-tolerant
                  real-time networks},
  booktitle    = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
                  {ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ETFA.2014.7005207},
  doi          = {10.1109/ETFA.2014.7005207},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/Short14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/ShortP13,
  author       = {Michael Short and
                  Juli{\'{a}}n Proenza},
  title        = {Towards Efficient Probabilistic Scheduling Guarantees for Real-Time
                  Systems Subject to Random Errors and Random Bursts of Errors},
  booktitle    = {25th Euromicro Conference on Real-Time Systems, {ECRTS} 2013, Paris,
                  France, July 9-12, 2013},
  pages        = {259--268},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECRTS.2013.35},
  doi          = {10.1109/ECRTS.2013.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/ShortP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AbugchemSX13,
  author       = {Fathi Abugchem and
                  Michael Short and
                  Donglai Xu},
  editor       = {Carla Seatzu},
  title        = {An experimental {HIL} study on the jitter sensitivity of an adaptive
                  control system},
  booktitle    = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
                  {\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
                  10-13, 2013},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ETFA.2013.6647944},
  doi          = {10.1109/ETFA.2013.6647944},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/AbugchemSX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/Short12,
  author       = {Michael Short},
  title        = {Analysis and redesign of the 'TTC' and 'TTH' schedulers},
  journal      = {J. Syst. Archit.},
  volume       = {58},
  number       = {1},
  pages        = {38--47},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.sysarc.2011.08.001},
  doi          = {10.1016/J.SYSARC.2011.08.001},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/Short12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AbugchemSX12,
  author       = {Fathi Abugchem and
                  Michael Short and
                  Donglai Xu},
  title        = {A hybrid {EDF} algorithm for implementing resource-constrained real-time
                  control applications},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489723},
  doi          = {10.1109/ETFA.2012.6489723},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/AbugchemSX12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AbugchemSX12a,
  author       = {Fathi Abugchem and
                  Michael Short and
                  Donglai Xu},
  title        = {A test facility for experimental {HIL} analysis of industrial embedded
                  control systems},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489762},
  doi          = {10.1109/ETFA.2012.6489762},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/AbugchemSX12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GessnerBPS12,
  author       = {David Gessner and
                  Manuel Barranco and
                  Juli{\'{a}}n Proenza and
                  Michael Short},
  title        = {A first qualitative evaluation of star replication schemes for {FTT-CAN}},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489702},
  doi          = {10.1109/ETFA.2012.6489702},
  timestamp    = {Wed, 03 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/GessnerBPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/Short12,
  author       = {Michael Short},
  title        = {Real-time infinite horizon adaptive/predictive control for Smart home
                  {HVAC} applications},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489677},
  doi          = {10.1109/ETFA.2012.6489677},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/Short12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ShortAA12,
  author       = {Michael Short and
                  Usama Abrar and
                  Fathi Abugchem},
  title        = {Application level compensation for burst errors in wireless control
                  networks},
  booktitle    = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
                  Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
                  September 17-21, 2012},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ETFA.2012.6489643},
  doi          = {10.1109/ETFA.2012.6489643},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/ShortAA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/Short11,
  author       = {Michael Short},
  editor       = {Zoubir Mammeri},
  title        = {Improved schedulability analysis of implicit deadline tasks under
                  limited preemption {EDF} scheduling},
  booktitle    = {{IEEE} 16th Conference on Emerging Technologies {\&} Factory Automation,
                  {ETFA} 2011, Toulouse, France, September 5-9, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ETFA.2011.6059008},
  doi          = {10.1109/ETFA.2011.6059008},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/etfa/Short11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ShortSAR11,
  author       = {Michael Short and
                  Imran Sheikh and
                  Syed Aley Imran Rizvi},
  editor       = {Zoubir Mammeri},
  title        = {Bandwidth-efficient burst error tolerance in TDMA-based {CAN} networks},
  booktitle    = {{IEEE} 16th Conference on Emerging Technologies {\&} Factory Automation,
                  {ETFA} 2011, Toulouse, France, September 5-9, 2011},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ETFA.2011.6058999},
  doi          = {10.1109/ETFA.2011.6058999},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/ShortSAR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iconac/ShortAFA11,
  author       = {Michael Short and
                  Usama Abrar and
                  Ian French and
                  Fathi Abugchem},
  title        = {Real-time implementation of a burst error compensator for wireless
                  control systems},
  booktitle    = {17th International Conference on Automation and Computing, {ICAC}
                  2011, Huddersfield, United Kingdom, September 10, 2011},
  pages        = {104--109},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6084910/},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iconac/ShortAFA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/Short10,
  author       = {Michael Short},
  title        = {A note on 'Efficient scheduling of periodic information monitoring
                  requests'},
  journal      = {Eur. J. Oper. Res.},
  volume       = {201},
  number       = {1},
  pages        = {329--335},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ejor.2009.03.011},
  doi          = {10.1016/J.EJOR.2009.03.011},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eor/Short10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imm/CaoAHZFZS10,
  author       = {Wenping Cao and
                  Greg M. Asher and
                  Xiaoyan Huang and
                  He Zhang and
                  Ian French and
                  Jianyong Zhang and
                  Michael Short},
  title        = {Calorimeters and Techniques Used for Power Loss Measurements in Electrical
                  Machines},
  journal      = {{IEEE} Instrum. Meas. Mag.},
  volume       = {13},
  number       = {6},
  pages        = {26--33},
  year         = {2010},
  url          = {https://doi.org/10.1109/MIM.2010.5669610},
  doi          = {10.1109/MIM.2010.5669610},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/imm/CaoAHZFZS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/ShortS10,
  author       = {Michael Short and
                  Imran Sheikh},
  title        = {Timely Recovery from Task Failures in Non-preemptive, Deadline-driven
                  Schedulers},
  booktitle    = {10th {IEEE} International Conference on Computer and Information Technology,
                  {CIT} 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010},
  pages        = {1856--1863},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/CIT.2010.319},
  doi          = {10.1109/CIT.2010.319},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcit/ShortS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inss/0001SY10,
  author       = {Imran Sheikh and
                  Michael Short and
                  Khawaja Yahya},
  title        = {Analysis of overclocked controller area network},
  booktitle    = {Seventh International Conference on Networked Sensing Systems, {INSS}
                  2010, Kassel, Germany, June 15-18, 2010},
  pages        = {37--40},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/INSS.2010.5573310},
  doi          = {10.1109/INSS.2010.5573310},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/inss/0001SY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/Short10,
  author       = {Michael Short},
  editor       = {Marco Caccamo},
  title        = {Improved Task Management Techniques for Enforcing {EDF} Scheduling
                  on Recurring Tasks},
  booktitle    = {16th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2010, Stockholm, Sweden, April 12-15, 2010},
  pages        = {56--65},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/RTAS.2010.22},
  doi          = {10.1109/RTAS.2010.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/Short10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/Short09,
  author       = {Michael J. Short},
  title        = {Exact and Heuristic Algorithms for Thrift Cyclic Scheduling},
  journal      = {Algorithms},
  volume       = {2},
  number       = {4},
  pages        = {1449--1472},
  year         = {2009},
  url          = {https://doi.org/10.3390/a2041449},
  doi          = {10.3390/A2041449},
  timestamp    = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithms/Short09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/NahasPS09,
  author       = {Mouaaz Nahas and
                  Michael J. Pont and
                  Michael Short},
  title        = {Reducing message-length variations in resource-constrained embedded
                  systems implemented using the Controller Area Network {(CAN)} protocol},
  journal      = {J. Syst. Archit.},
  volume       = {55},
  number       = {5-6},
  pages        = {344--354},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.sysarc.2009.03.004},
  doi          = {10.1016/J.SYSARC.2009.03.004},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/NahasPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/SheikhS09,
  author       = {Imran Sheikh and
                  Michael Short},
  editor       = {Joaquim Filipe and
                  Juan Andrade{-}Cetto and
                  Jean{-}Louis Ferrier},
  title        = {A Low Cost and Flexible Approach to Can Conformance Testing},
  booktitle    = {{ICINCO} 2009, Proceedings of the 6th International Conference on
                  Informatics in Control, Automation and Robotics, Intelligent Control
                  Systems and Optimization, Milan, Italy, July 2-5, 2009},
  pages        = {97--104},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icinco/SheikhS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/Short09,
  author       = {Michael Short},
  editor       = {Joaquim Filipe and
                  Juan Andrade{-}Cetto and
                  Jean{-}Louis Ferrier},
  title        = {Some Complexity Results Concerning the Non-preemptive 'Thrift' Cyclic
                  Scheduler},
  booktitle    = {{ICINCO} 2009, Proceedings of the 6th International Conference on
                  Informatics in Control, Automation and Robotics, Intelligent Control
                  Systems and Optimization, Milan, Italy, July 2-5, 2009},
  pages        = {347--350},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icinco/Short09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ShortP08,
  author       = {Michael Short and
                  Michael J. Pont},
  title        = {Assessment of high-integrity embedded automotive control systems using
                  hardware in the loop simulation},
  journal      = {J. Syst. Softw.},
  volume       = {81},
  number       = {7},
  pages        = {1163--1183},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jss.2007.08.026},
  doi          = {10.1016/J.JSS.2007.08.026},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/ShortP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/Short08,
  author       = {Michael Short},
  title        = {Development guidelines for dependable real-time embedded systems},
  booktitle    = {The 6th {ACS/IEEE} International Conference on Computer Systems and
                  Applications, {AICCSA} 2008, Doha, Qatar, March 31 - April 4, 2008},
  pages        = {1032--1039},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/AICCSA.2008.4493674},
  doi          = {10.1109/AICCSA.2008.4493674},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiccsa/Short08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/ShortPF08,
  author       = {Michael Short and
                  Michael J. Pont and
                  Jianzhong Fang},
  title        = {Exploring the Impact of Task Preemption on Dependability in Time-Triggered
                  Embedded Systems: {A} Pilot Study},
  booktitle    = {20th Euromicro Conference on Real-Time Systems, {ECRTS} 2008, 2-4
                  July 2008, Prague, Czech Republic, Proceedings},
  pages        = {83--91},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ECRTS.2008.14},
  doi          = {10.1109/ECRTS.2008.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/ShortPF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/AyavooPSP07,
  author       = {Devaraj Ayavoo and
                  Michael J. Pont and
                  Michael Short and
                  Stephen Parker},
  title        = {Two novel shared-clock scheduling algorithms for use with 'Controller
                  Area Network' and related protocols},
  journal      = {Microprocess. Microsystems},
  volume       = {31},
  number       = {5},
  pages        = {326--334},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.micpro.2006.11.002},
  doi          = {10.1016/J.MICPRO.2006.11.002},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mam/AyavooPSP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/ShortP07,
  author       = {Michael Short and
                  Michael J. Pont},
  title        = {Fault-Tolerant Time-Triggered Communication Using {CAN}},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {3},
  number       = {2},
  pages        = {131--142},
  year         = {2007},
  url          = {https://doi.org/10.1109/TII.2007.898477},
  doi          = {10.1109/TII.2007.898477},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/ShortP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/Short07,
  author       = {Michael Short},
  editor       = {Janan Zaytoon and
                  Jean{-}Louis Ferrier and
                  Juan Andrade{-}Cetto and
                  Joaquim Filipe},
  title        = {Efficient implementation of fault-tolerant data structures in pc-based
                  control software},
  booktitle    = {{ICINCO} 2007, Proceedings of the Fourth International Conference
                  on Informatics in Control, Automation and Robotics, Signal Processing,
                  Systems Modeling and Control, Angers, France, May 9-12, 2007},
  pages        = {214--219},
  publisher    = {{INSTICC} Press},
  year         = {2007},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icinco/Short07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/ShortB07,
  author       = {Michael Short and
                  Kevin Burn},
  editor       = {Janan Zaytoon and
                  Jean{-}Louis Ferrier and
                  Juan Andrade{-}Cetto and
                  Joaquim Filipe},
  title        = {Robust and stable robotic force control},
  booktitle    = {{ICINCO} 2007, Proceedings of the Fourth International Conference
                  on Informatics in Control, Automation and Robotics, Signal Processing,
                  Systems Modeling and Control, Angers, France, May 9-12, 2007},
  pages        = {256--261},
  publisher    = {{INSTICC} Press},
  year         = {2007},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icinco/ShortB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/robotica/BurnHSB05,
  author       = {Kevin Burn and
                  Geoffrey Home and
                  Michael Short and
                  R. Bicker},
  title        = {A software tool for automating the design of robot fuzzy force controllers},
  journal      = {Robotica},
  volume       = {23},
  number       = {2},
  pages        = {247--256},
  year         = {2005},
  url          = {https://doi.org/10.1017/S0263574704000785},
  doi          = {10.1017/S0263574704000785},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/robotica/BurnHSB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfr/BurnSB03,
  author       = {Kevin Burn and
                  Michael Short and
                  R. Bicker},
  title        = {Adaptive and Nonlinear Fuzzy Force Control Techniques Applied to Robots
                  Operating in Uncertain Environments},
  journal      = {J. Field Robotics},
  volume       = {20},
  number       = {7},
  pages        = {391--400},
  year         = {2003},
  url          = {https://doi.org/10.1002/rob.10093},
  doi          = {10.1002/ROB.10093},
  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jfr/BurnSB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics