Ongoing and completed student projects

Ongoing projects

Awareness in CloudStudio [details]
Semester Project, May 2012 — July 2012
Author:Brian Bullins
Supervisor: Martin Nordio and Christian Estler

Model-based contracts for Java / C# collections [details]
Bachelor thesis and EiffelStudio Lab, May 2012 — September 2012
Author: Tobias Kiefer
Supervisor: Nadia Polikarpova

Automatic Version Control System for Distributed Software Development [details]
Master Thesis, March 2012 — September 2012
Author: Sandra Weber
Supervisor: Martin Nordio and Christian Estler

An EiffelStudio port of the SCOOP profiler with extended metrics [details]
Master Thesis at ITMO, October 2011 — July 2012
Author: Alexander Kalinichenko
Supervisor: Benjamin Morandi

A Comparative Study of Programming Models for Concurrency [details]
Bachelor Thesis at UFRGS (Brazil), November 2011 — Juli 2012
Author: Kaue Soares da Silveira
Supervisor: Sebastian Nanz

Designing and implementing an intermediate verification language [details]
Master Thesis at ITMO, State University in Saint Petersburg, Russia, November 2011 — November 2012
Author: Anton Bannykh
Supervisor: Martin Nordio and Julian Tschannen

Code ownership
Software Engineering Laboratory, September — December 2011
Author: Christopher Dentel
Supervisor: Martin Nordio and Christian Estler

Change awareness
Semester Thesis, September — December 2011
Author: Christopher Dentel
Supervisor: Martin Nordio and Christian Estler

Completed projects

2012

An executable structural operational semantics for SCOOP [details]
Master Thesis, October 2011 — April 2012
Author: Mischael Schill
Supervisor: Benjamin Morandi

A Mac OS X EiffelVision port based on a generated Cocoa wrapper [details]
Bachelor Thesis, October 2011 — February 2012
Author: Emanuele Rudel
Supervisor: Benjamin Morandi

2011

Purity Checker Software Engineering Laboratory, September — December 2011
Authors: Antoine Kaufmann, Reto Wyss
Supervisors: Nadia Polikarpova, Scott West

Successful outsourcing: Necessary conditions and best practices [details]
Master Thesis at MTEC (ETH), October 2011 — December 2011
Author: Johannes Schneider
Supervisor: Martin Nordio and Christian Estler

A web-based IDE for Java
Software Engineering Laboratory, September — December 2011
Author: Marcel Bertsch
Supervisor: Martin Nordio and Christian Estler

Revision control support for a web-based IDE
Software Engineering Laboratory, September — December 2011
Author: Roland Meyer
Supervisor: Martin Nordio and Christian Estler

Fine-grained aspects of automatic refactoring in C2Eiffel [details]
Master Thesis, April 2011 — September 2011
Author: Adrian Friedli
Supervisor: Marco Trudel

Implementing an IRC Server Using an Object-Oriented Programming Model for Concurrency [details]
Bachelor Thesis, April 2011 — July 2011
Author:Fabian Gremper
Supervisor:Scott West

Version control in Eve [details]
Software Engineering Laboratory, March 2011 — August 2011
Author: Emanuele Rudel
Supervisor: Nadia Polikarpova

Eiffel HTTP Server [details]
Bachelor Thesis, February 2011 — May 2011
Author:Florian Besser
Supervisor:Scott West

Developing JavaScript applications in Eiffel [details]
Master Thesis, December 2010 — May 2011
Author: Alexandru Dima
Supervisor: Martin Nordio and Christian Estler

Model-based contracts for C# collections [details]
Master Thesis, Tver State University (Russia), February 2011 — April 2011
Author: Elena Mokhon
Supervisor: Nadia Polikarpova

2010

Objective-C Frameworks to Eiffel Converter [details]
Master Thesis, May 2009 — November 2010
Author: Matteo Cortonesi
Supervisor: Benjamin Morandi

Capture and Replay Framework for Eiffel [details]
Master Thesis, April 2010 — September 2010
Author: Arno Fiva
Supervisor:Yi Wei

Applying Data Mining to Contract Inference [details]
Master Thesis, March 2010 — August 2010
Author: Nikolay Kazmin
Supervisor: Yi Wei

