| Automated fixing of programs with contracts Y Pei, CA Furia, M Nordio, Y Wei, B Meyer, A Zeller Ieee transactions on software engineering 40 (5), 427-449, 2014 | 130 | 2014 |
| Agile vs. structured distributed software development: A case study HC Estler, M Nordio, CA Furia, B Meyer, J Schneider Empirical Software Engineering 19 (5), 1197-1224, 2014 | 127 | 2014 |
| Autoproof: Auto-active functional verification of object-oriented programs J Tschannen, CA Furia, M Nordio, N Polikarpova International conference on tools and algorithms for the construction and …, 2015 | 98 | 2015 |
| Code-based automated program fixing Y Pei, Y Wei, CA Furia, M Nordio, B Meyer 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 66 | 2011 |
| Teaching software engineering using globally distributed projects: the DOSE course M Nordio, C Ghezzi, B Meyer, E Di Nitto, G Tamburrelli, J Tschannen, ... Proceedings of the 2011 Community Building Workshop on Collaborative …, 2011 | 60 | 2011 |
| Usable verification of object-oriented programs by combining static and dynamic techniques J Tschannen, CA Furia, M Nordio, B Meyer International Conference on Software Engineering and Formal Methods, 382-398, 2011 | 53 | 2011 |
| Unifying configuration management with merge conflict detection and awareness systems HC Estler, M Nordio, CA Furia, B Meyer Software Engineering Conference (ASWEC), 2013 22nd Australian, 201-210, 2013 | 52* | 2013 |
| Automatic verification of advanced object-oriented features: The AutoProof approach J Tschannen, CA Furia, M Nordio, B Meyer LASER Summer School on Software Engineering, 133-155, 2011 | 50* | 2011 |
| How do distribution and time zones affect software development? a case study on communication M Nordio, HC Estler, B Meyer, J Tschannen, C Ghezzi, E Di Nitto 2011 IEEE Sixth International Conference on Global Software Engineering, 176-184, 2011 | 49 | 2011 |
| Contracts in practice HC Estler, CA Furia, M Nordio, M Piccioni, B Meyer International Symposium on Formal Methods, 230-246, 2014 | 38 | 2014 |
| Proof-transforming compilation of programs with abrupt termination P Müller, M Nordio Proceedings of the 2007 conference on Specification and verification of …, 2007 | 32 | 2007 |
| Advanced hands-on training for distributed and outsourced software engineering M Nordio, R Mitin, B Meyer Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 31 | 2010 |
| The role of contracts in distributed development M Nordio, R Mitin, B Meyer, C Ghezzi, E Di Nitto, G Tamburrelli International Conference on Software Engineering Approaches for Offshore and …, 2009 | 30 | 2009 |
| C to OO translation: Beyond the easy stuff M Trudel, CA Furia, M Nordio, B Meyer, M Oriol 2012 19th Working Conference on Reverse Engineering, 19-28, 2012 | 29* | 2012 |
| Reasoning about function objects M Nordio, C Calcagno, B Meyer, P Müller, J Tschannen International Conference on Modelling Techniques and Tools for Computer …, 2010 | 29 | 2010 |
| Awareness and merge conflicts in distributed software development HC Estler, M Nordio, CA Furia, B Meyer 2014 IEEE 9th International Conference on Global Software Engineering, 26-35, 2014 | 27 | 2014 |
| Stateful testing: Finding more errors in code and contracts Y Wei, H Roth, CA Furia, Y Pei, A Horton, M Steindorfer, M Nordio, ... 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 26 | 2011 |
| Proof-transforming compilation of eiffel programs M Nordio, P Müller, B Meyer International Conference on Objects, Components, Models and Patterns, 316-335, 2008 | 26* | 2008 |
| A sound and complete program logic for Eiffel M Nordio, C Calcagno, P Müller, B Meyer International Conference on Objects, Components, Models and Patterns, 195-214, 2009 | 23* | 2009 |
| Collaborative debugging HC Estler, M Nordio, CA Furia, B Meyer 2013 IEEE 8th International Conference on Global Software Engineering, 110-119, 2013 | 17 | 2013 |
Bertrand MeyerProfessor of Software Engineering, Schaffhausen Institute of Technology and Innopolis UniversityVerified email at inf.ethz.ch
