Julian Tschannen

Introduction

This page is outdated, my new homepage is jt.x73.ch.

I have completed my PhD under the supervision of Prof. Bertrand Meyer at ETH Zurich in the area of software verification. My thesis - Automated Usable Functional Verification of Object-Oriented Programs - contains details on the functionality and implementation of AutoProof and the Verification Assistant, both integrated in EVE.

Publications

Submitted

• Automated Usable Functional Verification of Object-Oriented Programs
  Julian Tschannen
  PhD Thesis, ETH Zurich, 2015.
• The AutoProof Verifier: Usability by Non-Experts and on Standard Code
  Carlo A. Furia, Christopher M. Poskitt, and Julian Tschannen
  

2015

• A Fully Verified Container Library
  Nadia Polikarpova, Julian Tschannen, and Carlo A. Furia
  In Proceedings of 20th International Symposium on Formal Methods (FM 15), 2015. [PDF] [BIB]
• AutoProof: Auto-active Functional Verification of Object-oriented Programs
  Julian Tschannen, Carlo A. Furia, Martin Nordio, and Nadia Polikarpova
  In Proceedings of 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 15), 2015. [PDF] [BIB]

2014

• Flexible Invariants Through Semantic Collaboration
  Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, and Bertrand Meyer
  In Proceedings of 19th International Symposium on Formal Methods (FM 14), 2014. [PDF] [BIB]
• AutoProof Meets Some Verification Challenges
  Julian Tschannen, Carlo A. Furia, and Martin Nordio
  In International Journal on Software Tools for Technology Transfer (STTT), Special Section on Program Verification, 2014. [PDF] [BIB]

2013

• Program Checking With Less Hassle
  Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer
  In Proceedings of Verified Software: Theories, Tools and Experiments (VSTTE), 2013. [PDF] [BIB]

2012

• Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach
  Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer
  In Tools for Practical Software Verification - LASER 2011, International Summer School, 2012. [PDF] [BIB]
• The COST IC0701 Verification Competition 2011
  Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen and Mattias Ulbrich
  In Proceedings of the 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOos), 2011. [PDF] [BIB]

2011

• Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques
  Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer
  In proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM), Lecture Notes in Computer Science 7041:382-398, Springer-Verlag, 2011. [PDF] [BIB]
• Verifying Eiffel Programs with Boogie
  Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer
  Presented at BOOGIE 2011. [PDF] [BIB] [arXiv.org > cs > 1106.4700]
• How do Distribution and Time Zones affect Software Development? A Case Study on Communication
  Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, and Elisabetta Di Nitto
  In Proceedings of the 6th International Conference on Global Software Engineering (ICGSE), IEEE pages 176--184, 2011. [PDF] [BIB]
• Teaching Software Engineering using Globally Distributed Projects: the DOSE course
  Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, and Vidya Kulkarni
  In Collaborative Teaching of Globally Distributed Software Development - Community Building Workshop (CTGDSD), ACM, 2011. [PDF] [BIB]

2010

• Reasoning about Function Objects
  Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, and Julian Tschannen
  In Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS-EUROPE 2010). [PDF] [BIB] [Springer-Online]

2009

• Automatic Verification of Eiffel Programs
  Julian Tschannen
  Master's Thesis, ETH Zürich, Chair of Software Engineering, 2009. [PDF]

Events

• LASER Summer School 2014, September 7 - 13, 2014, in Elba, Italy. Organizer.
• LASER Summer School 2013, September 8 - 14, 2013, in Elba, Italy. Organizer.
• LASER Summer School 2012, September 2 - 8, 2012, in Elba, Italy. Organizer.
• LASER Summer School 2011, September 4 - 10, 2011, in Elba, Italy. Organizer.
• LASER Summer School 2010, September 5 - 11, 2010, in Elba, Italy. Organizer.

Teaching

• Fall 2014: teaching assistant for Distributed Software Engineering Laboratory
• Fall 2013: teaching assistant for Distributed Software Engineering Laboratory
• Spring 2013: teaching assistant for Java and C# in depth
• Fall 2012: head assistant for Introduction to Programming
• Fall 2011: teaching assistant for Introduction to Programming
• Spring 2011: head assistant for Software Architecture
• Fall 2010: teaching assistant for Distributed and Outsourced Software Engineering (DOSE)
• Spring 2010: teaching assistant for Software Architecture
• Fall 2009: teaching assistant for Introduction to Programming

Student projects

• Eiffel Inspector Improvements, Bachelor's thesis
  Samuel Schmid, September 2014 - March 2015
• Rules for static analysis, Software Engineering Lab
  Samuel Schmid, Spring Semester 2014
• Rule-based code analysis, Master's thesis
  Stefan Zurfluh, Oktober 2013 — April 2014
• Loop invariant inference from postconditions in EVE, Bachelor's thesis
  Michael Ameri, November 2012 — April 2013
• Spell checker for EiffelStudio, Software Engineering Lab
  Benjamin Fischer, Fall Semester 2012
• Syntax Hihglighting for Eiffel on the Web, Software Engineering Lab
  Trisha Kothari, Fall Semester 2012