Travelled to:1 × Portugal
1 × Spain
1 × Sweden
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × Germany
Collaborated with:K.Diethers T.Gehrke P.Niebert F.Wallner B.Florentz T.Mücke K.Schneider T.Kropf G.Logothetis T.Firley U.Goltz
Talks about:analysi (2) verif (2) time (2) base (2) architectur (1) statechart (1) testsuit (1) sequenti (1) imprecis (1) communic (1)
Person: Michaela Huhn
DBLP: Huhn:Michaela
Contributed to:
2006
2004
2004
1999
1999
19991998
1996Wrote 8 papers:
- QoSA-2006-FlorentzH #analysis #architecture #embedded #evaluation
- Embedded Systems Architecture: Evaluation and Analysis (BF, MH), pp. 145–162.
- TACAS-2004-DiethersH #design #named #object-oriented #using #verification
- Vooduu: Verification of Object-Oriented Designs Using UPPAAL (KD, MH), pp. 139–143.
- TestCom-2004-MuckeH #generative #uml
- Generation of Optimized Testsuites for UML Statecharts with Time (TM, MH), pp. 128–143.
- DATE-1999-HuhnSKL #verification
- Verifying Imprecisely Working Arithmetic Circuits (MH, KS, TK, GL), p. 65–?.
- FoSSaCS-1999-HuhnNW #communication #logic #model checking
- Model Checking Logics for Communicating Sequential Agents (MH, PN, FW), pp. 227–242.
- UML-1999-FirleyHDGG #analysis #case study #diagrams #sequence chart
- Timed Sequence Diagrams and Tool-Based Analysis — A Case Study (TF, MH, KD, TG, UG), pp. 645–660.
- TACAS-1998-HuhnNW #verification
- Verification Based on Local States (MH, PN, FW), pp. 36–51.
- PLILP-1996-GehrkeH #execution #named #specification
- ProFun — A Language for Executable Specifications (TG, MH), pp. 304–318.