David Wolfe

Publication Activity (10 Years)

Years Active: 1985-2020
Publications (10 Years): 3

Top Topics

Temporal Properties

Finite State Machines

Top Venues

ESEC/SIGSOFT FSE

Publications

Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, David Wolfe
Mining assumptions for software components using machine learning. ESEC/SIGSOFT FSE (2020)
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe
Evaluating model testing and model checking for finding requirements violations in Simulink models. ESEC/SIGSOFT FSE (2019)
Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models. CoRR (2019)
David Arthurs, Erin Cassidy, Charles H. Davis, David Wolfe
Indicators to support innovation cluster policy. Int. J. Technol. Manag. 46 (3/4) (2009)
Bing Li, Lakshman S. Tamil, David Wolfe, James Plessa
10 Gbps burst-mode optical receiver based on active phase injection and dynamic threshold level setting. IEEE Commun. Lett. 10 (10) (2006)
David Wolfe, William Fraser
Counting the number of games. Theor. Comput. Sci. 313 (3) (2004)
David Wolfe
Distinguishing Gamblers from Investors at the Blackjack Table. Computers and Games (2002)
Mor Harchol-Balter, David Wolfe
Bounding delays in packet-routing networks. STOC (1995)
David Wolfe
Snakes in Domineering Games. Theor. Comput. Sci. 119 (2) (1993)
David Wolfe
Baseband emulators for the protocol testing of multimedia communication networks. IEEE Netw. 2 (6) (1988)
Christos H. Papadimitriou, David Wolfe
The Complexity of Facets Resolved. J. Comput. Syst. Sci. 37 (1) (1988)
Christos H. Papadimitriou, David Wolfe
The Complexity of Facets Resolved FOCS (1985)