Nigel Tracey

Publication Activity (10 Years)

Years Active: 2000-2018
Publications (10 Years): 1

Top Topics

Real Time Database Systems

Object Oriented Programming Language

Architectural Model

Industrial Applications

Top Venues

Publications

Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey
Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies. ECRTS (2018)
Nigel Tracey, John Penix, Willem Visser
Automated analysis, verification and testing. Softw. Focus 2 (2) (2001)
Nigel Tracey, John Penix, Willem Visser
The Second International Workshop on Automated Program Analysis, Testing and Verification. ICSE (2001)
Nigel Tracey, John Penix, Willem Visser
Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). Softw. Test. Verification Reliab. 11 (2) (2001)
John Penix, Nigel Tracey, Willem Visser
The first international workshop on automated program analysis, testing and verification. ACM SIGSOFT Softw. Eng. Notes 26 (1) (2001)
Nigel Tracey, John Penix, Willem Visser
The First International Workshop on Automated Program Analysis, Testing and Verification. ICSE (2000)