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