Reproducible executions of SCOOP programs [details]
Research Project, June 2010 — September 2010
Authors: Andrey Nikonov and Andrey Rusakov
Supervisors: Sebastian Nanz, Benjamin Morandi, Scott West

Proof transforming compilation for Separation logic [details]
Master Thesis at Wuhan University - China, December 2009 — June 2010
Author: Tang Mei
Supervisor: Martin Nordio

Integrating an Automatic Version Control System into EiffelStudio [details]
Engineer Thesis at Hanoi University of Technology, December 2009 — April 2010
Author: Do Le Minh
Supervisor: Martin Nordio

An integrated development environment (IDE) for Distributed Software Engineering [details]
Engineer Thesis at Hanoi University of Technology, December 2009 — April 2010
Author: Le Minh Duc
Supervisor: Martin Nordio

Mutation Tool for Eiffel Code Transformation [details]
Master Thesis, December 2009 — May 2010
Author: Stefan Buchholz
Supervisor: Yi Wei

Automated Object-Oriented Software Testing using Genetic Algorithms and Static Analysis [details]
Master Thesis, September 2009 — March 2010
Author: Lucas S. Silva
Supervisor: Yi Wei

Profiling SCOOP Programs [details]
Master Thesis, November 2009 — April 2010
Author: Martino Trosi
Supervisor: Benjamin Morandi

Implementation of Advanced SCOOP Aspects [details]
Master Thesis, October 2009 — April 2010
Author: Damien Müllhaupt
Supervisor: Benjamin Morandi

2009

Application of SCOOP in Robotic Control [details]
Research Project, September 2009 — December 2009
Author: Ganesh Ramanathan
Supervisors: Sebastian Nanz, Benjamin Morandi, Scott West

SCOOP in Practice [details]
Research in Computer Science II, June 2009 — December 2009
Author: Mohammad Seyed Alavi
Supervisor: Sebastian Nanz

Eclipse Eiffel Development Toolkit - EDT [details]
Master Thesis, June 2009 — November 2009
Author: Reto Ohnsorg
Supervisor: Marco Trudel

TrucStudio [details]
Master Thesis, April 2009 — October 2009
Author: Gerry Kammerer
Supervisor: Michela Pedroni

Object State Exploration [details]
Master Thesis, March 2009 — September 2009
Author: Serge Gebhardt
Supervisor: Yi Wei

Relation between Quality of an OO System and Multiple Inheritance — An Exploration
Master Thesis, October 2008 — April 2009
Author: David Stokar
Supervisor: Yi Wei

EiffelVision for Mac OS X [details]
Master Thesis, March 2009 — September 2009
Author: Daniel Furrer
Supervisor: Benjamin Morandi

Integrating SCOOP into EVE [details]
Master Thesis, March 2009 — September 2009
Author: Patrick Huber
Supervisor: Benjamin Morandi

Improving relevancy of dynamically-inferred contracts in Eiffel [details]
Diploma Thesis, February 2009 — June 2009
Author: Flaviu Roman
Supervisor: Nadia Polikarpova

A system to support the faculty hiring process [details]
Master Thesis, November 2008 — May 2009
Author: Matthias Loeu
Supervisor: Marco Piccioni

Multi-Format, EiffelStudio-integrated Object Browser and Writer [details]
Master Thesis, November 2008 — May 2009
Author: Lucien Hansen
Supervisor: Marco Piccioni

Automatic Verification of Eiffel Agents [details]
Master Thesis, October 2008 — April 2009
Author: Julian Tschannen
Supervisor: Martin Nordio

Embedding Proof-Carrying Components into Isabelle [details]
Master Thesis, September 2008 — March 2009
Author: Bruno Hauser
Supervisor: Martin Nordio

2008

Metrics Calculation for Object-oriented language
Software Engineering Lab, Summer 2008
Author: Tobias Heinzen
Supervisor: Yi Wei

From Research Prototype to Field Test: Lessons Learned
Master thesis
Author: Stefan Mori
Supervisor: Andreas Leitner

Capture and Replay for Eiffel
Master Thesis
Author: Stefan Sieber
Supervisor: Andreas Leitner

