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: Sprenger:Christoph
Contributed to:
2014
2008
2004
2003
1998Wrote 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.