Travelled to:1 × France
1 × United Kingdom
Collaborated with:R.v.Hanxleden B.Duderstadt C.Motika M.Mendler J.Aguado O.O'Brien S.Smyth I.Fuhrmann
Talks about:statechart (2) construct (2) synchron (2) sequenti (2) conserv (2) extens (2) synthesi (1) concurr (1) safeti (1) critic (1)
Person: Stephen Mercer
DBLP: Mercer:Stephen
Contributed to:
2014
2013Wrote 2 papers:
- 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.