default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJulian Tschannen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2015
[b1]Julian Tschannen:
Automated Usable Functional Verification of Object-Oriented Programs. ETH Zurich, Zürich, Switzerland, 2015
Journal Articles
- 2018
- [j3]Nadia Polikarpova, Julian Tschannen, Carlo A. Furia:
A fully verified container library. Formal Aspects Comput. 30(5): 495-523 (2018) - 2017
- [j2]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): 697-716 (2017) - 2015
- [j1]Julian Tschannen, Carlo A. Furia, Martin Nordio:
AutoProof meets some verification challenges. Int. J. Softw. Tools Technol. Transf. 17(6): 745-755 (2015)
Conference and Workshop Papers
- 2015
- [c11]Nadia Polikarpova, Julian Tschannen, Carlo A. Furia:
A Fully Verified Container Library. FM 2015: 414-434 - [c10]Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova:
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. TACAS 2015: 566-580 - [c9]Carlo A. Furia, Christopher M. Poskitt
, Julian Tschannen:
The AutoProof Verifier: Usability by Non-Experts and on Standard Code. F-IDE 2015: 42-55 - 2014
- [c8]Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer:
Flexible Invariants through Semantic Collaboration. FM 2014: 514-530 - 2013
- [c7]Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Program Checking with Less Hassle. VSTTE 2013: 149-169 - 2011
- [c6]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: 3-21 - [c5]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: 176-184 - [c4]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: 36-40 - [c3]Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer:
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. LASER Summer School 2011: 133-155 - [c2]Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. SEFM 2011: 382-398 - 2010
- [c1]Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen:
Reasoning about Function Objects. TOOLS (48) 2010: 79-96
Informal and Other Publications
- 2015
- [i3]Julian Tschannen, Carlo A. Furia, Martín Nordio, Nadia Polikarpova:
AutoProof: Auto-active Functional Verification of Object-oriented Programs. CoRR abs/1501.03063 (2015) - 2013
- [i2]Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer:
Flexible Invariants Through Semantic Collaboration. CoRR abs/1311.6329 (2013) - 2011
- [i1]Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Verifying Eiffel Programs with Boogie. CoRR abs/1106.4700 (2011)
Coauthor Index
aka: Carlo Alberto Furia
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
