Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Yi Wei
2010 – today
- 2013
[c19]Yi Wei, M. Brian Blake, Gregory R. Madey: An Operation-Time Simulation Framework for UAV Swarm Configuration and Mission Planning. ICCS 2013: 1949-1958- [c18]Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer: What good are strong specifications? ICSE 2013: 262-271
- [c17]Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei: The search for the laws of automatic random testing. SAC 2013: 1211-1216
- 2012
- [j6]Xiaoli Tang, Libin Deng, Dake Zhang, Jiari Lin, Yi Wei, Qinqin Zhou, Xiang Li, Guilin Li, Shangdong Liang: Gene2DGE: A Perl Package for Gene Model Renewal with Digital Gene Expression Data. Genomics, Proteomics & Bioinformatics 10(1): 51-54 (2012)
- [j5]Yi Wei, Jizhong Shen: Design of nanopipelined adder based on resonant tunneling diode. Microelectronics Journal 43(6): 353-357 (2012)
- [c16]Yi Wei, M. Brian Blake: An Agent-Based Services Framework with Adaptive Monitoring in Cloud Environments. WETICE 2012: 4-9
- [c15]Gregory R. Madey, M. Brian Blake, Christian Poellabauer, Hongsheng Lu, Ryan McCune, Yi Wei: Applying DDDAS Principles to Command, Control and Mission Planning for UAV Swarms. ICCS 2012: 1177-1186
- [i5]Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer: What Good Are Strong Specifications? CoRR abs/1208.3337 (2012)
- [i4]Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei: The Search for the Laws of Automatic Random Testing. CoRR abs/1211.3257 (2012)
- 2011
- [j4]Yi Wei, Jizhong Shen: Design of a novel low power 8-transistor 1-bit full adder cell. Journal of Zhejiang University - Science C 12(7): 604-607 (2011)
- [j3]Yi Wei, Jizhong Shen: Novel universal threshold logic gate based on RTD and its application. Microelectronics Journal 42(6): 851-854 (2011)
- [c14]Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol: Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. APSEC 2011: 290-297
- [c13]Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer: Inferring better contracts. ICSE 2011: 191-200
- [c12]Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Code-based automated program fixing. ASE 2011: 392-395
- [c11]Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer: Stateful testing: Finding more errors in code and contracts. ASE 2011: 440-443
- [i3]Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Evidence-Based Automated Program Fixing. CoRR abs/1102.1059 (2011)
- [i2]Yi Wei, Karthik Sukumar, Christian Vecchiola, Dileban Karunamoorthy, Rajkumar Buyya: Aneka Cloud Application Platform and Its Integration with Windows Azure. CoRR abs/1103.2590 (2011)
- [i1]Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer: Stateful Testing: Finding More Errors in Code and Contracts. CoRR abs/1108.1068 (2011)
- 2010
- [j2]Yi Wei, M. Brian Blake: Service-Oriented Computing and Cloud Computing: Challenges and Opportunities. IEEE Internet Computing 14(6): 72-75 (2010)
- [c10]Hongwei Wang, Pei Yin, Yi Wei, Yiru Lou: Game-theoretic Approach for Information Sharing between Government Departments with the Intervention of Superior Agencies. CSREA EEE 2010: 251-256
- [c9]Yi Wei: A Study on Improving the Efficiency of Social Data Extraction through Using Caching Technology. International Conference on Internet Computing 2010: 301-305
- [c8]Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol: Satisfying Test Preconditions through Guided Object Selection. ICST 2010: 303-312
- [c7]Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller: Automated fixing of programs with contracts. ISSTA 2010: 61-72
- [c6]Yi Wei, Bertrand Meyer, Manuel Oriol: Is Branch Coverage a Good Measure of Testing Effectiveness? LASER Summer School 2010: 194-212
2000 – 2009
- 2009
- [j1]Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf: Programs That Test Themselves. IEEE Computer 42(9): 46-55 (2009)
- [c5]Yi Wei: An Improved Method for Real-Time 3D Construction of DTM. FIRA RoboWorld Congress 2009: 272-281
- [c4]Yi Wei, Chunyan Tan, Wei Wang: Data Fusion and its Application in Object Recognition in Stereo Sequences. JCAI 2009: 330-332
- 2008
- [c3]Yi Wei, Zhong Jing-Wei, Wen Yu: Based on Fuzzy Partial Ordering Trustworthy Resource Selection Approach Research. PACIIA (1) 2008: 492-496
- 2007
- [c2]Yi Wei, Shushu Hu, Yu Li: Data Segmentation of Stereo Images with Complicated Background. ICIAR 2007: 263-270
- 2006
- [c1]Yi Wei, Shihong Xia, Dengming Zhu: A robust method for analyzing the physical correctness of motion capture data. VRST 2006: 338-341
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-06 20:17 CEST by the dblp team