Publications
[1]
P.R. Croll and P. Nixon. Developing safety-critical software
within a case environment. In IEE Colloquium on Computer Aided
Software Engineering Tools for Real-Time Control, number 1991/087,
page 8. IEE, IEE, April 1991.
[2]
P.R. Croll and P.A. Nixon. The safety of occam. The world
occam and transputer newsletter, July 1992.
[3]
P.A. Nixon and P.R. Croll. The functional specification of
occam programs for time critical applications. In J. Kerridge,
editor, Transputer and occam Research: New directions, pages
131-145. IOS Press, 1993. Best paper at conference.
[4]
P.A. Nixon and P.R. Croll. Deterministic timing behavour of
occam programs. In Institute of measurement and control symposium
on control and instrumentation, pages 85-98, 1993.
[5]
C. Birkinshaw, P.R. Croll, D. Marriot, and P.A. Nixon. Parallel
processing: A safer option for real-time control. In IEE international
controlc conference, pages 916-922. IEE Press, 1993.
[6]
C. Birkinshaw, P.R. Croll, D. Marriot, and P.A. Nixon. Engineering
safety-related parallel systems. In I. Jelly, editor, Workshop
on Software Engineering for Parallel Processing. IEE Control,
1993.
[7]
P.A. Nixon, C. Birkinshaw, P.R. Croll, and D. Marriott. Rapid
prototyping of parallel faul tolerant systems. In Euromicro
workshop on parallel and distributed systems, pages 202-210.
IEEE Press, 1994.
[8]
P.A. Nixon. Supporting the prototyping of transputer based
fault tolerant systems. In R. Miles, editor, Progress in transputer
and occam research, pages 164-174. IOS Press, 1994.
[9]
P.A. Nixon, D.G. Marriott, and P.R. Croll. Comparing design
techniques for modelling fault tolerant systems. In V. Magioli,
editor, Proceedings of SAFECOM 94, pages 143-154. ISA Press,
1994.
[10]
J. Kerridge and P.A. Nixon. Dynamic allocation of tasks in
occam3. In A. DeGloria, M.R Jane, and D. Marini, editors,
Transputer Applications and Systems, pages 375-390. IOS Press,
1994.
[11]
P.A. Nixon. The PAISLey specification of occam programs. PhD
thesis, Sheffield University, 1994.
[12]
C. Birkinshaw, P.R. Croll, D. Marriot, and P.A. Nixon. Engineering
safety-related parallel systems. Information and software
technology journal, 36(7):449-456, 1994.
[13]
C. Birkinshaw, P.R. Croll, D. Marriot, and P.A. Nixon. Parallel
processing: A safer option for real-time control software.
In IEE International Control Conference, pages 916-922. IEE
Control, 1994.
[14]
L. Shi and P.A. Nixon. The efficient translatio of sa/rt specification
model to high-level timed petri nets. In Workshop on design
and analysis of real-time systems, pages 56-71, November 1995.
[15]
L. Shi and P.A. Nixon. An imporved translation of sa/rt specificaiton
model to high-level timed petri nets. Technical Report TCD-CS-95-23,
Trinity College Dublin, Department of Computer Science, October
1995.
[16]
P.A. Nixon, editor. Transputer and occam developments. Concurrent
engineering. IOS Press, 1995.
[17]
N. Cook, M.R Jane, P.A. Nixon, and P.H. Welch, editors. Transputer
applications and systems. IOS Press, 1995.
[18]
I. Gorton, I. Jelly, P.R. Croll, and P.A. Nixon. Direction
in software engineering for parallel systems. In Procedings
of HICSS 28, volume 2, page 287, January 1995.
[19]
P.A. Nixon. Java, a caffiene fix for the web. Computer section
of the Irish Times, August 1996.
[20]
L. Shi and P.A. Nixon. The efficient translation of sa/rt
specification model to high-level timed petri nets. In M.
Caudel and J. Woodcock, editors, Formal methods europe, volume
1051 of Lecture notes in computer science, pages 518-537,
November 1996.
[21]
S. Weber and P.A. Nixon. An object oriented dsm framework.
In Proceedings of IEEE frontiers of massively parallel computation.
IEEE Press, October 1996.
[22]
S. Weber and P.A. Nixon. An object oriented dsm framework.
Technical Report TCD-CS-96-24, Trinity College Dublin, Department
of Computer Science, 1996.
[23]
P.A. Nixon, J. Dusseldorp, and A. Howe. The global multimedia
challenge: An experience report. In Proceedings of 4th annual
confrence on the teaching of computing, pages 231-233. Dublin
City University, 1996.
[24]
P.A. Nixon and L. Shi. Concurrent semantics for structured
design methods. In I. Jelly, I Gorton, and P.R. Croll, editors,
Software engineering for parallel and distributed systems.
Chapman Hall, 1996.
[25]
P.A. Nixon and L. Shi. Concurrent semantics for structured
design methods. Technical Report TCD-CS-96-03, Trinity College
Dublin, Department of Computer Science, 1996.
[26]
P.A. Nixon, V. Cahill, and F.A. Rabhi. Software engineering
for distributed systems. In Proceedings of HICSS 30, volume
2, page 382, 1997.
[27]
V. Cahill, P.A. Nixon, B. Tangney, and F. Rabhi. Object models
for distributed and persistent programming. The Computer Journal,
40(8):513-527, 1997.
[28]
P.A. Nixon, V. Cahill, and F. Rabhi. Building distributed
systems. The Computer Journal, 40(8):463-464, 1997.
[29]
S. Baker, V. Cahill, and P.A. Nixon. Bridging boundaries:
Corba in perspective. IEEE Internet Computing, 1(5):140-144,
1997.
[30]
N. Schaller, M. Berman, J. Bishop, P.A. Nixon, and E. Rozanski.
Using java in computer science education. ACM SIGCSE Bulletin,
29(3):140-143, 1997.
[31]
N. Schaller, M. Berman, J. Bishop, P.A. Nixon, and E. Rozanski.
Using java in computer science education. In Intergrating
technology into computer science education, pages 140-144.
ACM Press, 1997.
[32]
P.A. Nixon, G. Lacey, M. Dennehy, and T Walsh. Vcr: A virtually
controlled robot system. In Internationl conference on field
anf service robotics, pages 467-471, December 1997.
[33]
P.A. Nixon and L. Shi. Concurrent semantics for structured
design methods. Technical Report TCD-CS-1998-20, Trinity College
Dublin, Department of Computer Science, October 1998.
[34]
M. O Cinneide and P.A. Nixon. Program restructuring to introduce
design patterns. In Serge Demeyer and Jan Bosch, editors,
Object Oriented Technology -- ECOOP98 Workshop Reader, volume
LNCS 1543, pages 79-80. Springer Verlag, 1998.
[35]
M. O Cinneide and P.A. Nixon. Program restructuring to introduce
design patterns. In Proceedings of workshop on experiences
in object-oriented re-engineering, pages 34-52, July 1998.
[36]
P.A Nixon and V. Cahill. Mobile computing: technologies for
a disconnected society. IEEE Internet Computing, 2(1):19-22,
1998.
[37]
S.A. Dobson. (free) redical programming languages. In 5th
Cabernet readicals workshop, 1998.
[38]
S. Dobson, P.A. Nixon, V. Wade, S. Terzis, and J. Fuller.
Vanilla: an open language framework. In Proceedings of International
Conference on Generative Component Software Negineering (accepted
for publication), Lecture notes in computer science. Springer
Verlag, 1999.
[39]
S. Terzis, P.A. Nixon, V. Wade, S.A. Dobson, and J. Fuller.
Enterprise Information Systems (accepted for publication),
chapter Building the Next Generation Groupware, pages 525-532.
Kluwer academic press, March 1999.
[40]
S. Terzis, P.A. Nixon, V. Wade, S.A. Dobson, and J. Fuller.
Building the next generation groupware. In Joaquim Filipe
and Jose Cordeiro, editors, Proceedings of International Conference
onf Enterprise Information Systems, pages 525-532, March 1999.
Best paper award.
[41]
S. Terzis and P.A. Nixon. Component trading: The basis for
a component-oriented development framework. In Proceedings
of internationl workshop on componentn oriented programming
(accepted for publication), June 1999.
[42]
S. Terzis and P.A. Nixon. Semantic trading: Tackling interoperability
problems during system integration. In Antonio Vallecillo,
Juan Hernandez, and Jose M. Troya, editors, Proceedings of
internationl workshop on object interoperability (accepted
for publication), June 1999.
[43]
T. Walsh, P.A. Nixon, and S.A. Dobson. Managed mobile distributed
applications. submitted to the Journal of Parallel and Distributed
Computing, 1999.
[44]
A. Judge, P.A. Nixon, V. Cahill, B. Tangney, and S. Weber.
High performance cluster computing, volume 1, chapter Distributed
shared memory, pages 409-434. Prentice Hall, 1999.
[45]
P.A. Nixon, G. Lacey, and S. Dobson. The future of mobile
systems: mobility and interaction (accepted for publication).
In P.A. Nixon, G. Lacey, and S. Dobson, editors, Managing
smart environments. Springer Verlag, 1999.
[46]
T. Walsh, P.A. Nixon, and S. Dobson. A service managed solution
to mobile systems (accepted for publication). In P.A. NIxon,
G. Lacey, and P.A. Nixon, editors, Managing smart environments.
Springer Verlag, 1999.
[47]
P.A. NIxon, G. Lacey, and S. Dobson, editors. Managing Smart
Environment (accepted for publication). Springer Verlag, 1999.
[48]
R. Meier and P.A. Nixon. Managing fault tolerance transparently
using corba services. In Proceedings of EuroPar'99, 1999 (accepted
for publication).
[49]
M. OConnell and P.A. Nixon. Jfs: A secure distributed file
system for network computers. In Proceedings of Euromicro'99.
IEEE Press, 1999 (accepted for publication).
[50]
P.A. Nixon. Virtual enterprises: Technology foundations for
the future of e-commerce. In J. Millard, editor, Proceedings
of 6th European assembly on telework and new ways of working,
1999 (accepted for publication).
[51]
P.A. Nixon. Trust brokering: a new electronic market. In S.
Klein, editor, Research symposium on emerging electronic markets,
1999 (accepted for publication).
[52]
M. OCinneide and P.A. Nixon. A mthodology for the automated
introduction of design patterns. In Proceedings of the international
conference on software maintenance (accepted for publication),
September 1999 (accepted for publication).
[53]
S. Terzis, P.A. Nixon, V. Wade, S.A. Dobson, and J. Fuller.
Component software: A new challenge for groupware development.
The journal of collaborative computing, March 1999 (submitted
and under review).
[54]
M. OCinneide and P.A. Nixon. Automated application of design
patterns to legacy code. In Proceedings of the workshop on
experiences in object-oriented, June 1999(accepted for publication).
|
