Stephen Foster
According to our database1,
Stephen Foster
authored at least 8 papers
between 1991 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Evaluating model testing and model checking for finding requirements violations in Simulink models.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
2011
Proceedings of the Towards Autonomous Robotic Systems - 12th Annual Conference, 2011
2009
Using clausal graphs to determine the computational complexity of k-bounded positive one-in-three SAT.
Discret. Appl. Math., 2009
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009
1999
IEEE Commun. Mag., 1999
Proceedings of the Sixth European Conference on Speech Communication and Technology, 1999
Proceedings of the 1999 IEEE International Conference on Acoustics, 1999
1991
Proceedings of the 19th Annual ACM SIGUCCS Conference on User Services, 1991