Martín Nordio

Affiliations:
  • ETH Zurich, Switzerland


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
AutoProof: auto-active functional verification of object-oriented programs.
Int. J. Softw. Tools Technol. Transf., 2017

2015
AutoProof meets some verification challenges.
Int. J. Softw. Tools Technol. Transf., 2015

Automated Program Repair in an Integrated Development Environment.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Automated Fixing of Programs with Contracts.
IEEE Trans. Software Eng., 2014

Agile vs. structured distributed software development: A case study.
Empir. Softw. Eng., 2014

Awareness and Merge Conflicts in Distributed Software Development.
Proceedings of the IEEE 9th International Conference on Global Software Engineering, 2014

Contracts in Practice.
Proceedings of the FM 2014: Formal Methods, 2014

Automatic Program Repair by Fixing Contracts.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

An experiment on teaching coordination in a globally distributed software engineering class.
Proceedings of the 27th IEEE Conference on Software Engineering Education and Training, 2014

2013
Program Checking with Less Hassle.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Certificates and Separation Logic.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

3rd international workshop on developing tools as plug-ins (TOPI 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

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

Javanni: A Verifier for JavaScript.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Really Automatic Scalable Object-Oriented Reengineering.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

Unifying Configuration Management with Merge Conflict Detection and Awareness Systems.
Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012
How Specifications Change and Why You Should Care
CoRR, 2012

Automatic Translation of C Source Code to Eiffel
CoRR, 2012

C to O-O Translation: Beyond the Easy Stuff.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Automatic C to O-O Translation with C2Eiffel.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

2011
Verifying Eiffel Programs with Boogie
CoRR, 2011

Collaborative Software Development on the Web
CoRR, 2011

Evidence-Based Automated Program Fixing
CoRR, 2011

Automated Translation of Java Source Code to Eiffel.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.
Proceedings of the Tools for Practical Software Verification, 2011

Stateful testing: Finding more errors in code and contracts.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Code-based automated program fixing.
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.
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.
Proceedings of the 6th IEEE International Conference on Global Software Engineering, 2011

2010
Reasoning about Function Objects.
Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

Advanced hands-on training for distributed and outsourced software engineering.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
A Sound and Complete Program Logic for Eiffel.
Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

The Role of Contracts in Distributed Development.
Proceedings of the Software Engineering Approaches for Offshore and Outsourced Development, 2009

2008
Proof-Transforming Compilation of Eiffel Programs.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

2007
Proof-transforming compilation of programs with abrupt termination.
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.
Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004


  Loading...