Dr. Bernd Schoeller

bernd schoeller Mailing address
Bernd Schoeller
Software Engineering, Meyer
ETH Zentrum, RZ J3
8092 Zurich
Physical address
Bernd Schoeller
Department of Computer Science
RZ Building, RZ J5
Clausiusstrasse 59
8092 Zurich
Bernd Schoeller
Phone: +41 1 632 47 55
Fax: +41 1 633 10 38
E-mail: Bernd.Schoeller@inf.ethz.ch
This page: http://se.inf.ethz.ch/people/schoeller

This information is outdated, I am not employed by ETH anymore. Please see my personal homepage at www.fams.de for current contact details. -- Zurich, 2008

General Information

My name is Bernd Schoeller, I have been research assistant at the Chair of Software Engineering at the ETH Zürich between the years 2002 and 2008. Now I am founder and owner of Comerge AG and Oriact GmbH, together with Dr. Till Bay and Patrick Ruckstuhl.

I also have a personal homepage that can be found under www.fams.de.

Areas of Research

My main research area is trusted components and component proving. Here I am trying to find practical ways to fully prove (in a mathematical way) specific characteristics of software components.

Of course I am always working into different directions at the same time. Currently I am working on the following projects:

  • Formal reasoning and verification of classes
  • Model-based contracts and specifications
  • Pointer-aliasing
  • Queries, side-effects and contracts
  • Programming language constructs and semantics
  • Tools for software development


  • Bernd Schoeller, Making classes provable through contracts, models and frames, dissertation thesis, Departement Informatik, ETH Zurich, 2007
  • Bernd Schoeller, Eiffel0: An Object-Oriented Language with Dynamic Frame Contracts, Technical Report 542, Chair of Software Engineering, Department of Computer Science, ETH Zurich.
  • Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller, Using contracts and boolean queries to improve the quality of automatic test generation, to appear in Tests and Proofs (TAP 2007), LNCS, Bertrand Meyer and Yuri Gurevich (editors).
  • Bernd Schoeller, Tobias Widmer and Bertrand Meyer, Making specifications complete through models, to appear in Architecting Systems with Trustworthy Components, eds Ralf Reussner, Judith Stafford and Clemens Szyperski, Springer-Verlag Lecture Notes in Computer Science, vol. 3938, 2006.
  • Bernd Schoeller. "Strengthening Eiffel Contracts using Models", Proceedings of the Workshop on Formal Aspects of Component Software FACS'03, September 2003, UNU/IIST Report No. 284.
  • Bernd Schoeller. "Aliased-based Reasoning for Object-Oriented Programs", in Software Engineering 2006, Annual Report of the Chair of Software Engineering, ETH Zurich
    Paper, Annual Report 2006


  • June 8th, 2006: Together will Till Bay, I had a keynote at OSS 2006 on "Open-Sourcing a Major Commercial Technology".


  • MML - The Mathematical Model Library
    MML is a library of side-effect-free mathematical models that can be used for contracting classes with the Design by Contract approach.
  • iVer and Ballet - Verification of Eiffel Code
    iVer and Ballet are two tools that are developed to facilitate the verification of Eiffel code. Ballet is a translator for Eiffel into BoogiePL, a special programming language designed for the verification of object-oriented code. iVer is a graphical frontend for ballet that makes is possible to interactively edit Eiffel code, with Ballet running in the background.
    Noocleus is an experimental library of mathematical algorithms. It tries to reimplement functionality like that provided by the NAG libraries or tools like Mathematica, but tries to use correct object-oriented abstractions.

Other Software