Primary tabs

Most recent publications

In The 13th IEEE International High Assurance Systems Engineering Symposium (HASE 2011)., 2011.
Proceedings, refereed
2011

Selected publications

ACM Transactions on Software Engineering and Methodology (TOSEM) 25, no. 1 (2015): 1-37.
Journal Article
2015
In The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)., 2013.
Proceedings, refereed
2013
In The ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012)., 2012.
Proceedings, refereed
2012
In 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER). IEEE, 2016.
Proceedings, refereed
2016

Status

Export 2 results: