Publications

	2009
	Separation, Abstraction, Multiple Inheritance and View Shifting. Stephan van Staden, Cristiano Calcagno, Technical report, ETH Zurich, 2009. [pdf] [bib]
	Mobility Models and Behavioural Equivalence for Wireless Networks. Jens Chr. Godskesen, Sebastian Nanz, In Proceedings of the 11th International Conference on Coordination Models and Languages (COORDINATION'09), Springer, volume 5521, 2009. [pdf] [bib]
	Software Engineering Approaches For Outsourced and Offshore Development (SEAFOOD). Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio, revised papers, Lecture Notes in Business Information Processing 16, Springer-Verlag, 2009. [bib]
	A comparative study of programmer-written and automatically inferred contracts. Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer, In ISSTA 2009: International Symposium on Software Testing and Analysis 2009, 2009. [pdf] [bib]
	An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider, In ASE, 2009. [pdf] [bib]
	What Do Beginning CS Majors know?. Michela Pedroni, Manuel Oriol, Technical report, ETH Zurich, Chair of Software Engineering, 2009. [pdf] [bib]
	A Comparison of CS Student Backgrounds at Two Universities. Michela Pedroni, Manuel Oriol, Technical report, ETH Zurich, Chair of Software Engineering, 2009. [pdf] [bib]
	The Role of Contracts in Distributed Development. Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburelli, In Software Engineering Advances For Offshore and Outsourced Development (O. Gotel, M. Joseph, B. Meyer, eds.), volume 35, 2009. [pdf] [bib]
	A Sound and Complete Program Logic for Eiffel. Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer, In TOOLS-EUROPE (M. Oriol, B. Meyer, eds.), volume 33, 2009. [pdf] [bib]
	Soundness and Completeness of a Program Logic for Eiffel. Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer, Technical report, ETH Zurich, 2009. [pdf] [bib]
	Reasoning about Function Objects. Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Technical report, ETH Zurich, 2009. [pdf] [bib]
	Proofs and Proof Transformations for Object-Oriented Programs. Martin Nordio, PhD thesis, ETH Zurich, Switzerland, 2009. [pdf] [bib]
	Contracts for concurrency. Piotr Nienaltowski, Bertrand Meyer, Jonathan S. Ostroff, In Formal Asp. Comput., volume 21, 2009. [pdf] [bib]
	Programs That Test Themselves. Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf, In IEEE Computer, volume 42, 2009. [pdf] [bib]
	Viewpoint - Research evaluation for computer science. Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen, In Commun. ACM, volume 52, 2009. [pdf] [bib]
	Point/Counterpoint. Gerald D. Everett, Bertrand Meyer, In IEEE Software, volume 26, 2009. [pdf] [bib]
	Generating Fixes from Object Behavior Anomalies. Valentin Dallmeier, Andreas Zeller, Bertrand Meyer, In ASE, 2009. [pdf] [bib]
	On the number and nature of faults found by random testing. I. Ciupa, A. Pretschner, M. Oriol, A. Leitner, B. Meyer, In Journal on Software Testing, Verification and Reliability (STVR), Wiley Interscience, 2009. [bib]
	Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi, In Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), IEEE Computer Society Press, 2009. [pdf] [bib]