Sections

Skip to content. | Skip to navigation

You are here: Home People Tao Yue

Tao Yue

Research Scientist
Mobile: + 47 404 33 125
E-mail: tao@simula.no

Please visit my personal website for more information: https://sites.google.com/site/taoyue/Home

Expertise Areas and Research Interests: 

  • Model-Based Engineering (MBE)
  • Requirements Engineering
  • Model-based Product Line Engineering
  • Architecture Modeling of Large-scale and Highly-configurable Systems
  • Empirical Studies in Software Engineering
  • Development and Simulation-based Testing of Real-time Embedded Systems

_______________________________________

I am currently a research scientist at the Certus Software V&V center, Simula Research Laboratory, Oslo, Norway, with the following responsibilities:

  • Lead in the expertise area of Model-Driven Engineering (MDE) at Certus, funded by the Research Council of Norway as part of the Centers for Research-based Innovation (SFI) program
  • Project manager of the industrial collaboration with FMC Technologies at Certus
  • Representative of Simula Research Laboratory at Object Management Group
  • Principal investigator for the international collaboration program with Beihang University, funded by Norwegian Ministry of Trade and Industry.
  • Principal investigator for the following two industry-oriented research projects at Certus:
    • Model-based Product Configuration and Derivation of Large-scale Integrated Control System
    • Model-based Requirements Specification, Validation, and Verification
  • Principal investigator for the following research projects:
    • RUCM - Restricted Use Case ModelingaToucan - Automated Transformation Of Use Case model into ANalysis model
    • UCMeta (Use Case Metamodel)
    • Quality Metrics of Models
    • Model-based Product Line Engineering (in the collaboration with Beihang University)
    • Model-based Requirements Engineering (in the collaboration with Beihang Unviersity)
  • Secondary investigator for the following research projects:
    • Comprehensively and Empirically Evaluating the AspectSM Profile
  • Participated in the following industry-oriented research projects at Certus:
    • Scalable Behavioral Variability Modeling and Configuration to Support Model-Based Testing (MBT)
    • Traceability and SysML Design Slices to Support Safety Inspections (part of the ModelME! project)
  • Supervisors of two PhD students (Razieh Behjati and Shokoofeh Hesari) and one Master student (Thomas Rolfsnes)

Publications

Journals

null T. YueL. Briand, and Y. Labiche. Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments, Accepted for publication in Transactions on Software Engineering and Methodology (TOSEM), 2011.

null R. BehjatiT. YueL. Briand, and B. SelicSimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems , Submitted to a journal, 2011.

null T. YueL. Briand, and Y. Labiche. A Systematic Review of Transformation Approaches between User Requirements and Analysis Models, Requirements Engineering (Springer) 16(2):75-99, 2011.

T. Yue, L. Briand, and Y. Labiche. Automatically Deriving a UML Analysis Model from a Use Case Model, Submitted to a journal, 2010

L. Briand, D. Falessi, S. Nejati, M. Sabetzadeh, and T. Yue. Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment, Submitted to a journal, 2010.

L. Briand, Y. Labiche, T. Yue. Automated Traceability Analysis for UML Model Refinements, Elsevier Journal of Information and Software Technology, vol. 51, no. 2, pp. 512-527, 2009.

Refereed Proceedings

S. AliT. Yue, Z. Malik, Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing, Accepted for a Publication in International Conference on Aspect-Oriented Software Development (AOSD 2012), 2012

P. Scandurra, T. Yue, A. Arnoldi, and M. Dolci, Functional Requirements Validation by Transforming Use Case Models into Abstract State Machines, Accepted for a Publication in the 27th ACM Symposium on Applied Computing (SAC) - Requirements Engineering Track, 2012.

null T. YueS. Ali, and L. BriandAutomated Transition from Use Cases to UML State Machines to Support State-based Testing, In: 7th European Conference on Modelling Foundations and Applications (ECMFA) 2011

null R. BehjatiT. YueS. NejatiL. Briand, and B. SelicExtending SysML with AADL Concepts for Comprehensive System Architecture Modeling, In: 7th European Conference on Modelling Foundations and Applications (ECMFA) 2011

T. Yue, L. Briand, and Y. Labiche. An Automated Approach to Transform Use Cases into Activity Diagrams, In: 6th European Conference on Modelling Foundations and Applications (ECMFA 2010), ed. by T. Kühne et al. (Eds.), vol. 6138, pp. 337–353, Springer, 2010.

T. Yue, L. Briand, and Y. Labiche. A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation, In: MODELS 2009, pp. 484-498, 2009

Technical Reports

 

null S. AliT. Yue, and L. BriandEmpirically Evaluating the Impact of Applying Aspect State Machines on Modeling Quality and Effort , Simula Research Laboratory, Technical Report (2011-06), 2011.

null S. AliT. YueL. Briand, and Z. Malik. Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?, Simula Research Laboratory, Technical Report(2010-11), 2011.

null T. YueS. Ali, and L. BriandAutomated Transition from Use Cases to UML State Machines to Support State-based Testing, Simula Research Laboratory, Technical Report(2011-05), 2011.

null R. BehjatiT. YueS. NejatiL. Briand, and B. SelicAn AADL-Based SysML Profile for Architecture Level Systems Engineering: Approach, Metamodels, and Experiments, Simula Research Laboratory, Technical Report (2011-03), 2011.

T. Yue, L. Briand, and Y. Labiche. Automated Traceability Analysis for UML Model Refinements, Technical Report SCE-06-06, Version 2, Carleton University, April 2006.

T. Yue, L. Briand, and Y. Labiche. Automatically Deriving UML Sequence Diagrams from Use Cases, Simula Research Laboratory, 2010.

T. Yue, L. Briand, and Y. Labiche.A Systematic Review of Transformation Methodologies between User Requirements and Analysis Models, Technical report SCE-09-03, Carleton University, March 2009.

A SysML Profile for Modeling the Architecture of Integrated Control Systems. Razieh Behjati, Shiva Nejati, Tao Yue, Lionel Briand, Bran Selic. ModelME! Technical Report No. 5 -- Version 1.0, Simula Research Lab, August 2010. (70 pages)

 

Personal tools