Martin Nordio

42 papers A* 3A 2B 4C 3Journal 11Unranked 14
YearRankTypeTitle / Venue / Authors
2017 J jnl
AutoProof: auto-active functional verification of object-oriented programs.
Int. J. Softw. Tools Technol. Transf.
Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen
2015 J jnl
AutoProof meets some verification challenges.
Int. J. Softw. Tools Technol. Transf.
Julian Tschannen, Carlo A. Furia, Martin Nordio
2015 A conf
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs.
TACAS
Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova
2015 — ed.
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
LASER Summer School
Bertrand Meyer, Martin Nordio
2014 J jnl
Agile vs. structured distributed software development: A case study.
Empir. Softw. Eng.
Hans-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider
2014 J jnl
Automated Fixing of Programs with Contracts.
CoRR
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
2014 J jnl
Automated Fixing of Programs with Contracts.
IEEE Trans. Software Eng.
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
2014 B conf
Automatic Program Repair by Fixing Contracts.
FASE
Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2014 C conf
Awareness and Merge Conflicts in Distributed Software Development.
ICGSE
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
2014 B conf
Contracts in Practice.
FM
H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer
2013 A* conf
3rd international workshop on developing tools as plug-ins (TOPI 2013).
ICSE
Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky
2013 — conf
Certificates and Separation Logic.
TGC
Martin Nordio, Cristiano Calcagno, Bertrand Meyer
2013 C conf
Collaborative Debugging.
ICGSE
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
2013 B conf
Javanni: A Verifier for JavaScript.
FASE
Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia
2013 — conf
Program Checking with Less Hassle.
VSTTE
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2013 A conf
Really Automatic Scalable Object-Oriented Reengineering.
ECOOP
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2013 — conf
Unifying Configuration Management with Merge Conflict Detection and Awareness Systems.
Australian Software Engineering Conference
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
2012 — conf
Automatic C to O-O Translation with C2Eiffel.
WCRE
Marco Trudel, Carlo A. Furia, Martin Nordio
2012 J jnl
Automatic Translation of C Source Code to Eiffel
CoRR
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
2012 — conf
C to O-O Translation: Beyond the Easy Stuff.
WCRE
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
2012 — ed.
Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
LASER Summer School
Bertrand Meyer, Martin Nordio
2012 J jnl
How Specifications Change and Why You Should Care
CoRR
H.-Christian Estler, Marco Piccioni, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2012 — ed.
Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
LASER Summer School
Bertrand Meyer, Martin Nordio
2011 — conf
Automated Translation of Java Source Code to Eiffel.
TOOLS (49)
Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio
2011 — conf
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.
LASER Summer School
Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer
2011 A* conf
Code-based automated program fixing.
ASE
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011 J jnl
Collaborative Software Development on the Web
CoRR
Martin Nordio, Bertrand Meyer, H.-Christian Estler
2011 J jnl
Evidence-Based Automated Program Fixing
CoRR
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011 C conf
How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication.
ICGSE
Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto
2011 J jnl
Stateful Testing: Finding More Errors in Code and Contracts
CoRR
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
2011 A* conf
Stateful testing: Finding more errors in code and contracts.
ASE
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
2011 — conf
Teaching software engineering using globally distributed projects: the DOSE course.
CTGDSD@ICSE
Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni
2011 B conf
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.
SEFM
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011 J jnl
Verifying Eiffel Programs with Boogie
CoRR
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2010 — conf
Advanced hands-on training for distributed and outsourced software engineering.
ICSE (1)
Martin Nordio, Roman Mitin, Bertrand Meyer
2010 — conf
Reasoning about Function Objects.
TOOLS (48)
Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen
2010 — ed.
Software Engineering Approaches for Offshore and Outsourced Development - 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
SEAFOOD
Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov
2009 — conf
A Sound and Complete Program Logic for Eiffel.
TOOLS (47)
Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer
2009 — ed.
Software Engineering Approaches for Offshore and Outsourced Development - 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers
SEAFOOD
Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio
2009 — conf
The Role of Contracts in Distributed Development.
SEAFOOD
Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli
2008 — conf
Proof-Transforming Compilation of Eiffel Programs.
TOOLS (46)
Martin Nordio, Peter Müller, Bertrand Meyer
2007 — conf
Proof-transforming compilation of programs with abrupt termination.
SAVCBS
Peter Müller, Martin Nordio