Martin Nordio

Publications

2012

• 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

2011

• 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. To appear. [PDF] [BIB]

• 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. To appear. [PDF] [BIB]

• 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]

• 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]

• 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]

• 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]

• 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 proceedings of Collaborative Teaching of Globally Distributed Software Development - Community Building Workshop (CTGDSD), ACM, 2011. [PDF] [BIB]

2010

• 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

• Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller and Julian Tschannen: Reasoning about Function Objects. In proceedings of 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

• 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]

2009

• Martin Nordio: Proofs and Proof Transformations for Object-Oriented Programs, PhD dissertation 18689, Department of Computer Science, ETH Zurich, October 2009. [PDF]

• 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

• 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

• 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

• 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]

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

2008

• 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

• 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

2007

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

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

2004

• 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), 8-12 November, 2004. IEEE-CS PRESS 2004