Martín Nordio

According to our database, Martín Nordio authored at least 37 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

AutoProof: auto-active functional verification of object-oriented programs.

Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen

Int. J. Softw. Tools Technol. Transf., 2017

2015

AutoProof meets some verification challenges.

Julian Tschannen, Carlo A. Furia, Martin Nordio

Int. J. Softw. Tools Technol. Transf., 2015

Automated Program Repair in an Integrated Development Environment.

Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Automated Fixing of Programs with Contracts.

Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller

IEEE Trans. Software Eng., 2014

Agile vs. structured distributed software development: A case study.

Hans-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider

Empir. Softw. Eng., 2014

Awareness and Merge Conflicts in Distributed Software Development.

H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer

Proceedings of the IEEE 9th International Conference on Global Software Engineering, 2014

Contracts in Practice.

H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer

Proceedings of the FM 2014: Formal Methods, 2014

Automatic Program Repair by Fixing Contracts.

Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer

Proceedings of the Fundamental Approaches to Software Engineering, 2014

An experiment on teaching coordination in a globally distributed software engineering class.

Martín Nordio, H.-Christian Estler, Bertrand Meyer, Nazareno Aguirre, Rafael Prikladnicki, Elisabetta Di Nitto, Anthony Savidis

Proceedings of the 27th IEEE Conference on Software Engineering Education and Training, 2014

2013

Program Checking with Less Hassle.

Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Certificates and Separation Logic.

Martin Nordio, Cristiano Calcagno, Bertrand Meyer

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

3rd international workshop on developing tools as plug-ins (TOPI 2013).

Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky

Proceedings of the 35th International Conference on Software Engineering, 2013

Collaborative Debugging.

H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer

Proceedings of the 8th IEEE International Conference on Global Software Engineering, 2013

Javanni: A Verifier for JavaScript.

Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia

Proceedings of the Fundamental Approaches to Software Engineering, 2013

Really Automatic Scalable Object-Oriented Reengineering.

Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

Unifying Configuration Management with Merge Conflict Detection and Awareness Systems.

H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012

How Specifications Change and Why You Should Care

H.-Christian Estler, Marco Piccioni, Carlo A. Furia, Martin Nordio, Bertrand Meyer

CoRR, 2012

Automatic Translation of C Source Code to Eiffel

Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol

CoRR, 2012

C to O-O Translation: Beyond the Easy Stuff.

Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Automatic C to O-O Translation with C2Eiffel.

Marco Trudel, Carlo A. Furia, Martin Nordio

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

2011

Verifying Eiffel Programs with Boogie

Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer

CoRR, 2011

Collaborative Software Development on the Web

Martin Nordio, Bertrand Meyer, H.-Christian Estler

CoRR, 2011

Evidence-Based Automated Program Fixing

Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer

CoRR, 2011

Automated Translation of Java Source Code to Eiffel.

Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.

Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.

Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer

Proceedings of the Tools for Practical Software Verification, 2011

Stateful testing: Finding more errors in code and contracts.

Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Code-based automated program fixing.

Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Teaching software engineering using globally distributed projects: the DOSE course.

Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni

Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, 2011

How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication.

Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto

Proceedings of the 6th IEEE International Conference on Global Software Engineering, 2011

2010

Reasoning about Function Objects.

Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

Advanced hands-on training for distributed and outsourced software engineering.

Martin Nordio, Roman Mitin, Bertrand Meyer

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

A Sound and Complete Program Logic for Eiffel.

Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

The Role of Contracts in Distributed Development.

Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli

Proceedings of the Software Engineering Approaches for Offshore and Outsourced Development, 2009

2008

Proof-Transforming Compilation of Eiffel Programs.

Martin Nordio, Peter Müller, Bertrand Meyer

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

2007

Proof-transforming compilation of programs with abrupt termination.

Peter Müller, Martin Nordio

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

2004

A Framework for Execution of Secure Mobile Code based on Static Analysis.

Martín Nordio, Ricardo H. Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004