We stand with Ukraine  

Nigel Tracey

According to our database1, Nigel Tracey authored at least 5 papers between 2001 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2002
2004
2006
2008
2010
2012
2014
2016
2018
0
1
2
3
4
5
3
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies.
[BibTeX]
[DOI]
Robert I. Davis
,
Iain Bate
,
Guillem Bernat
,
Ian Broster
,
Alan Burns
,
Antoine Colin
,
Stuart Hutchesson
,
Nigel Tracey
Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

2001
Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000).
[BibTeX]
Nigel Tracey
,
John Penix
,
Willem Visser
Softw. Test. Verification Reliab., 2001

Automated analysis, verification and testing.
[BibTeX]
[DOI]
Nigel Tracey
,
John Penix
,
Willem Visser
Softw. Focus, 2001

The first international workshop on automated program analysis, testing and verification.
[BibTeX]
[DOI]
John Penix
,
Nigel Tracey
,
Willem Visser
ACM SIGSOFT Softw. Eng. Notes, 2001

The Second International Workshop on Automated Program Analysis, Testing and Verification.
[BibTeX]
[DOI]
Nigel Tracey
,
John Penix
,
Willem Visser
Proceedings of the 23rd International Conference on Software Engineering, 2001


  Loading...