Jiacun Wang

According to our database1, Jiacun Wang authored at least 56 papers between 1998 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Measuring Data-Aware Process Consistency Based on Activity Constraint Graphs.
IEEE Access, 2018

Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints.
IEEE Access, 2018

Emergency healthcare resource requirement analysis: A stochastic timed Petri net approach.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

2016
Human activity recognition based on transformed accelerometer data from a mobile phone.
Int. J. Communication Systems, 2016

Cyclic workflow resource requirement analysis and application in healthcare.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Faster parking and less cruise for public parking spot discovery: Modeling and analysis based on Timed Petri Nets.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Simulation analysis of EKF and UKF implementations in PHD filter.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Resource requirement analysis for cyclic workflows.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

2015
Demand-side energy simulation, assessment and optimization.
Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015

2014
A novel method for Web Service Composition based on extended BDI.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Electrical load schedule optimization for manufacturing plants.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

2013
Resource Oriented Workflow Nets and Workflow Resource Requirement Analysis.
International Journal of Software Engineering and Knowledge Engineering, 2013

Petri net based resource modeling and analysis of workflows with task failures.
Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

2012
Emergency Healthcare Workflow Modeling and Timeliness Analysis.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

Traffic information collecting algorithms for road selection decision support in vehicle ad hoc networks.
IJSPM, 2012

Towards True Dynamic Workflow for Emergency Response.
Int. J. Software and Informatics, 2012

Resource Modeling and Analysis for Workflows: A Petri Net Approach.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Resource modeling and analysis for workflows.
Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012

2011
Navigation function design for backbone connectivity in vehicle ad hoc networks.
Computers & Mathematics with Applications, 2011

2010
Map Synchronization and Alternatives Optimization for Firefighters Cooperative Decision Support in Ad Hoc Networks.
JNW, 2010

Using the Power Control and Cooperative Communication for Energy Saving in Mobile Ad Hoc Networks.
Communications and Network, 2010

Design and development of an Earthquake Disaster Simulator.
Proceedings of the IEEE International Conference on Systems, 2010

Real-Time Workflow Modeling and Analysis in Emergency Response.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Connectivity Control Methods and Decision Algorithms Using Neural Network in Decentralized Networks.
Proceedings of the Advances in Neural Networks, 2010

A perspective of PSP modeling based on control theory.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2010

2009
Emergency Response Workflow Resource Requirements Modeling and Analysis.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2009

A Cooperative Location Management Scheme for Mobile Ad Hoc Networks.
IJCNS, 2009

Systems Modeling for IP-Based Handoff Using Timed Petri Nets.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008
Dynamic Workflow Modeling and Analysis in Incident Command Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

MFDSSF: A Mobile Fuzzy Decision Support System for Firefighter Cooperation in Ad Hoc Networks.
Proceedings of the IFIP International Conference on Network and Parallel Computing, 2008

Workflow Resource Requirement Modeling and Analysis.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

An Efficient Gateway Election and Location Service in Ad Hoc Networks.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

2007
Petri Nets for Dynamic Event-Driven System Modeling.
Proceedings of the Handbook of Dynamic System Modeling., 2007

Charging Information Collection Modeling and Analysis of GPRS Networks.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2007

Resource-Constrained Workflow Modeling.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Location Management Cost Estimation for PCS Using Neural Network.
Proceedings of the Advances in Neural Networks, 2007

Inter-organizational Workflow Modeling and Analysis of Incident Command Systems.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007

2006
EPC Workflow Model to WIFA Model Conversion.
Proceedings of the IEEE International Conference on Systems, 2006

RFID-based Tag-Along Displays for Incident Command System Workflow Management.
Proceedings of the IEEE International Conference on Systems, 2006

Dynamic Workflow Modeling and Verification.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

2005
Formally modeling and analyzing a secure mobile agent finder.
Proceedings of the IEEE International Conference on Systems, 2005

An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis.
Proceedings of the Business Process Management, 3rd International Conference, 2005

2004
Consistency verification in modeling of real-time systems.
IEEE Trans. Robotics and Automation, 2004

Constraint Propagation And Progressive Verification For Component-Based Process Model.
International Journal of Software Engineering and Knowledge Engineering, 2004

2003
An Approach for Modeling and Analysis of Security System Architectures.
IEEE Trans. Knowl. Data Eng., 2003

2001
Formal Analysis of Software Security System Architectures.
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

2000
Compositional time Petri nets and reduction rules.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2000

Reachability analysis of real-time systems using time Petri nets.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2000

Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net Models.
International Journal of Software Engineering and Knowledge Engineering, 2000

1999
Incremental modeling and verification of flexible manufacturing systems.
J. Intelligent Manufacturing, 1999

Introducing software architecture specification and analysis in SAM through an example.
Information & Software Technology, 1999

Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models.
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998
Component-level reduction rules for time Petri nets with application in C2 systems.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998


  Loading...