1. Metrics for quantifying evolutionary changes in Z specifications;Journal of Software: Evolution and Process;2013-04-25
2. Conquering System Complexity;Conquering Complexity;2012
3. Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications;Communications in Computer and Information Science;2010
4. COMPLEXITY-DRIVEN RELIABILITY MODEL;International Journal of Reliability, Quality and Safety Engineering;2008-10
5. Concept location in formal specifications;Journal of Software Maintenance and Evolution: Research and Practice;2008