Julian Tschannen

According to our database1, Julian Tschannen authored at least 13 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
A fully verified container library.
Formal Aspects Comput., 2018

2017
AutoProof: auto-active functional verification of object-oriented programs.
Int. J. Softw. Tools Technol. Transf., 2017

2015
AutoProof meets some verification challenges.
Int. J. Softw. Tools Technol. Transf., 2015

The AutoProof Verifier: Usability by Non-Experts and on Standard Code.
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

2014
Flexible Invariants through Semantic Collaboration.
Proceedings of the FM 2014: Formal Methods, 2014

2013
Program Checking with Less Hassle.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

2011
Verifying Eiffel Programs with Boogie
CoRR, 2011

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.
Proceedings of the Tools for Practical Software Verification, 2011

Teaching software engineering using globally distributed projects: the DOSE course.
Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, 2011

How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication.
Proceedings of the 6th IEEE International Conference on Global Software Engineering, 2011


2010
Reasoning about Function Objects.
Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010


  Loading...