Technical Reports: 37 entries

Reports are listed by year, most recent first, then by alphabetically by author. Links are provided to the abstract, and the full report in pdf format, where these are available.

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 ]

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 ( 324 KB) ] [ Abstract ]

Modelling Opacity using Petri Nets , Bryans, J., Koutny, M. and Ryan, P.
CS-TR-840 Newcastle University , 2006
[ Abstract ]

Model Based Analysis and Validation of Access Control Policies , Bryans, J. W., Fitzgerald, J. S., Periorellis, P.
CS-TR-976 Newcastle University , 2006
[ 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

Pret a Voter with Re-encryption Mixes , P.Y.A. Ryan and S.A. Schneider
CS-TR-956 School of Computing Science, University of Newcastle upon Tyne , 2006

Voting Technologies and Trust , B. Randell and P.Y.A. Ryan
CS-TR-911 School of Computing Science, University of Newcastle upon Tyne , 2005

Reasoning about XACML policies using CSP , Bryans J. W.
CS-TR-924 University of Newcastle , 2005
[ pdf ( 139 KB) ] [ Abstract ]

Modelling Temporal Behaviour in Complex Socio-Technical Systems. , Burns, A., Hayes, I.J., Baxter, G. & Fidge, C.J.
YCS 390 Dept of Computer Science, University of York , 2005
[ 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

Examining BPELs Compensation , Coleman, J.
CS-TR: 894 School of Computing Science, University of Newcastle upon tyne , 2005

Architectural Description of Dependable Software Systems , Gacek C. and R. de Lemos
Technical  Computing Laboratory, University of Kent , 2005
[ Abstract ]

Human compensations for undependable systems , Besnard, D. and Baxter, G.
CS-TR 819 School of Computing Science, University of Newcastle upon Tyne , 2004
[ pdf ( 300 KB) ] [ Abstract ]

Opacity Generalised to Transition Systems , Bryans J.W., Koutny M., Mazare L., and Ryan P.Y.A.
CS-TR-868 Newcastle University , 2004
[ pdf ( 223 KB) ] [ Abstract ]

A Simplified Version of the Chaum E-Voting Scheme , Bryans,J. and Ryan,P
CS-TR-843 School of Computing Science, University of Newcastle upon Tyne , 2004
[ pdf ( 185 KB) ] [ Abstract ]

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 ( 201 KB) ] [ Abstract ]

A Practical, Voter-verifiable Election Scheme , D. Chaum and P.Y.A. Ryan and S. Schneider
CS-TR-880 School of Computing Science, University of Newcastle upon Tyne , 2004

Code Review and Personality: Is Performance Linked to MBTI Type? , Devito Da Cunha, A. and Greathead, D.
CS-TR-837 School of Computing Science, University of Newcastle upon Tyne , 2004
[ pdf ( 168 KB) ] [ Abstract ]

Standards and Open Source Software: Twins, Cousins, or Just Neighbours? , Gacek, C.
CS-TR: 867 School of Computing Science, Newcastle University , 2004
[ Abstract ]

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

Dependable Pervasive Systems , Jones,C.B. and Randell,B.
CS-TR-839 School of Computing Science, University of Newcastle upon Tyne , 2004
[ pdf ( 169 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 ( 80 KB) ]

Technical and Human Issues in Computer-Based Systems Security , Arief, B. and Besnard, D.
CS-TR 790 Department of Computing Science, University of Newcastle upon Tyne , 2003
[ pdf ( 97 KB) ] [ Abstract ]

Computer security impaired by legal users , Besnard, D. and Arief, B.
CS-TR 794 School of Computing Science, University of Newcastle upon Tyne , 2003
[ pdf ( 189 KB) ] [ Abstract ]

When mental models go wrong. Co-occurrences in dynamic, critical systems , Besnard, D. and Greathead, D.
CS-TR 791 Department of Computing Science, University of Newcastle upon Tyne , 2003
[ pdf ( 326 KB) ] [ Abstract ]

A Dependability Analysis of the Chaum Voting Scheme , Bryans,J. and Ryan,P
CS-TR-809 School of Computing Science, University of Newcastle upon Tyne , 2003
[ pdf ( 324 KB) ] [ Abstract ]

A Formal Framework for Requirements Evolution , Felici, M.
203.01.72 Italian National Research Council (CNR) , 2003
[ pdf ( 1336 KB) ] [ Abstract ]

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 ( 862 KB) ] [ Abstract ]

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

Dependability Issues in Open Source Software - DIRC Project Activity 5 Final Report , Arief, L.B., Bosio, D., Gacek, C. and Rouncefield, M.
CS-TR 760 Department of Computing Science, University of Newcastle upon Tyne , 2002
[ pdf ( 564 KB) ] [ Abstract ]

A cognitive approach to safe violations , Besnard, D. and Greathead, D.
CS-TR 776 Department of Computing Science, University of Newcastle upon Tyne , 2002
[ pdf ( 584 KB) ] [ Abstract ]

Interface changes generating accidents. A schema-based approach of negative transfer , Cacitti, L., and Besnard, D.
CS-TR 784 Department of Computing Science, University of Newcastle upon Tyne , 2002
[ pdf ( 322 KB) ] [ Abstract ]

Requirements Evolution: Understanding Formally Software Engineering Processes within Industrial Contexts , Felici, M
203.15.11 Italian National Research Council (CNR) , 2002
[ pdf ( 527 KB) ] [ Abstract ]

Time-related trade-offs in Dynamic Function Scheduling , Hildebrandt, M. and Harrison, M.
G 2002-1 Department of Computing Science, University of Glasgow , 2002

Bridging Industrial Design and Software Engineering Through Constraints Identification, Solution Space Optimisation and Reuse. , Besnard, D. and Lawrie, A.T.
CS-TR 745 Department of Computing Science, University of Newcastle upon Tyne , 2001
[ pdf ( 493 KB) ] [ Abstract ]

The Many Meanings of Open Source , Gacek, C., Lawrie,T. and Arief, L.B.
CS-TR 737 Department of Computing Science, University of Newcastle upon Tyne , 2001
[ pdf ( 101 KB) ] [ Abstract ]