Zhi Jin

Michael Sheng

Proceedings of the 17th IEEE International Conference on Cloud Computing, 2024

2023

Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., December, 2023

CodeEditor: Learning to Edit Source Code with Pre-trained Models.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., November, 2023

Knowledge graph completion method based on quantum embedding and quaternion interaction enhancement.

[BibT_eX]

[DOI]

Inf. Sci., November, 2023

Vision-knowledge fusion model for multi-domain medical report generation.

[BibT_eX]

[DOI]

Inf. Fusion, September, 2023

Privacy-preserving Resilient Consensus for Multi-agent Systems in a General Topology Structure.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., August, 2023

Massive Shape Formation in Grid Environments.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., July, 2023

AdaComplete: improve DL-based code completion method's domain adaptability.

[BibT_eX]

[DOI]

Autom. Softw. Eng., June, 2023

A software-defined MAPE-K architecture for unmanned systems.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., May, 2023

On the Significance of Category Prediction for Code-Comment Synchronization.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., April, 2023

TACO: Topics in Algorithmic COde generation dataset.

[BibT_eX]

[DOI]

CoRR, 2023

ChatCoder: Chat-based Refine Requirement Improves LLMs' Code Generation.

[BibT_eX]

[DOI]

CoRR, 2023

Enhancing the Spatial Awareness Capability of Multi-Modal Large Language Model.

[BibT_eX]

[DOI]

CoRR, 2023

Large Language Model-Aware In-Context Learning for Code Generation.

[BibT_eX]

[DOI]

CoRR, 2023

Improving Code Generation by Dynamic Temperature Sampling.

[BibT_eX]

[DOI]

CoRR, 2023

STEAM: Simulating the InTeractive BEhavior of ProgrAMmers for Automatic Bug Fixing.

[BibT_eX]

[DOI]

CoRR, 2023

ZC3: Zero-Shot Cross-Language Code Clone Detection.

[BibT_eX]

[DOI]

CoRR, 2023

Automated Static Warning Identification via Path-based Semantic Representation.

[BibT_eX]

[DOI]

CoRR, 2023

WELL: Applying Bug Detectors to Bug Localization via Weakly Supervised Learning.

[BibT_eX]

[DOI]

CoRR, 2023

EvEval: A Comprehensive Evaluation of Event Semantics for Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

SAGA: Summarization-Guided Assert Statement Generation.

[BibT_eX]

[DOI]

CoRR, 2023

Plug-and-Play Medical Dialogue System.

[BibT_eX]

[DOI]

CoRR, 2023

Neural Program Repair with Program Dependence Analysis and Effective Filter Mechanism.

[BibT_eX]

[DOI]

CoRR, 2023

Enabling Programming Thinking in Large Language Models Toward Code Generation.

[BibT_eX]

[DOI]

CoRR, 2023

ToolCoder: Teach Code Generation Models to use API search tools.

[BibT_eX]

[DOI]

CoRR, 2023

An Empirical Study on Using Large Language Models for Multi-Intent Comment Generation.

[BibT_eX]

[DOI]

CoRR, 2023

Towards Enhancing In-Context Learning for Code Generation.

[BibT_eX]

[DOI]

CoRR, 2023

Learning Program Representations with a Tree-Structured Transformer.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Analysis, 2023

Automating Extraction of Problem Diagrams from Natural Language Requirement Documents.

[BibT_eX]

[DOI]

Dongming Jin

Chunhui Wang

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

An RE'23 Workshop on Environment-Driven Requirements Engineering (EnviRE'23).

[BibT_eX]

[DOI]

Nan Niu

Yijun Yu

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

ZC<sup>3</sup>: Zero-Shot Cross-Language Code Clone Detection.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Implant Global and Local Hierarchy Information to Sequence based Code Representation Models.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

Interpretation-based Code Summarization.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation.

[BibT_eX]

[DOI]

Yihong Dong

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

MCodeSearcher: Multi-View Contrastive Learning for Code Search.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

