2024
Fraudsters Beware: Unleashing the Power of Metaverse Technology to Uncover Financial Fraud.
Int. J. Hum. Comput. Interact., September, 2024
Developing Deep Neural Net Controllers to Assure System Stability with Non-Zero Equilibrium Points.
Proceedings of the 36th International Conference on Software Engineering and Knowledge Engineering, 2024
Designing Deep Neural Net Controller for Quadrotor Attitude Stabilization.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
Spatial-Temporal Interaction Decoding Transformer for Unsupervised Multivariate Time Series Anomaly Detection.
Proceedings of the IEEE International Conference on Acoustics, 2024
2023
Microservice extraction using graph deep clustering based on dual view fusion.
Inf. Softw. Technol., June, 2023
DNS Rebinding Threat Modeling and Security Analysis for Local Area Network of Maritime Transportation Systems.
IEEE Trans. Intell. Transp. Syst., February, 2023
An Approach to Build and Verify Stable Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
2022
Human instance guided two-stream network for person reidentification.
J. Electronic Imaging, 2022
Semi-supervised image super-resolution with attention CycleGAN.
IET Image Process., 2022
Analyzing Cyber-Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
Building Safe and Stable DNN Controllers using Deep Reinforcement Learning and Deep Imitation Learning.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
A Novel Estimate Fitness Method by Measuring A large number of Sub-event Logs Conformance.
Proceedings of the IEEE International Conference on Big Data, 2022
2021
Web Service Access Control Based on Browser Fingerprint Detection.
J. Web Eng., 2021
Process Model Enhancement Through Capturing Important Behaviors and Rating Trace Variants.
IEEE Access, 2021
Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Anonymous Storage and Verification Model of IIoT Based on Blockchain: Anonymous storage and verification model of IIoT production status based on blockchain.
Proceedings of the ICBTA 2021: 4th International Conference on Blockchain Technology and Applications, Xi'an, China, December 17, 2021
BSS-ITS: Blockchain Scaling Scheme with Sharding for Intelligent Transportation System: Scale Blockchain for Better Data Exchange and Storage with Full Sharding for Intelligent Transportation System.
Proceedings of the ICBTA 2021: 4th International Conference on Blockchain Technology and Applications, Xi'an, China, December 17, 2021
2020
Automatic Verification of Security of Identity Federation Security Protocol Based on SAML2.0 with ProVerif in the Symbolic Model.
Int. J. Netw. Secur., 2020
Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus.
IEEE Access, 2020
Modeling and Analyzing Smart Contracts using Predicate Transition Nets.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
DNS Rebinding Detection for Local Internet of Things Devices.
Proceedings of the Frontiers in Cyber Security - Third International Conference, 2020
Malware Analysis Method Based Random Access Memory in Android.
Proceedings of the Applications and Techniques in Information Security, 2020
2019
Visual Semantic Landmark-Based Robust Mapping and Localization for Autonomous Indoor Parking.
Sensors, 2019
Automatic Vector-Based Road Structure Mapping Using Multibeam LiDAR.
Remote. Sens., 2019
Radar HRRP Target Recognition via Semi-Supervised Multi-Task Deep Network.
IEEE Access, 2019
A Security Analysis Method of Security Protocol Implementation Based on Unpurified Security Protocol Trace and Security Protocol Implementation Ontology.
IEEE Access, 2019
Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
DL-SLAM: Direct 2.5D LiDAR SLAM for Autonomous Driving.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019
Radar HRRP Target Recognition Based on Blind-Denoising Deep Network.
Proceedings of the 2019 IEEE Globecom Workshops, Waikoloa, HI, USA, December 9-13, 2019, 2019
GrabView: A Scalable Street View System for Images Taken from Different Devices.
,
,
,
,
,
,
,
,
,
,
Proceedings of the Fifth IEEE International Conference on Multimedia Big Data, 2019
A Personal Journey in Petri Net Research.
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019
2018
Formal Modeling and Analysis of Collaborative Humanoid Robotics.
Int. J. Robotics Appl. Technol., 2018
Line-based Road Structure Mapping Using Multi-beam LiDAR.
CoRR, 2018
Radar HRRP Target Recognition Based on Concatenated Deep Neural Networks.
IEEE Access, 2018
A Systematic Approach for Developing Cyber Physical Systems.
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S).
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
A Method for Predicting Two-Variable Atomicity Violations.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
DLO: Direct LiDAR Odometry for 2.5D Outdoor Environment.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018
Vision-based Semantic Mapping and Localization for Autonomous Indoor Parking.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018
TiEV: The Tongji Intelligent Electric Vehicle in the Intelligent Vehicle Future Challenge of China.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Automatic Vector-based Road Structure Mapping Using Multi-beam LiDAR.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Multi-Dimension Threat Situation Assessment Based on Network Security Attributes.
Proceedings of the 27th International Conference on Computer Communication and Networks, 2018
Hierarchical Filtering Method of Alerts Based on Multi-Source Information Correlation Analysis.
Proceedings of the 27th International Conference on Computer Communication and Networks, 2018
2017
A Framework for Developing Cyber-Physical Systems.
Int. J. Softw. Eng. Knowl. Eng., 2017
Guest Editors' Introduction.
Int. J. Softw. Eng. Knowl. Eng., 2017
A Method to Analyze Predicate Transition Nets Using SPIN Model Checker.
Int. J. Softw. Eng. Knowl. Eng., 2017
A Method to Analyze High Level Petri Nets using SPIN Model Checker.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017
Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
2016
A novel M-ary differential underwater acoustic direct sequence spread spectrum communication system.
Proceedings of the 11th ACM International Conference on Underwater Networks & Systems, 2016
A Term Rewriting Approach to Analyze High Level Petri Nets.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
Modeling and Analyzing Security Patterns Using High Level Petri Nets.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
2015
A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets.
Int. J. Softw. Eng. Knowl. Eng., 2015
A Method for Improving the Precision and Coverage of Atomicity Violation Predictions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
PIPE+Verifier - A Tool for Analyzing High Level Petri Nets.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015
A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models.
Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, 2015
A Method for Validating Intent Model Behavior in DSVMs.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
2014
Bounded Model Checking High Level Petri Nets in PIPE+Verifier.
Proceedings of the Formal Methods and Software Engineering, 2014
2013
A Comprehensive Survey of Petri Net Modeling in Software Engineering.
Int. J. Softw. Eng. Knowl. Eng., 2013
2012
A Methodology for Modeling Multi-Agent Systems using Nested Petri Nets.
Int. J. Softw. Eng. Knowl. Eng., 2012
McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking.
Proceedings of the Model Checking Software - 19th International Workshop, 2012
SAMAT - A Tool for Software Architecture Modeling and Analysis.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
2011
A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining.
Proceedings of the 3rd Workshop on the Theory and Practice of Provenance, 2011
A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition.
Proceedings of the World Congress on Services, 2011
SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
An Empirical Study on Classification of Non-Functional Requirements.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
PIPE+ - A Modeling Tool for High Level Petri Nets.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011
A model transformation approach for verifying multi-agent systems using SPIN.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
2010
Formal Specification and Analysis of an Agent-Based Medical Image Processing System.
Int. J. Softw. Eng. Knowl. Eng., 2010
A Multi-Agent Model for a Business Continuity Information Network.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010
Analyzing a Formal Specification of Mondex Using Model Checking.
Proceedings of the Theoretical Aspects of Computing, 2010
2009
Flexible coordinator design for modeling resource sharing in multi-agent systems.
J. Syst. Softw., 2009
A methodology for evaluating test coverage criteria of high levelPetri nets.
Inf. Softw. Technol., 2009
Modular Analysis of Software Architecture Model.
Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009
Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009
2008
A Formal Specification of Mondex Using SAM.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008
A Formal Framework for Software System Modeling, Analysis and Realization.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008
A Formal Approach for Translating a SAM Architecture to PROMELA.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
An approach for specification construction using property-preserving refinement patterns.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Mapping Software Architecture Specification to Rewriting Logic (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008
Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin.
Proceedings of the 3rd International Workshop on Automation of Software Test, 2008
2007
A Translator of Software Architecture Design from SAM to Java.
Int. J. Softw. Eng. Knowl. Eng., 2007
Component Based Multi-Agent System Modeling and Analysis: A Case Study.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007
An Approach to Validating Translation Correctness From SAM to Java.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Generation of test requirements from aspectual use cases.
Proceedings of the 3rd workshop on Testing aspect-oriented programs, 2007
2006
A formal model-based approach for developing an interoperable mobile agent system.
Multiagent Grid Syst., 2006
Modeling Complex Software Systems Using an Aspect Extension of Object-Z.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Achieving a Better Middleware Design through Formal Modeling and Analysis.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
A Method for Modeling Object-Oriented Systems with PZ nets.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
A Framework for Component-based System Modeling.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
A Method for Realizing Software Architecture Design.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006
Formalizing and validating UML architecture description of web systems.
Proceedings of the Workshop Proceedings of the 6th International Conference on Web Engineering, 2006
Modeling, validating and automating composition of web services.
Proceedings of the 6th International Conference on Web Engineering, 2006
2005
A Framework for Ensuring System Dependability from Design to Implementation.
Proceedings of the Modelling, 2005
Formally modeling and analyzing a secure mobile agent finder.
Proceedings of the IEEE International Conference on Systems, 2005
Formal Aspect-Oriented Modeling and Analysis by Aspect.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
A Methodology of Automated Realization of a Software Architecture Design.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Secure Software Architectures Design by Aspect Orientation.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
Automated Runtime Validation of Software Architecture Design.
Proceedings of the Distributed Computing and Internet Technology, 2005
An Approach to Validation of Software Architecture Model.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
2004
Formally analyzing software architectural specifications using SAM .
J. Syst. Softw., 2004
Constraint Propagation And Progressive Verification For Component-Based Process Model.
Int. J. Softw. Eng. Knowl. Eng., 2004
Integrating Security Administration into Software Architectures Design.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004
Applying Aspect-Orientation in Designing Security Systems: A Case Study.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004
Modeling and analyzing security protocols in SAM: A case study.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004
A Formal Approach to Designing Secure Software Architectures.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
2003
A new approach to verify rule-based systems using petri net.
Inf. Softw. Technol., 2003
Formal Software Architecture Design of Secure Distributed Systems.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003
An Integrated Method to Software Architecture.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003
Pattern-Based Software Architecture: A Case Study.
Proceedings of the 2003 International Symposium on Information Technology (ITCC 2003), 2003
A Methodology for Dependability and Performability Analysis in SAM.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
2002
A methodology of testing high-level Petri nets.
Inf. Softw. Technol., 2002
A Framework for Developing and Analyzing Software Architecture Specifications in SAM.
Comput. J., 2002
Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM.
Proceedings of the Software Architecture: System Design, Development and Maintenance, IFIP 17<sup>th</sup> World Computer Congress, 2002
Model checking software architecture specifications in SAM.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
Modeling and Analyzing SMIL Documents in SAM.
Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002
Formal Analysis of Real-Time Systems with SAM.
Proceedings of the Formal Methods and Software Engineering, 2002
A Formal Method for Analyzing Software Architecture Models in SAM.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
PZ nets a formal method integrating Petri nets with Z.
Inf. Softw. Technol., 2001
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001
Object Orientation in Hierarchical Predicate Transition Nets.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001
An Observational Theory of Integration Testing for Component-Based Software Development.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
Formalizing UML Semantics.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
2000
A formal approach for component retrieval and integration analysis.
J. Softw. Maintenance Res. Pract., 2000
Pattern-based software reengineering: a case study.
J. Softw. Maintenance Res. Pract., 2000
Translating hierarchical predicate transition nets to CC++ programs.
Inf. Softw. Technol., 2000
Specifying Software Architectural Connectors in SAM.
Int. J. Softw. Eng. Knowl. Eng., 2000
Constructions of behaviour observation schemes in software testing.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000
1999
Introducing software architecture specification and analysis in SAM through an example.
Inf. Softw. Technol., 1999
A Semi-Formal Approach to Assist Software Design with Reuse.
Proceedings of the 1999 International Conference on Software Maintenance, 1999
A Useful Approach to Developing Reverse Engineering Metrics.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
A New Approach to Verify Rule-Based Systems Using Petri Nets.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
Pattern Based Software Re-engineering: A Case Study.
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
1998
Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions.
Proceedings of the COMPSAC '98, 1998
1997
An Improved Algorithm for Concurrency Control in Distributed Database Systems.
Inf. Sci., 1997
Mapping Petri nets to concurrent programs in CC++.
Inf. Softw. Technol., 1997
Translating hierarchical predicate transition nets to CC++ program skeletons.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
1996
A Method for Constructing Algebraic Petri Nets.
J. Syst. Softw., 1996
Mapping Petri Nets to Parallel Programs in CC++.
Proceedings of the COMPSAC '96, 1996
A Formal Definition of Hierarchical Predicate Transition Nets.
Proceedings of the Application and Theory of Petri Nets 1996, 1996
1995
Deriving algebraic Petri net specifications from structured analysis - a case study.
Inf. Softw. Technol., 1995
High-level algebraic Petri nets.
Inf. Softw. Technol., 1995
A method for analyzing properties of hierarchical predicate transition nets.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995
1994
Algebraic Petri Nets and Their Applications.
Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994
1992
A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets.
Proceedings of the Algorithms, Software, Architecture, 1992
Structured analysis using hierarchical predicate transition nets.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992
1991
A Methodology for Constructing Predicate Transition Net Specifications.
Softw. Pract. Exp., 1991
1990
A methodology for test selection.
J. Syst. Softw., 1990
Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems.
Formal Aspects Comput., 1990
Temporal predicate transition nets and their applications.
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990
1989
Integrating formal specification and verification methods in software development.
PhD thesis, 1989
Deriving Temporal Logic Specifications from Predicate Transition Petri Net.
Proceedings of the SEKE'89, 1989