Travelled to:1 × Canada
1 × France
1 × Italy
1 × USA
Collaborated with:∅ M.Shahbaz K.C.Shashidhar A.Pretschner D.Holling M.Gemmar L.Lin J.H.Poore R.M.Hierons C.Robinson-Mallett
Talks about:specif (3) algorithm (1) behavior (1) sequenc (1) qualiti (1) generic (1) augment (1) analysi (1) termin (1) system (1)
♂ Person: Robert Eschbach
DBLP: Eschbach:Robert
Facilitated 1 volumes:
PracticalTrackPrCoContributed to:
20132013
2011
1999Wrote 4 papers:
- FASE-2013-LinPEHR #analysis #behaviour #requirements #sequence #specification #string
- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification (LL, JHP, RE, RMH, CRM), pp. 179–193.
- MoDELS-2013-PretschnerHEG #assurance #fault #quality
- A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.
- ISSTA-2011-ShahbazSE #component #embedded #refinement #specification
- Iterative refinement of specification for component based embedded systems (MS, KCS, RE), pp. 276–286.
- FM-v2-1999-Eschbach #algorithm #detection #specification #termination #verification
- A Termination Detection Algorithm: Specification and Verification (RE), pp. 1720–1737.