Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.

J. Tschannen, C. Furia, M. Nordio, and B. Meyer. LASER Summer School, volume 7682 of Lecture Notes in Computer Science, page 133-155. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Baumann

Martin Schwartz University of Stuttgart

Martin Alvarez University of Stuttgart

Univ. -Prof. Martin Ostermann University of Stuttgart

Dr. Martin Rose University of Stuttgart

Other publications of authors with the same name

Agile vs. structured distributed software development: A case study.H. Estler, M. Nordio, C. Furia, B. Meyer, and J. Schneider. Empirical Software Engineering, 19 (5): 1197-1224 (2014)Automated Program Repair in an Integrated Development Environment.Y. Pei, C. Furia, M. Nordio, and B. Meyer. ICSE (2), page 681-684. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).How Specifications Change and Why You Should CareH. Estler, M. Piccioni, C. Furia, M. Nordio, and B. Meyer. CoRR, (2012)Collaborative Software Development on the WebM. Nordio, B. Meyer, and H. Estler. CoRR, (2011)Agile vs. Structured Distributed Software Development: A Case Study.H. Estler, M. Nordio, C. Furia, B. Meyer, and J. Schneider. ICGSE, page 11-20. IEEE Computer Society, (2012)3rd international workshop on developing tools as plug-ins (TOPI 2013).M. Barnett, M. Nordio, J. Bishop, K. Breitman, and D. Garbervetsky. ICSE, page 1555. IEEE Computer Society, (2013)Javanni: A Verifier for JavaScript.M. Nordio, C. Calcagno, and C. Furia. FASE, volume 7793 of Lecture Notes in Computer Science, page 231-234. Springer, (2013)A Framework for Execution of Secure Mobile Code based on Static Analysis.M. Nordio, R. Medel, F. Bavera, J. Aguirre, and G. Baum. SCCC, page 59-66. IEEE Computer Society, (2004)Automatic Translation of C Source Code to EiffelM. Trudel, C. Furia, M. Nordio, B. Meyer, and M. Oriol. CoRR, (2012)Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.J. Tschannen, C. Furia, M. Nordio, and B. Meyer. SEFM, volume 7041 of Lecture Notes in Computer Science, page 382-398. Springer, (2011)