Martín Nordio

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 2

Top Topics

Specification Languages

Dependency Analysis

Software Engineering

Functional Verification

Top Venues

Publications

Julian Tschannen, Carlo A. Furia, Martín Nordio, Nadia Polikarpova
AutoProof: Auto-active Functional Verification of Object-oriented Programs. CoRR (2015)
Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
Automated Program Repair in an Integrated Development Environment. ICSE (2) (2015)
Martín Nordio, H.-Christian Estler, Bertrand Meyer, Nazareno Aguirre, Rafael Prikladnicki, Elisabetta Di Nitto, Anthony Savidis
An experiment on teaching coordination in a globally distributed software engineering class. CSEE&T (2014)
H.-Christian Estler, Martín Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider
Agile vs. Structured Distributed Software Development: A Case Study. ICGSE (2012)
Martín Nordio, Ricardo Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum
A Framework for Execution of Secure Mobile Code based on Static Analysis. SCCC (2004)