Martin Nordio

Publications

sorted by category

2015

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

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

2014

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

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

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

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

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

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

2013

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

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

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

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

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

• H.-Christian Estler, Martin Nordio, Carlo A. Furia and 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]

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

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

2012

• 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

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

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

• Julian Tschannen, Carlo A. Furia, Martin Nordio, and 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]

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

• 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. 2011. [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. 2011. [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, and 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 the 2007 Conference Specification and Verification of Component-Based Systems, 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, and 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