Gousios, G.; Zaidman, A.; Storey, M.-A.; Deursen, A. van
2015, Article in monograph or in proceedings (Kellenberger, P. (ed.), ICSE 2015 : 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 16-24 May 2015 Florence, Italy. Proceedings, pp. 358-368)
2016, Article in monograph or in proceedings (Dillon, L. (ed.), ICSE '16 : Proceedings of the 38th International Conference on Software Engineering Austin, TX, May 14 - 22, 2016, pp. 285-296)
2020, Article in monograph or in proceedings (Debruyne, C. (ed.), On the Move to Meaningful Internet Systems: OTM 2019 Workshops: Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019, Revised Selected Papers, pp. 67-78)
2014, Article in monograph or in proceedings (DIFTS'14 : Proceedings of the 3rd International Workshop on Design and Implementation of Formal Tools and Systems, October 20, 2014 Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland, pp. 1-8)
2013, Article in monograph or in proceedings (Bosch, A. van den; Heskes, T.; Leeuwen, D. van (ed.), BENELEARN 2013: Proceedings of the 22nd Belgian-Dutch Conference on Machine Learning, Nijmegen, 3 june 2013, pp. 103-104)
Beller, M.; Gousios, G.; Panichella, A.; Zaidman, A.
2015, Article in monograph or in proceedings (Nitto, E. Di (ed.), ESEC/FSE 2015 : Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp. 179-190)
2010, Article in monograph or in proceedings (Croft, B. (ed.), Query Representation and Understanding : Workshop of the 33rd Annual International ACM in Information Retrieval on Research and Development SIGIR Conference, pp. 17-20)
2003, Part of book or chapter of book (Pena, Ricardo (ed.), Implementation of Functional Languages : The 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers, pp. 17-33)
2017, Article / Letter to editor (NTZ. Nederlands tijdschrift voor de zorg aan mensen met verstandelijke beperkingen, vol. 2017, iss. 2, (2017), pp. 108-124)
2009, Article in monograph or in proceedings (Treinen, R. (ed.), Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings, pp. 164-178)
2020, Article in monograph or in proceedings (Ariola, Z.M. (ed.), FSCD 2020: 5th International Conference on Formal Structures for Computation and Deduction, pp. 36:1-36:19)
2007, Part of book or chapter of book (Meersman, R.; Tari, Z.; Herrero, P. (ed.), On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, pp. 709-718)
2017, Article in monograph or in proceedings (Sampson, D.G. (ed.), CSEIT 2017: Proceedings of the 8th Annual International Conference on Computer Science Education Innovation & Technology, 9th-10th October, 2017, Singapore, pp. 130-139)
2010, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation, pp. 412-423)
2016, Article in monograph or in proceedings (Ahrendt, W. (ed.), Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 609-618)
2020, Article in monograph or in proceedings (Bessiere, C. (ed.), IJCAI-PRICAI 2020: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, January 2021, Yokohama, Japan, pp. 4121-4127)
2020, Article in monograph or in proceedings (Syriani, E. (ed.), MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems Virtual Event Canada October, 2020, pp. 240–251)
2019, Article in monograph or in proceedings (Johannesson, P. (ed.), VMBO 2019: Value Modeling and Business Ontologies. Short Paper Proceedings of the 13th International Workshop on Value Modeling and Business Ontologies Stockholm, Sweden, March 4-5, 2019, pp. 1-8)
Fitzgerald, John S.; Larsen, Peter Gorm; Tjell, Simon; Verhoef, Marcel
2007, Article in monograph or in proceedings (Proceedings of 10th IEEE International Symposium on High Assurance System Engineering (HASE), pp. 331-340)
2008, Article in monograph or in proceedings (Arabnia, R. Hamid; Reza, Hassan (ed.), Proceedings of The 2008 International Conference on Software Engineering Research and Practice (SERP'08) : SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, pp. 225-231)
2015, Part of book or chapter of book (Matulevicius, R. (ed.), REFSQ-JP 2015 : REFSQ Workshops, Research Method Track, and Poster Track, Joint Proceedings of REFSQ-2015 Workshops, Research Method Track, and Poster Track co-located with the 21st International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2015) Essen, Germany, March 23, 2015, pp. 19-24)
2013, Article in monograph or in proceedings (Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 63-77)
2010, Article in monograph or in proceedings (Safran, C. (ed.), MEDINFO 2010 - Proceedings of the 13th World Congress on Medical Informatics, pp. 1291-1295)
2016, Article in monograph or in proceedings (Kornyshova, E. (ed.), CBI 2016: 2016 IEEE 18th Conference on Business Informatics, 29th August - 1st September, Paris, France, pp. 238-247)
2015, Part of book or chapter of book (Ganzha, M. (ed.), Proceedings of the Federated Conference on Computer Science and Information Systems, pp. 781-788)
2010, Article in monograph or in proceedings (Coelho, H.; Studer, R. (ed.), ECAI 2010 - 19th European Conference on Artificial Intelligence, pp. 401-406)
2017, Article in monograph or in proceedings (Knauss, E. (ed.), REFSQ 2017: 23rd International Working Conference on Requirements Engineering: Foundation for Software Quality, Essen, Germany, February 27, 2017, pp. 1-7)