Export 6 results:
Search results for biblio_year:2002
Filters: 1 is biblio_year:1984 and 2 is biblio_year:2013 and 3 is biblio_type:Proceedings, non-refereed and 4 is biblio_type:Edited books and 5 is field_research_area:6 and 6 is biblio_type:Technical reports and Author is Kunming Nie  [Reset Search]
2016
T. Yue, S. Ali, H. Lu and K. Nie. Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System In International Conference on Model-Driven Engineering and Software Development. IEEE, 2016.
2014
H. Lu, T. Yue, S. Ali, K. Nie and L. Zhang. Automated and Incremental Conformance Checking to Support Interactive Product Configuration In The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE)., 2014.
2013
K. Nie, T. Yue, S. Ali, L. Zhang and Z. Fan. Constraints: the Core of Supporting Automated Product Configuration of Cyber-Physical Systems In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Edited by J. Grey. .: ACM/IEEE, 2013.
K. Nie, T. Yue and S. Ali. Towards a Search-Based Interactive Configuration of Cyber Physical System Product Lines In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Poster. ACM/IEEE, 2013.
T. Yue, S. Ali and K. Nie. Towards A Search-based Interactive Configuration of Cyber-Physical System Product Lines. Simula Research Laboratory, 2013.
2012
K. Nie, T. Yue, S. Ali, L. Zhang and Z. Fan. The Core of Supporting Automated Product Configuration of Cyber-Physical Systems. Simula Research Laboratory, 2012.