SkCoder: A Sketch-based Approach for Automatic Code Generation.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

PlugMed: Improving Specificity in Patient-Centered Medical Dialogue Generation using In-Context Learning.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

Antecedent Predictions Are More Important Than You Think: An Effective Method for Tree-Based Code Generation.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Self-Edit: Fault-Aware Code Editor for Code Generation.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

UniEvent: Unified Generative Model with Multi-Dimensional Prefix for Zero-Shot Event-Relational Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

SEAG: Structure-Aware Event Causality Generation.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022

Fine-Grained Scene Graph Generation with Overlap Region and Geometrical Center.

[BibT_eX]

[DOI]

Comput. Graph. Forum, October, 2022

Turnover of Companies in OpenStack: Prevalence and Rationale.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

Towards Robustness of Deep Program Processing Models - Detection, Estimation, and Enhancement.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

IoTranx: Transactions for Safer Smart Spaces.

[BibT_eX]

[DOI]

Chao Chen

Abdelsalam (Sumi) Helal

Mingyue Zhang

Choonhwa Lee

ACM Trans. Cyber Phys. Syst., 2022

Online adaptation for autonomous unmanned systems driven by requirements satisfaction model.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

Formally verifying consistency of sequence diagrams for safety critical systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Testing software's changing features with environment-driven abstraction identification.

[BibT_eX]

[DOI]

Requir. Eng., 2022

Precise Learning of Source Code Contextual Semantics via Hierarchical Dependence Structure and Graph Attention Networks.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

A unified multi-task learning model for AST-level and token-level code completion.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Poison Attack and Defense on Deep Source Code Processing Models.

[BibT_eX]

[DOI]

CoRR, 2022

Antecedent Predictions Are Dominant for Tree-Based Code Generation.

[BibT_eX]

[DOI]

Yihong Dong

CoRR, 2022

A Tree-structured Transformer for Program Representation Learning.

[BibT_eX]

[DOI]

CoRR, 2022

What does Transformer learn about source code?

[BibT_eX]

[DOI]

Kechi Zhang

CoRR, 2022

Non-autoregressive Model for Full-line Code Completion.

[BibT_eX]

[DOI]

CoRR, 2022

Massive self-organized shape formation in grid environments.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2022

Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

An RE'22 Workshop on Environment-Driven Requirements Engineering (EnviRE'22).

[BibT_eX]

[DOI]

Nan Niu

Yijun Yu

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Fine-Tuning Pre-Trained Language Models Effectively by Optimizing Subnetworks Adaptively.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Learning to represent programs with heterogeneous graphs.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, 2022

Resilient Mechanism Against Byzantine Failure for Distributed Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

A Taxonomy for Architecting Safe Autonomous Unmanned Systems.

[BibT_eX]

[DOI]

Yixing Luo

Haiyan Zhao

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

Learning to Recommend Method Names with Global Context.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22).

[BibT_eX]

[DOI]

Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

Rethinking Positional Encoding in Tree Transformer for Code Representation.

[BibT_eX]

[DOI]

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

SK2: Integrating Implicit Sentiment Knowledge and Explicit Syntax Knowledge for Aspect-Based Sentiment Analysis.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM International Conference on Information & Knowledge Management, 2022

Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Companies' Participation in OSS Development-An Empirical Study of OpenStack.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Activity Diagram Synthesis Using Labelled Graphs and the Genetic Algorithm.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2021

Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2021

A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Massive Self-Assembly in Grid Environments.

[BibT_eX]

[DOI]

CoRR, 2021

SmartCommit: a graph-based interactive assistant for activity-oriented commits.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Hey! Preparing Humans to do Tasks in Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Environment-Driven Abstraction Identification for Requirements-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

An RE'21 Workshop on Environment-Driven Requirements Engineering (EnviRE'21).

[BibT_eX]

[DOI]

Nan Niu

