Martin Nordio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2010–2015
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | TACAS | AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. | Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova |
| 2014 | FASE | Automatic Program Repair by Fixing Contracts. | Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2014 | FM | Contracts in Practice. | H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer |
| 2014 | ICGSE | Awareness and Merge Conflicts in Distributed Software Development. | H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer |
| 2013 | ECOOP | Really Automatic Scalable Object-Oriented Reengineering. | Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2013 | FASE | Javanni: A Verifier for JavaScript. | Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia |
| 2013 | ICGSE | Collaborative Debugging. | H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer |
| 2013 | ICSE | 3rd international workshop on developing tools as plug-ins (TOPI 2013). | Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky |
| 2011 | ICGSE | How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. | Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto |
| 2011 | ICSE | Teaching software engineering using globally distributed projects: the DOSE course. | Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni |
| 2011 | SEFM | Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. | Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2010 | ICSE | Advanced hands-on training for distributed and outsourced software engineering. | Martin Nordio, Roman Mitin, Bertrand Meyer |