Primary tabs

Most recent publications

In International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018. SCITEPRESS Digital Library, 2018.
Talk, keynote
2018
In 11th IEEE Conference on Software Testing, Validation and Verification. IEEE, 2018.
Proceedings, refereed
2018
In 11th IEEE Conference on Software Testing, Validation and Verification (ICST)., 2018.
Proceedings, refereed
2018
In MBSE Seminar on Uncertainty, Nanjing University, China., 2017.
Talk, keynote
2017

News

Huihui Zhang defended his PhD
On Saturday, 3 June, 2017, Huihui Zhang successfully defended his PhD thesis Research on Aspect-oriented Real-time Requirements Modeling and Supporting Techniques for Requirements Inspection. The...

Find publication

Export 208 results:
2018

Proceedings, refereed

In 11th IEEE Conference on Software Testing, Validation and Verification. IEEE, 2018.
Status: Published
In 11th IEEE Conference on Software Testing, Validation and Verification (ICST)., 2018.
Status: Accepted

Talks, keynote

In International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018. SCITEPRESS Digital Library, 2018.
Status: Published

Technical reports

Talks, contributed

In National Institute of Informatics, Tokyo, Japan., 2018.
Status: Published
In IEEE Conference on Software Testing, Validation and Verification (ICST)., 2018.
Status: Published
2017

Journal articles

Software and Systems Modeling (2017).
Status: Published
IEEE Transactions on Software Engineering (TSE) (2017).
Status: Published
Science of Computer Programming (SCP) 149 (2017): 3-8.
Status: Published