Follow
Martin Nordio
Title
Cited by
Cited by
Year
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
1682014
Agile vs. structured distributed software development: A case study
HC Estler, M Nordio, CA Furia, B Meyer, J Schneider
Empirical Software Engineering 19, 1197-1224, 2014
1562014
Autoproof: Auto-active functional verification of object-oriented programs
J Tschannen, CA Furia, M Nordio, N Polikarpova
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
1172015
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
752011
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
63*2013
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
632011
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
612011
Usable verification of object-oriented programs by combining static and dynamic techniques
J Tschannen, CA Furia, M Nordio, B Meyer
Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011
592011
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
52*2011
Contracts in practice
HC Estler, CA Furia, M Nordio, M Piccioni, B Meyer
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
442014
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
422014
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
38*2012
Proof-transforming compilation of programs with abrupt termination
P Müller, M Nordio
Proceedings of the 2007 conference on Specification and verification of …, 2007
372007
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
312010
Reasoning about function objects
M Nordio, C Calcagno, B Meyer, P Müller, J Tschannen
Objects, Models, Components, Patterns: 48th International Conference, TOOLS …, 2010
312010
The role of contracts in distributed development
M Nordio, R Mitin, B Meyer, C Ghezzi, E Di Nitto, G Tamburrelli
Software Engineering Approaches for Offshore and Outsourced Development …, 2009
292009
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
272011
Proof-transforming compilation of eiffel programs
M Nordio, P Müller, B Meyer
Objects, Components, Models and Patterns: 46th International Conference …, 2008
26*2008
A sound and complete program logic for Eiffel
M Nordio, C Calcagno, P Müller, B Meyer
Objects, Components, Models and Patterns: 47th International Conference …, 2009
25*2009
Automatic program repair by fixing contracts
Y Pei, CA Furia, M Nordio, B Meyer
International Conference on Fundamental Approaches to Software Engineering …, 2014
242014
The system can't perform the operation now. Try again later.
Articles 1–20