Travelled to:1 × USA
Collaborated with:M.Harchol-Balter S.Nejati K.Gaaloul C.Menghi L.C.Briand S.Foster
Talks about:model (3) simulink (1) network (1) violat (1) requir (1) packet (1) evalu (1) delay (1) check (1) bound (1)
Person: David Wolfe
DBLP: Wolfe:David
Contributed to:
1995
2019Wrote 2 papers:
- STOC-1995-Harchol-BalterW #bound #network
- Bounding delays in packet-routing networks (MHB, DW), pp. 248–257.
- ESEC-FSE-2019-NejatiGMBFW #model checking #modelling #requirements #testing
- Evaluating model testing and model checking for finding requirements violations in Simulink models (SN, KG, CM, LCB, SF, DW), pp. 1015–1025.