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 × 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 DBLP: Mendler:Michael

Contributed to:

ESOP 20142014
PLDI 20142014
DATE 20132013
DATE 20092009
CSL 20012001
ICALP 20002000
CAV 19971997
TACAS 19971997
ESOP 19941994
ESOP 20182018

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

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.