Martin Nordio

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Conflict Detection

Propositional Dynamic Logic

Software Development

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen
AutoProof: auto-active functional verification of object-oriented programs. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Julian Tschannen, Carlo A. Furia, Martin Nordio
AutoProof meets some verification challenges. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. TACAS (2015)
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
Automated Fixing of Programs with Contracts. CoRR (2014)
Hans-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider
Agile vs. structured distributed software development: A case study. Empir. Softw. Eng. 19 (5) (2014)
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
Automated Fixing of Programs with Contracts. IEEE Trans. Software Eng. 40 (5) (2014)
H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer
Contracts in Practice. FM (2014)
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
Awareness and Merge Conflicts in Distributed Software Development. ICGSE (2014)
Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Automatic Program Repair by Fixing Contracts. FASE (2014)
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
Collaborative Debugging. ICGSE (2013)
Martin Nordio, Cristiano Calcagno, Bertrand Meyer
Certificates and Separation Logic. TGC (2013)
Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky
3rd international workshop on developing tools as plug-ins (TOPI 2013). ICSE (2013)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Program Checking with Less Hassle. VSTTE (2013)
Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia
Javanni: A Verifier for JavaScript. FASE (2013)
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Really Automatic Scalable Object-Oriented Reengineering. ECOOP (2013)
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
Unifying Configuration Management with Merge Conflict Detection and Awareness Systems. Australian Software Engineering Conference (2013)
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
C to O-O Translation: Beyond the Easy Stuff. WCRE (2012)
Marco Trudel, Carlo A. Furia, Martin Nordio
Automatic C to O-O Translation with C2Eiffel. WCRE (2012)
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
Automatic Translation of C Source Code to Eiffel CoRR (2012)
H.-Christian Estler, Marco Piccioni, Carlo A. Furia, Martin Nordio, Bertrand Meyer
How Specifications Change and Why You Should Care CoRR (2012)
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. CTGDSD@ICSE (2011)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Verifying Eiffel Programs with Boogie CoRR (2011)
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Evidence-Based Automated Program Fixing CoRR (2011)
Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto
How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. ICGSE (2011)
Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio
Automated Translation of Java Source Code to Eiffel. TOOLS (49) (2011)
Martin Nordio, Bertrand Meyer, H.-Christian Estler
Collaborative Software Development on the Web CoRR (2011)
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
Stateful Testing: Finding More Errors in Code and Contracts CoRR (2011)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. SEFM (2011)
Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. LASER Summer School (2011)
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
Stateful testing: Finding more errors in code and contracts. ASE (2011)
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Code-based automated program fixing. ASE (2011)
Martin Nordio, Roman Mitin, Bertrand Meyer
Advanced hands-on training for distributed and outsourced software engineering. ICSE (1) (2010)
Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen
Reasoning about Function Objects. TOOLS (48) (2010)
Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer
A Sound and Complete Program Logic for Eiffel. TOOLS (47) (2009)
Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli
The Role of Contracts in Distributed Development. SEAFOOD (2009)
Martin Nordio, Peter Müller, Bertrand Meyer
Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) (2008)
Peter Müller, Martin Nordio
Proof-transforming compilation of programs with abrupt termination. SAVCBS (2007)