selected scholarly activity
-
chapters
- Concept Analysis Based Approach to Statistical Web Testing. Lecture Notes in Computer Science. 100-117. 2013
-
conferences
- DISEL: A Language for Specifying DIS-Based Ontologies. Lecture Notes in Computer Science. 155-171. 2022
- A Food Dish Image Generation Framework Based on Progressive Growing GANs. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. 323-333. 2019
- A Framework for Multi-view Reconciliation and for Medical Devices Personalization. Lecture Notes in Computer Science. 71-87. 2017
- The Interchange Format of Tabular Expressions Using XML. Lecture Notes in Computer Science. 29-43. 2016
- Envisioning a Requirements Specification Template for Medical Device Software. Lecture Notes in Computer Science. 209-223. 2014
- Insulin Pump Software Certification. Lecture Notes in Computer Science. 87-106. 2014
- Usage-pattern based Statistical Web Testing and Reliability Measurement. Procedia Computer Science. 140-147. 2013
- The Application of Moodle in Computer English Teaching. Lecture Notes in Computer Science. 169-176. 2011
- A model checking approach to Web application navigation model with session mechanism. 2010 International Conference on Computer Application and System Modeling (ICCASM 2010). V5-398-V5-403-V5-398-V5-403. 2010
- Towards Practical Modeling of Web Applications and Generating Tests. 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering. 209-217. 2010
- THE STUDY OF OBJECT-Z SPECIFICATION FORMAT FOR SPECIFICATION ANIMATION. Proceedings of the 11th Joint International Computer Conference. 738-741. 2005
- Structured Object-Z Software Specification Language. Lecture Notes in Computer Science. 956-963. 2004
- An analysis of two formal methods: RSL and Z. Journal of Shanghai University. 172-176. 2001
-
journal articles
- A novel approach to workload prediction using attention-based LSTM encoder-decoder network in cloud environment. Eurasip Journal on Wireless Communications and Networking. 2019:274. 2019
- Generating test case specifications of web service composition using model checking. Journal of Shanghai University. 15:409. 2011
- Verifying Web Services Composition Based on Interface Automata Using SPIN. Journal of Digital Content Technology and its Applications. 4:23-33. 2010
- Transformation from computation independent model to platform independent model with pattern. Journal of Shanghai University. 12:515-523. 2008
- From an abstract object-Z specification to UML diagram. Journal of Information and Computational Science. 1:319-324. 2004
- Integrating object-oriented methods and formal methods for requirement engineering. Journal of Harbin Institute of Technology (New Series). 11:295-299. 2004
-
other