`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: Stehr:Mark=Oliver

### Contributed to:

### 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.