http://www.dirc.org.uk/  
 
   
   
Overview
Research
Sites
People
    Listing
    Fellows
Publications
Events
Related Projects
   
 

Publications by Cliff Jones

http://www.adobe.com/products/acrobat/readermain.htmlThese are the DIRC publications by Cliff Jones. Items are sorted by type, and listed by year. Links are provided to abstracts and pdf's of the full papers where these are available.

Conference Proceedings


Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Butler, M. and Jones, C. and Romanovsky, A. and Troubitsyna, E.
University of Newcastle upon Tyne, 2005

Inter-disciplinary Approaches to the Design of Dependable Computer Systems. Proceedings of the ACM Symposium on Applied Computing, Madrid, Spain, March, 2002, Dobson, J., Jones, C, Procter, R., Rouncefield, M. and Williams, R. (eds)
2002


Conference Papers


Comments on several years of teaching of modelling programming language concepts , Coleman, J.W. , Jefferson, N.P. , and Jones, C.B.
In Proceedings of the Workshop on Formal Methods in the Teaching Lab at FM'06, Boute, R. and Oliveira, J., 2006

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering , Bryans, J.W., Fitzgerald J.S., Jones C.B., Mozolevesky, I.
In Proceedings of the Second International Conference on Leveraging Applications of Formal Methods, Validation and Verification, Margaria T., Philippou A., Steffen B., pp. 90-98  2006
[ Abstract ]

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering , Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I.
In Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), , Margaria, T. Philippou, A. Steffen, B., pp. 90-97  2006
[ Abstract ]

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering , Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I
In Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Margaria, T. Philippou, A. Steffen, B., 2006
[ Abstract ]

DIRC: An interdisciplinary attack on problems of dependability , Greathead, D., Jones, C.
In Proceedings of the Fifth European Dependable Computing Conference (EDCC-5), pp. 11-14  2005
pdf icon [ pdf ( 336 Kb ) ] [ Abstract ]

Dynamic Coalitions: A position paper , Arief B., Bryans J.W., Fitzgerald J., Gamble C., Harrison M., Jefferson N., Jones C.B., Mozolevsky I., Peacock T., Ryan P.
In Proceedings of the The Fifth annual DIRC research conference, Mackie J., Rouncefield M., pp. 125-127  2005
pdf icon [ pdf ( 60 Kb ) ]

Examples of how to Determine the Specifications of Control Systems , Coleman, J.W. and Jones, C.B.
In Proceedings of the Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Butler, M. and Jones, C. and Romanovsky, A. and Troubitsyna, E., pp. 65-73  2005

