BibTeX records: Jingshu Chen

download as .bib file

@inproceedings{DBLP:conf/agro-geoinformatics/ChenYWYL23,
  author       = {Jingshu Chen and
                  Jiaye Yu and
                  Shijun Wang and
                  Meng Yang and
                  Zhenhai Li},
  title        = {Adjusted CBA-Wheat model for predicting aboveground biomass in winter
                  wheat from hyperspectral data},
  booktitle    = {11th International Conference on Agro-Geoinformatics, Agro-Geoinformatics
                  2023, Wuhan, China, July 25-28, 2023},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/Agro-Geoinformatics59224.2023.10233346},
  doi          = {10.1109/AGRO-GEOINFORMATICS59224.2023.10233346},
  timestamp    = {Wed, 13 Sep 2023 08:43:29 +0200},
  biburl       = {https://dblp.org/rec/conf/agro-geoinformatics/ChenYWYL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsm/KurXCH23,
  author       = {Justin Kur and
                  Ji Xue and
                  Jingshu Chen and
                  Jun Huang},
  title        = {Bridging Resource Prediction and System Management: {A} Case Study
                  in Cloud Systems},
  booktitle    = {19th International Conference on Network and Service Management, {CNSM}
                  2023, Niagara Falls, ON, Canada, October 30 - Nov. 2, 2023},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.23919/CNSM59352.2023.10327893},
  doi          = {10.23919/CNSM59352.2023.10327893},
  timestamp    = {Tue, 05 Dec 2023 20:47:36 +0100},
  biburl       = {https://dblp.org/rec/conf/cnsm/KurXCH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KurCH23,
  author       = {Justin Kur and
                  Jingshu Chen and
                  Jun Huang},
  title        = {Scalable Industrial Control System Analysis via XAI-Based Gray-Box
                  Fuzzing},
  booktitle    = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2023, Luxembourg, September 11-15, 2023},
  pages        = {1803--1807},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ASE56229.2023.00161},
  doi          = {10.1109/ASE56229.2023.00161},
  timestamp    = {Thu, 16 Nov 2023 09:03:51 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KurCH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/most/WangWC23,
  author       = {Yuxuan Wang and
                  Charlie Wingate and
                  Jingshu Chen},
  title        = {ForDeen: Towards Formal Design for Ensuring Reliable UAV-Assisted
                  Multi-Access Edge Computing: {A} Scenario-Based Approach},
  booktitle    = {{IEEE} International Conference on Mobility, Operations, Services
                  and Technologies, {MOST} 2023, Detroit, MI, USA, May 17-19, 2023},
  pages        = {227--228},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/MOST57249.2023.00033},
  doi          = {10.1109/MOST57249.2023.00033},
  timestamp    = {Thu, 24 Aug 2023 15:05:58 +0200},
  biburl       = {https://dblp.org/rec/conf/most/WangWC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imwut/ShenHSC22,
  author       = {Cheng Shen and
                  Jun Huang and
                  Guangyu Sun and
                  Jingshu Chen},
  title        = {Electromagnetic Fingerprinting of Memory Heartbeats: System and Applications},
  journal      = {Proc. {ACM} Interact. Mob. Wearable Ubiquitous Technol.},
  volume       = {6},
  number       = {3},
  pages        = {138:1--138:23},
  year         = {2022},
  url          = {https://doi.org/10.1145/3550295},
  doi          = {10.1145/3550295},
  timestamp    = {Sat, 17 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/imwut/ShenHSC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucc/KurCXH22,
  author       = {Justin Kur and
                  Jingshu Chen and
                  Ji Xue and
                  Jun Huang},
  title        = {Resolution Matters: Revisiting Prediction-Based Job Co-location in
                  Public Clouds},
  booktitle    = {15th {IEEE/ACM} International Conference on Utility and Cloud Computing,
                  {UCC} 2022, Vancouver, WA, USA, December 6-9, 2022},
  pages        = {163--166},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/UCC56403.2022.00029},
  doi          = {10.1109/UCC56403.2022.00029},
  timestamp    = {Thu, 23 Mar 2023 16:18:08 +0100},
  biburl       = {https://dblp.org/rec/conf/ucc/KurCXH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07627,
  author       = {Amitoj Singh and
                  Jingshu Chen and
                  Lihao Zhang and
                  Amin Rasekh and
                  Ilana Golbin and
                  Anand S. Rao},
  title        = {Independent Ethical Assessment of Text Classification Models: {A}
                  Hate Speech Detection Case Study},
  journal      = {CoRR},
  volume       = {abs/2108.07627},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.07627},
  eprinttype    = {arXiv},
  eprint       = {2108.07627},
  timestamp    = {Tue, 05 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-07627.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/ChenRK15,
  author       = {Jingshu Chen and
                  Mohammad Roohitavaf and
                  Sandeep S. Kulkarni},
  editor       = {Emmanuelle Anceaume and
                  Christian Cachin and
                  Maria Gradinariu Potop{-}Butucaru},
  title        = {Ensuring Average Recovery with Adversarial Scheduler},
  booktitle    = {19th International Conference on Principles of Distributed Systems,
                  {OPODIS} 2015, December 14-17, 2015, Rennes, France},
  series       = {LIPIcs},
  volume       = {46},
  pages        = {23:1--23:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.OPODIS.2015.23},
  doi          = {10.4230/LIPICS.OPODIS.2015.23},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/opodis/ChenRK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ZhuCK15,
  author       = {Ling Zhu and
                  Jingshu Chen and
                  Sandeep S. Kulkarni},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {217--232},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_15},
  doi          = {10.1007/978-3-319-21741-3\_15},
  timestamp    = {Sun, 25 Oct 2020 22:45:03 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/ZhuCK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ChenDM14,
  author       = {Jingshu Chen and
                  Marie Duflot and
                  Stephan Merz},
  title        = {Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {70},
  year         = {2014},
  url          = {https://doi.org/10.14279/tuj.eceasst.70.978},
  doi          = {10.14279/TUJ.ECEASST.70.978},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/ChenDM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/ChenEK14,
  author       = {Jingshu Chen and
                  Ali Ebnenasir and
                  Sandeep S. Kulkarni},
  title        = {The Complexity of Adding Multitolerance},
  journal      = {{ACM} Trans. Auton. Adapt. Syst.},
  volume       = {9},
  number       = {3},
  pages        = {15:1--15:33},
  year         = {2014},
  url          = {https://doi.org/10.1145/2629664},
  doi          = {10.1145/2629664},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/taas/ChenEK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/VaishWCCB14,
  author       = {Rajan Vaish and
                  Keith Wyngarden and
                  Jingshu Chen and
                  Brandon Cheung and
                  Michael S. Bernstein},
  editor       = {Matt Jones and
                  Philippe A. Palanque and
                  Albrecht Schmidt and
                  Tovi Grossman},
  title        = {Twitch crowdsourcing: crowd contributions in short bursts of time},
  booktitle    = {{CHI} Conference on Human Factors in Computing Systems, CHI'14, Toronto,
                  ON, Canada - April 26 - May 01, 2014},
  pages        = {3645--3654},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2556288.2556996},
  doi          = {10.1145/2556288.2556996},
  timestamp    = {Tue, 01 Jun 2021 15:21:43 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/VaishWCCB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenDM14a,
  author       = {Jingshu Chen and
                  Marie Duflot and
                  Stephan Merz},
  title        = {Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations},
  journal      = {CoRR},
  volume       = {abs/1412.0961},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.0961},
  eprinttype    = {arXiv},
  eprint       = {1412.0961},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ChenDM14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/ChenAK13,
  author       = {Jingshu Chen and
                  Fuad Abujarad and
                  Sandeep S. Kulkarni},
  title        = {Towards scalable model checking of self-stabilizing programs},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {73},
  number       = {4},
  pages        = {400--410},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jpdc.2012.12.009},
  doi          = {10.1016/J.JPDC.2012.12.009},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/ChenAK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChenK13,
  author       = {Jingshu Chen and
                  Sandeep S. Kulkarni},
  title        = {{MR4UM:} {A} framework for adding fault tolerance to {UML} state diagrams},
  journal      = {Theor. Comput. Sci.},
  volume       = {496},
  pages        = {17--33},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.tcs.2012.10.005},
  doi          = {10.1016/J.TCS.2012.10.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChenK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/ChenK13,
  author       = {Jingshu Chen and
                  Sandeep S. Kulkarni},
  editor       = {Davide Frey and
                  Michel Raynal and
                  Saswati Sarkar and
                  Rudrapatna K. Shyamasundar and
                  Prasun Sinha},
  title        = {SMT-Based Model Checking for Stabilizing Programs\({}^{\mbox{, }}\)},
  booktitle    = {Distributed Computing and Networking, 14th International Conference,
                  {ICDCN} 2013, Mumbai, India, January 3-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7730},
  pages        = {393--407},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35668-1\_27},
  doi          = {10.1007/978-3-642-35668-1\_27},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/ChenK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/WangC13,
  author       = {Borui Wang and
                  Jingshu Chen},
  editor       = {Shahram Izadi and
                  Aaron J. Quigley and
                  Ivan Poupyrev and
                  Takeo Igarashi},
  title        = {Visimu: a game for music color label collection},
  booktitle    = {The 26th Annual {ACM} Symposium on User Interface Software and Technology,
                  UIST'13, St. Andrews, United Kingdom, October 8-11, 2013 - Adjunct
                  Volume},
  pages        = {93--94},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2508468.2514726},
  doi          = {10.1145/2508468.2514726},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uist/WangC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apcc/XuCXW12,
  author       = {Ziya Xu and
                  Jingshu Chen and
                  Lu Xu and
                  Wanyu Wang},
  title        = {A parallel digital hardware generator of White Gaussian noise stressing
                  on crest factor},
  booktitle    = {18th Asia-Pacific Conference on Communications, {APCC} 2012, Jeju,
                  Korea (South), October 15-17, 2012},
  pages        = {456--461},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/APCC.2012.6388180},
  doi          = {10.1109/APCC.2012.6388180},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/apcc/XuCXW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/ChenK12,
  author       = {Jingshu Chen and
                  Sandeep S. Kulkarni},
  editor       = {Luciano Bononi and
                  Ajoy Kumar Datta and
                  St{\'{e}}phane Devismes and
                  Archan Misra},
  title        = {Application of Automated Revision for {UML} Models: {A} Case Study},
  booktitle    = {Distributed Computing and Networking - 13th International Conference,
                  {ICDCN} 2012, Hong Kong, China, January 3-6, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7129},
  pages        = {31--45},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-25959-3\_3},
  doi          = {10.1007/978-3-642-25959-3\_3},
  timestamp    = {Mon, 26 Jun 2023 20:44:19 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/ChenK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ChenK12,
  author       = {Jingshu Chen and
                  Sandeep S. Kulkarni},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Brief Announcement: Verification of Stabilizing Programs with {SMT}
                  Solvers},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {179--182},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_17},
  doi          = {10.1007/978-3-642-33536-5\_17},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/ChenK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/ChenK10,
  author       = {Jingshu Chen and
                  Sandeep S. Kulkarni},
  title        = {Complexity Analysis of Weak Multitolerance},
  booktitle    = {2010 International Conference on Distributed Computing Systems, {ICDCS}
                  2010, Genova, Italy, June 21-25, 2010},
  pages        = {398--407},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICDCS.2010.80},
  doi          = {10.1109/ICDCS.2010.80},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/ChenK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/ChenAK10,
  author       = {Jingshu Chen and
                  Fuad Abujarad and
                  Sandeep S. Kulkarni},
  editor       = {Chenyang Lu and
                  Toshimitsu Masuzawa and
                  Mohamed Mosbah},
  title        = {Effect of Fairness in Model Checking of Self-stabilizing Programs},
  booktitle    = {Principles of Distributed Systems - 14th International Conference,
                  {OPODIS} 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6490},
  pages        = {135--138},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17653-1\_11},
  doi          = {10.1007/978-3-642-17653-1\_11},
  timestamp    = {Tue, 11 Oct 2022 14:59:07 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/ChenAK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/WangCGZY06,
  author       = {Qingyang Wang and
                  Jingshu Chen and
                  Xibin Gao and
                  Wei Zhou and
                  Baoping Yan},
  title        = {A New Architecture of Data Access Middleware under Grid Environment},
  booktitle    = {Proceedings of The 1st {IEEE} Asia-Pacific Services Computing Conference,
                  {APSCC} 2006, December 12-15, 2006, Guangzhou, China},
  pages        = {384--391},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/APSCC.2006.13},
  doi          = {10.1109/APSCC.2006.13},
  timestamp    = {Wed, 29 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apscc/WangCGZY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/ChenWWWC06,
  author       = {Jingshu Chen and
                  Hong Wu and
                  Qingyang Wang and
                  Qingguan Wang and
                  Xuebin Chi},
  title        = {A Reflective Framework for Authentication in Grid Computing Environments},
  booktitle    = {Grid and Cooperative Computing - {GCC} 2006, 5th International Conference,
                  Changsha, Hunan, China, 21-23 October 2006, Proceedings},
  pages        = {404--407},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/GCC.2006.15},
  doi          = {10.1109/GCC.2006.15},
  timestamp    = {Wed, 29 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gcc/ChenWWWC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics