Travelled to:1 × Israel
1 × Switzerland
1 × The Netherlands
2 × United Kingdom
4 × France
Collaborated with:R.v.Hanxleden H.R.Andersen J.Aguado G.Lüttgen P.Kelb T.Margaria-Steffen C.Gsottberger I.Fuhrmann C.Traulsen B.Duderstadt C.Motika S.Mercer O.O'Brien N.Alechina V.d.Paiva E.Ritter J.Aguado M.Pouzet P.S.Roop S.Smyth
Talks about:synchron (4) statechart (3) construct (3) sequenti (3) concurr (3) algebra (3) determinist (2) process (2) conserv (2) semant (2)
Person: Michael Mendler
DBLP: Mendler:Michael
Contributed to:
2014
2014
20132009
2001
2000
1997
19971994
19952018Wrote 11 papers:
- ESOP-2014-AguadoMHF #concurrent #programming
- Grounding Synchronous Deterministic Concurrency in Sequential Programming (JA, MM, RvH, IF), pp. 229–248.
- PLDI-2014-HanxledenDMSMAMO #named #safety
- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.
- DATE-2013-HanxledenMADFMMO #concurrent
- Sequentially constructive concurrency: a conservative extension of the synchronous model of computation (RvH, MM, JA, BD, IF, CM, SM, OO), pp. 581–586.
- DATE-2009-MendlerHT #algebra #interface
- WCRT algebra and interfaces for esterel-style synchronous processing (MM, RvH, CT), pp. 93–98.
- CSL-2001-AlechinaMPR #category theory #logic #semantics
- Categorical and Kripke Semantics for Constructive S4 Modal Logic (NA, MM, VdP, ER), pp. 292–307.
- ICALP-2000-LuttgenM #modelling #semantics
- Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models (GL, MM), pp. 163–174.
- CAV-1997-KelbMMG #named #performance
- MOSEL: A Sound and Efficient Tool for M2L(Str) (PK, TMS, MM, CG), pp. 448–451.
- TACAS-1997-KelbMMG #flexibility #higher-order #logic #monad #named #tool support
- MOSEL: A FLexible Toolset for Monadic Second-Order Logic (PK, TMS, MM, CG), pp. 183–202.
- ESOP-1994-AndersenM #algebra #multi
- An Asynchronous Algebra with Multiple Clocks (HRA, MM), pp. 58–73.
- TAPSOFT-1995-AndersenM #algebra #case study #process
- Describing a Signal Analyzer in the Process Algebra PMC - A Case Study (HRA, MM), pp. 620–635.
- ESOP-2018-AguadoMPRH #approach #concurrent #memory management
- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach (JA, MM, MP, PSR, RvH), pp. 86–113.