TrucStudio - Bug fixing and graph refactoring [details]
Semester thesis, Summer 2008
Author: Damien Mullhaupt
Supervisor: Michela Pedroni

Dynamic assertion inference in a programming language with Design by Contract support (Eiffel case study)
Master Thesis, May 2007 — June 2008
Author: Nadia Polikarpova
Supervisor: Ilinca Ciupa

TrucStudio - Automatic modeling of courses [details]
Master thesis, 18 February 2008 — 17 August 2008
Author: Adrian Muller
Supervisor: Michela Pedroni

TrucStudio - Refactoring clusters [details]
Master thesis, 18 February 2008 — 17 August 2008
Author: Florian Geldmacher
Supervisor: Michela Pedroni

Comparing Courses in TrucStudio [details]
Software Engineering Lab, Summer 2008
Author: Peter von Rohr
Supervisor: Michela Pedroni

Integrating Proof-Transforming Compilation into EiffelStudio [details]
Master Thesis, February 2008 — August 2008
Author: Manuel Hess
Supervisor: Martin Nordio

Proof-Transforming Compilation of Eiffel Contracts [details]
Diploma Thesis, January 2008 — May 2008
Author: Hasan Karahan
Supervisor: Martin Nordio

DEFCON - Development of a Db4o-Eiffel Connector [details]
Master thesis, October 2007 — April 2008
Author: Ruihua Jin
Supervisor: Marco Piccioni

TrucStudio - Course Management [details]
Master thesis, August 2007 — February 2008
Author: Lukas Angerer
Supervisor: Michela Pedroni

TrucStudio - Output Generation [details]
Master thesis, August 2007 — February 2008
Author: Enrico Albonico
Supervisor: Michela Pedroni

2007

OWL Importer for TrucStudio [details]
Semester thesis, Fall 2007
Author: Pascal Goffin
Supervisor: Michela Pedroni

Examples for Touch of Class [details]
Software Engineering Lab, Fall 2007
Author: Corinne Muller and Damien Mullhaupt
Supervisor: Michela Pedroni

ESCHER: Eiffel Schema Evolution Support [details]
Research in Computer Science, Fall 2007
Author: Matthias Loeu
Supervisor: Marco Piccioni

JXTA implementation for Eiffel [details]
Master thesis, September 2006 — March 2007
Author: Beat Strasser

Single Sign-On for Origo [details]
Master thesis, September 2006 — March 2007
Author: Samuele Lucchini

Origo Core [details]
Master thesis, SS 2007
Author: Patrick Ruckstuhl
Supervisor: Till Bay

TrucStudio - A course management tool [details]
Master thesis, March 2007 — September 2007
Author: Michele Croci
Supervisor: Michela Pedroni

Complete Contracts for EiffelBase [details]
Semester Thesis, SS2007
Author: Marco Zietzling
Supervisor: Bernd Schoeller

Guided Random-Based Testing Strategies [details]
Diploma thesis, February 2007 — June 2007
Author: Cosmin Mitran
Supervisor: Ilinca Ciupa

TrucStudio - A prototype [details]
Master thesis, October 2006 — April 2007
Author: Leo Widmer
Supervisor: Michela Pedroni

Traffic 3.2 - Improving Random Building Placement [details]
Semester thesis, WS 2006/2007
Author: Florian Hotz
Supervisor: Michela Pedroni

Traffic 3.2 - Finding Suitable Examples to Assist Students' Learning [details]
Semester thesis, WS 2006/2007
Author: Franziska Fritschi
Supervisor: Michela Pedroni

Implementing a Proof-Transforming Compiler from Eiffel to CIL [details]
Semester thesis, July 2006 — February 2007
Author: Michel Guex
Supervisor: Martin Nordio

Traffic 3.1 - Examples for Eiffel beginners [details]
Semester thesis, July 2006 — February 2007
Author: Roger Imbach
Supervisor: Michela Pedroni

Traffic 3.1 - Getting started [details]
Semester thesis, July 2006 — February 2007
Author: Matthias Loeu
Supervisor: Michela Pedroni

2006

