Travelled to:1 × Canada
1 × Germany
1 × USA
Collaborated with:R.v.Hanxleden C.Traulsen
Talks about:statechart (1) wysiwyg (1) synthes (1) reactiv (1) esterel (1) develop (1) complex (1) comfort (1) system (1) machin (1)
Person: Steffen Prochnow
DBLP: Prochnow:Steffen
Contributed to:
2007
2006
2006Wrote 3 papers:
- MoDELS-2007-ProchnowH #development #statechart
- Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.
- DATE-2006-ProchnowH #modelling
- Comfortable modeling of complex reactive systems (SP, RvH), pp. 577–578.
- LCTES-2006-ProchnowTH #state machine
- Synthesizing safe state machines from Esterel (SP, CT, RvH), pp. 113–124.