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 × Poland
1 × Portugal
1 × Singapore
1 × Spain
1 × USA
Collaborated with:
O.Maric D.A.Basin M.Dam M.Huisman D.Gurov G.Chugunov
Talks about:
calculus (2) model (2) cryptograph (1) transact (1) structur (1) protocol (1) interact (1) circular (1) abstract (1) restart (1)

Person: Christoph Sprenger

DBLP DBLP: Sprenger:Christoph

Contributed to:

FM 20142014
LICS 20082008
FASE 20042004
FoSSaCS 20032003
TACAS 19981998

Wrote 5 papers:

FM-2014-MaricS #hardware #memory management #transaction #verification
Verification of a Transactional Memory Manager under Hardware Failures and Restarts (OM, CS), pp. 449–464.
LICS-2008-SprengerB #abstraction
Cryptographically-Sound Protocol-Model Abstractions (CS, DAB), pp. 115–129.
FASE-2004-HuismanGSC #case study #interactive
Checking Absence of Illicit Applet Interactions: A Case Study (MH, DG, CS, GC), pp. 84–98.
FoSSaCS-2003-SprengerD #calculus #induction #on the #proving #reasoning #μ-calculus
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the μ-Calculus (CS, MD), pp. 425–440.
TACAS-1998-Sprenger #calculus #coq #model checking #μ-calculus
A Verified Model Checker for the Modal μ-calculus in Coq (CS), pp. 167–183.

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.