BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × France
Collaborated with:
J.Peleska A.Honisch F.Lapschies H.Schmid P.Smuda E.Vorobev C.Zahlten
Talks about:
model (2) time (2) test (2) real (2) benchmark (1) automata (1) generat (1) concurr (1) automot (1) system (1)

Person: Helge Löding

DBLP DBLP: L=ouml=ding:Helge

Contributed to:

ICTSS 20112011
ICST 20102010

Wrote 2 papers:

ICTSS-2011-PeleskaHLLSSVZ #benchmark #concurrent #metric #realtime #testing
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain (JP, AH, FL, HL, HS, PS, EV, CZ), pp. 146–161.
ICST-2010-LodingP #automaton #generative #model checking #testing
Timed Moore Automata: Test Data Generation and Model Checking (HL, JP), pp. 449–458.

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.