Completed student projects

2015

Supporting multiple proof engines by translating between intermediate verification languages [details]
Master's thesis, March 2015 — September 2015
Author: Michael Ameri
Supervisor: Carlo A. Furia

Implementation of a hint system for solving Java programming exercises [details]
Bachelor's thesis, January 2015 — August 2015
Author: Baumann Cedric
Supervisor: Đurica Nikolić and Marco Piccioni

First steps towards a web framework for an automated Eiffel code teaching assistant [details]
Bachelor's thesis, February 2015 — July 2015
Author: Christian Vonrüti
Supervisor: Marco Piccioni

The impact of requirements in distributed software development: an empirical study [details]
Master's Thesis, December 1st, 2014 - June 1st, 2015
Author: Marc Egg
Supervisor: Martin Nordio and Christian Estler

Real-time Conflict Awareness for Distributed Version Control Systems [details]
Master's Thesis, November 2014 - April 2015
Author: Fabian Gremper
Supervisor: Martin Nordio and Christian Estler

Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE [details]
Master's Thesis, October 2014 — April 2015
Author: Claudio Corrodi
Supervisor: Chris Poskitt and Alexander Heußner (University of Bamberg)

Eiffel Inspector Improvements [details]
Bachelor's Thesis, September 2014 — March 2015
Author: Samuel Schmid
Supervisor: Julian Tschannen

Robot control by user tracking with a laser range scanner [details]
Master's Thesis, August 2014 — February 2015
Author: Ivo Steinmann
Supervisor: Jiwon Shin

2014

AutoTeach: incremental hints for programming exercises [details]
Master's thesis, March 2014 — September 2014
Author: Paolo Antonucci
Supervisor:Marco Piccioni

Parallelism visualizer for SCOOP [details]
Master's Thesis, July 2014 — December 2014
Author: Dominic Meier
Supervisor: Mischael Schill

Mantra: Eiffel as a web service [details]
Internship, May 2014 — July 2014
Author: Manav Kedia
Supervisor: Martin Nordio and Christian Estler

Graphical user interface for Roboscoop applications [details]
Bachelor's Thesis, April 2014 — October 2014
Author: Jonas Stulz
Supervisor: Andrey Rusakov

Gesture-based user interface [details]
Master's Thesis, April 2014 — October 2014
Author: David Itten
Supervisor: Jiwon Shin, Andrey Rusakov

Concurrency patterns in SCOOP [details]
Master's Thesis, March 2014 — September 2014
Author: Roman Schmocker
Supervisor:Alexey Kolesnichenko

Distributed testing sessions for AutoTest [details]
Master's Thesis at the University of Lorraine (France), March 2014 — September 2014
Author: Victorien Elvinger
Supervisor: Chris Poskitt, Alexey Kolesnichenko, and Max (Yu) Pei

A constraint-based layout manager for Eiffel [details]
Master's thesis, November 2013 — May 2014
Author: Emanuele Rudel
Supervisor: Đurica Nikolić

Rule-based code analysis [details]
Master's thesis, October 2013 — April 2014
Author: Stefan Zurfluh
Supervisor: Julian Tschannen

Application of SCOOP to Mission Control in Robotics [details]
Research in Computer Science project, September 2013 — February 2014
Author: Ganesh Ramanathan
Supervisors: Benjamin Morandi, Sebastian Nanz, Stéphane Magnenat

2013

Implementing and evaluating an exception mechanism for SCOOP [details]
Master's thesis, March 2013 — September 2013
Author: Florian Besser
Supervisor: Benjamin Morandi

Loop invariant inference from postconditions in EVE [details]
Bachelor's thesis, November 2012 — June 2013
Author: Michael Ameri
Supervisors: Carlo A. Furia and Julian Tschannen

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

Spell checker [report]
Software Engineering Laboratory, September 2012 — January 2013
Author: Benjamin Fischer
Supervisor: Julian Tschannen

Syntax Highlighting for Eiffel on the web
Software Engineering Laboratory, September 2012 — January 2013
Author: Trisha Kothari
Supervisor: Julian Tschannen

2012

Diff library in Eiffel (Diffeif) [details]
Bachelor's Thesis, September 2012 — January 2013
Author: Rafael Wampfler
Supervisor: Max Pei

Extending CloudStudio with a collaborative remote debugger [details]
Master's Thesis at Politecnico di Milano, January 2012 — December 2012
Author: Rand Nezha and Mert Tufekci
Supervisor: Elisabetta Di Nitto, Martin Nordio and Christian Estler

Refinements and Git Integration with Notifications and Monitoring [details]
Software Engineering Laboratory: Open Source Eiffel Studio — November 2012
Author: Christopher Dentel
Supervisor: Martin Nordio and Christian Estler

News and Notification: Propagating Relevant Changes to Developers [details]
Software Engineering Laboratory: Open Source Eiffel Studio — February 2012
Author: Christopher Dentel
Supervisor: Martin Nordio and Christian Estler

Monitors: Keeping Informed on Code Changes [details]
Independent Research Study — November 2012
Author: Christopher Dentel
Supervisor: Martin Nordio and Christian Estler

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

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

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

An executable structural operational semantics for SCOOP [details]
Master's 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's 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's Thesis at MTEC (ETH), October 2011 — December 2011
Author: Johannes Schneider
Supervisor: Martin Nordio and Christian Estler

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

Revision control support for a web-based IDE [details]
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's Thesis, February 2011 — May 2011
Author:Florian Besser
Supervisor:Scott West

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

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

2010

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

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

Applying Data Mining to Contract Inference [details]
Master's 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's 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's Thesis, December 2009 — May 2010
Author: Stefan Buchholz
Supervisor: Yi Wei

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

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

Implementation of Advanced SCOOP Aspects [details]
Master's 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's Thesis, June 2009 — November 2009
Author: Reto Ohnsorg
Supervisor: Marco Trudel

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

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

Relation between Quality of an OO System and Multiple Inheritance — An Exploration
Master's 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