Julian Tschannen

According to our database, Julian Tschannen authored at least 14 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A fully verified container library.

Nadia Polikarpova, Julian Tschannen, Carlo A. Furia

Formal Aspects Comput., 2018

2017

AutoProof: auto-active functional verification of object-oriented programs.

Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen

Int. J. Softw. Tools Technol. Transf., 2017

2015

Automated Usable Functional Verification of Object-Oriented Programs.

Julian Tschannen

PhD thesis, 2015

AutoProof meets some verification challenges.

Julian Tschannen, Carlo A. Furia, Martin Nordio

Int. J. Softw. Tools Technol. Transf., 2015

The AutoProof Verifier: Usability by Non-Experts and on Standard Code.

Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

2014

Flexible Invariants through Semantic Collaboration.

Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer

Proceedings of the FM 2014: Formal Methods, 2014

2013

Program Checking with Less Hassle.

Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

2011

Verifying Eiffel Programs with Boogie

Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer

CoRR, 2011

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.

Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.

Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer

Proceedings of the Tools for Practical Software Verification, 2011

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, Vidya Kulkarni

Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, 2011

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, Elisabetta Di Nitto

Proceedings of the 6th IEEE International Conference on Global Software Engineering, 2011

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, Mattias Ulbrich

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010

Reasoning about Function Objects.

Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010