Travelled to:
1 × France
1 × Sweden
Collaborated with:
M.Schlickling A.Bauer M.Tautschnig
Talks about:
analysi (2) model (2) support (1) automat (1) system (1) hybrid (1) deriv (1) wcet (1) tool (1) time (1)
Person: Markus Pister
DBLP: Pister:Markus
Contributed to:
Wrote 2 papers:
- LCTES-2010-SchlicklingP #analysis #automation #modelling
- Semi-automatic derivation of timing models for WCET analysis (MS, MP), pp. 67–76.
- DATE-2007-BauerPT #analysis #hybrid #modelling
- Tool-support for the analysis of hybrid systems and models (AB, MP, MT), pp. 924–929.