Zhijun Ding
Orcid: 0000-0003-2178-6201Affiliations:
- Tongji University, Department of Computer Science and Technology, MOE Key Laboratory of Embedded System and Service Computing, Shanghai, China
According to our database1,
Zhijun Ding
authored at least 120 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Frontiers Comput. Sci., October, 2024
Change-aware model checking for evolving concurrent programs based on Program Dependence Net.
J. Softw. Evol. Process., June, 2024
Microservice Extraction Based on a Comprehensive Evaluation of Logical Independence and Performance.
IEEE Trans. Software Eng., May, 2024
Modeling and Analysis of ETC Control System with Colored Petri Net and Dynamic Slicing.
ACM Trans. Embed. Comput. Syst., January, 2024
Locality-Aware and Fault-Tolerant Batching for Machine Learning on Distributed Datasets.
IEEE Trans. Cloud Comput., 2024
Comput. Informatics, 2024
2023
Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets.
IEEE Trans Autom. Sci. Eng., October, 2023
FAST: A Forecasting Model With Adaptive Sliding Window and Time Locality Integration for Dynamic Cloud Workloads.
IEEE Trans. Serv. Comput., 2023
IEEE Trans. Serv. Comput., 2023
A Complex Behavioral Interaction Analysis Method for Microservice Systems With Bounded Buffers.
IEEE Trans. Cloud Comput., 2023
IEEE Trans. Cloud Comput., 2023
CoRR, 2023
CoRR, 2023
Comput. Informatics, 2023
GROUP: An End-to-end Multi-step-ahead Workload Prediction Approach Focusing on Workload Group Behavior.
Proceedings of the ACM Web Conference 2023, 2023
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023
2022
IEEE Trans. Syst. Man Cybern. Syst., 2022
COIN: A Container Workload Prediction Model Focusing on Common and Individual Changes in Workloads.
IEEE Trans. Parallel Distributed Syst., 2022
Proceedings of the Service-Oriented Computing - 20th International Conference, 2022
Proceedings of the 51st International Conference on Parallel Processing, 2022
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022
Proceedings of the IEEE 15th International Conference on Cloud Computing, 2022
2021
IEEE Trans. Parallel Distributed Syst., 2021
Comput. Informatics, 2021
Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021
Proceedings of the 2021 IEEE International Conference on Web Services, 2021
Proceedings of the ICSED 2021: 3rd International Conference on Software Engineering and Development, Xiamen, China, November 19, 2021
2020
IEEE Trans. Syst. Man Cybern. Syst., 2020
Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix.
IEEE Trans. Syst. Man Cybern. Syst., 2020
Int. J. Serv. Technol. Manag., 2020
IEEE CAA J. Autom. Sinica, 2020
Petri net-based methods for analyzing structural security in e-commerce business processes.
Future Gener. Comput. Syst., 2020
Comput. Informatics, 2020
Vulnerability Evaluation Method for E-Commerce Transaction Systems With Unobservable Transitions.
IEEE Access, 2020
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020
Proceedings of the 20th International Conference on Data Mining Workshops, 2020
2019
IEEE Trans. Parallel Distributed Syst., 2019
IEEE Trans Autom. Sci. Eng., 2019
Serv. Oriented Comput. Appl., 2019
IEEE Access, 2019
Accelerometer-Based Mobile Device Identification System for the Realistic Environment.
IEEE Access, 2019
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019
2018
IEEE Trans. Syst. Man Cybern. Syst., 2018
An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S<sup>3</sup>PR Nets.
IEEE Trans. Control. Syst. Technol., 2018
一种综合多因素的网页浏览行为认证方法 (Authentication Method Synthesizing Multi-factors for Web Browsing Behavior).
计算机科学, 2018
Objectives and State-of-the-Art of Location-Based Social Network Recommender Systems.
ACM Comput. Surv., 2018
Concurr. Comput. Pract. Exp., 2018
IEEE Access, 2018
IEEE Access, 2018
IEEE Access, 2018
2017
Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees.
IEEE Trans. Syst. Man Cybern. Syst., 2017
IEEE Trans. Syst. Man Cybern. Syst., 2017
Enterp. Inf. Syst., 2017
Concurr. Comput. Pract. Exp., 2017
Proceedings of the 13th International Conference on Natural Computation, 2017
2016
IEEE Trans. Syst. Man Cybern. Syst., 2016
IEEE Trans. Syst. Man Cybern. Syst., 2016
A Multilevel Index Model to Expedite Web Service Discovery and Composition in Large-Scale Service Repositories.
IEEE Trans. Serv. Comput., 2016
IEEE Trans. Serv. Comput., 2016
A Socioecological Model for Advanced Service Discovery in Machine-to-Machine Communication Networks.
ACM Trans. Embed. Comput. Syst., 2016
Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns.
IEEE Trans Autom. Sci. Eng., 2016
ACM Trans. Auton. Adapt. Syst., 2016
Concurr. Comput. Pract. Exp., 2016
Recent Advances in Energy-Efficient Routing Protocols for Wireless Sensor Networks: A Review.
IEEE Access, 2016
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016
A behavioral authentication method for mobile gesture against resilient user posture.
Proceedings of the 3rd International Conference on Systems and Informatics, 2016
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016
2015
IEEE Trans. Syst. Man Cybern. Syst., 2015
IEEE Trans. Computers, 2015
Performance evaluation and simulation of peer-to-peer protocols for Massively Multiplayer Online Games.
Multim. Tools Appl., 2015
时间Petri网的可调度分析及在FMS中的应用 (Schedulability Analysis of Time Petri Net and its Application in FMS).
计算机科学, 2015
Proceedings of the Intelligent Computation in Big Data Era, 2015
Proceedings of the Advances in Services Computing, 2015
2014
Wirel. Pers. Commun., 2014
IEEE Trans. Syst. Man Cybern. Syst., 2014
IEEE Trans. Syst. Man Cybern. Syst., 2014
IEEE Trans. Syst. Man Cybern. Syst., 2014
IEEE Trans. Syst. Man Cybern. Syst., 2014
Enterp. Inf. Syst., 2014
Proceedings of the Web Information Systems Engineering - WISE 2014, 2014
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014
Proceedings of the Ninth International Conference on Digital Information Management, 2014
2013
Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform.
IEEE Trans. Syst. Man Cybern. Syst., 2013
Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement.
ACM Trans. Embed. Comput. Syst., 2013
An Executable Service Composition Code Automatic Creation Tool Based on Petri Net Model.
Comput. Informatics, 2013
Efficient Mobile Authentication Scheme Preserving User Privacy for Large-Scale Wireless Networks.
Ad Hoc Sens. Wirel. Networks, 2013
Proceedings of the 15th International Conference on Computer Modelling and Simulation, 2013
Business Intelligence Security on the Clouds: Challenges, Solutions and Future Directions.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013
Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013
A Novel Information Search and Recommendation Services Platform Based on an Indexing Network (Short Paper).
Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013
Real-Time Traffic Camera-Light Control Systems for Intersections Subject to Accidents: A Petri Net Approach.
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013
Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013
2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012
2011
Frontiers Comput. Sci. China, 2011
Proceedings of the IEEE International Conference on Web Services, 2011
2010
Proceedings of the GCC 2010, 2010
2008
Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2008
Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees.
IEEE Trans. Syst. Man Cybern. Part B, 2008
An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service.
J. Inf. Sci. Eng., 2008
2007
Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007
2006
Proceedings of the Computer Supported Cooperative Work in Design III, 2006
Proceedings of the 10th International Conference on CSCW in Design, 2006
Proceedings of The 1st IEEE Asia-Pacific Services Computing Conference, 2006
2005
Proceedings of the 2005 International Conference on Semantics, 2005
Proceedings of the 2005 International Conference on Semantics, 2005
2002
Temporal Petri nets model of concurrent systems.
Comput. Syst. Sci. Eng., 2002