Julian Tschannen

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 2

Top Topics

Object Oriented Programs

Impact Analysis

Semantically Meaningful

Functional Verification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Nadia Polikarpova, Julian Tschannen, Carlo A. Furia
A fully verified container library. Formal Aspects Comput. 30 (5) (2018)
Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen
AutoProof: auto-active functional verification of object-oriented programs. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia
A Fully Verified Container Library. FM (2015)
Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen
The AutoProof Verifier: Usability by Non-Experts and on Standard Code. F-IDE (2015)
Julian Tschannen, Carlo A. Furia, Martín Nordio, Nadia Polikarpova
AutoProof: Auto-active Functional Verification of Object-oriented Programs. CoRR (2015)
Julian Tschannen, Carlo A. Furia, Martin Nordio
AutoProof meets some verification challenges. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. TACAS (2015)
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
Flexible Invariants through Semantic Collaboration. FM (2014)
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
Flexible Invariants Through Semantic Collaboration. CoRR (2013)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Program Checking with Less Hassle. VSTTE (2013)
Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni
Teaching software engineering using globally distributed projects: the DOSE course. CTGDSD@ICSE (2011)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Verifying Eiffel Programs with Boogie CoRR (2011)
Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto
How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. ICGSE (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
The COST IC0701 Verification Competition 2011. FoVeOOS (2011)
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. SEFM (2011)
Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. LASER Summer School (2011)
Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen
Reasoning about Function Objects. TOOLS (48) (2010)