 |
|
||||||||||
Completed Semester Projects
| Name of Student | Timeframe | Title of Project | Documents |
|
Roman Scheidegger |
HS 2009 |
Translating Java bytecode to Simple |
[Description] [Report] |
| Sebastian Groessl | HS 2007 | Slicing Spec# Programs |
[Description] [Report] |
| David Steiger | HS 2007 | Extending supported language subset of Jive |
[Description] [Report] |
| Martin Bill | WS 2006/07 | Usability Evaluation of Jive |
[Description] [Report] |
| Dominique Schneider | WS 2006/07 | Testing Tool for Compilers |
[Description] [Report] |
| Paolo Bazzi | SS 2006 | Integration of Universe Type System Tools into Eclipse |
[Description] [Report] |
| Olivier Girard | SS 2006 | Case Study in the Boogie Methodology |
[Description] [Report] |
| Benjamin Lutz | SS 2006 | Mono's System.Collection Classes: A Spec# Case Study |
[Description] [Report] |
| Ovidio Mallo | SS 2006 | MultiJava, JML, and Generics |
[Description] [Report] |
| Annetta Schaad | SS 2006 | Universe Type System for Eiffel |
[Description] [Report] |
| Yoshimi Takano | SS 2006 | Integrating Simplify into Jive |
[Description] [Report] |
| David Graf | WS 2005/06 | Implementing Purity and Side Effect Analysis for Java Programs |
[Description] [Report] |
| Marco Meyer | WS 2005/06 | Interaction with Ownership Graphs |
[Description] [Report] |
| Samuel Burri | SS 2005 | Translation of object-oriented programs into guarded commands |
[Description] [Report] |
| Dominik Grolimund | SS 2005 | Design Patterns in Peer-to-Peer Systems |
[Description] [Report] |
| Adrian Moos | SS 2005 | Welldefinedness and expressiveness of JML specifications |
[Description] [Report] |
| Dirk Wellenzohn | SS 2005 | Implementation of a Universe type checker in ESC/Java2 |
[Description] [Report] |
| Ghislain Fourny | WS 2004/05 | Generating Proof Obligations from JML Specifications |
[Description] [Report] |
| Erich Laube | WS 2004/05 | Transformation of Java Card into Diet Java Card |
[Description] [Report] |
| Alex Suzuki | WS 2004/05 | Bytecode support for the Universe type system and compiler |
[Description] [Report] |
| Fabian Bannwart | SS 2004 | A Logic for Bytecode and the Translation of Proofs from Sequential Java |
[Description] [Report] |
| Thomas Hächler | SS 2004 | Static Fields in the Universe Type System |
[Description] [Report] |
| Marcello Miragliotta | SS 2004 | Specification Model Library for the Interactive Program Prover JIVE |
[Description] [Report] |
| Daniel Schregenberger | SS 2004 | Runtime checks for the Universe Type System |
[Description] [Report] |
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information
