Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin Nordio" ( http://dblp.L3S.de/Authors/Martin_Nordio )

URL (Homepage):  http://se.inf.ethz.ch/people/nordio/  Author page on DBLP  Author page in RDF  Community of Martin Nordio in ASPL-2

Publication years (Num. hits)
2004-2011 (18) 2012 (1)
Publication types (Num. hits)
article(4) inproceedings(12) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(4) TOOLS(4) SEAFOOD(3) ASE(2) ICGSE(1) ICSE(1) LASER Summer School(1) SAVCBS(1) SCCC(1) SEFM(1)
Authors
Martin Nordio(19) Bertrand Meyer(16) Carlo A. Furia(7) Julian Tschannen(4) Peter Müller(4) Yi Wei(4) Yu Pei(4) Alexander Horton(2) Carlo Ghezzi(2) Cristiano Calcagno(2) Elisabetta Di Nitto(2) H.-Christian Estler(2) Hannes Roth(2) Mathai Joseph(2) Michael Steindorfer(2) Roman Mitin(2) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 12 keywords
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Bertrand Meyer, Martin Nordio (eds.) Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures Search on Bibsonomy LASER Summer School The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer Verifying Eiffel Programs with Boogie Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Yi 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 Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer Evidence-Based Automated Program Fixing Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Martin Nordio, Bertrand Meyer, H.-Christian Estler Collaborative Software Development on the Web Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. Search on Bibsonomy SEFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio Automated Translation of Java Source Code to Eiffel. Search on Bibsonomy TOOLS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer Code-based automated program fixing. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yi 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. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin 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. Search on Bibsonomy ICGSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen Reasoning about Function Objects. Search on Bibsonomy TOOLS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov (eds.) Software Engineering Approaches for Offshore and Outsourced Development - 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings Search on Bibsonomy SEAFOOD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Nordio, Roman Mitin, Bertrand Meyer Advanced hands-on training for distributed and outsourced software engineering. Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF multinational project, teaching, distributed software engineering
1Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer A Sound and Complete Program Logic for Eiffel. Search on Bibsonomy TOOLS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF operational semantics, Software verification, Eiffel, program proofs
1Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli The Role of Contracts in Distributed Development. Search on Bibsonomy SEAFOOD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Contracts, Distributed Development, Interface Specifications, Software Requirements Specifications
1Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio (eds.) Software Engineering Approaches for Offshore and Outsourced Development, Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers Search on Bibsonomy SEAFOOD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Nordio, Peter Müller, Bertrand Meyer Proof-Transforming Compilation of Eiffel Programs. Search on Bibsonomy TOOLS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
1Peter Müller, Martin Nordio Proof-transforming compilation of programs with abrupt termination. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF proof-transforming compiler, proof-carrying code, trusted components
1Martín Nordio, Ricardo Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum A Framework for Execution of Secure Mobile Code based on Static Analysis. Search on Bibsonomy SCCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.