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 × France
1 × Germany
1 × Portugal
Collaborated with:
I.Cervesato C.L.Talcott M.Kim N.Dutt N.Venkatasubramanian M.Clavel F.Durán S.Eker J.Meseguer A.Gehani J.Kim D.Tariq J.Kim
Talks about:
languag (3) cryptoprotocol (2) specif (2) rewrit (2) repres (2) extens (2) depend (2) logic (2) layer (2) cross (2)

Person: Mark-Oliver Stehr

DBLP DBLP: Stehr:Mark=Oliver

Contributed to:

SAC 20132013
DATE 20082008
WRLA 20042005
WRLA 20042007
WRLA 20022002
WRLA 20002000
World Congress on Formal Methods 19991999

Wrote 7 papers:

SAC-2013-KimGKTSK #optimisation
Maximizing availability of content in disruptive environments by cross-layer optimization (MK, AG, JMK, DT, MOS, JSK), pp. 447–454.
DATE-2008-KimSTDV #adaptation #constraints #online #refinement
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation (MK, MOS, CLT, ND, NV), pp. 646–651.
WRLA-2004-CervesatoS05 #dependent type #logic #representation #specification
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types (IC, MOS), pp. 183–207.
WRLA-J-2004-CervesatoS07 #dependent type #logic #representation #specification
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (IC, MOS), pp. 3–35.
WRLA-2002-StehrT #maude #network #programming language #specification
Plan in Maude: Specifying an Active Network Programming Language (MOS, CLT), pp. 240–260.
WRLA-2000-Stehr #calculus #named
CINNI — A Generic Calculus of Explicit Substitutions and its Application to λ-, ς- and pi- Calculi (MOS), pp. 70–92.
FM-v2-1999-ClavelDEMS #maude
Maude as a Formal Meta-tool (MC, FD, SE, JM, MOS), pp. 1684–1703.

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.