BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Huhn:Michaela

Contributed to:

QoSA 20062006
TACAS 20042004
TestCom 20042004
DATE 19991999
FoSSaCS 19991999
UML 19991999
TACAS 19981998
PLILP 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.