Reasoning about Function Objects. - Martin Nordio; Cristiano Calcagno; Bertrand Meyer 001; Peter Müller 001; Julian Tschannen (TOOLS (48), 2010)

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; et al. (FoVeOOS, 2011)

How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. - Martin Nordio; H.-Christian Estler; Bertrand Meyer 001; Julian Tschannen; Carlo Ghezzi; Elisabetta Di Nitto (ICGSE, 2011)

Teaching software engineering using globally distributed projects: the DOSE course. - Martin Nordio; Carlo Ghezzi; Bertrand Meyer 001; Elisabetta Di Nitto; Giordano Tamburrelli; Julian Tschannen; Nazareno Aguirre; Vidya Kulkarni (CTGDSD@ICSE, 2011)

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. - Julian Tschannen; Carlo Alberto Furia; Martin Nordio; Bertrand Meyer 001 (LASER Summer School, 2011)

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. - Julian Tschannen; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (SEFM, 2011)

Verifying Eiffel Programs with Boogie - Julian Tschannen; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (CoRR, 2011)

Program Checking with Less Hassle. - Julian Tschannen; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (VSTTE, 2013)

Flexible Invariants through Semantic Collaboration. - Nadia Polikarpova; Julian Tschannen; Carlo A. Furia; Bertrand Meyer 001 (FM, 2014)

The AutoProof Verifier: Usability by Non-Experts and on Standard Code. - Carlo A. Furia; Christopher M. Poskitt; Julian Tschannen (F-IDE, 2015)

AutoProof meets some verification challenges. - Julian Tschannen; Carlo A. Furia; Martin Nordio (Int. J. Softw. Tools Technol. Transf., 2015)

Automated Usable Functional Verification of Object-Oriented Programs. - Julian Tschannen (2015)

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)

A fully verified container library. - Nadia Polikarpova; Julian Tschannen; Carlo A. Furia (Formal Aspects Comput., 2018)