What can we do (technically) to get `the right specification'? , Cliff B Jones
In Proceedings of the IFIP (TC2) VSTTE, 2005

Tackling partial functions in the formal development of programs , Cliff B Jones
In Proceedings of the AVoCS-05, 2005

Reasoning about the design of programs , Cliff B Jones
In Proceedings of the Royal Society meeting on, pp. 2395-2396  2005
pdf icon [ pdf ( 213 Kb ) ]

(Avoiding, describing and understanding) Interference , C B Jones
In Proceedings of the MFPS-XXI, pp. ??  2005
[ Abstract ]

The case for research into obtaining the right specification , Cliff Jones
In Proceedings of the IEEE ICECCS, Shanghai, pp. ??  2005
[ Abstract ]

Determining the specification of systems involving humans , Cliff Jones
In Proceedings of the DSVIS-05, pp. ??  2005
[ Abstract ]

Technical challenges for verification in design , Cliff Jones
In Proceedings of the GC-6 Workshop at FM-05, pp. ??  2005
[ Abstract ]

Technical challenges for formal methods , Cliff Jones
In Proceedings of the MPI Kaiserslautern, pp. ??  2005
[ Abstract ]

Determining the specification of a control system from that of its environment , Hayes, I. and Jackson, M. and Jones, C.
In Proceedings of the FME 2003: Formal Methods, Araki, K. and Gnesi, S. and Mandioli, D., pp. 154--169  2003
pdf icon [ pdf ( 80 Kb ) ]

A Formal Basis for some Dependability Notions , Jones, C.B.
In Proceedings of the Formal Methods at the Crossroads: from Panacea to Foundational Support, Aichernig, B.K. and Maibaum, T., pp. 191-206  2003

Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems , Jones, C. and Periorellis, P. and Romanovsky, A. and Welch, I.
In Proceedings of the FIDGI 2002, Guelfi, N. and Astesiano, E. and Reggio, G., pp. 73-86  2003

Determining the specification of a control system from that of its environment , Hayes, I., Jackson, M. and Jones, C.
In Proceedings of the FME 2003: Formal Methods, K. Araki, S. Gnesi, and D. Mandrioli, pp. 154-169  2003
pdf icon [ pdf ( 80 Kb ) ] [ Abstract ]

How can design abstractions be used in testing? , Cliff Jones
In Proceedings of the SoftTest-2003, pp. ??  2003
[ Abstract ]

Goal diversity in the design of dependable computer-based systems , Lawrie, A.T. and Jones, C.B.
In Proceedings of the Open Source Software Development Workshop, University of Newcastle upon Tyne, February 2002, pp. 137-162  2002
pdf icon [ pdf ( 124 Kb ) ] [ Abstract ]

Inter disciplinary approaches to the design of dependable computer systems: Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems , Dobson, J.E., Jones, C., Procter, R., Rouncefield, M. and Williams, R.
In Proceedings of the 2002 ACM symposium on Applied computing, pp. 704 - 705  2002
pdf icon [ pdf ( 159 Kb ) ]

A Structured Approach to Handling On-Line Interface Upgrades , Jones, C. and Romanovsky, A. and Welch, I.
In Proceedings of the COMPSAC~2002, pp. 1000-1005  2002

Goal-Diversity in the Design of Dependable Computer-Based Systems , Lawrie, A. T. and Jones, C. B.
In Proceedings of the Proceedings of the Open Source Software Development Workshop, 2002

Thinking tools for the future of computing science , Jones, C.B.
In Proceedings of the In Informatics-10 Years Back, 10 Years Forward, Reinhard, W., pp. 112-130  2000

Dependability of Computer-Based Systems , Jones, C. B.
In Proceedings of the XIV Simposia Brasiliero de Engenharia de Software, pp. 16-20  2000


Journal Articles

A structural proof of the soundness of rely/guarantee rules, Coleman, J.W. and Jones, C.B.
Journal of Logic and Computation , Volume , pp. , 2006

[ Abstract ]

The atomicity manifesto: a story in for quarks, Jones, C., Lomet, D., Romanovsky, A., Weikum, G.
ACM SIGMOD , Volume 39(2) , pp. 41-46 , 2005

[ Abstract ]

Operational semantics: Concepts and their expression, Jones, C.B.
Information Processing Letters , Volume 88 , pp. 27-32 , 2003

pdf icon [ pdf ( 131 KB) ] [ Abstract ]

The Early Search for Tractable Ways of Reasoning about Programs, Cliff B. Jones
IEEE, Annals of the History of Computing , Volume 25 , Issue 2 , pp. 26-49 , 2003

The Transition from VDL to VDM, Jones, C.B.
JUCS , Volume 7 , Issue 8 , pp. 631-640 , 2001


Books (authored or edited)


Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective , Besnard, D., Gacek, C. and Jones, C.B. (editors)
Springer, ISBN 1-84628-110-5 , 2006


Book Chapters


Wanted: A Compositional Approach to Concurrency , Jones, C.B.
In Programming Methodology , , pp. 1-15
Springer-Verlag , 2005

Compositionality, Interference and Concurrency , Jones, C.B.
In Millenial Perspectives in Computer Science , , pp. 175-186
Macmillan Press , 2000

Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations , Jones, C.B. and Collette, P.
In Proof, Language and Interaction , , pp. 277-307
MIT Press , 2000


Technical Reports


Dimensions of Dynamic Coalitions, , Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I.
CS-TR: 963 School of Computing Science, University of Newcastle upon Tyne , 2006
pdf icon [ pdf ( 324 KB) ] [ Abstract ]

Guaranteeing the soundness of rely/guarantee rules , Coleman, Joey W. and Jones, Cliff, B.
CS-TR-955 School of Computing Science, University of Newcastle upon tyne , 2006

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. , Bryans J. W., Fitzgerald J. S., Jones C. B., Mozolevsky I.
CS-TR-981 Newcastle University , 2006
[ Abstract ]

Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems ({REFT} 2005) , Butler, M. and Jones, C. and Romanovsky, A. and Troubitsyna, E.
CS-TR-915 University of Newcastle Upon Tyne , 2005

Black Tie Optional: Modelling Programming Language Concepts , Coleman,J.,Jefferson,N. and Jones,C.B.
CS-TR-844 School of Computing Science, University of Newcastle upon Tyne , 2004
pdf icon [ pdf ( 201 KB) ] [ Abstract ]

Dependable Pervasive Systems , Jones,C.B. and Randell,B.
CS-TR-839 School of Computing Science, University of Newcastle upon Tyne , 2004
pdf icon [ pdf ( 169 KB) ] [ Abstract ]

Extending the Horizons of DSE , Hoare, T, Jones, C. and Randell, B.
CS-TR: 853 School of Computing Science, University of Newcastle , 2004

Final Version of DSoS Conceptual Model , Gaudel, M-C.,Issarny, V., and Jones, C. et .al.
CS-TR-782 School of Computing Science, University of Newcastle upon Tyne , 2003
pdf icon [ pdf ( 862 KB) ] [ Abstract ]

Determining the specification of a control system from that of its environment , Hayes, I. and Jackson, M. and Jones, C.
CS-TR-808 School of Computing Science, Newcastle University , 2003
pdf icon [ pdf ( 80 KB) ]

A Formal Basis for some Dependability Notions , Jones, C.
CS-TR-805 School of Computing Science, Newcastle University , 2003

Operational Semantics: concepts and their expression , Jones, C.
CS-TR-806 School of Computing Science, Newcastle University , 2003

 
Page Maintainer: webmaster@dirc.org.uk Credits      Project Members only Last Modified: 15 January, 2007