Yijun Yu

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Smart3E: Enabling End Users to Express Their Needs for Smart Homes.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Integrating Tree Path in Transformer for Code Representation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

EditSum: A Retrieve-and-Edit Framework for Source Code Summarization.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Software Services Engineering Manifesto - A Cross-Cutting Declaration.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Web Services, 2021

Cross-language Code Coupling Detection: A Preliminary Study on Android Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

Fast Adaptation to External Agents via Meta Imitation Counterfactual Regret Advantage.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

A Meta Reinforcement Learning-based Approach for Self-Adaptive System.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Modular Tree Network for Source Code Representation Learning.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

Empirical study of Data Completeness in Electronic Health Records in China.

[BibT_eX]

[DOI]

Pac. Asia J. Assoc. Inf. Syst., 2020

Modeling programs hierarchically with stack-augmented LSTM.

[BibT_eX]

[DOI]

Fang Liu

Lu Zhang

J. Syst. Softw., 2020

Early validation of cyber-physical space systems via multi-concerns integration.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2020

Towards a fictional collective programming scenario: an approach based on the EIF loop.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

Deep code comment generation with hybrid lexical and syntactical information.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

Learning to Represent Programs with Heterogeneous Graphs.

[BibT_eX]

[DOI]

CoRR, 2020

Towards Full-line Code Completion with Neural Language Models.

[BibT_eX]

[DOI]

CoRR, 2020

Detecting Code Clones with Graph Neural Networkand Flow-Augmented Abstract Syntax Tree.

[BibT_eX]

[DOI]

CoRR, 2020

Detecting Code Clones with Graph Neural Network and Flow-Augmented Abstract Syntax Tree.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Retrieve and Refine: Exemplar-based Neural Comment Generation.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Multi-task Learning based Pre-trained Language Model for Code Completion.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

A Self-Attentional Neural Architecture for Code Completion with Multi-Task Learning.

[BibT_eX]

[DOI]

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

How do companies collaborate in open source ecosystems?: an empirical study of OpenStack.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Privacy-Aware UAV Flights through Self-Configuring Motion Planning.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Generating Adversarial Examples for Holding Robustness of Source Code Processing Models.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Toward Better Summarizing Bug Reports With Crowdsourcing Elicited Attributes.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2019

IntelliMerge: a refactoring-aware software merging technique.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2019

Environment-Centric Safety Requirements for Autonomous Unmanned Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

RE4CPS: Requirements Engineering for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

POET: Privacy on the Edge with Bidirectional Data Transformations.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications, 2019

Code Generation as a Dual Task of Code Summarization.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Modelling and analysing resilient cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Why Do Neural Dialog Systems Generate Short and Meaningless Replies? a Comparison between Dialog and Translation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2019

Deep-AutoCoder: Learning to Complete Code Precisely with Induced Code Tokens.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2018

Solving Pictorial Jigsaw Puzzle by Stigmergy-inspired Internet-based Human Collective Intelligence.

[BibT_eX]

[DOI]

CoRR, 2018

Towards Better Summarizing Bug Reports with Crowdsourcing Elicited Attributes.

[BibT_eX]

[DOI]

CoRR, 2018

Deep code comment generation.

[BibT_eX]

[DOI]

Proceedings of the 26th Conference on Program Comprehension, 2018

Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Summarizing Source Code with Transferred API Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Companies' domination in FLOSS development: an empirical study of OpenStack.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

On early statistical requirements validation of cyber-physical space systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

2017

Learning high-dimensional multimedia data.

[BibT_eX]

[DOI]

Xiaofeng Zhu

Rongrong Ji

Multim. Syst., 2017

Requirements-Driven Dynamic Adaptation to Mitigate Runtime Uncertainties for Self-Adaptive Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Learning to Infer API Mappings from API Documents.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2017

Improved Knowledge Base Completion by the Path-Augmented TransR Model.

[BibT_eX]

[DOI]

Wenhao Huang

Proceedings of the Knowledge Science, Engineering and Management, 2017

Learning Sparse Overcomplete Word Vectors Without Intermediate Dense Representations.

[BibT_eX]

[DOI]

Yunchuan Chen

Proceedings of the Knowledge Science, Engineering and Management, 2017

Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

A Reinforcement Learning-Based Framework for the Generation and Evolution of Adaptation Rules.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Eliciting Activity Requirements from Crowd Using Genetic Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering for Internet of Things, 2017

2016

Capturing Requirements from Expected Interactions Between Software and Its Interactive Environment: An Ontology Based Approach.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2016

Lightweight semantic service modelling for IoT: an environment-based approach.

[BibT_eX]

[DOI]

Int. J. Embed. Syst., 2016

Petri net based test case generation for evolved specification.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2016

Context-Aware Tree-Based Convolutional Neural Networks for Natural Language Inference.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2016

Learning Embeddings of API Tokens to Facilitate Deep Learning Based Program Processing.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2016

How Transferable are Neural Networks in NLP Applications?

[BibT_eX]

[DOI]

Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, 2016

Improved relation classification by deep recurrent neural networks with data augmentation.

[BibT_eX]

[DOI]

Proceedings of the COLING 2016, 2016

Sequence to Backward and Forward Sequences: A Content-Introducing Approach to Generative Short-Text Conversation.

[BibT_eX]

[DOI]

Proceedings of the COLING 2016, 2016

Distilling Word Embeddings: An Encoding Approach.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016

Integrating Goal Model into Rule-Based Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Natural Language Inference by Tree-Based Convolution and Heuristic Matching.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

Compressing Neural Language Models by Sparse Word Representations.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, 2016

Convolutional Neural Networks over Tree Structures for Programming Language Processing.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Stigmergy-Based Construction of Internetware Artifacts.

[BibT_eX]

[DOI]

IEEE Softw., 2015

互联网环境中基于环境激发效应的协同式概念建模 (Stigmergy-based Collaborative Conceptual Modeling in Web Environment).

[BibT_eX]

[DOI]

计算机科学, 2015

Classifying Relations via Long Short Term Memory Networks along Shortest Dependency Path.

[BibT_eX]

[DOI]

CoRR, 2015

Backbone Language Modeling for Constrained Natural Language Generation.

[BibT_eX]

[DOI]

CoRR, 2015

Tree-based Convolution: A New Neural Architecture for Sentence Modeling.

[BibT_eX]

[DOI]

CoRR, 2015

On End-to-End Program Generation from User Intention by Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2015

Recognizing Entailment and Contradiction by Tree-based Convolution.

[BibT_eX]

[DOI]

CoRR, 2015

Distilling Word Embeddings: An Encoding Approach.

[BibT_eX]

[DOI]

CoRR, 2015

Goal model driven alternative selection: a quantitative approach.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Model-Driven Requirements Engineering Workshop, 2015

Building Program Vector Representations for Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2015

A Feature-Driven Approach to Automated Class Diagram Construction.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

DelayDroid: Reducing Tail-Time Energy by Refactoring Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

Classifying Relations via Long Short Term Memory Networks along Shortest Dependency Paths.

[BibT_eX]

[DOI]

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

A Comparative Study on Regularization Strategies for Embedding-based Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

Discriminative Neural Sentence Modeling by Tree-Based Convolution.

[BibT_eX]

[DOI]

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

2014

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Zili Zhang

Int. J. Softw. Eng. Knowl. Eng., 2014

Building Program Vector Representations for Deep Learning.

[BibT_eX]

[DOI]

CoRR, 2014

TBCNN: A Tree-Based Convolutional Neural Network for Programming Language Processing.

[BibT_eX]

[DOI]

CoRR, 2014

Implementation decision making for internetware driven by quality requirements.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2014

Eliciting dependability requirements: a control cases based approach.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2014

TDL: a transformation description language from feature model to use case for automated use case derivation.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Line Conference, 2014

A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

Verification Based on Hyponymy Hierarchical Characteristics for Web-Based Hyponymy Discovery.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2014

User preference based autonomic generation of self-adaptive rules.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

2013

Measuring the significance of inconsistency in the Viewpoints framework.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

From inconsistency handling to non-canonical requirements management: A logical perspective.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2013

Feature-oriented stigmergy-based collaborative requirements modeling: an exploratory approach for requirements elicitation and evolution based on web-enabled collective intelligence.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2013

A Knowware Based Infrastructure for Rule Based Control Systems in Smart Spaces.

[BibT_eX]

[DOI]

Proceedings of the Safe and Secure Software Reuse, 2013

MCT: a tool for commenting programs by multimedia comments.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Finding Optimal Solution for Satisficing Non-functional Requirements via 0-1 Programming.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Domain Hyponymy Hierarchy Discovery by Iterative Web Searching and Inferable Semantics Based Concept Selecting.

[BibT_eX]

[DOI]

Lili Mou

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Analyzing Early Requirements of Cyber-physical Systems through Structure and Goal Modeling.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Measuring the blame of each formula for inconsistent prioritized knowledge bases.

[BibT_eX]

[DOI]

J. Log. Comput., 2012

A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements.

[BibT_eX]

[DOI]

Int. J. Knowl. Syst. Sci., 2012

CoFM: An environment for collaborative feature modeling.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Mining binary constraints in the construction of feature models.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

An approach for selecting implementation strategies of non-functional requirements.

[BibT_eX]

[DOI]

Bin Yin

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Modeling and Analyzing the Reliability and Cost of Service Composition in the IoT: A Probabilistic Approach.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Automated Reasoning with Goal Tree Models for Software Quality Requirements.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Discovering Domain Concepts and Hyponymy Relations by Text Relevance Classifying Based Iterative Web Searching.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Missing Value Estimation for Mixed-Attribute Data Sets.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2011

A general framework for measuring inconsistency through minimal inconsistent sets.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2011

Missing data imputation by utilizing information within incomplete instances.

[BibT_eX]

[DOI]

Xiaofeng Zhu

J. Syst. Softw., 2011

Managing Software Requirements Changes Based on Negotiation-Style Revision.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2011

A Syntax-based approach to measuring the degree of inconsistency for belief bases.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2011

An Automatic Reasoning Mechanism for NFR Goal Models.

[BibT_eX]

[DOI]

Bo Wei

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

A process algebra for environment-based specification of web services.

[BibT_eX]

[DOI]

Lixing Li

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

An Ontology based Method for Building Understandable Hierarchical Classification Structure for Software Assets Browsing.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

rΣ: Automated reasoning tool for non-functional requirement goal models.

[BibT_eX]

[DOI]

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

An Approach to Generating Proposals for Handling Inconsistent Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2011

An Engineerable Ontology Based Approach for Requirements Elicitation in Process Centered Problem Domain.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2011

Agent-Oriented Requirements Analysis from Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2011

Towards a More Fundamental Explanation of Constraints in Feature Models: A Requirement-Oriented Approach.

[BibT_eX]

[DOI]

Proceedings of the Top Productivity through Software Reuse, 2011

Modeling Timing Requirements in Problem Frames Using CCSL.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Specifying and Composing Web Services with an Environment Ontology-Based Approach.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2010

Summary queries for frequent itemsets mining.

[BibT_eX]

[DOI]

Jingli Lu

J. Syst. Softw., 2010

Handling over-fitting in test cost-sensitive decision tree learning by feature selection, smoothing and pruning.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Elicitation of Dependability Requirements: A HAZOP-based Approach.

[BibT_eX]

[DOI]

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Dptool: A Tool for Supporting the Problem Description and Projection.

[BibT_eX]

[DOI]

Bin Yin

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Knowledge Merging under Multiple Attributes.

[BibT_eX]

[DOI]

Bo Wei

Proceedings of the Knowledge Science, 2010

iMashup: assisting end-user programming for the service-oriented web.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

CoFM: a web-based collaborative feature modeling system for internetware requirements' gathering and continual evolution.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

A problem-driven collaborative approach to eliciting requirements of internetwares.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

A Framework for the Elicitation and Analysis of Information Technology Service Requirements and Their Alignment with Enterprise Business Goals.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Formalism for Extending the NFR Framework to Support the Composition of the Goal Trees.

[BibT_eX]

[DOI]

Bo Wei

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Missing Data Analysis: A Kernel-Based Multi-Imputation Approach.

[BibT_eX]

[DOI]

Trans. Comput. Sci., 2009

Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

A decremental algorithm of frequent itemset maintenance for mining updated databases.

[BibT_eX]

[DOI]

Jilian Zhang

Expert Syst. Appl., 2009

Mining globally interesting patterns from multiple databases using kernel estimation.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2009

Mining class-bridge rules based on rough sets.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2009

Strategies for complex data cube queries.

[BibT_eX]

[DOI]

Rifeng Wang

Appl. Intell., 2009

A Use Case Based Approach to Feature Models' Construction.

[BibT_eX]

[DOI]

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

AVT Vector: A Quantitative Security Requirements Evaluation Approach Based on Assets, Vulnerabilities and Trustworthiness of Environment.

[BibT_eX]

[DOI]

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Elicit the Requirements on Software Dependability: A Knowledge-Based Approach.

[BibT_eX]

[DOI]

Chun Liu

Yue Wang

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

Performing Projection in Problem Frames Using Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

Building toward Capability Specifications of Web Services Based on an Environment Ontology.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2008

A Priority-Based Negotiations Approach for Handling Inconsistencies in Multi-Perspective Software Requirements.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2008

Towards a service requirements modelling ontology based on agent knowledge and intentions.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2008

Balancing Academic and Industrial Needs in RE Courses.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Requirements Engineering Education and Training, 2008

NIIA: Nonparametric Iterative Imputation Algorithm.

[BibT_eX]

[DOI]

Xiaofeng Zhu

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

A Scenario-Based Problem Decomposition.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization.

[BibT_eX]

[DOI]

Proceedings of the High Confidence Software Reuse in Large Systems, 2008

A Measurement-Driven Process Model for Managing Inconsistent Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2007

An Ontology of Problem Frames for Guiding Problem Frame Specification.

[BibT_eX]

[DOI]

Lijun Yi

Proceedings of the Knowledge Science, 2007

Towards Controllable Requirements Engineering Processes based on Cybernetics.

[BibT_eX]

[DOI]

Ruqian Lu

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Integrating Goals and Problem Frames in Requirements Analysis.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Towards A Service Requirements Ontology on Knowledge and Intention.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

On Constructing Environment Ontology for Semantic Web Services.

[BibT_eX]

[DOI]

Puwei Wang

Proceedings of the Knowledge Science, 2006

An Approach for Specifying Capability ofWeb Services based on Environment Ontology.

[BibT_eX]

[DOI]

Puwei Wang

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Towards automatic problem decomposition: an ontology-based approach.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

Environment Ontology-Based Capability Specification for Web Service Discovery.

[BibT_eX]

[DOI]

Puwei Wang

Proceedings of the Formal Methods and Software Engineering, 2006

Web Service Retrieval: An Approach Based on Context Ontology.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

Measuring Inconsistency in Requirements Specifications.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

2003

Automated Requirements Elicitation: Combining a Model-Driven Approach with Concept Reuse.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2003

An experiment for showing some kind of artificial understanding.

[BibT_eX]

[DOI]

David A. Bell

Expert Syst. J. Knowl. Eng., 2003

Automatically multi-paradigm requirements modeling and analyzing: An ontology-based approach.

[BibT_eX]

[DOI]

Ruqian Lu

David A. Bell

Sci. China Ser. F Inf. Sci., 2003

Involving End Users in Requirements Elicitation and Goal-Oriented Analysis.

[BibT_eX]