Julian Tschannen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2011–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FM | A Fully Verified Container Library. | Nadia Polikarpova, Julian Tschannen, Carlo A. Furia |
| 2015 | TACAS | AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. | Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova |
| 2014 | FM | Flexible Invariants through Semantic Collaboration. | Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer |
| 2011 | ICGSE | 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 |
| 2011 | ICSE | 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 |
| 2011 | SEFM | Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. | Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer |