Julian Tschannen
Address
Julian TschannenSoftware Engineering
Clausiusstrasse 59
RZ J3
8092 Zurich
Introduction
I am a research assistant under the supervision of Prof. Bertrand Meyer at the Chair of Software Engineering, ETH Zurich.
Research
Eve: the Eiffel verification environment.
Publications
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 SEFM 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 6th International Conference on Global Software Engineering, IEEE, To appear. [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
TOOLS-EUROPE 2010. [PDF] [BIB] [Springer-Online]
2009
-
Automatic Verification of Eiffel Programs
Julian Tschannen
Master Thesis, ETH Zürich, Chair of Software Engineering, 2009. [PDF]
Events
2012
- LASER Summer School 2011 on Software Engineering, September 2 - 8, 2012, in Elba, Italy. Organizer.
2011
- LASER Summer School 2011 on Software Engineering, September 4 - 10, 2011, in Elba, Italy. Organizer.
2010
- LASER Summer School 2010 on Software Engineering, September 5 - 11, 2010, in Elba, Italy. Organizer.
Teaching
- 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
