BibTeX records: Mu Sun

download as .bib file

@article{DBLP:journals/tie/DengSWF17,
  author    = {Zhi{-}Hong Deng and
               Mu Sun and
               Bo Wang and
               Mengyin Fu},
  title     = {Analysis and Calibration of the Nonorthogonal Angle in Dual-Axis Rotational
               {INS}},
  journal   = {{IEEE} Trans. Industrial Electronics},
  volume    = {64},
  number    = {6},
  pages     = {4762--4771},
  year      = {2017},
  url       = {https://doi.org/10.1109/TIE.2017.2652342},
  doi       = {10.1109/TIE.2017.2652342},
  timestamp = {Mon, 28 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tie/DengSWF17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/LiZLGSSYTL17,
  author    = {Xiang Li and
               Aoxiao Zhong and
               Ming Lin and
               Ning Guo and
               Mu Sun and
               Arkadiusz Sitek and
               Jieping Ye and
               James Thrall and
               Quanzheng Li},
  title     = {Self-paced Convolutional Neural Network for Computer Aided Detection
               in Medical Imaging Analysis},
  booktitle = {Machine Learning in Medical Imaging - 8th International Workshop,
               {MLMI} 2017, Held in Conjunction with {MICCAI} 2017, Quebec City,
               QC, Canada, September 10, 2017, Proceedings},
  pages     = {212--219},
  year      = {2017},
  crossref  = {DBLP:conf/miccai/2017mlmi},
  url       = {https://doi.org/10.1007/978-3-319-67389-9\_25},
  doi       = {10.1007/978-3-319-67389-9\_25},
  timestamp = {Wed, 07 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/miccai/LiZLGSSYTL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiZLGSSYTL17,
  author    = {Xiang Li and
               Aoxiao Zhong and
               Ming Lin and
               Ning Guo and
               Mu Sun and
               Arkadiusz Sitek and
               Jieping Ye and
               James Thrall and
               Quanzheng Li},
  title     = {Self-paced Convolutional Neural Network for Computer Aided Detection
               in Medical Imaging Analysis},
  journal   = {CoRR},
  volume    = {abs/1707.06145},
  year      = {2017},
  url       = {http://arxiv.org/abs/1707.06145},
  archivePrefix = {arXiv},
  eprint    = {1707.06145},
  timestamp = {Tue, 05 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/LiZLGSSYTL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/SunM14,
  author    = {Mu Sun and
               Jos{\'{e}} Meseguer},
  title     = {Formal Specification of Button-Related Fault-Tolerance Micropatterns},
  booktitle = {Rewriting Logic and Its Applications - 10th International Workshop,
               {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
               April 5-6, 2014, Revised Selected Papers},
  pages     = {263--279},
  year      = {2014},
  crossref  = {DBLP:conf/wrla/2014},
  url       = {https://doi.org/10.1007/978-3-319-12904-4\_15},
  doi       = {10.1007/978-3-319-12904-4\_15},
  timestamp = {Wed, 14 Nov 2018 10:58:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wrla/SunM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secon/KimSRS12,
  author    = {Cheolgi Kim and
               Mu Sun and
               Maryam Rahmaniheris and
               Lui Sha},
  title     = {How to reliably integrate medical devices over wireless},
  booktitle = {9th Annual {IEEE} Communications Society Conference on Sensor, Mesh
               and Ad Hoc Communications and Networks, {SECON} 2012, Seoul, Korea
               (South), June 18-21, 2012},
  pages     = {85--87},
  year      = {2012},
  crossref  = {DBLP:conf/secon/2012},
  url       = {https://doi.org/10.1109/SECON.2012.6276355},
  doi       = {10.1109/SECON.2012.6276355},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/secon/KimSRS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KimSMYSA10,
  author    = {Cheolgi Kim and
               Mu Sun and
               Sibin Mohan and
               Heechul Yun and
               Lui Sha and
               Tarek F. Abdelzaher},
  title     = {A framework for the safe interoperability of medical devices in the
               presence of network failures},
  booktitle = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
               {ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
  pages     = {149--158},
  year      = {2010},
  crossref  = {DBLP:conf/iccps/2010},
  url       = {https://doi.org/10.1145/1795194.1795215},
  doi       = {10.1145/1795194.1795215},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccps/KimSMYSA10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/SunMS10,
  author    = {Mu Sun and
               Jos{\'{e}} Meseguer and
               Lui Sha},
  title     = {A Formal Pattern Architecture for Safe Medical Systems},
  booktitle = {Rewriting Logic and Its Applications - 8th International Workshop,
               {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
               March 20-21, 2010, Revised Selected Papers},
  pages     = {157--173},
  year      = {2010},
  crossref  = {DBLP:conf/wrla/2010},
  url       = {https://doi.org/10.1007/978-3-642-16310-4\_11},
  doi       = {10.1007/978-3-642-16310-4\_11},
  timestamp = {Wed, 24 May 2017 08:28:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wrla/SunMS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4266,
  author    = {Mu Sun and
               Jos{\'{e}} Meseguer},
  title     = {Distributed Real-Time Emulation of Formally-Defined Patterns for Safe
               Medical Device Control},
  booktitle = {Proceedings First International Workshop on Rewriting Techniques for
               Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
               2010.},
  pages     = {158--177},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1009-3982},
  url       = {https://doi.org/10.4204/EPTCS.36.9},
  doi       = {10.4204/EPTCS.36.9},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1009-4266},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PellizzoniMNSCS09,
  author    = {Rodolfo Pellizzoni and
               Patrick O'Neil Meredith and
               Min{-}Young Nam and
               Mu Sun and
               Marco Caccamo and
               Lui Sha},
  title     = {Handling mixed-criticality in SoC-based real-time embedded systems},
  booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
               on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
               2009},
  pages     = {235--244},
  year      = {2009},
  crossref  = {DBLP:conf/emsoft/2009},
  url       = {https://doi.org/10.1145/1629335.1629367},
  doi       = {10.1145/1629335.1629367},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/emsoft/PellizzoniMNSCS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/BakCASCS09,
  author    = {Stanley Bak and
               Deepti K. Chivukula and
               Olugbemiga Adekunle and
               Mu Sun and
               Marco Caccamo and
               Lui Sha},
  title     = {The System-Level Simplex Architecture for Improved Real-Time Embedded
               System Safety},
  booktitle = {15th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
               {RTAS} 2009, San Francisco, CA, USA, 13-16 April 2009},
  pages     = {99--107},
  year      = {2009},
  crossref  = {DBLP:conf/rtas/2009},
  url       = {https://doi.org/10.1109/RTAS.2009.20},
  doi       = {10.1109/RTAS.2009.20},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtas/BakCASCS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Al-NayeemSQSMC09,
  author    = {Abdullah Al{-}Nayeem and
               Mu Sun and
               Xiaokang Qiu and
               Lui Sha and
               Steven P. Miller and
               Darren D. Cofer},
  title     = {A Formal Architecture Pattern for Real-Time Distributed Systems},
  booktitle = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
               2009, Washington, DC, USA, 1-4 December 2009},
  pages     = {161--170},
  year      = {2009},
  crossref  = {DBLP:conf/rtss/2009},
  url       = {https://doi.org/10.1109/RTSS.2009.50},
  doi       = {10.1109/RTSS.2009.50},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/Al-NayeemSQSMC09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/miccai/2017mlmi,
  editor    = {Qian Wang and
               Yinghuan Shi and
               Heung{-}Il Suk and
               Kenji Suzuki},
  title     = {Machine Learning in Medical Imaging - 8th International Workshop,
               {MLMI} 2017, Held in Conjunction with {MICCAI} 2017, Quebec City,
               QC, Canada, September 10, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10541},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67389-9},
  doi       = {10.1007/978-3-319-67389-9},
  isbn      = {978-3-319-67388-2},
  timestamp = {Thu, 07 Sep 2017 12:12:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/miccai/2017mlmi},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2014,
  editor    = {Santiago Escobar},
  title     = {Rewriting Logic and Its Applications - 10th International Workshop,
               {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
               April 5-6, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8663},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-12904-4},
  doi       = {10.1007/978-3-319-12904-4},
  isbn      = {978-3-319-12903-7},
  timestamp = {Wed, 14 Nov 2018 10:58:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wrla/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/secon/2012,
  title     = {9th Annual {IEEE} Communications Society Conference on Sensor, Mesh
               and Ad Hoc Communications and Networks, {SECON} 2012, Seoul, Korea
               (South), June 18-21, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6265425},
  isbn      = {978-1-4673-1904-1},
  timestamp = {Mon, 01 Oct 2012 17:37:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/secon/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccps/2010,
  editor    = {Janos Sztipanovits and
               Raj Rajkumar},
  title     = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
               {ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1795194},
  isbn      = {978-1-4503-0066-7},
  timestamp = {Thu, 12 Jul 2012 11:07:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccps/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2010,
  editor    = {Peter Csaba {\"{O}}lveczky},
  title     = {Rewriting Logic and Its Applications - 8th International Workshop,
               {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
               March 20-21, 2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6381},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16310-4},
  doi       = {10.1007/978-3-642-16310-4},
  isbn      = {978-3-642-16309-8},
  timestamp = {Wed, 24 May 2017 08:28:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wrla/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1009-3982,
  editor    = {Peter Csaba {\"{O}}lveczky},
  title     = {Proceedings First International Workshop on Rewriting Techniques for
               Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
               2010},
  series    = {{EPTCS}},
  volume    = {36},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.36},
  doi       = {10.4204/EPTCS.36},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1009-3982},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2009,
  editor    = {Samarjit Chakraborty and
               Nicolas Halbwachs},
  title     = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
               on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
               2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-627-4},
  timestamp = {Mon, 26 Oct 2009 15:50:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/emsoft/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtas/2009,
  title     = {15th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
               {RTAS} 2009, San Francisco, CA, USA, 13-16 April 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4840551},
  isbn      = {978-0-7695-3636-1},
  timestamp = {Wed, 01 Oct 2014 16:34:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtas/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtss/2009,
  editor    = {Theodore P. Baker},
  title     = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
               2009, Washington, DC, USA, 1-4 December 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5368115},
  isbn      = {978-0-7695-3875-4},
  timestamp = {Tue, 20 Jan 2015 18:19:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier