Martin Nordio

Picture of Martin Nordio

Address

Martin Nordio
Software Engineering
Clausiusstrasse 59
RZ J3
8092 Zurich

Contact

E-mail: martin.nordio@inf.ethz.ch
Phone: +41 44 632 02 97
Fax: +41 44 632 14 35

Publications

sorted by year

Articles in refereed journals

  1. Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, and Andreas Zeller: Automated Fixing of Programs with Contracts. In IEEE Transactions on Software Engineering (TSE) Journal. 2014. [PDF] [BIB]

  2. Julian Tschannen, Carlo A. Furia, Martin Nordio: AutoProof Meets Some Verification Challenges in International Journal on Software Tools for Technology Transfer, special section on VerifyThis2012, Springer, 2014. [PDF] [BIB]

  3. H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider: Agile vs. Structured Distributed Software Development: A Case Study. Empirical Software Engineering Journal, 1--28, Springer, 2013. [PDF] [BIB]

Articles in conference proceedings

  1. Julian Tschannen, Carlo A. Furia, Martin Nordio, and Nadia Polikarpova: AutoProof: Auto-active Functional Verification of Object-oriented Programs. In Proceedings of TACAS, Lecture Notes in Computer Science, 9035:566–580, 2015. [PDF] [BIB]

  2. Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer: Automated Program Repair in an Integrated Development Environment. In ICSE Companion (Demonstrations Track), 2015. [PDF] [BIB]

  3. H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, and Bertrand Meyer: Contracts in Practice. In proceedings of the 19th International Symposium on Formal Methods (FM), Lectures Notes in Computer Science 8442:230--246, Springer-Verlag, 2014. [PDF] [BIB]

  4. Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer: Automatic Program Repair by Fixing Contracts. In proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE), Lectures Notes in Computer Science 8411:246--260, Springer-Verlag, 2014. [PDF] [BIB]

  5. H.-Christian Estler, Martin Nordio, Carlo A. Furia and Bertrand Meyer: Awareness and Merge Conflicts in Distributed Software Development. In proceedings of the 9th International Conference on Global Software Engineering (ICGSE), IEEE, 2014. [PDF] [BIB]

  6. Martin Nordio, Christian Estler, Bertrand Meyer, Nazareno Aguirre, Elisabetta Di Nitto, Rafael Prikladnicki, Anthony Savidis: An Experiment on Teaching Coordination in a Globally Distributed Software Engineering Class. In proceedings of the 27th Conference on Software Engineering Education and Training (CSEE&T 2014), IEEE, 2014. [PDF] [BIB]

  7. Marco Trudel, Carlo A. Furia, Martin Nordio, and Bertrand Meyer: Really Automatic Scalable Object-Oriented Reengineering. In proceedings of the European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science, 7920:477--501, 2013. [PDF] [BIB]

  8. Martin Nordio, Cristiano Calcagno, and Carlo A. Furia: Javanni: A Verifier for JavaScript. In proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE), Lectures Notes in Computer Science 7793:231--234, Springer-Verlag, 2013 . [PDF] [BIB]

  9. Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer: Program Checking With Less Hassle. In proceedings of Verified Software: Theories, Tools and Experiments (VSTTE), Lectures Notes in Computer Science 8164:149--169, Springer-Verlag, 2013. [PDF] [BIB]

  10. Martin Nordio, Cristiano Calcagno, and Bertrand Meyer: Certificates and Separation Logic. In proceedings of the 8th International Symposium on Trustworthy Global Computing (TGC), Lectures Notes in Computer Science, 8358:273--293, Springer-Verlag, 2013. [PDF] [BIB]

  11. H.-Christian Estler, Martin Nordio, Carlo A. Furia Bertrand Meyer: Collaborative Debugging. In proceedings of the 8th International Conference on Global Software Engineering (ICGSE), pages 110--119, IEEE, 2013. Best paper award. [PDF] [BIB]

  12. H.-Christian Estler, Martin Nordio, Carlo A. Furia, and Bertrand Meyer: Unifying Configuration Management with Awareness Systems and Merge Conflict Detection. In proceedings of the 22nd Australasian Software Engineering Conference (ASWEC), pages 201--210, 2013. [PDF] [BIB]

  13. Marco Trudel, Carlo A. Furia, Martin Nordio, Manuel Oriol, and Bertrand Meyer: C to O-O Translation: Beyond the Easy Stuff. In proceedings of the 19th Working Conference on Reverse Engineering (WCRE) IEEE, pages 19--28, 2012 [PDF] [BIB]

  14. Marco Trudel, Carlo A. Furia, Martin Nordio: C to O-O Translation with C2Eiffel. In proceedings of the 19th Working Conference on Reverse Engineering (WCRE), tools track IEEE, pages 508--509, 2012. [PDF] [BIB]

  15. H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider: Agile vs. Structured Distributed Software Development: A Case Study. In proceedings of the 7th International Conference on Global Software Engineering (ICGSE), IEEE, pages 11--20, 2012. Best paper award. [PDF] [BIB]

  16. Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer: Stateful Testing: Finding More Errors in Code and Contracts. In proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, pages 440--443, 2011. [PDF] [BIB]

  17. Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer: Code-Based Automated Program Fixing. In proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, pages 392--395, 2011. [PDF] [BIB]

  18. Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer: Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. In proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM), Lecture Notes in Computer Science 7041:382--398, Springer-Verlag. 2011. [PDF] [BIB]

  19. Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, and Elisabetta Di Nitto: How do Distribution and Time Zones affect Software Development? A Case Study on Communication. In proceedings of the 6th International Conference on Global Software Engineering (ICGSE), IEEE, pages 176--184, 2011 [PDF] [BIB]

  20. Marco Trudel, Manuel Oriol, Carlo A. Furia, and Martin Nordio: Automated Translation of Java Source Code to Eiffel. In proceedings of the 49th International Conference on Objects, Models, Components and Patterns (TOOLS-EUROPE 2011), Lecture Notes in Computer Science 6705:20--35, Springer-Verlag, 2011. [PDF] [BIB]

  21. Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller and Julian Tschannen: Reasoning about Function Objects. In proceedings the 48th International Conference on Objects, Models, Components and Patterns (TOOLS-EUROPE 2010), Malaga (Spain), 28 June - 2 July 2010, ed. J. Vitek, Lecture Notes in Computer Science, Springer-Verlag, 2010. [PDF] [BIB] Springer-Online

  22. Martin Nordio, Roman Mitin and Bertrand Meyer: Advanced Hands-on Training for Distributed and Outsourced Software Engineering. In proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE) - Volume 1, ACM. 2010. [PDF] [BIB]

  23. Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto and Giordano Tamburelli: The Role of Contracts in Distributed Development. In proceedings of Software Engineering Advances For Offshore and Outsourced Development (SEAFOOD), Lecture Notes in Business Information Processing 35, Springer-Verlag, 2009. [PDF] [BIB] Springer-Online

  24. Martin Nordio and Cristiano Calcagno and Peter Müller and Bertrand Meyer: A Sound and Complete Program Logic for Eiffel. In proceedings of the 47th International Conference on Objects, Models, Components and Patterns (TOOLS-EUROPE 2009), Lecture Notes in Business Information Processing 33, Springer-Verlag, 2009. [PDF] [BIB] Springer-Online

  25. Martin Nordio, Peter Müller and Bertrand Meyer: Proof-Transforming Compilation of Eiffel Programs. In proceedings of the 46th International Conference on Objects, Models, Components and Patterns (TOOLS-EUROPE 2008), Lecture Notes in Business Information Processing 11, Springer-Verlag, 2008. [PDF] [BIB] Springer-Online

  26. Peter Müller and Martin Nordio: Proof-Transforming Compilation of Programs with Abrupt Termination. In proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, ACM, 2007. [PDF] [BIB]

  27. Martin Nordio, Francisco Bavera, Ricardo Medel, Jorge Aguirre, Gabriel Baum: A Framework for Execution of Secure Mobile Code based on Static Analysis. In proceedings of the XXIV International Conference of the Chilean Computer Science Society, pages 56-66, Universidad de Tarapaca, Arica (Chile), IEEE-CS PRESS. 2004.

