Julian Tschannen

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