2025
Hydrocarbon-Bearing Information Mining of Prestack Seismic Gather Image Based on Prior-Guided Attention Mechanism.
IEEE Trans. Geosci. Remote. Sens., 2025
2024
Managing Traceability for Software Life Cycle Processes.
Proceedings of the Theoretical Aspects of Software Engineering, 2024
2023
A Formal Approach for Consistency Management in UML Models.
Int. J. Softw. Eng. Knowl. Eng., 2023
A Formal Approach for Traceability Preservation in Software Development Process.
Proceedings of the Theoretical Computer Science - 41st National Conference, 2023
2022
Scheduling in Real-Time Mobile Systems.
ACM Trans. Embed. Comput. Syst., 2022
Conjunction of Active and Semi-Supervised Learning for Wireline Logs-Based Automatic Lithology Identification.
IEEE Geosci. Remote. Sens. Lett., 2022
2021
Analyzing Isolation in Mobile Systems.
Inf. Technol. Control., 2021
2020
Event-based functional decomposition.
Inf. Comput., 2020
2019
Isolation Modeling and Analysis Based on Mobility.
ACM Trans. Softw. Eng. Methodol., 2019
Modeling and Analyzing Incremental Natures of Developing Software.
ACM Trans. Manag. Inf. Syst., 2019
From Use Case to Use Case Slices: An Automated Approach.
Int. J. Inf. Syst. Model. Des., 2019
Schedulability analysis for real-time mobile systems (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
Label Distribution Learning Based Age-Invariant Face Recognition.
Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2019
2018
Decomposition of UML activity diagrams.
Softw. Pract. Exp., 2018
Decomposition and Composition of Sequence Diagrams.
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018
Modeling mobility and communication in a unified way (S).
Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018
Privacy-Preserving Aggregate Signcryption for Vehicular Ad Hoc Networks.
Proceedings of the 2nd International Conference on Cryptography, Security and Privacy, 2018
2017
Event-Based Mobility Modeling and Analysis.
ACM Trans. Cyber Phys. Syst., 2017
2015
Analyzing Event-Based Scheduling in Concurrent Reactive Systems.
ACM Trans. Embed. Comput. Syst., 2015
2014
Configuration of Services Based on Virtualization.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
2013
Configuring business process models.
ACM SIGSOFT Softw. Eng. Notes, 2013
2012
Modeling and analyzing mixed communications in service-oriented trustworthy software.
Sci. China Inf. Sci., 2012
2011
Service Adaptation at Message Level.
Proceedings of the World Congress on Services, 2011
Message Dependency-Based Adaptation of Services.
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011