Chapters in collective books

  1. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. In Tools for Practical Software Verification - LASER 2011, International Summer School, Lecture Notes in Computer Science 7682:134--156, Springer-Verlag, 2012. [PDF] [BIB]

Articles in workshops

  1. Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer: Verifying Eiffel Programs with Boogie. In proceedings of the First International Workshop on Intermediate Verification Languages (BOOGIE), 2011. [PDF] [BIB]

  2. Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni: Teaching Software Engineering using Globally Distributed Projects: the DOSE course, In Collaborative Teaching of Globally Distributed Software Development - Community Building Workshop (CTGDSD), ACM, 2011. [PDF] [BIB]

Thesis

Books edited

  1. Bertrand Meyer and Martin Nordio (Eds.): Tools for Practical Software Verification: LASER 2011, International Summer School, Lecture Notes in Computer Science, volume 7682, Springer-Verlag, 2012 . Springer-Online

  2. Bertrand Meyer and Martin Nordio (Eds.): Empirical Software Engineering and Verification: LASER Summer School 2008-2010, Lecture Notes in Computer Science, volume 7007, Springer-Verlag, 2012 . Springer-Online

Conference proceedings edited

  1. Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, and Diego Garbervetsky 3rd international workshop on developing tools as plug-ins (TOPI 2013) In Proceedings of the 35th International Conference on Software Engineering (ICSE'13), 2013 [PDF] [BIB]

  2. Martin Nordio, Mathai Joseph, Bertrand Meyer, and Andrey Terekhov (Eds.): Software Engineering Approaches For Outsourced and Offshore Development (SEAFOOD), 4th International Conference, St. Petersburg, Russia, Lecture Notes in Business Information Processing 54, Springer-Verlag, 2010 . Springer-Online

  3. Kay Berkling, Mathai Joseph, Bertrand Meyer and Martin Nordio (Eds.): Software Engineering Approaches For Outsourced and Offshore Development (SEAFOOD), revised papers, Lecture Notes in Business Information Processing 16, Springer-Verlag, May 2009 . Springer-Online

Technical Reports

  1. Martin Nordio and Cristiano Calcagno and Peter Müller and Bertrand Meyer: Soundness and Completeness of a Program Logic for Eiffel, Technical Report 617, ETH Zurich, 2009. [PDF] [BIB]

  2. Martin Nordio and Cristiano Calcagno and Bertrand Meyer and Peter Müller: Reasoning about Function Objects Technical Report 615, ETH Zurich, 2009. [PDF] [BIB]

  3. Martin Nordio, Peter Müller and Bertrand Meyer: Formalizing Proof-Transforming Compilation of Eiffel Programs Technical Report 587, ETH Zurich, 2008. [PDF] [BIB] Isabelle formalization

  4. Peter Müller and Martin Nordio: Proof-Transforming Compilation of Programs with Abrupt Termination, Technical Report 565, ETH Zurich, 2007. [PDF] [BIB]

Valid XHTML 1.0 Strict