Travelled to:1 × Germany
1 × USA
Collaborated with:∅ H.Heinecke W.Damm B.Josko H.Kopetz A.L.Sangiovanni-Vincentelli M.D.Natale
Talks about:softwar (1) reliabl (1) automot (1) analysi (1) system (1) improv (1) compon (1) model (1) check (1) wcet (1)
Person: Alexander Metzner
DBLP: Metzner:Alexander
Contributed to:
2008
2004Wrote 2 papers:
- DATE-2008-HeineckeDJMKSN #component #reliability
- Software Components for Reliable Automotive Systems (HH, WD, BJ, AM, HK, ALSV, MDN), pp. 549–554.
- CAV-2004-Metzner #analysis #model checking #why
- Why Model Checking Can Improve WCET Analysis (AM), pp. 334–347.