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 × Australia
1 × Belgium
1 × Portugal
1 × Spain
2 × Germany
2 × Italy
Collaborated with:
H.Sudbrock A.Reinhard A.Sabelfeld D.Hutter T.Kraußer S.Autexier A.Schairer C.Kreitz J.Otten S.Schmitt G.Rock W.Stephan A.Wolpers M.Balser W.Reif G.Schellhorn K.Stenzel
Talks about:
control (3) inform (3) secur (3) flow (3) languag (2) proof (2) logic (2) base (2) declassif (1) construct (1)

Person: Heiko Mantel

DBLP DBLP: Mantel:Heiko

Contributed to:

LOPSTR 20122012
ESOP 20072007
LOPSTR 20062006
SAS 20022002
FME 20012001
CADE 19991999
FM-Trends 19981998
CADE 19971997

Wrote 8 papers:

LOPSTR-2012-MantelS #analysis #data flow #dependence
Types vs. PDGs in Information Flow Analysis (HM, HS), pp. 106–121.
ESOP-2007-MantelR #classification #security #what
Controlling the What and Where of Declassification in Language-Based Security (HM, AR), pp. 141–156.
LOPSTR-2006-MantelSK #data flow #proving #security #verification
Combining Different Proof Techniques for Verifying Information Flow Security (HM, HS, TK), pp. 94–110.
SAS-2002-SabelfeldM #communication #concurrent
Securing Communication in a Concurrent Language (AS, HM), pp. 376–394.
FME-2001-Mantel #data flow
Information Flow Control and Applications — Bridging a Gap (HM), pp. 153–172.
CADE-1999-AutexierHMS #logic
System Description: inka 5.0 — A Logic Voyager (SA, DH, HM, AS), pp. 207–211.
FM-1998-HutterMRSWBRSS #complexity #formal method #named
VSE: Controlling the Complexity in Formal Software Developments (DH, HM, GR, WS, AW, MB, WR, GS, KS), pp. 351–358.
CADE-1997-KreitzMOS #linear #logic #proving
Connection-Based Proof Construction in Linear Logic (CK, HM, JO, SS), pp. 207–221.

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.