Xudong He
Orcid: 0000-0002-9879-6232
According to our database1,
Xudong He
authored at least 149 papers
between 1989 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
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
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
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
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
Proceedings of the Frontiers in Cyber Security - Third International Conference, 2020
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
Remote. Sens., 2019
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
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019
Proceedings of the 2019 IEEE Globecom Workshops, Waikoloa, HI, USA, December 9-13, 2019, 2019
Proceedings of the Fifth IEEE International Conference on Multimedia Big Data, 2019
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019
2018
Int. J. Robotics Appl. Technol., 2018
IEEE Access, 2018
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018
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
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
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
Int. J. Softw. Eng. Knowl. Eng., 2017
Int. J. Softw. Eng. Knowl. Eng., 2017
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017
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
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
2015
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
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015
Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, 2015
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
2014
Proceedings of the Formal Methods and Software Engineering, 2014
2013
Int. J. Softw. Eng. Knowl. Eng., 2013
2012
Int. J. Softw. Eng. Knowl. Eng., 2012
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
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
2010
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
Proceedings of the Theoretical Aspects of Computing, 2010
2009
J. Syst. Softw., 2009
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
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
Proceedings of the Eighth International Conference on Quality Software, 2008
Proceedings of the 3rd International Workshop on Automation of Software Test, 2008
2007
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
Proceedings of the 3rd workshop on Testing aspect-oriented programs, 2007
2006
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
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006
Proceedings of the Workshop Proceedings of the 6th International Conference on Web Engineering, 2006
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
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
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
Proceedings of the Distributed Computing and Internet Technology, 2005
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
2004
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
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
2003
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
Proceedings of the 2003 International Symposium on Information Technology (ITCC 2003), 2003
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
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
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001
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
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
2000
J. Softw. Maintenance Res. Pract., 2000
J. Softw. Maintenance Res. Pract., 2000
Inf. Softw. Technol., 2000
Int. J. Softw. Eng. Knowl. Eng., 2000
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000
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
Proceedings of the 1999 International Conference on Software Maintenance, 1999
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
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
Inf. Sci., 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
1996
Proceedings of the COMPSAC '96, 1996
Proceedings of the Application and Theory of Petri Nets 1996, 1996
1995
Inf. Softw. Technol., 1995
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995
1994
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
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992
1991
Softw. Pract. Exp., 1991
1990
Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems.
Formal Aspects Comput., 1990
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990
1989
Deriving Temporal Logic Specifications from Predicate Transition Petri Net.
Proceedings of the SEKE'89, 1989