Publications

	2010
	Reasoning about Multiple Related Abstractions with MultiStar. Stephan Van Staden, Cristiano Calcagno, Technical report, ETH Zurich, 2010. [pdf] [bib]
	2009
	Separation, Abstraction, Multiple Inheritance and View Shifting. Stephan van Staden, Cristiano Calcagno, Technical report, ETH Zurich, 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]
	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]
	2008
	Formalizing Proof-Transforming Compilation of Eiffel Programs. Martin Nordio, Peter Müller, Bertrand Meyer, Technical report, ETH Zurich, 2008. [pdf] [bib]
	2007
	Proof-Transforming Compilation of Programs with Abrupt Termination. Peter Müller, Martin Nordio, Technical report, ETH Zurich, 2007. [pdf] [bib]
	2006
	Refined access control policy for SCOOP. Piotr Nienaltowski, Technical report, Computer Science Department, ETH Zurich, 2006. [pdf] [bib]
	2004
	Modular Invariants for Layered Object Structures. P. Müller, A. Poetzsch-Heffter, G. T. Leavens, Technical report, Department of Computer Science, ETH Zurich, 2004. [pdf] [bib]
	Modular verification of global module invariants in object-oriented programs. K. R. M. Leino, P. Müller, Technical report, ETH Zurich, 2004. [pdf] [bib]
	Reuse Frequency as Metric for Component Assessment. Till G. Bay, Karl Pauls, Technical report, ETH Zürich, 2004. [bib]
	A Logic for Bytecode. F. Y. Bannwart, P. Müller, Technical report, ETH Zurich, 2004. [pdf] [bib]