BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Norway
1 × Singapore
1 × Spain
1 × United Kingdom
1 × Uruguay
Collaborated with:
C.A.Furia N.Polikarpova M.Nordio B.Meyer C.Calcagno P.Müller
Talks about:
object (3) function (2) program (2) orient (2) verif (2) auto (2) techniqu (1) collabor (1) librari (1) flexibl (1)

Person: Julian Tschannen

DBLP DBLP: Tschannen:Julian

Contributed to:

FM 20152015
TACAS 20152015
FM 20142014
SEFM 20112011
TOOLS Europe 20102010

Wrote 5 papers:

FM-2015-PolikarpovaTF #library
A Fully Verified Container Library (NP, JT, CAF), pp. 414–434.
TACAS-2015-TschannenFNP #functional #named #object-oriented #source code #verification
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs (JT, CAF, MN, NP), pp. 566–580.
FM-2014-PolikarpovaTFM #collaboration #flexibility #invariant #semantics
Flexible Invariants through Semantic Collaboration (NP, JT, CAF, BM), pp. 514–530.
SEFM-2011-TschannenFNM #object-oriented #source code #verification
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques (JT, CAF, MN, BM), pp. 382–398.
TOOLS-EUROPE-2010-NordioCMMT #reasoning
Reasoning about Function Objects (MN, CC, BM, PM, JT), pp. 79–96.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.