Dr. 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

Contact 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

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

Publications

• Bernd Schoeller, Making classes provable through contracts, models and frames, dissertation thesis, Departement Informatik, ETH Zurich, 2007
  Thesis
• Bernd Schoeller, Eiffel0: An Object-Oriented Language with Dynamic Frame Contracts, Technical Report 542, Chair of Software Engineering, Department of Computer Science, ETH Zurich.
  Paper
• 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).
  Paper
• 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.
  Paper
• 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.
  Paper
• 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

Talks

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

Projects

• 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
  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

• OP - Option Parser for Eiffel
  OP is an easy to use library for parsing command line arguments.

Last update: 2008/03/17 16:10:16, Generated with WPP