Vision2 Cocoa backend [details]
Semester thesis, July 2006 — December 2006
Author: Jann Roder, Ueli Peter, Roland Hausler

EiffelMedia [details]
Semester thesis, SS 2006
Author: Kaspar Rohrer, Urs Doenni, Matthias Buhlmann, Philipp Krahenbuhl, Dominik Kaser

Traffic 3.1 - Getting Started [details]
Semester thesis, July2006 — December 2006
Author: Matthias Loeu
Supervisor: Michela Pedroni

SMIL Editor for EiffelMedia [details]
Semester thesis, SS 2006
Author: David Huber and Stefan Mori

Field study and clasiffication of faults in Eiffel [details]
Diploma thesis, SS 2006
Author: Raluca Borca-Muresan

Visualizing graphs with Vision2 [details]
Semester thesis, SS 2006
Author: Lukas Angerer

Traffic 3.1 - Enhancing Visualization and Performance of Traffic [details]
Master thesis, SS 2006
Author: Alan Fehr

Traffic 3.1 - Introducing roads [details]
Semester thesis, SS 2006
Author: Michele Croci

Transations in SCOOP [details]
Master thesis, SS 2006
Author: Daniel Moser

Traffic 3.1 - Designing Suitable Examples [details]
Semester thesis, SS 2006
Author: Sarah Hauser

Traffic 3.0 - Extracting Software Examples for Pedagogical Effectiveness [details]
Semester thesis, WS 2005/2006
Author: Susanne Kasper

Designing a User Interface for the Innovative E-mail Client Framework [details]
Semester thesis, WS 2005/2006
Author: Alexandra Burns

AutoTest - Automated fault localization in external C code of Eiffel programs [details]
Semester thesis, WS 2005/2006
Author: Reto Ghioldi

EiffelMedia [details]
Semester thesis, WS 2005/2006
Author: Rafael Bischof, Peter Wyss

Traffic 3.0 - Introducing time into a city model [details]
Semester thesis, WS 2005/2006
Author: Florian Geldmacher

Traffic 3.0 ? Realistic buildings and performance [details]
Semester thesis, WS 2005/2006
Author: Fabian Wuest

2005

Designing an Innovative E-mail Client [details]
Master thesis, SS 2005
Author: Andrea Rezzonico

Wrapping a complex C++ library for Eiffel [details]
Semester thesis, SS 2005
Author: Simon Reinhard

Resolving Name-Clashes in Eiffel [details]
Semester thesis, SS 2005
Author: Alan Fehr

Object-Oriented Numerical Interpolation Component in Eiffel [details]
Bachelor thesis, SS 2005
Author: Benjamin W|thrich

Proving the Deutsch-Schorr-Waite Algorithm using Path Properties [details]
Semester thesis, SS 2005
Author: Ronny Zakhejm

Survey of Persistence Approaches [details]
Master thesis, SS 2005
Author: Shinji Takasaka

Round-trip Engineering of .NET assemblies [details]
Semester thesis, SS 2005
Author: Matthias Konrad

EiffelMedia [details]
Semester thesis, SS 2005
Authors: Martin Seiler, Marco Stoeckli, Robert Weiser, Ueli Weiss, Lukas Naef, Yves Alter, Urs Doenni, Jonas Rutishauser, Julian Tschannen, Marco Senn, Pascal Rota

City 3D - A frontend for Traffic [details]
Semester thesis, SS 2005
Author: Stefan Daniel & Valentin Wustholz

FLAT_HUNT redesign and ESDL extensions [details]
Semester thesis, SS 2005
Author: Ursina Caluori

Touch redesign [details]
Semester thesis, SS 2005
Author: Roger Kung

Design and implementation of a run-time mechanism for deadlock detection in SCOOP [details]
Semester project, SS 2005
Author: Daniel Moser

Steps to Automatic Component Certification [details]
Master thesis, SS 2005
Author: Sibylle Aregger

Eiffel to Java Compiler [details]
Diploma thesis, SS 2005
Author: Benno Baumgartner

Contract Prover [details]
Semester thesis, WS 2004/2005
Author: Daniel Kistler

ESDL [details]
Semester thesis, WS 2004/2005
Author: Patrick Ruckstuhl

