We include the papers on this page to ensure timely dissemination on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by the copyrights. These works may not be reposted without the explicit permission of the copyright holder.
C. Macho, S. McIntosh, and M. Pinzger. In Proceedings of the International Conference on Software Analysis, Evolution, and Reengineering (SANER), pp. 541-551, IEEE, 2016. Candidate for Best Paper Award
D. Romano, S. Raemaekers, and M. Pinzger. In Proceedings of the International Conference on Software Maintenance and Evolution (ICSME), pp. 351-360, IEEE Computer Society, 2014. ICSME 2014 Best Paper award
F. Hermans, B. Sedee, M. Pinzger, and A. van Deursen. In Proceedings of the International Conference on Software Engineering (ICSE), pp. 292-301, ACM and IEEE Computer Society, 2013. ACM SIGSOFT Distinguished Paper award
Metrics for quantifying evolutionary changes in Z specifications
A. Bollin. In Journal of Software: Evolution and Process. Pre-print published online in Wiley Online Library (wileyonlinelibrary.com). 2013. DOI: 10.1002/smr.1596.
Teaching Software Development Processes by Simulation: Quality Assurance as a Factor of Success
A. Bollin, E. Hochmüller, L. Samuelis. To appear in Proceedings of the 26th IEEE Conference on Software Engineering Education and Training. Los Angeles. 2013.
Do You Speak Z? Formal Methods under the Perspective of a Cross-Cultural Adaptation Problem
A. Bollin. To appear in Proceedings of the FME Workshop on Formal Methods in Software Engineering. Los Angeles. 2013.
Predictive Software Measures based on Z Specification - A Case Study
A. Bollin and A. Tabareh. In electronic Proceedings in Theoretical Computer Science, pp 33-40, Open Publishing Association, 2012.
Experiences with Integrating Simulation into a Software Engineering Curriculum
A. Bollin, E. Hochmüller, R. Mittermeir, L. Samuelis. In Proceedings of the IEEE Conference on Software Engineering Education and Training (CSEE&T), pp. 62-75, IEEE Computer Society, 2012.
Teaching Software Project Management using Simulations - The AMEISE Environment: from Concepts to Class Room Experience
A. Bollin, E. Hochmüller, L. Samuelis. In Proceedings of the IEEE Conference on Software Engineering Education and Training (CSEE&T), pp. 85-87, IEEE Computer Society, 2012.