Haiyan Zhao

Orcid: 0000-0002-3600-8923

Affiliations:
  • Peking University, School of Computer Science, Beijing, China
  • University of Tokyo, Department of Information Engineering, Japan (PhD 2003)


According to our database1, Haiyan Zhao authored at least 92 papers between 2000 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Mdpg: a novel multi-disease diagnosis prediction method based on patient knowledge graphs.
Health Inf. Sci. Syst., December, 2024

GABoost: Graph Alignment Boosting via Local Optimum Escape.
Proc. ACM Manag. Data, September, 2024

Exploring LLM-based Data Annotation Strategies for Medical Dialogue Preference Alignment.
CoRR, 2024

A new approach for encoding code and assisting code understanding.
CoRR, 2024

GraphCoder: Enhancing Repository-Level Code Completion via Code Context Graph-based Retrieval and Language Model.
CoRR, 2024

A Comprehensive Evaluation on Event Reasoning of Large Language Models.
CoRR, 2024

MEEL: Multi-Modal Event Evolution Learning.
CoRR, 2024

Integrating Physician Diagnostic Logic into Large Language Models: Preference Learning from Process Feedback.
CoRR, 2024

Perception field based imitation learning for unlabeled multi-agent pathfinding.
Sci. China Inf. Sci., 2024

MHRE: Multivariate link prediction method for medical hyper-relational facts.
Appl. Intell., 2024

Detection, Diagnosis, and Explanation: A Benchmark for Chinese Medial Hallucination Evaluation.
Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

EVIT: Event-Oriented Instruction Tuning for Event Reasoning.
Proceedings of the Findings of the Association for Computational Linguistics, 2024

Integrating Physician Diagnostic Logic into Large Language Models: Preference Learning from Process Feedback.
Proceedings of the Findings of the Association for Computational Linguistics, 2024

2023
Massive Shape Formation in Grid Environments.
IEEE Trans Autom. Sci. Eng., July, 2023

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

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

Plug-and-Play Medical Dialogue System.
CoRR, 2023

PlugMed: Improving Specificity in Patient-Centered Medical Dialogue Generation using In-Context Learning.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

UniEvent: Unified Generative Model with Multi-Dimensional Prefix for Zero-Shot Event-Relational Reasoning.
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

SEAG: Structure-Aware Event Causality Generation.
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.
Comput. Graph. Forum, October, 2022

Online adaptation for autonomous unmanned systems driven by requirements satisfaction model.
Softw. Syst. Model., 2022

Massive self-organized shape formation in grid environments.
Sci. China Inf. Sci., 2022

Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems.
Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

A Taxonomy for Architecting Safe Autonomous Unmanned Systems.
Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22).
Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021
Massive Self-Assembly in Grid Environments.
CoRR, 2021

SmartCommit: a graph-based interactive assistant for activity-oriented commits.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Cross-language Code Coupling Detection: A Preliminary Study on Android Applications.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

A Meta Reinforcement Learning-based Approach for Self-Adaptive System.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020
Towards a fictional collective programming scenario: an approach based on the EIF loop.
Empir. Softw. Eng., 2020

Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

2019
IntelliMerge: a refactoring-aware software merging technique.
Proc. ACM Program. Lang., 2019

Environment-Centric Safety Requirements for Autonomous Unmanned Systems.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Modelling and analysing resilient cyber-physical systems.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

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

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

A Reinforcement Learning-Based Framework for the Generation and Evolution of Adaptation Rules.
Proceedings of the 2017 IEEE International Conference on Autonomic Computing, 2017

Eliciting Activity Requirements from Crowd Using Genetic Algorithm.
Proceedings of the Requirements Engineering for Internet of Things, 2017

2016
A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

SCCMT: A Stigmergy-Based Collaborative Conceptual Modeling Tool.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

A collaborative conceptual modeling tool based on stigmergy mechanism.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Integrating Goal Model into Rule-Based Adaptation.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015
Stigmergy-Based Construction of Internetware Artifacts.
IEEE Softw., 2015

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

Goal model driven alternative selection: a quantitative approach.
Proceedings of the 2015 IEEE International Model-Driven Requirements Engineering Workshop, 2015

A Feature-Driven Approach to Automated Class Diagram Construction.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

An Entropy-based Approach to the Crowd Entity Resolution.
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

A Recommendation Algorithm for Collaborative Conceptual Modeling Based on Co-occurrence Graph.
Proceedings of the Requirements Engineering in the Big Data Era, 2015

2014
Interactive Inconsistency Fixing in Feature Modeling.
J. Comput. Sci. Technol., 2014

TDL: a transformation description language from feature model to use case for automated use case derivation.
Proceedings of the 18th International Software Product Line Conference, 2014

User preference based autonomic generation of self-adaptive rules.
Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

Stigmergy-Based Collaborative Conceptual Modeling.
Proceedings of the IEEE International Conference on Global Software Engineeering Workshops, 2014

2013
Supporting feature model refinement with updatable view.
Frontiers Comput. Sci., 2013

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

SmartFixer: fixing software configurations based on dynamic priorities.
Proceedings of the 17th International Software Product Line Conference, 2013

A preliminary study on requirements modeling methods for self-adaptive software systems.
Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

An Action-Stack Based Selective-Undo Method in Feature Model Customization.
Proceedings of the Safe and Secure Software Reuse, 2013

Finding Optimal Solution for Satisficing Non-functional Requirements via 0-1 Programming.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Analyzing Early Requirements of Cyber-physical Systems through Structure and Goal Modeling.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
CoFM: An environment for collaborative feature modeling.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Mining binary constraints in the construction of feature models.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

MbFM: A matrix-based tool for modeling and configuring feature models.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

A Problem Oriented Approach to Modeling Feedback Loops for Self-Adaptive Software Systems.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Binary-Search Based Verification of Feature Models.
Proceedings of the Top Productivity through Software Reuse, 2011

Towards a More Fundamental Explanation of Constraints in Feature Models: A Requirement-Oriented Approach.
Proceedings of the Top Productivity through Software Reuse, 2011

2010
A concern-based approach to generating formal requirements specifications.
Frontiers Comput. Sci. China, 2010

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Tolerating Inconsistency in Feature Models.
Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, 2010

CoFM: a web-based collaborative feature modeling system for internetware requirements' gathering and continual evolution.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

A problem-driven collaborative approach to eliciting requirements of internetwares.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

2009
Supporting automatic model inconsistency fixing.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

A Use Case Based Approach to Feature Models' Construction.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

A problem-driven scenario-based approach to collaborative requirement elicitation.
Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008
A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008

2007
Towards automatic model synchronization from model transformations.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006
A metamodel for modeling system features and their refinement, constraint and interaction relationships.
Softw. Syst. Model., 2006

Feature-driven requirement dependency analysis and high-level software design.
Requir. Eng., 2006

A software architecture centric engineering approach for Internetware.
Sci. China Ser. F Inf. Sci., 2006

Identification of Crosscutting Requirements Based on Feature Dependency Analysis.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Modeling of component based systems.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach.
Proceedings of the Model Driven Engineering Languages and Systems, 2005

A Feature-Oriented Approach to Modeling Requirements Dependencies.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

An Approach to Constructing Feature Models Based on Requirements Clustering.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

2004
A Propositional Logic-Based Method for Verification of Feature Models.
Proceedings of the Formal Methods and Software Engineering, 2004

2002
A Compositional Framework for Mining Longest Ranges.
Proceedings of the Discovery Science, 5th International Conference, 2002

2001
A Compositional Framework for Querying Optimized Ranges.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000
Mining Optimized Ranges.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000


  Loading...