Component Assessment Server [details]
Master thesis, WS 2004/2005
Author: Samuele Milani

Object-Oriented Framework for Teaching Introductory Programming [details]
Master thesis, WS 2004/2005
Author: Rolf Bruderer

Redesign of the TRAFFIC library [details]
Semesterarbeit, WS 2004/2005
Author: Sibylle Aregger

2004

Exercise Design for Introductory Programming - "Learn-by-doing" basic OO-concepts using Inverted Curriculum [details]
Master thesis, SS 2004, March 2004 — September 2004
Author: Marcel Kessler

ESDL - Sound API Extensions and Antialiasing [details]
Semesterarbeit, SS 2004
Author: Yann Muller

Code Crawler [details]
Semesterarbeit, SS 2004
Author: Andri Toggenburger

Component Server [details]
Semesterarbeit, SS 2004
Author: Samuele Milani

Extending the Eiffel library for data structures and algorithms: EiffelBase [details]
Master thesis, SS 2004
Author: Olivier Jeger

Precondition Enforcement Analysis for Quality Assurance [details]
Master thesis, SS 2004
Author: Nadja Beeli

Contract Wizard II: Developing a GUI [details]
Diplomarbeit, SS 2004
Author: Petra Marty

Reflection Library for Eiffel [details]
Master thesis, SS 2004
Author: Beat Fluri

Further development of the Test Wizard (An automatic test tool based on Design by Contract) [details]
Student project, SS 2004, March 2004 — July 2004
Author: Ilinca Ciupa (guest at Chair of Software Engineering)

Formal Semantic Specification of a Core Object-Oriented Language [details]
Diplomarbeit SS 2004
Author: Thomas Bietenhader

Reusable Mathematical Models [details]
Master thesis, January 2004 — July 2004
Author: Tobias Widmer

Exception Handling in SCOOP [details]
Diplomarbeit WS 2003/2004, January 2004 — March 2004
Author: Christopher Nenning

Reimplementation of Elevator control application using EiffelVision [details]
Semesterarbeit WS 2003/2004
Author: Erwin Betschart

Distance Vector Routing using SCOOP [details]
Semesterarbeit WS 2003/2004
Author: Emmanuel Python

ESDL - Eiffel Simple Direct Media Library [details]
Semesterarbeit WS 2003/2004
Author: Benno Baumgartner

Test Wizard: Automatic test generation based on Design by Contract [details]
Master project WS 2003/2004, July 2003 — January 2004
Author: Nicole Greber

2003

Contract Wizard II [details]
Diplomarbeit SS 2003, June 2003 — October 2003
Author: Dominik Wotruba

Eiffel SDL multimedia library (ESDL) [details]
Diplomarbeit SS 2003, May 2003 — September 2003
Author: Till Bay

Eiffel library to generate Java bytecodes [details]
Diplomarbeit SS 2003, May 2003 — September 2003
Author: Daniel Gisel

Automatic Contract Extraction: Developing a CIL Parser [details]
Diplomarbeit SS 2003, May 2003 — September 2003
Author: Christoph Marti

Teaching introductory programming with the Inverted Curriculum approach [details]
Diplomarbeit SS 2003, May 2003 — September 2003
Author: Michela Pedroni

Catching CATs - Towards a fully typesafe Eiffel [details]
Diplomarbeit SS 2003, March 2003 — July 2003
Author: Markus Keller

Comparison of .NET and Java threading [details]
Semesterarbiet WS 2002/2003
Author: Axel Wathne

Turning design patterns into reusable components [details]
Semesterarbeit WS 2002/2003
Author: Anders Haugeto

GUI for student management [details]
Semesterarbeit WS 2002/2003
Author: Dominik Wotruba

Exploration of the Suitability of O-O Techniques for the Design and Implementation of a Numeric Math Library using Eiffel [details]
Diplomarbeit, October 2002 — February 2003
Author: Peter Hafliger

2002

EiffelUnits [details]
Semesterarbeit SS 2002
Author: Markus Keller

Eiffel conformant Wrapper Classes for the .NET Threading Library [details]
Semesterarbeit SS 2002
Author: Judith Zimmermann