Tao Yue

Senior Research Scientist
Mobile: + 47 404 33 125
E-mail: tao@simula.no
Affiliations: Simula Innovation AS Software Engineering
Homepage: https://sites.google.com/site/taoyue/Home

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
  • Search Based Requirements Engineering

Supervisors of three PhD students and three Master student

  • Razieh Behjati,  PhD (Simula Research Laboratory), Successfully defended her thesis in Nov. 2012
  • Kunming Nie, PhD (Beihang University, Beijing, China)
  • Thomas Rolfsnes, Master (University of Oslo)
  • Gong Zhang, Master (Beihang University, Beijing, China)
  • Xianwei Zeng, Master (Beihang University, Beijing, China)
 
 

I am currently a senior 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 the 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 University)
  • 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)

Publications

Journals

 

1.       Tao Yue, Lionel Briand, and Yvan Labiche, “Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments”, in Transactions on Software Engineering and Methodology (TOSEM), Volume 22, Issue 1, 2013.

2.       Razieh Behjati, Tao Yue, Lionel Briand, and Bran Selic, “SimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems”, in Elsevier Information and Software Technology (IST), 2012

3.       Shaukat Ali, Tao Yue, and Lionel Briand, “Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?”, in Springer Software and Systems Modeling (SoSyM), 2012

4.       Tao Yue, Lionel Briand, and Yvan Labiche, “A Systematic Review of Transformation Approaches between User Requirements and Analysis Models”, Requirements Engineering (Springer), vol. 16, no. 2, pp. 75-99, 2011.

5.       Lionel Briand, Yvan Labiche, Tao Yue, “Automated Traceability Analysis for UML Model Refinements”, Elsevier Journal of Information and Software Technology (IST), vol. 51, no. 2, pp. 512-527, February 2009.

6.       Tao Yue, Lionel Briand, and Yvan Labiche, “Automatically Deriving a UML Analysis Model from a Use Case Model”, under revision of TOSEM, 2012, corresponding TR: http://simula.no/publications/Simula.simula.12

7.       Lionel Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, and Tao Yue, “Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment”, under revision of TOSEM, 2012 (Authors by alphabetical order), Accepted for publication in Transactions on Software Engineering and Methodology (TOSEM).

8.       Tao Yue, Lionel Briand, Bran Selic, and Qitao Gan, “Experiences with Model-based Product Line Engineering for Developing a Family of Integrated Control Systems: an Industrial Case Study”, Submitted to a journal, 2012, corresponding TR: http://simula.no/publications/Simula.simula.1242

9.       Tao Yue and Shaukat Ali, “A Framework for Measuring Quality of Models: Experiences from a Series of Controlled Experiments”, Submitted to a journal, 2012, corresponding TR: http://simula.no/publications/Simula.simula.114/simula_pdf_file

10.     Tao Yue, Shokoofeh Hesari, Shaukat Ali, and Bran Selic. Towards Systematic Requirements Engineering Practices in Product Line Engineering: A Comprehensive Domain Analysis in an Industrial Setting, Submitted t a journal, 2013.

Refereed Proceedings

1.       Shaukat Ali, Tao Yue, and Lionel Briand, “Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment”, In: International Conference on Software Testing, Verification and Validation (ICST), 2013.

    2.       Tao Yue and Shaukat Ali, “Bridging the Gap between Requirements and Aspect State Machines to Support Non-Functional Testing: Industrial Case Studies”, in: 8th European Conference on Modelling Foundations and Applications (ECMFA) 2012

    3.       Shaukat Ali, Tao Yue, Z. Malik, “Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing”, In: International Conference on Aspect-Oriented Software Development (AOSD 2012), 2012

    4.       Razieh Behjati, Tao Yue, and Lionel Briand, “A Model-Based Approach to the Automated Reuse of Configuration Data Based on Internal Similarities,” In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012

    5.       Shaukat Ali, Tao Yue, and Lionel Briand, “A Product Line Modeling and Configuration Methodology to Support Model-based Testing: An Industrial Case Study”, In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012

    6.       Lionel Briand, Davide Falessi, S. Nejati, M. Sabetzadeh, Tao Yue, “Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering”, Submitted to a conference, 2011 (Authors by alphabetical order), In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012

    7.       Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, and Lionel Briand, “Experiences of Applying UML/MARTE on Three Industrial Projects”, In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012 (BEST PAPER)

    8.       Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, and Lionel Briand, “Model-based Automated and Guided Configuration of Embedded Software Systems”, In: the 8th European Conference on Modelling Foundations and Applications (ECMFA) 2012

    9.       Zhiqiang Fan, Tao Yue, and Li Zhang, “A Goal-based, Model-driven Framework for Deriving Architecture Modeling Methodologies for Large-Scale, Software-intensive Systems” Accepted for publication in SAC 2013 Track on Software Architecture: Theory, Technology, and Applications (SA-TTA), 2012

    10.     Shaukat Ali and Tao Yue, “On Understandability of Aspect State Machines for Robustness Testing: A Controlled Experiment”, In: the 19th Asia-Pacific Software Engineering Conference (APSEC 2012), ed. by Karl Leung and Pornsiri Muenchaisri, IEEE, 2012.

    11.    P. Scandurra, Tao Yue, A. Arnoldi, and M. Dolci, “Functional Requirements Validation by Transforming Use Case Models into Abstract State Machines”, In: the 27th ACM Symposium on Applied Computing (SAC) - Requirements Engineering Track, 2012.

    12.    Tao Yue, Shaukat Ali, and Lionel Briand, “Automated Transition from Use Cases to UML State Machines to Support State-based Testing”, In: 7th European Conference on Modelling Foundations and Applications (ECMFA) 2011, Lecture Notes in Computer Science (LNCS),  Springer – Verlag, Berlin Heidelberg 2011

    13.    Razieh Behjati, Tao Yue, Shiva Nejati, Lionel Briand, and Bran Selic, “Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling”, In: 7th European Conference on Modelling Foundations and Applications (ECMFA) 2011, Lecture Notes in Computer Science (LNCS), Springer – Verlag, Berlin Heidelberg 2011

    14.    Tao Yue, Lionel Briand, and Yvan Labiche, “An Automated Approach to Transform Use Cases into Activity Diagrams”, In: 6th European Conference on Modelling Foundations and Applications (ECMFA 2010), Lecture Notes in Computer Science (LNCS),  Springer – Verlag, Berlin Heidelberg 2010

    15.    Tao Yue, Lionel Briand, and Yvan Labiche, “A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation”, In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009, Lecture Notes in Computer Science (LNCS),  Springer – Verlag, Berlin Heidelberg 2009
      Personal tools