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: L=ouml=ding:Helge
Contributed to:
2011
2010Wrote 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.