Search the dblp DataBase
Simon Burton: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. [Citation Graph (0, 0)][DBLP]
ICFEM, 1998, pp:76-0 [Conf] - Thomas Gärtner, Quoc V. Le, Simon Burton, Alex J. Smola, S. V. N. Vishwanathan
Large-Scale Multiclass Transduction. [Citation Graph (0, 0)][DBLP]
NIPS, 2005, pp:- [Conf] - Karen Allenby, Simon Burton, Darren L. Buttle, John A. McDermid, John Murdoch, Alan Stephenson, Mike Bardill, Stuart Hutchesson
A Family-Oriented Software Development Process for Engine Controllers. [Citation Graph (0, 0)][DBLP]
PROFES, 2001, pp:210-226 [Conf] - Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton
Detecting and resolving semantic pathologies in UML sequence diagrams. [Citation Graph (0, 0)][DBLP]
ESEC/SIGSOFT FSE, 2005, pp:50-59 [Conf] - Simon Burton
Testing Safety-Related Software: a Practical Handbook, by S. Gardiner (Editor), Springer-Verlag, 1999 (Book Review). [Citation Graph (0, 0)][DBLP]
Softw. Test., Verif. Reliab., 1999, v:9, n:2, pp:135-136 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002