Stephen Foster

Publication Activity (10 Years)

Years Active: 1991-2019
Publications (10 Years): 2

Top Topics

Reactive Systems

Temporal Properties

Finite State Machines

Top Venues

ESEC/SIGSOFT FSE

Publications

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)
Stephen Foster, Roderich Groß
Forming Nested 3D Structures Based on the Brazil Nut Effect. TAROS (2011)
Stephen Foster, Walt Potter, Jiang Wu, Bin Hu, Yu Zhang
A history sensitive cascade model in diffusion networks. SpringSim (2009)
Richard Denman, Stephen Foster
Using clausal graphs to determine the computational complexity of k-bounded positive one-in-three SAT. Discret. Appl. Math. 157 (7) (2009)
Stephen W. Anderson, Natalie Liberman, Erica G. Bernstein, Stephen Foster, Erin Cate, Brenda Levin, Randy Hudson
Recognition of elderly speech and voice-driven document retrieval. ICASSP (1999)
Saman M. I. Adham, Ken Brough, Bruce Ecroyd, Stephen Foster, Paul Soong
Linking diagnostic software to hardware self test in telecom systems. IEEE Commun. Mag. 37 (6) (1999)
Stephen W. Anderson, Natalie Liberman, Larry Gillick, Stephen Foster, Sahoko Hama
The effects of speaker training on ASR accuracy. EUROSPEECH (1999)
Stephen Foster, Daniel Ferrer
Electronic mail: expanding library services beyond traditional boundaries. SIGUCCS (1991)