CS-TR N^o 1216 AI4FM: A new project seeking challenges!
Grov, G., Jones, C. B.
School of Computing Science, Newcastle University, Aug 2010

[Abstract]

CS-TR N^o 1215 Logic Decomposition of Asynchronous Circuits Using STG Unfoldings
Khomenko, V
School of Computing Science, Newcastle University, Aug 2010

[Abstract]

CS-TR N^o 1214 A Declarative Approach to Configuring Business-to-Business Conversations
Mortimer, D., Cook, N
School of Computing Science, Newcastle University, Jul 2010

[Abstract]

CS-TR N^o 1213 Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
Fitzgerald, J., Gorm Larsen, P., Pierce K., Verhoef, M., Wolff, S.
School of Computing Science, Newcastle University, Jul 2010

[Abstract]

CS-TR N^o 1212 A Collaborative Ontology Development Tool for Information Security Managers
Mace, J. C., Parkin, S.E., van Moorsel, A.
School of Computing Science, Newcastle University, Jul 2010

[Abstract]

CS-TR N^o 1211 Printer Identification Techniques and Their Privacy Implications
Mace, J.C.
School of Computing Science, Newcastle University, Jul 2010

[Abstract]

CS-TR N^o 1210 Ideas for a high-level proof strategy language
Jones, C.B., Grov, G., Bundy, A.
School of Computing Science, Newcastle University, Jul 2010

[Abstract]

CS-TR N^o 1209 A Stealth Approach to Usable Security: Helping IT Security Managers to Identify Workable Security Solutions
Parkin, S., van Moorsel, A., Inglesant, P., Sasse, M.A.
School of Computing Science, Newcastle University, Jul 2010

[Abstract]

CS-TR N^o 1208 Consensus in Sparse, Mobile Ad-hoc Networks
Alekeish, K., Ezhilchelvan, P.
School of Computing Science, Newcastle University, Jul 2010

[Abstract]

CS-TR N^o 1207 Developing Mode-Rich Satellite Software by Refinement in Event B
Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A., Varpaaniemi, K., Ilic, D., Latvala, T.
School of Computing Science, Newcastle University, Jun 2010

[Abstract]

CS-TR N^o 1206 Automatic Software Deployment in the Azure Cloud
Cala, J., Watson, P.
School of Computing Science, Newcastle University, Jun 2010

[Abstract]

CS-TR N^o 1205 Formal Stepwise Development of Scalable and Reliable Multiagent Systems
Grotsev, D., Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Jun 2010

[Abstract]

CS-TR N^o 1204 Predicting Compliance of WSLA Contracts Using Automated Model Creation
Yassin Kassab, R., van Moorsel, A.
School of Computing Science, Newcastle University, Jun 2010

[Abstract]

CS-TR N^o 1203 Colour, usability and security: a case study
El Ahmad, A. S., Yan, J
School of Computing Science, Newcastle University, May 2010

[Abstract]

CS-TR N^o 1202 Probabilistic Aspects of Flash Filestores
Andrews, Z., McIver, A., Meinicke, L., Morgan, C.
School of Computing Science, Newcastle University, May 2010

[Abstract]

CS-TR N^o 1201 Formal Analysis of BPMN models using Event-B
Bryans, J.W., Wei, W.
School of Computing Science, Newcastle University, May 2010

[Abstract]

CS-TR N^o 1200 Newcastle’s French Connection
Randell, B.
School of Computing Science, Newcastle University, Apr 2010

[Abstract]

CS-TR N^o 1199 A Comparative Study of System Designs for distributed file processing
MSc ITEC students, 2009-10.
School of Computing Science, Newcastle University, Apr 2010

[Abstract]

CS-TR N^o 1198 Designing a Distributed File-Processing System Using Amazon Web Services
Students of MSc SDIA 2008-09
School of Computing Science, Newcastle University, Apr 2010

[Abstract]

CS-TR N^o 1197 ALARP Explored
Redmill, F.
School of Computing Science, Newcastle University, Mar 2010

[Abstract]

CS-TR N^o 1196 User-Managed Access to Web Resources
Machulak, M.P., Maler, E.L., Catalano, D., van Moorsel, A
School of Computing Science, Newcastle University, Mar 2010

[Abstract]

CS-TR N^o 1195 Synthesis of General Petri Nets with Localities
Koutny, M., Pietkiewicz-Koutny, M.
School of Computing Science, Newcastle University, Mar 2010

[Abstract]

CS-TR N^o 1193 Issues about the Adoption of Formal Methods for Dependable Composition of Web Services
Mazzara, M.
School of Computing Science, Newcastle University, Mar 2010

[Abstract]

CS-TR N^o 1192 On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
Mazzara, M., Bhattacharyya, A
School of Computing Science, Newcastle University, Mar 2010

[Abstract]

CS-TR N^o 1191 Architecture and Protocol for User-Controlled Access Management in Web 2.0 Applications
Machulak, M., van Moorsel, A.
School of Computing Science, Newcastle University, Mar 2010

[Abstract]

CS-TR N^o 1190 Reminiscences of Whetstone ALGOL
Randell, B
School of Computing Science, Newcastle University, Feb 2010

[Abstract]

CS-TR N^o 1189 A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes
Khomenko, V
School of Computing Science, Newcastle University, Feb 2010

[Abstract]

CS-TR N^o 1188 On Fault Tolerance Reuse during Refinement
Lopatkin, I., Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Feb 2010

[Abstract]

CS-TR N^o 1187 Proceedings of the First Deploy Technical Workshop
M. Jastram, L.Laibinis, F. Lösch, M. Mazzara (Eds.)
School of Computing Science, Newcastle University, Jan 2010

[Abstract]

CS-TR N^o 1186 Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
Jones, C. B., Pierce, K.G.
School of Computing Science, Newcastle University, Jan 2010

[Abstract]

CS-TR N^o 1185 What Can the pi-calculus Tell Us About the Mondex Purse System?
Jones, C. B., Pierce, K.G.
School of Computing Science, Newcastle University, Jan 2010

[Abstract]

CS-TR N^o 1184 Query Matching in a BitTorrent-Based P2P Database System
Colquhoun, J., Watson, P.
School of Computing Science, Newcastle University, Jan 2010

[Abstract]

CS-TR N^o 1183 A P2P Database Server Based on BitTorrent
Colquhoun, J., Watson, P.
School of Computing Science, Newcastle University, Jan 2010

[Abstract]

CS-TR N^o 1182 Real Distribution of Response Time Instability in Service-Oriented Architecture
Gorbenko, A., Kharchenko, V., Mamutov, S., Tarasyuk, O., Chen, Y., Romanovsky, A.
School of Computing Science, Newcastle University, Dec 2009

[Abstract]

CS-TR N^o 1181 Efficient Analysis of PEPA model of Non-repudiation Protocols
Zhao, Y., Thomas, N
School of Computing Science, Newcastle University, Nov 2009

[Abstract]

CS-TR N^o 1180 The Robustness of CAPTCHAs: A Security Engineering Perspective
Yan, J., A. S. El Ahmad.
School of Computing Science, Newcastle University, Nov 2009

[Abstract]

CS-TR N^o 1179 The role of auxiliary variables in the formal development of concurrent programs
Jones, C. B.
School of Computing Science, Newcastle University, Nov 2009

[Abstract]

CS-TR N^o 1178 Patterns for Modelling Time and Consistency in Business Information Systems
Bryans, J. W., Fitzgerald, J. S., Romanovsky, A., Roth, A.
School of Computing Science, Newcastle University, Nov 2009

[Abstract]

CS-TR N^o 1177 Proceedings of the 7th OVERTURE workshop
Larsen, P.G., Bryans, J.W.
School of Computing Science, Newcastle University, Nov 2009

[Abstract]

CS-TR N^o 1176 Proceedings of Formal Aspects of Virtual Organisations 2009
Bryans, J.W., Fitzgerald, J.S.
School of Computing Science, Newcastle University, Nov 2009

[Abstract]

CS-TR N^o 1175 FiberSense – Multi-touch Fibre Optic Sensing on Non-Planar Surfaces
Bartindale, T., Jackson, D., Olivier, P
School of Computing Science, Newcastle University, Oct 2009

[Abstract]

CS-TR N^o 1173 Controversy in Video Game Invention: The Infallible Pioneer Patents
Morgan, G., Lee, J. K.
School of Computing Science, Newcastle University, Oct 2009

[Abstract]

CS-TR N^o 1172 Ontology Editing Tool for Information Security and Human Factors Experts
Mace, J.C., Parkin, S., van Moorsel, A.
School of Computing Science, Newcastle University, Sep 2009

[Abstract]

CS-TR N^o 1171 Digital Mysteries: Designing for Learning at the Tabletop
Kharrufa, A.S., Olivier, P., Leat, D.
School of Computing Science, Newcastle University, Sep 2009

[Abstract]

CS-TR N^o 1170 Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence
Randell, B., Koutny, M.
School of Computing Science, Newcastle University, Sep 2009

[Abstract]

CS-TR N^o 1169 On O(n^2 log n) algorithms for n x n matrix operations
Eve, J.
School of Computing Science, Newcastle University, Aug 2009

[Abstract]

CS-TR N^o 1168 Decision Support for Intelligent Traffic and Environment Management
Bell, M., Suresh, V., Galatioto, F., Watson, P
School of Computing Science, Newcastle University, Aug 2009

[Abstract]

CS-TR N^o 1166 Elucidating Concurrent Algorithms via Layers of Abstraction and Reification
Jones, C. B., Pierce, K.G.
School of Computing Science, Newcastle University, Aug 2009

[Abstract]

CS-TR N^o 1165 Use Cases for User-Centric Access Control for the Web
Machulak, M., van Moorsel, A.
School of Computing Science, Newcastle University, Aug 2009

[Abstract]

CS-TR N^o 1164 Methods for the Development of Distributed Real-Time Embedded Systems using VDM
Wolf, S., Fitzgerald, J., Gorm Larsen, P.
School of Computing Science, Newcastle University, Aug 2009

[Abstract]

CS-TR N^o 1163 From Problem Frames to HJJ (and its known unknowns)
Jones, C. B.
School of Computing Science, Newcastle University, Aug 2009

[Abstract]

CS-TR N^o 1162 Structured Occurence Nets: A formalism for aiding system failure prevention and analysis techniques
Randell, B., Koutny, M.
School of Computing Science, Newcastle University, Aug 2009

[Abstract]

CS-TR N^o 1161 An Institutional Approach to Trust in Electronic Transactions
Smith, C., Van Moorsel, A., Pienkowski, D., Li, F.
School of Computing Science, Newcastle University, Aug 2009

[Abstract]

CS-TR N^o 1160 A Formal Semantics for the WS-BPEL Recovery Framework. The Pi-Calculus Way
Mazzara, M., Dragoni, N
School of Computing Science, Newcastle University, Aug 2009

[Abstract]

CS-TR N^o 1159 On Event-B and Control Flow
Iliasov, A.
School of Computing Science, Newcastle University, Jul 2009

[Abstract]

CS-TR N^o 1158 Metadata Support for Transactional Web Services
Machulak, M., Little, M. C., Halliday, J.J.
School of Computing Science, Newcastle University, Jul 2009

[Abstract]

CS-TR N^o 1157 A Novel Approach to Access Control for the Web
Machulak, M., van Moorsel, A.
School of Computing Science, Newcastle University, Jul 2009

[Abstract]

CS-TR N^o 1156 Architecting Dependable Access Control Systems for Multi Domain Computing Environments
Machulak, M., Parkin, S.E., van Moorsel, A.
School of Computing Science, Newcastle University, Jul 2009

[Abstract]

CS-TR N^o 1155 Risk Modelling of Access Control Policies with Human Behavioural Factors
Parkin, S., van Moorsel, A.
School of Computing Science, Newcastle University, Jul 2009

[Abstract]

CS-TR N^o 1154 Towards a Stochastic Event-B for Designing Dependable Systems
Andrews, Z.
School of Computing Science, Newcastle University, Jul 2009

[Abstract]

CS-TR N^o 1153 Proceedings of the First Trust Economics Workshop
Inglesant, P., Machulak, M., Parkin, S., van Moorsel, A., and Williams, J. (eds.)
School of Computing Science, Newcastle University, Jun 2009

[Abstract]

CS-TR N^o 1152 Deriving Specifications of Dependable Systems: toward a method
Mazzara, M.
School of Computing Science, Newcastle University, May 2009

[Abstract]

CS-TR N^o 1151 Different Perspectives for Reasoning about Problems and Faults
Mazzara, M.
School of Computing Science, Newcastle University, Apr 2009

[Abstract]

CS-TR N^o 1150 Implementing a Rule-Based Contract Compliance Checker
Strano, M., Molina-Jimenez, C., Shrivastava, S.
School of Computing Science, Newcastle University, Apr 2009

[Abstract]

CS-TR N^o 1149 Exception Handling in Electronic Contracting
Molina-Jimenez, C., Shrivastava, S., Strano, M.
School of Computing Science, Newcastle University, Apr 2009

[Abstract]

CS-TR N^o 1148 An Empirical Evaluation Of Web Services Architectures From An Economic Perspective
Smith, C., van Moorsel, A.
School of Computing Science, Newcastle University, Apr 2009

[Abstract]

CS-TR N^o 1147 The Beginnings of a Model for Atomicity Refinement of Expressions
Coleman, J. W.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1146 Sustaining Intrusion-Tolerance by Proactive Replacement
Ezhilchelvan, P., Clarke, D., Mitrani, I., Shrivastava, S.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1145 Evaluating a P2P Database Server based on BitTorrent
Colquhoun, J., Watson, P.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1144 An Architecture for Cross-Cloud System Management
Dodda, R., Smith, C., van Moorsel, A.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1143 Structuring Specifications with Modes
Iliasov, A., Dotti, F. L., Romanovsky, A.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1142 Synthesis of PTL-nets with Partially Localised Conflicts
Koutny, M., Pietkiewicz-Koutny, M.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1141 Towards Efficient Synthesis of ENL-systems
Koutny, M., Pietkiewicz-Koutny, M.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1140 A Usable Reachability Analyser
Khomenko, V.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1139 An Information Security Ontology Incorporating Human-Behavioral Implications
Parkin, S. E., van Moorsel, A.
School of Computing Science, Newcastle University, Feb 2009

[Abstract]

CS-TR N^o 1138 Fast Generation of Scale Free Networks with Directed Arcs
Zhang, H., van Moorsel, A.
School of Computing Science, Newcastle University, Feb 2009

[Abstract]

CS-TR N^o 1137 A Knowledge Base for Justified Information Security Decision-Making
Stepanova, D., Parkin, S. E., van Moorsel, A.
School of Computing Science, Newcastle University, Feb 2009

[Abstract]

CS-TR N^o 1136 Benchmarking Dependability of a System Biology Application
Chen, Y., Gorbenko, A., Kharchenko, V., Mamutov, S., Romanovsky, A., Tarasyuk, O.
School of Computing Science, Newcastle University, Jan 2009

[Abstract]

CS-TR N^o 1135 A BitTorrent-based Peer-to-Peer Database Server
Colquhoun, J.
School of Computing Science, Newcastle University, Jan 2009

[Abstract]

CS-TR N^o 1134 Applying Step Coverability Trees to Communicating Component-Based Systems
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Jan 2009

[Abstract]

CS-TR N^o 1133 Decision Support for Intelligent Traffic and Environment Management
Suresh, V., Watson, P., Bell, M. C., Neasham, J.
School of Computing Science, Newcastle University, Jan 2009

[Abstract]

CS-TR N^o 1132 A Knowledge Base for Dependability and Security Research
Glaser, H., Millard, I., Anderson, T., Andrews, Z., Fitzgerald, J., Randell, B.
School of Computing Science, Newcastle University, Dec 2008

[Abstract]

CS-TR N^o 1131 Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Bryans, J., Fitzgerald, J., Romanovsky, A., Roth, A.
School of Computing Science, Newcastle University, Dec 2008

[Abstract]

CS-TR N^o 1130 TangiSoft: A Tangible Direct-Touch Tabletop Keyboard
Sulaiman, A. N., Olivier, P., Heslop, P.
School of Computing Science, Newcastle University, Dec 2008

[Abstract]

CS-TR N^o 1129 Using ODEs from PEPA models to derive asymptotic solutions for a class of closed queueing networks
Thomas, N.
School of Computing Science, Newcastle University, Dec 2008

[Abstract]

CS-TR N^o 1128 Mean value analysis for a class of PEPA models
Thomas, N.
School of Computing Science, Newcastle University, Dec 2008

[Abstract]

CS-TR N^o 1127 Is cheap labour behind the scene? - Low-cost automated attacks on Yahoo CAPTCHAs
Yan, J., Salah El Ahmad, A.
School of Computing Science, Newcastle University, Nov 2008

[Abstract]

CS-TR N^o 1126 Concurrent Management of Composite Services According to Response Time SLAs
Smith, J., Watson, P.
School of Computing Science, Newcastle University, Oct 2008

[Abstract]

CS-TR N^o 1125 Patterns for Refinement Automation
Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A.
School of Computing Science, Newcastle University, Oct 2008

[Abstract]

CS-TR N^o 1124 RPL: A Policy Language For Dynamic Reconfiguration
Payne, R. J.
School of Computing Science, Newcastle University, Oct 2008

[Abstract]

CS-TR N^o 1123 Formal development of cooperative exception handling for mobile agent systems
Laibinis, L., Troubitsyna, E., Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Oct 2008

[Abstract]

CS-TR N^o 1122 The Threat of Uncertainty in Service-Oriented Architecture
Gorbenko, A., Kharchenko, V., Tarasyuk, O., Chen, Y., Romanovsky, A.
School of Computing Science, Newcastle University, Oct 2008

[Abstract]

CS-TR N^o 1121 Development of a Formalism for Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems: A Technical Diary
Bhattacharyya, A., Fitzgerald, J. S.
School of Computing Science, Newcastle University, Sep 2008

[Abstract]

CS-TR N^o 1120 Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques
Koutny, M., Randell, B.
School of Computing Science, Newcastle University, Sep 2008

[Abstract]

CS-TR N^o 1119 A Petri Net Model for Membrane Systems with Dynamic Structure
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Sep 2008

[Abstract]

CS-TR N^o 1118 Steps and Coverability in Inhibitor Nets
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Sep 2008

[Abstract]

CS-TR N^o 1117 Petri Nets and Membrane Computing
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Sep 2008

[Abstract]

CS-TR N^o 1116 WS-Mediator for Improving Dependability of Service Composition
Chen, Y.
School of Computing Science, Newcastle University, Aug 2008

[Abstract]

CS-TR N^o 1115 A Rule-based Notation to Specify Executable Electronic Contracts
Strano, M., Molina-Jimenez, C., Shrivastava, S.
School of Computing Science, Newcastle University, Aug 2008

[Abstract]

CS-TR N^o 1114 Prêt à Voter with Paillier Encryption - extended journal version
Ryan, P. Y. A.
School of Computing Science, Newcastle University, Jul 2008

[Abstract]

CS-TR N^o 1113 Evaluation of P2P Algorithms for Probabilistic Trust Inference in a Web of Trust
Zhang, H., van Moorsel, A.
School of Computing Science, Newcastle University, Jul 2008

[Abstract]

CS-TR N^o 1112 Efficient solutions of a PEPA model of key distribution centre with a cost function
Zhao, Y., Thomas, N.
School of Computing Science, Newcastle University, Jul 2008

[Abstract]

CS-TR N^o 1111 Improving Assessment in Software Engineering Student Team Projects
Devlin, M., Drummond, S., Phillips, C., Marshall, L.
School of Computing Science, Newcastle University, Jul 2008

[Abstract]

CS-TR N^o 1110 Organised Chaos - Learning Outcomes from trialling Active Learning Methods in Computing Science
Devlin, M., Phillips, C., Marshall, L.
School of Computing Science, Newcastle University, Jul 2008

[Abstract]

CS-TR N^o 1109 TangiSoft: Designing a Tangible Direct-Touch Tabletop Keyboard
Sulaiman, A. N., Olivier, P., Heslop, P.
School of Computing Science, Newcastle University, Jul 2008

[Abstract]

CS-TR N^o 1108 Expression Decomposition in a Rely/Guarantee Context
Coleman, J. W.
School of Computing Science, Newcastle University, Jul 2008

[Abstract]

CS-TR N^o 1107 Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation Codes
Chaum, D., Carback, R., Clark, J., Essex, A., Popoveniuc, S., Rivest, R. L., Ryan, P. Y. A., Shen, E., Sherman, A. T.
School of Computing Science, Newcastle University, Jul 2008

[Abstract]

CS-TR N^o 1106 Mapping WSLA on Reward Constructs in Möbius
Yassin Kassab, R., van Moorsel, A.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1105 Improving the Reliability of Cooperative Concurrent Systems with Exception Flow Analysis
Castor Filho, F., Romanovsky, A., Rubira, C. M. F.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1104 Mediating Web Services for Dependability
Chen, Y., Romanovsky, A.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1103 Guided Formal Development: Patterns for Modelling and Refinement
Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1102 CHINA 2008 (Concurrency metHods: Issues aNd Applications)
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1101 Trust Economics Feasibility Study
Coles, R., Griffin, J., Johnson, H., Monahan, B., Parkin, S., Pym, D., Sasse, A., van Moorsel, A.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1100 Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete
Khomenko, V., Meyer, R.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1099 Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop
Fitzgerald J.S., Larsen P.G., Sahara S.
School of Computing Science, Newcastle University, May 2008

[Abstract]

CS-TR N^o 1098 Proceedings of Formal Aspects of Virtual Organisations 2008
Bryans, J., Fitzgerald, J
School of Computing Science, Newcastle University, May 2008

[Abstract]

CS-TR N^o 1097 Zigbee for intelligent transport system applications
Selvarajah, K., Tully, A., Blythe, P. T.
School of Computing Science, Newcastle University, May 2008

[Abstract]

CS-TR N^o 1096 Heterogeneous sensor integration for intelligent transport systems
Katramados, I., Barlow, A., Selvarajah, K., Shooter, C., Tully, A., Blythe, P. T.
School of Computing Science, Newcastle University, May 2008

[Abstract]

CS-TR N^o 1095 AA – A Software Architecture Aware Environment for Dependable Systems
Gacek, C.
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1094 A Model for Checking Contractual Compliance of Business Operations
Strano, M., Molina-Jimenez, C., Shrivastava, S.
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1093 A Low-cost Attack on a Microsoft CAPTCHA
Yan, J., Salah El Ahmad, A.
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1092 COTraSE: Connection Oriented Traceback in Switched Ethernet
Andreou, M., van Moorsel, A.
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1091 A Dynamic Coalitions Workbench: Final Report
Bryans, J. W., Fitzgerald, J. S., Greathead, D., Jones, C. B., Payne, R. J.
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1090 A Real World Evaluation of Encounter Gossip
Cooper, D. E., Ezhilchelvan, P., Mitrani, I.
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1089 A Peer-to-Peer Database Server based on BitTorrent
Colquhoun, J., Watson, P.
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1088 Towards Concurrent SLA-based Management in a Composite Service Data Centre
Smith, J., Watson, P..
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1087 Attribute Gates
Sulaiman A. N., Olivier P.
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1086 A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks
Banks, R., Khomenko, V., and Steggles, J.,
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1085 UTMC Compliant Database to Support Technologies of the Future
Bell, M., Suresh, V., Watson, P. and Blythe P.
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1084 On using Virtual Machines for Adaptive Distributed Query Processing in Grids
Mukherjee, A. and Watson, P..
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1083 Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics
Coleman, J. W.
School of Computing Science, Newcastle University, Mar 2008

[Abstract]

CS-TR N^o 1082 Cooperative Road Sign and Traffic Light Using Near Infrared Identification and Zigbee Smartdust Technologies
von Arnim, A., Arief, B., Fusée, A.
School of Computing Science, Newcastle University, Mar 2008

[Abstract]

CS-TR N^o 1081 The Impact of Unavailability on the Effectiveness of Enterprise Information Security Technologies
Parkin, S. E., Yassin-Kassab, R., van Moorsel, A.
School of Computing Science, Newcastle University, Mar 2008

[Abstract]

CS-TR N^o 1080 Synthesis of Nets with Step Firing Policies
Darondeau, P., Koutny, M., Pietkiewicz-Koutny, M., Yakovlev, A.
School of Computing Science, Newcastle University, Mar 2008

[Abstract]

CS-TR N^o 1079 Mismatch Avoidance in Web Services Based Software Architectures
Gacek, C., Gamble, C.
School of Computing Science, Newcastle University, Mar 2008

[Abstract]

CS-TR N^o 1078 Minimal Web Services Style — Architectural Style Description and Example Instantiation
Gacek, C., Gamble, C.
School of Computing Science, Newcastle University, Mar 2008

[Abstract]

CS-TR N^o 1077 Friends or Foes? – A Conceptual Analysis of Self-Adaptation and IT Change Management
Gacek, C., Giese, H., Hadar, E.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1076 Exploiting Dynamic Deployment in a Distributed Query Processor for the Grid
Mukherjee, A.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1075 Refinement Patterns
Iliasov, A.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1074 Refinement Patterns for Fault Tolerant Systems
Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1073 Password Authenticated Key Exchange by Juggling
Hao, F., Ryan, P. Y. A.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1072 The Code d'Azur and Phoenix Ciphers-A Note on a New Class of Block Ciphers Based on Matrix Transposition
Ryan, P. Y. A.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1071 Human readable paper verification of Pret a Voter
Lundin, D., Ryan, P. Y. A.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1070 Choosing Reputable Resources in Unstructured Peer-to-Peer Networks using Trust Overlays
Pitsilis, G. K.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1069 Improving Farnel, Threeballot, and Randell-Ryan Voting Schemes
Araujo, R., Ryan, P. Y. A.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1068 Exploiting Dynamic Deployment in a Distributed Query Processor for the Grid
Mukherjee, A., Watson, P.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1067 Query Processing for Mobile Wireless Sensor Networks: State-of-the-art and Research Challenges
He, Y., Tully, A.
School of Computing Science, Newcastle University, Feb 2008

[Abstract]

CS-TR N^o 1066 Responsive Fault-Tolerant Computing in the era of Terascale Integration – State of Art Report
Ezhilchelvan, P.
School of Computing Science, Newcastle University, Mar 2008

[Abstract]

CS-TR N^o 1065 Design and Performance Analysis of Fail-Signal Based Consensus Protocols for Byzantine Faults
Tariq, Q. I.
School of Computing Science, Newcastle University, Jan 2008

[Abstract]

CS-TR N^o 1064 A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Meyer, R., Khomenko, V., Strazny, T.
School of Computing Science, Newcastle University, Jan 2008

[Abstract]

CS-TR N^o 1063 Wrapper Based Adaptive Management of Concurrent Workflow Executions
Smith, J., Watson, P.
School of Computing Science, Newcastle University, Dec 2007

[Abstract]

CS-TR N^o 1062 INTEGRATING SMARTDUST INTO INTELLIGENT TRANSPORTATION SYSTEMS
Arief, B., Blythe, P., Fairchild, R., Selvarajah, K., Tully, A.
School of Computing Science, Newcastle University, Dec 2007

[Abstract]

CS-TR N^o 1061 Mismatch Avoidance with Web Services
Gacek, C., Gamble, C.
School of Computing Science, Newcastle University, Dec 2007

[Abstract]

CS-TR N^o 1060 Using Collaborative Technology in CS Education to facilitate Cross-Site Software Development
Devlin, M., Drummond, S., Hatch, A.
School of Computing Science, Newcastle University, Nov 2007

[Abstract]

CS-TR N^o 1059 Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM
Macedo, H.D., Larsen, P.G., Fitzgerald, J.
School of Computing Science, Newcastle University, Nov 2007

[Abstract]

CS-TR N^o 1058 Secret Ballot Elections with Unconditional Integrity
Chaum, D., van der Graaf, J., Ryan, P. Y. A., Vora, P.
School of Computing Science, Newcastle University, Nov 2007

[Abstract]

CS-TR N^o 1057 VDMTools: advances in support for formal modeling in VDM
Fitzgerald, J. S., Larsen, P. G., Sahara, S.
School of Computing Science, Newcastle University, Nov 2007

[Abstract]

CS-TR N^o 1056 A Trust-economic Perspective on Information Security Technologies
Parkin, S. E., van Moorsel, A.
School of Computing Science, Newcastle University, Oct 2007

[Abstract]

CS-TR N^o 1055 Making Computing Science Students More Employable with Problem-Based Learning and Cross-Site TeamWork
Devlin, M., Phillips, C., Marshall, L.
School of Computing Science, Newcastle University, Oct 2007

[Abstract]

CS-TR N^o 1054 Validating Access Control Policies for Virtual Organisations
Bryans, J., Fitzgerald, J.
School of Computing Science, Newcastle University, Oct 2007

[Abstract]

CS-TR N^o 1053 Science production in top 20 UK universities is catching-up with the US universities
Andras, P., Herald, N. D. J., Charlton B. G.
School of Computing Science, Newcastle University, Oct 2007

[Abstract]

CS-TR N^o 1052 Distributed Secure Systems: Then and Now
Randell, B., Rushby, J. M.
School of Computing Science, Newcastle University, Oct 2007

[Abstract]

CS-TR N^o 1051 Architecting Fault Tolerant Systems
Muccini, H., Romanovsky, A.
School of Computing Science, Newcastle University, Sep 2007

[Abstract]

CS-TR N^o 1050 Modelling Bacterial Regulatory Networks with Petri Nets
Shaw, O. J.
School of Computing Science, Newcastle University, Sep 2007

[Abstract]

CS-TR N^o 1049 Formal Languages and Concurrent Behaviours
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Sep 2007

[Abstract]

CS-TR N^o 1048 QoS Control of E-business Systems through Performance Modelling and Estimation
Ferrari, G.
School of Computing Science, Newcastle University, Sep 2007

[Abstract]

CS-TR N^o 1047 Web Service Hosting and Revenue Maximization
Mazzucco, M., Mitrani, I., Palmer, J., Fisher, M., McKee, P.
School of Computing Science, Newcastle University, Sep 2007

[Abstract]

CS-TR N^o 1046 Understanding programming language concepts via Operational Semantics
Jones, C. B.
School of Computing Science, Newcastle University, Aug 2007

[Abstract]

CS-TR N^o 1045 Deriving specifications for systems that are connected to the physical world
Jones, C. B., Hayes, I. J., Jackson, M. A.
School of Computing Science, Newcastle University, Aug 2007

[Abstract]

CS-TR N^o 1044 The Connection between Two Ways of Reasoning about Partial Functions
Fitzgerald, J. S., Jones, C. B.
School of Computing Science, Newcastle University, Aug 2007

[Abstract]

CS-TR N^o 1043 Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models
Lister, A. L., Pocock, M., Wipat, A.
School of Computing Science, Newcastle University, Aug 2007

[Abstract]

CS-TR N^o 1042 The CARMEN Neuroscience Server
Watson, P., Jackson, T., Pitsilis, G., Gibson, F., Austin, J., Fletcher, M., Liang, B., Lord, P.
School of Computing Science, Newcastle University, Aug 2007

[Abstract]

CS-TR N^o 1041 Modelling secure secret key exchange using stochastic process algebra
Zhao, Y., Thomas, N.
School of Computing Science, Newcastle University, Jul 2007

[Abstract]

CS-TR N^o 1040 IP Traceback in a Switched Ethernet Network
Andreou, M. S., van Moorsel, A.
School of Computing Science, Newcastle University, Jul 2007

[Abstract]

CS-TR N^o 1039 Experiments Towards Adaptation of Concurrent Workflows
Smith, J., Watson, P.
School of Computing Science, Newcastle University, Jul 2007

[Abstract]

CS-TR N^o 1038 Pret a Voter with a Human-Readable, Paper Audit Trail
Ryan, P. Y. A.
School of Computing Science, Newcastle University, Jul 2007

[Abstract]

CS-TR N^o 1037 Enterprise Service Bus: An overview
de Leusse, P., Periorellis, P., Watson, P.
School of Computing Science, Newcastle University, Jul 2007

[Abstract]

CS-TR N^o 1036 A Cross-Layer Framework Design for the Embedded Middleware in Mobility Applications (EMMA) Project
Jambli, M. N., Tully, A., Selvarajah, K., Lachenmann, A.
School of Computing Science, Newcastle University, Jul 2007

[Abstract]

CS-TR N^o 1035 Smartdust and ZigBee for Transport Applications
Selvarajah, K., Tully, A.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1034 Mitigating Provider Uncertainty in Service Provision Contracts
Smith, C., van Moorsel, A.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1033 Evaluation of P2P Search Algorithms for Discovering Trust Paths
Ribeiro de Mello, E., van Moorsel, A., da Silva Fraga, J
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1032 Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance
Butler, M., Jones, C. B., Romanovsky, A., Troubitsyna, E.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1031 Balancing Insight and Effort: the Industrial Uptake of Formal Methods
Fitzgerald, J. S., Larsen, P. G.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1030 How do people collaborate using paper documents around a table. An observational study.
Sulaiman, A. N., Olivier, P.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1029 A structural proof of the soundness of rely/guarantee rules (revised)
Coleman, J. W., Jones, C. B.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1028 Formal Engineering of XACML Access Control Policies in VDM++
Bryans, J. W., Fitzgerald, J. S.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1027 A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations
Bryans, J. W., Fitzgerald, J. S., Periorellis, P.
School of Computing Science, Newcastle University, Jun 2007

[Abstract]

CS-TR N^o 1026 Breaking Visual CAPTCHAs with Naïve Pattern Recognition Algorithms
Yan, J., Salah El Ahmad, A.
School of Computing Science, Newcastle University, May 2007

[Abstract]

CS-TR N^o 1025 Improving Service Availability without Improving Availability of Individual Services
Chen, Y., Romanovsky, A.
School of Computing Science, Newcastle University, May 2007

[Abstract]

CS-TR N^o 1024 A Computer Scientist’s Reactions to NPfIT
Randell, B.
School of Computing Science, Newcastle University, May 2007

[Abstract]

CS-TR N^o 1023 Optimizing revenue: Service Provisioning Systems with QoS Contracts
Palmer, J., Mitrani, I., Mazzucco, M., McKee, P., Fisher, M.
School of Computing Science, Newcastle University, May 2007

[Abstract]

CS-TR N^o 1022 Control Blocks: Tangible Tools for Tabletop Groupware
Hook, J., Olivier, P.
School of Computing Science, Newcastle University, May 2007

[Abstract]

CS-TR N^o 1021 The ReSIST Resilience Knowledge Base
Anderson, T., Andrews, Z. H., Fitzgerald, J. S., Randell, B., Glaser, H., Millard, I. C.
School of Computing Science, Newcastle University, May 2007

[Abstract]

CS-TR N^o 1020 Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation
Andrews, Z., Fitzgerald, J., Verhoef, M.
School of Computing Science, Newcastle University, May 2007

[Abstract]

CS-TR N^o 1019 Detecting Architectural Mismatches Between Web Services
Gamble, C.
School of Computing Science, Newcastle University, Apr 2007

[Abstract]

CS-TR N^o 1018 Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems
Di Marzo Serugendo, G., Fitzgerald, J. S., Romanovsky, A., Guelfi, N.
School of Computing Science, Newcastle University, Apr 2007

[Abstract]

CS-TR N^o 1017 Validation Support for Distributed Real-Time Embedded Systems in VDM++
Fitzgerald, J. S., Larsen, P. G., Tjell, S., Verhoef, M.
School of Computing Science, Newcastle University, Apr 2007

[Abstract]

CS-TR N^o 1016 Implementing the FuGE Object Model: a Systems Biology Data Portal and Integrator
Lister, A. L., Jones, A. R., Pocock, M., Shaw, O., Wipat, A.
School of Computing Science, Newcastle University, Apr 2007

[Abstract]

CS-TR N^o 1015 A Minimal Web Service Architectural Style
Gamble, C.
School of Computing Science, Newcastle University, Apr 2007

[Abstract]

CS-TR N^o 1014 Pret a Voter with Paillier Encryption
Ryan, P. Y. A.
School of Computing Science, Newcastle University, Apr 2007

[Abstract]

CS-TR N^o 1013 Mobile Code for Coordination
Iliasov, A.
School of Computing Science, Newcastle University, Apr 2007

[Abstract]

CS-TR N^o 1012 A Case Study in System-Based Analysis: The ThreeBallot Voting System and Prêt à Voter
Tjostheim, T., Peacock, T., Ryan, P. Y. A.
School of Computing Science, Newcastle University, Apr 2007

[Abstract]

CS-TR N^o 1011 Cross-Layer Design for Information Dissemination in Wireless Sensor Networks: State-of-the-Art and Research Challenges
Jambli, M. N., Tully, A.
School of Computing Science, Newcastle University, Mar 2007

[Abstract]

CS-TR N^o 1010 Experimenting With Exception Handling Mechanisms Of Web Services Implemented Using Different Development Kits
Gorbenko, A., Mikhaylichenko, A., Kharchenko, V., Romanovsky, A.
School of Computing Science, Newcastle University, Mar 2007

[Abstract]

CS-TR N^o 1009 Middleware Support for Non-repudiable Business-to-Business Interactions
Cook, N.
School of Computing Science, Newcastle University, Mar 2007

[Abstract]

CS-TR N^o 1008 Adaptive SSL: Design, Implementation and Overhead Analysis
Lamprecht, C. J., van Moorsel, A. P.
School of Computing Science, Newcastle University, Mar 2007

[Abstract]

CS-TR N^o 1007 A High-Level Petri Net Framework for Multi-Valued Genetic Regulatory Networks
Banks, R., Steggles, L. J.
School of Computing Science, Newcastle University, Feb 2007

[Abstract]

CS-TR N^o 1006 An analysis of the dynamics of British academic science
Andras, P., Herald, N. D. J., Charlton, B. G.
School of Computing Science, Newcastle University, Feb 2007

[Abstract]

CS-TR N^o 1005 CROSSBOARD: Crossmodal Access of Dense Public Displays
Gilroy, S. W., Olivier, P., Cao, H., Jackson, D., Kray, C., Lin, D.
School of Computing Science, Newcastle University, Feb 2007

[Abstract]

CS-TR N^o 1004 Mobile Devices in Crossmodal Interfaces
Cao, H., Olivier, P., Jackson, D., Armstrong, A.
School of Computing Science, Newcastle University, Feb 2007

[Abstract]

CS-TR N^o 1003 Enhancing privacy in public spaces through crossmodal displays
Cao, H., Olivier, P., Jackson, D., Armstrong, A., Huang, L.
School of Computing Science, Newcastle University, Feb 2007

[Abstract]

CS-TR N^o 1002 Virtual Machines in DynaSOAr: Creating an on-demand ad-hoc Virtual Grid
Mukherjee, A., Watson, P.
School of Computing Science, Newcastle University, Feb 2007

[Abstract]

CS-TR N^o 1001 A Model for Systematic Analysis of Voting Systems
Tjostheim, T., Peacock, T., Ryan, P. Y. A.
School of Computing Science, Newcastle University, Jan 2007

[Abstract]

CS-TR N^o 1000 Synthesis of Elementary Net Systems with Context Arcs and Localities
Koutny, M., Pietkiewicz-Koutny, M.
School of Computing Science, Newcastle University, Jan 2007

[Abstract]

CS-TR N^o 999 Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods
Fitzgerald, J. S., Larsen, P. G.
School of Computing Science, Newcastle University, Jan 2007

[Abstract]

CS-TR N^o 998 A Note on the Well-Foundedness of Adequate Orders Used for Truncating Unfoldings
Chatain, T., Khomenko, V.
School of Computing Science, Newcastle University, Jan 2007

[Abstract]

CS-TR N^o 997 Active Learning in Computing: Engaging Learners in a Cross-Site Team Project
Devlin, M., Marshall, L., Phillips, C.
School of Computing Science, Newcastle University, Jan 2007

[Abstract]

CS-TR N^o 996 Software Engineering Students’ Cross-site Collaboration: An Experience Report
Drummond, S., Devlin, M.
School of Computing Science, Newcastle University, Jan 2007

[Abstract]

CS-TR N^o 995 Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings
Khomenko, V.
School of Computing Science, Newcastle University, Jan 2007

[Abstract]

CS-TR N^o 994 Failures: Their Definition, Modelling and Analysis
Randell, B., Koutny, M.
School of Computing Science, Newcastle University, Dec 2006

[Abstract]

CS-TR N^o 993 On Rigorous Design and Implementation of Fault Tolerant Ambient Systems
Iliasov, A., Romanovsky, A., Arief, B., Laibinis, L., Troubitsyna, E.
School of Computing Science, Newcastle University, Dec 2006

[Abstract]

CS-TR N^o 992 Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++
Larsen, P. G., Fitzgerald, J. S., Riddle, S.
School of Computing Science, Newcastle University, Dec 2006

[Abstract]

CS-TR N^o 991 A Looming Fault Tolerance Software Crisis?
Romanovsky, A.
School of Computing Science, Newcastle University, Nov 2006

[Abstract]

CS-TR N^o 990 RODIN: Intermediate report on methodology
Jones, C. B.
School of Computing Science, Newcastle University, Nov 2006

[Abstract]

CS-TR N^o 989 Formal Approach to Ensuring Interoperability of Mobile Agents
Laibinis, L., Iliasov, A., Troubitsyna, E., Romanovsky, A.
School of Computing Science, Newcastle University, Nov 2006

[Abstract]

CS-TR N^o 988 The Computer Ate my Vote
Ryan, P. Y. A.
School of Computing Science, Newcastle University, Nov 2006

[Abstract]

CS-TR N^o 987 A structural proof of the soundness of rely/guarantee rules
Coleman, J. W., Jones, C. B.
School of Computing Science, Newcastle University, Oct 2006

[Abstract]

CS-TR N^o 986 Processes of Membrane Systems with Promoters and Inhibitors
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Oct 2006

[Abstract]

CS-TR N^o 985 Processes of Nets with Range Arcs
Kleijn, J., Koutny, M.
School of Computing Science, Newcastle University, Oct 2006

[Abstract]

CS-TR N^o 984 The Typed Logic of Partial Functions and the Vienna Development Method
Fitzgerald, J. S.
School of Computing Science, Newcastle University, Oct 2006

[Abstract]

CS-TR N^o 983 Perspectives on Formal Methods in the Last 25 years
Fitzgerald, J. S.
School of Computing Science, Newcastle University, Oct 2006

[Abstract]

CS-TR N^o 982 Server allocation in Grid systems with on/off sources
Slegers, J., Mitrani, I., Thomas, N.
School of Computing Science, Newcastle University, Sep 2006

[Abstract]

CS-TR N^o 981 Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering
Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I.
School of Computing Science, Newcastle University, Sep 2006

[Abstract]

CS-TR N^o 980 Time as a dimension in the design and analysis of interactive systems
Harrison, M. D., Loer, K.
School of Computing Science, Newcastle University, Aug 2006

[Abstract]

CS-TR N^o 979 Adding Dynamism To OGSA-DQP: Incorporating The DynaSOAr Framework In Distributed Query Processing
Mukherjee, A., Watson, P.
School of Computing Science, Newcastle University, Aug 2006

[Abstract]

CS-TR N^o 978 Comments on several years of teaching of modelling programming language concepts
Coleman, J. W., Jefferson, N. P., Jones, C. B.
School of Computing Science, Newcastle University, Jul 2006

[Abstract]

CS-TR N^o 977 Nonoptimal Component Placement, but Short Processing Paths, due to Long-Distance Projections in Neural Systems
Kaiser, M., Hilgetag, C. C.
School of Computing Science, Newcastle University, Jul 2006

[Abstract]

CS-TR N^o 976 Model Based Analysis and Validation of Access Control Policies
Bryans, J. W., Fitzgerald, J. S., Periorellis, P.
School of Computing Science, Newcastle University, Jul 2006

[Abstract]

CS-TR N^o 975 Transaction Manager Failover: A Case Study Using JBOSS Application Server
Kistijantoro, A. I., Morgan, G., Shrivastava, S. K.
School of Computing Science, Newcastle University, Jul 2006

[Abstract]

CS-TR N^o 974 Determining the Specification of a Control System: an Illustrative Example
Coleman, J. W.
School of Computing Science, Newcastle University, May 2006

[Abstract]

CS-TR N^o 973 Enhancing Signature-based Collaborative Spam Detection with Bloom Filters
Yan, J., Cho, P. L.
School of Computing Science, Newcastle University, Jun 2006

[Abstract]

CS-TR N^o 972 Putting the Human back in Voting Protocols
Ryan, P. Y. A., Peacock, T.
School of Computing Science, Newcastle University, Jun 2006

[Abstract]

CS-TR N^o 971 Threat Analysis of Cryptographic Election Schemes
Ryan, P. Y. A., Peacock, T.
School of Computing Science, Newcastle University, Jun 2006

[Abstract]

CS-TR N^o 970 Bot, Cyborg and Automated Turing Test
Yan, J.
School of Computing Science, Newcastle University, Jun 2006

[Abstract]

CS-TR N^o 969 Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005
Fitzgerald, J. S., Larsen, P. G., Plat, N.
School of Computing Science, Newcastle University, Jun 2006

[Abstract]

CS-TR N^o 968 A chemical process development case study as a source of requirements for the GOLD project
Conlin, A., Hiden, H., Wright, A.
School of Computing Science, Newcastle University, Jun 2006

[Abstract]

CS-TR N^o 967 A Performance Study on the Signal-On-Fail Approach to Imposing Total Order in the Streets of Byzantium
Inayat, Q., Ezhilchelvan, P.
School of Computing Science, Newcastle University, Jun 2006

[Abstract]

CS-TR N^o 966 Verified Encrypted Paper Audit Trails
Ryan, P. Y. A.
School of Computing Science, Newcastle University, Jun 2006

[Abstract]

CS-TR N^o 965 Pret a Voter with Paillier Encryption
Ryan, P. Y. A.
School of Computing Science, Newcastle University, Jun 2006

[Abstract]

CS-TR N^o 964 Specifying systems that connect to the physical world
Jones, C. B., Hayes, I. J., Jackson, M. A.
School of Computing Science, Newcastle University, May 2006

[Abstract]

CS-TR N^o 963 Dimensions of Dynamic Coalitions
Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I.
School of Computing Science, Newcastle University, May 2006

[Abstract]

CS-TR N^o 962 Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets
Steggles, L. J., Banks, R., Wipat, A.
School of Computing Science, Newcastle University, May 2006

[Abstract]

CS-TR N^o 961 On Efficient Stateful Resource Management
Smith, C., van Moorsel, A.
School of Computing Science, Newcastle University, May 2006

[Abstract]

CS-TR N^o 960 Secure and Provable Service Support for Human-Intensive Real-Estate Processes
Ribeiro de Mello, E., Parastatidis, S., Reinecke, P., Smith, C., van Moorsel, A., Webber, J.
School of Computing Science, Newcastle University, May 2006

[Abstract]

CS-TR N^o 959 Coercion-resistance as Opacity in Voting Systems
Peacock, T., Ryan, P. Y. A.
School of Computing Science, Newcastle University, Apr 2006

[Abstract]

CS-TR N^o 958 Opacity - Further Insights on an Information Flow Property
Ryan, P. Y. A., Peacock, T.
School of Computing Science, Newcastle University, Apr 2006

[Abstract]

CS-TR N^o 957 Failure Recovery Alternatives In Grid Based Distributed Query Processing: A Case Study
Smith, J., Watson, P.
School of Computing Science, Newcastle University, Apr 2006

[Abstract]

CS-TR N^o 956 Pret a Voter with Re-encryption Mixes
Ryan, P. Y. A., Schneider, S. A.
School of Computing Science, Newcastle University, Apr 2006

[Abstract]

CS-TR N^o 955 Guaranteeing the soundness of rely/guarantee rules
Coleman, J. W., Jones, C. B.
School of Computing Science, Newcastle University, Mar 2006

[Abstract]

CS-TR N^o 954 Performance Modelling and Evaluation of E-Business Systems
Ferrari, G., Ezhilchelvan, E., Mitrani, I.
School of Computing Science, Newcastle University, Mar 2006

[Abstract]

CS-TR N^o 953 Applying Petri Net Unfoldings for Verification of Mobile Systems
Khomenko, V., Koutny, M., Niaouris, A.
School of Computing Science, Newcastle University, Mar 2006

[Abstract]

CS-TR N^o 952 Behaviour-Preserving Transition Insertions in Unfolding Prefixes
Khomenko, V.
School of Computing Science, Newcastle University, Mar 2006

[Abstract]

CS-TR N^o 951 Re-configuring the health supplier market: Changing relationships in the primary care supplier market in England
Sugden, B., Wilson, R., Cornford, J.
School of Computing Science, Newcastle University, Mar 2006

[Abstract]

CS-TR N^o 950 Real-time Interactions: An Abstract Notation for Specifying and Analysing the Timing Properties of Real-time Systems.
Henderson, N., Paynter, S.
School of Computing Science, Newcastle University, Mar 2006

[Abstract]

CS-TR N^o 949 Towards an Algebra of Abstractions for Communicating Processes
Koutny, M.,Pappalardo, G.,Pietkiewicz-Koutny, M.
School of Computing Science, Newcastle University, Feb 2006

[Abstract]

CS-TR N^o 948 Transition Systems of Elementary Net Systems with Localities
Koutny, M., Pietkiewicz-Koutny, M.
School of Computing Science, Newcastle University, Feb 2006

[Abstract]

CS-TR N^o 945 Tailoring Traceability Information to Business Needs
Arkley, P., Riddle, S., Brookes, T.
School of Computing Science, Newcastle University, Feb 2006

[Abstract]

CS-TR N^o 944 Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings
Madalinski, A., Khomenko, V., Yakovlev, A.
School of Computing Science, Newcastle University, Feb 2006

[Abstract]

CS-TR N^o 943 On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems
Arief, B., Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Feb 2006

[Abstract]

CS-TR N^o 942 A data model for the representation of a gel electrophoresis experiment
Gibson, F., Wipat, A., Pocock, M., Morris, N.
School of Computing Science, Newcastle University, Jan 2006

[Abstract]

CS-TR N^o 941 Processes of Petri Nets with Localities
Kleijn, H.C.M., Koutny, M., Rozenberg, G.
School of Computing Science, Newcastle University, Jan 2006

[Abstract]

CS-TR N^o 940 Service Oriented Middleware for the Formation and Operation of Virtual Organisations: The GOLD Project
Periorellis P., Cook N., Conlin, A., Hiden, H.G., Watson P., Smith R., Wright A.
School of Computing Science, Newcastle University, Jan 2006

[Abstract]

CS-TR N^o 939 Towards an Engineering Approach to Component Adaptation
Becker, S., Brogi, A., Gorton, I., Overhage, S., Romanovsky, A., Tivoli, M.
School of Computing Science, Newcastle University, Jan 2006

[Abstract]

CS-TR N^o 938 Measuring the dependability of Web Services for use in e-Science experiments
Li, P., Chen, Y., Romanovsky, A.
School of Computing Science, Newcastle University, Dec 2005

[Abstract]

CS-TR N^o 937 A Framework for the Rigorous Implementation of Security Protocols
Robinson, P., Cook, N., Shrivastava, S.
School of Computing Science, Newcastle University, Dec 2005

[Abstract]

CS-TR N^o 936 Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers
Palmer, J., Mitrani, I.
School of Computing Science, Newcastle University, Dec 2005

[Abstract]

CS-TR N^o 935 Evaluation of Authorization-Authentication Tools: PERMIS, OASIS, XACML & SHIBOLETH
Wu, J., Periorellis, P.
School of Computing Science, Newcastle University, Dec 2005

[Abstract]

CS-TR N^o 934 Design and Evaluation of Crash Tolerant Protocols for Mobile Ad-hoc Networks
Vollset, E.W.
School of Computing Science, Newcastle University, Nov 2005

[Abstract]

CS-TR N^o 933 Quiescent Consensus in Mobile Ad-hoc Networks using Eventually Storage-Free Broadcasts
Bonnet, F., Ezhilchelvan, P.D.,Vollset, E.W.
School of Computing Science, Newcastle University, Nov 2005

[Abstract]

CS-TR N^o 932 Infinite Process Semantics of Inhibitor Nets
Kleijn, H.C.M., Koutny, M.
School of Computing Science, Newcastle University, Nov 2005

[Abstract]

CS-TR N^o 931 Exploring Microbial Genome Sequences to Identify Protein Families on the Grid
Sun, Y., Wipat, A., Pocock, M., Lee, P., Flanagan, K., Worthington, J.
School of Computing Science, Newcastle University, Oct 2005

[Abstract]

CS-TR N^o 930 Derivation of Set and Reset Covers for gC Elements and Standard C Implementation Using STG Unfoldings
Khomenko, V.
School of Computing Science, Newcastle University, Sep 2005

[Abstract]

CS-TR N^o 929 Prêt á Voter: a System Perspective
Ryan, P. Y. A., Peacock, T.
School of Computing Science, Newcastle University, Sep 2005

[Abstract]

CS-TR N^o 928 A Family of Trusted Third Party based Fair-Exchange Protocols
Ezhilchelvan, P. D., Shrivastava, S.
School of Computing Science, Newcastle University, Sep 2005

[Abstract]

CS-TR N^o 927 Verification of Coordinated Exception Handling
CastorFilho, F., Romanovsky, A., Rubira, C. M. F.
School of Computing Science, Newcastle University, Sep 2005

[Abstract]

CS-TR N^o 926 Grid Computing Using Web Services
Parastatidis, S., Watson, P., Webber, J.
School of Computing Science, Newcastle University, Aug 2005

[Abstract]

CS-TR N^o 925 Design and Performance-Study of Crash-Tolerant Protocols for Broadcasting and Reaching Consensus in MANETs
Vollset, E., Ezhilchelvan, P.D.
School of Computing Science, Newcastle University, Aug 2005

[Abstract]

CS-TR N^o 924 Reasoning about XACML policies using CSP
Bryans, J.
School of Computing Science, Newcastle University, Jul 2005

[Abstract]

CS-TR N^o 923 GOLD Architecture Document
Conlin, A., Cook, N., Hiden, H., Periorellis, P., Smith, R.
School of Computing Science, Newcastle University, Jul 2005

[Abstract]

CS-TR N^o 922 Service-oriented, Distributed, High-Performance Computing
Parastatidis, S., Webber, J.
School of Computing Science, Newcastle University, Jul 2005

[Abstract]

CS-TR N^o 921 Optimization of Encounter Gossip Propagation in Mobile Ad-Hoc Networks
Cooper, D.E., Ezhilchelvan, P., Mitrani, I., Vollset,E.
School of Computing Science, Newcastle University, Jul 2005

[Abstract]

CS-TR N^o 920 Investigating Atomicity and Observability
Burton, J., Jones, C. B.
School of Computing Science, Newcastle University, Jul 2005

[Abstract]

CS-TR N^o 919 Towards a Petri net semantics for membrane systems
Kleijn, H. C. M., Koutny, M., Rozenberg, G.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 918 An Approach to the Formalisation of a Certification Policy
Batarfi, O., Snow, C. R.
School of Computing Science, Newcastle University, Jul 2005

[Abstract]

CS-TR N^o 917 CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents
Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Jul 2005

[Abstract]

CS-TR N^o 916 21st UK Performance Engineering Workshop
Thomas, N.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 915 Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)
Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 914 A Method for Specifying Contract Mediated Interactions
Molina-Jimenez, C., Shrivastava, S., Warne, J.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 913 Implementing Fair Non-repudiable Interactions with Web Services
Robinson, P., Cook, N., Shrivastava, S.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 912 A Petri Net Semantics of a Simple Process Algebra for Mobility
Devillers, R., Klaudel, H., Koutny, M.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 911 Voting Technologies and Trust
Randell, B., Ryan, P.Y.A.
School of Computing Science, Newcastle University, Jun 2005

[Abstract]

CS-TR N^o 910 A proposal for Trust-Enabled P2P Recommendation Systems
Pitsilis, G., Marshall, L.
School of Computing Science, Newcastle University, May 2005

[Abstract]

CS-TR N^o 909 Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks
Shaw, O.J., Steggles, L.J., Wipat, A.
School of Computing Science, Newcastle University, May 2005

[Abstract]

CS-TR N^o 908 Trust Position - GOLD
Periorellis, P.
School of Computing Science, Newcastle University, May 2005

[Abstract]

CS-TR N^o 907 Authorization-Authentication Using XACML and SAML
Wu, J., Periorellis, P.
School of Computing Science, Newcastle University, May 2005

[Abstract]

CS-TR N^o 906 Overcoming the Traceability Benefit Problem
Arkley, P., Riddle, S.
School of Computing Science, Newcastle University, Apr 2005

[Abstract]

CS-TR N^o 905 Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism
Burton, J.
School of Computing Science, Newcastle University, Apr 2005

[Abstract]

CS-TR N^o 904 The Theory and Practice of Refinement-After-Hiding
Burton, J.
School of Computing Science, Newcastle University, Apr 2005

[Abstract]

CS-TR N^o 903 Sequencing Constraints SSDL Protocol Framework
Woodman, S., Parastatidis, S., Webber, J.
School of Computing Science, Newcastle University, Apr 2005

[Abstract]

CS-TR N^o 902 Rules-based SSDL Protocol Framework
Kuo, D., Greenfield, P., Parastatidis, S., Webber, J.
School of Computing Science, Newcastle University, Apr 2005

[Abstract]

CS-TR N^o 901 CSP SSDL Protocol Framework
Parastatidis, S., Webber, J.
School of Computing Science, Newcastle University, Apr 2005

[Abstract]

CS-TR N^o 900 MEP SSDL Protocol Framework
Parastatidis, S., Webber, J.
School of Computing Science, Newcastle University, Apr 2005

[Abstract]

CS-TR N^o 899 The SOAP Service Description Language
Parastatidis, S., Webber, J.
School of Computing Science, Newcastle University, Apr 2005

[Abstract]

CS-TR N^o 898 An Introduction to the SOAP Service Description Language
Parastatidis, S., Webber, J., Woodman, S., Kuo, D., Greenfield, P.
School of Computing Science, Newcastle University, Apr 2005

[Abstract]

CS-TR N^o 897 Dependable Composite Web Services with Components Upgraded Online
Gorbenko, A., Kharchenko, V., Popov, P., Romanovsky, A.
School of Computing Science, Newcastle University, Mar 2005

[Abstract]

CS-TR N^o 896 RODIN (Rigorous Open Development Environment for Complex Systems)
Coleman, J., Jones, C., Oliver, I., Romanovsky, A., Troubitsyna, E.
School of Computing Science, Newcastle University, Mar 2005

CS-TR N^o 895 An Algebra of Timed-Arc Petri Nets
Niaouris, A., Koutny, M.
School of Computing Science, Newcastle University, Mar 2005

[Abstract]

CS-TR N^o 894 Examining BPEL's Compensation Construct
Coleman, J.
School of Computing Science, Newcastle University, Mar 2005

[Abstract]

CS-TR N^o 893 Fault-Tolerance in Distributed Query Processing
Smith, J., Watson, P.
School of Computing Science, Newcastle University, Feb 2005

[Abstract]

CS-TR N^o 892 Specification before Satisfaction
Jones, C. B.
School of Computing Science, Newcastle University, Feb 2005

[Abstract]

CS-TR N^o 891 Reminiscences of Project Y and the ACS Project
Randell, B.
School of Computing Science, Newcastle University, Feb 2005

[Abstract]

CS-TR N^o 890 An Architecture for the Dynamic Deployment of Web Services on a Grid or the Internet
Watson, P., Fowler, C.
School of Computing Science, Newcastle University, Feb 2005

[Abstract]

CS-TR N^o 889 Security in Computer Games: from Pong to Online Poker
Yan, J., Randell, B.
School of Computing Science, Newcastle University, Feb 2005

[Abstract]

CS-TR N^o 888 Scalable Massively Multiplayer Online Games
Morgan, G.
School of Computing Science, Newcastle University, Feb 2005

[Abstract]

CS-TR N^o 887 A Petri net translation of pi-calculus terms
Devillers, R., Klaudel, H., Koutny, M.
School of Computing Science, Newcastle University, Jan 2005

[Abstract]

CS-TR N^o 886 The Atomic Manifesto: a Story in Four Quarks
Jones, C., Lomet, D., Romanovsky, A., Weikum, G., Fekete, A., Gaudel, M.C., Korth, H. F., Lemos, R., Moss, E., Rajwar, R., Ramamritham, K., Randell, B., Rodrigues, L.
School of Computing Science, Newcastle University, Jan 2005

[Abstract]

CS-TR N^o 885 Refinement-after-hiding: a small case study
Burton, J.
School of Computing Science, Newcastle University, Jan 2005

[Abstract]

CS-TR N^o 884 Merged Processes - a New Condensed Representation of Petri Net Behaviour
Khomenko, V., Kondratyev, A., Koutny, M., Vogler, W.
School of Computing Science, Newcastle University, Jan 2005

[Abstract]

CS-TR N^o 883 Splitting Atoms Safely
Jones, C. B.
School of Computing Science, Newcastle University, Jan 2005

[Abstract]

CS-TR N^o 882 Enabling reliable many-to-many communication in ad-hoc pervasive environments
Vollset E.W., Ezhilchelvan P.D.
School of Computing Science, Newcastle University, Dec 2004

[Abstract]

CS-TR N^o 881 A Grid-based System for Microbial Genome Comparison and Analysis
Sun Y., Wipat A., Pocock M., Lee P., Watson P., Flanagan K. and Worthington J.
School of Computing Science, Newcastle University, Dec 2004

[Abstract]

CS-TR N^o 880 A Practical, Voter-verifiable Election Scheme
Chaum, D., Ryan, P.Y.A., Schneider, S.A.
School of Computing Science, Newcastle University, Dec 2004

[Abstract]

CS-TR N^o 879 Dependable Composite Web Services with Components Upgraded Online: Solutions, Models and Implementation
Gorbenko, A., Kharchenko, V., Popov, P., Romanovsky, A.
School of Computing Science, Newcastle University, Dec 2004

[Abstract]

CS-TR N^o 878 Exception Handling in Coordination-based Mobile Environments
Iliasov, A., Romanovsky, A.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 877 Dependability, Structure and Infrastructure
Randell, B.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 876 Analysing and modelling context in mobile systems to support design
Loer, K., Harrison, M.D.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 875 Trust as a key to improving Recommendation Systems
Pitsilis, G., Marshall, L.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 874 A Model of Trust Derivation from Evidence for Use in Recommendation Systems
Pitsilis, G., Marshall, L.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 873 A framework and supporting tool for the model-based analysis for dependable interactive systems in the context of industrial design
Loer,K., Harrison, M.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 872 Error Analysis of a Security-Oriented User Interface
Reeder, R. W., Maxion, R. A.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 871 Proper Use of ROC Curves in Intrusion/Anomaly Detection
Maxion, R. A., Roberts, R. R.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 870 Performance Evaluation of Anomaly-Based Detection Mechanisms
Tan, K. M. C., Maxion, R. A.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 869 Investigating a Possible Flaw in a Masquerade Detection System
Killhourhy, K. S., Maxion, R. A.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 868 Opacity Generalised to Transition Systems
Bryans, J. W., Koutny, M., Mazare, L., Ryan, P. Y. A.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 867 Standards and Open Source Software: Twins, Cousins, or Just Neighbours?
Gacek, C.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 866 Optimal Tree Structures for Large Service Networks
Palmer, J., Mitrani, I.
School of Computing Science, Newcastle University, Nov 2004

[Abstract]

CS-TR N^o 865 Using the B Method for the Formalization of Coordinated Atomic Actions
Tartanoglu, F., Levy, N., Issarny, V., Romanovsky, A.
School of Computing Science, Newcastle University, Oct 2004

[Abstract]

CS-TR N^o 864 A Variant of the Chaum Voter-verifiable Scheme
Ryan, P.Y.A
School of Computing Science, Newcastle University, Oct 2004

[Abstract]

CS-TR N^o 863 Development of Dependable Web Services out of Undependable Web Components
Gorbenko, A., Kharchenko, V., Popov, P., Romanovsky, A., Boyarchuk, A.
School of Computing Science, Newcastle University, Oct 2004

[Abstract]

CS-TR N^o 862 A Wan Emulator for CORBA Applications
Mohammad, A., Speirs,N.
School of Computing Science, Newcastle University, Oct 2004

[Abstract]

CS-TR N^o 861 Applying Low-Overhead Rollback-Recovery to Wide Area Distributed Query Processing
Smith, J., Watson, P
School of Computing Science, Newcastle University, Oct 2004

[Abstract]

CS-TR N^o 860 A Model for Emergent Chaotic Order in Small Neural Networks
Andras, P.
School of Computing Science, Newcastle University, Sep 2004

[Abstract]

CS-TR N^o 859 Metastability in Asynchronous Wait-Free Protocols
Paynter, S.E., Henderson, N., Armstrong, J.M.
School of Computing Science, Newcastle University, Sep 2004

[Abstract]

CS-TR N^o 858 Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
Khomenko, V., Madalinski, A., Yakovlev, A.
School of Computing Science, Newcastle University, Sep 2004

[Abstract]

CS-TR N^o 857 Protective Wrapping of Off-the-Shelf Components
vanderMeulen, M., Riddle, S., Strigini, L., Jefferson, N.
School of Computing Science, Newcastle University, Aug 2004

[Abstract]

CS-TR N^o 855 Modelling Dynamic Opacity using Petri Nets with Silent Actions
Bryans, J. W., Kounty, M., Ryan, P. Y. A.
School of Computing Science, Newcastle University, Aug 2004

[Abstract]

CS-TR N^o 854 Structural Concepts for Trust, Contract and Security Management for a Virtual Chemical Engineering
Periorellis, P., Townson, C., English, P.
School of Computing Science, Newcastle University, Jul 2004

[Abstract]

CS-TR N^o 853 Extending the Horizons of DSE (GC6)
Hoare, T., Jones, C., Randell, B.
School of Computing Science, Newcastle University, Jul 2004

[Abstract]

CS-TR N^o 852 Wrapping the Future
Anderson, T., Randell, B., Romanovsky, A.
School of Computing Science, Newcastle University, Jul 2004

[Abstract]

CS-TR N^o 851 Assessing the Risk and Value of Adopting Emerging and Unstable Web Services Specifications
Parastatidis, S., Webber, J.
School of Computing Science, Newcastle University, Jul 2004

[Abstract]

CS-TR N^o 850 Using Web Services to Build Grid Applications - The "No Risk" WSGAF Profile
Parastatidis, S., Webber, J. and Watson, P.
School of Computing Science, Newcastle University, Jun 2004

[Abstract]

CS-TR N^o 849 Notations for the Specification and Verification of Composite Web Services
Woodman, S.J., Palmer, D.J., Shrivastava, S.K. and Wheater, S.M.
School of Computing Science, Newcastle University, Jun 2004

[Abstract]

CS-TR N^o 848 Distributed Enactment of Composite Web Services
Woodman, S.J., Palmer, D.J., Shrivastava, S.K. and Wheater, S.M.
School of Computing Science, Newcastle University, Jun 2004

[Abstract]

CS-TR N^o 847 Optimal Tree Structures for Large-Scale Grids
Palmer, J. and Mitrani, I.
School of Computing Science, Newcastle University, Jun 2004

[Abstract]

CS-TR N^o 846 Petri net semantics of the finite pi-calculus
Devillers, R., Klaudel, H., Koutny, M
School of Computing Science, Newcastle University, Jun 2004

[Abstract]

CS-TR N^o 845 Dynamic Allocation of Servers in a Grid Hosting Environment
Fisher, M., Kubicek, C., McKee, P., Mitrani, I., Palmer, J. and Smith, R.
School of Computing Science, Newcastle University, Jun 2004

[Abstract]

CS-TR N^o 844 Black Tie Optional: Modelling Programming Language Concepts
Coleman, J., Jefferson, N. and Jones, C.
School of Computing Science, Newcastle University, May 2004

[Abstract]

CS-TR N^o 843 A Simplified Version of the Chaum Voting Scheme
Ryan, P and Bryans, J
School of Computing Science, Newcastle University, May 2004

[Abstract]

CS-TR N^o 842 Challenges and Opportunities in Grid Performability
Thomas, N.
School of Computing Science, Newcastle University, May 2004

[Abstract]

CS-TR N^o 841 Computing Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT
Khomenko, V.
School of Computing Science, Newcastle University, Apr 2004

[Abstract]

CS-TR N^o 840 Modelling Opacity using Petri Nets
Bryans, J., Koutny, M. and Ryan, P.
School of Computing Science, Newcastle University, Apr 2004

[Abstract]

CS-TR N^o 839 Dependable Pervasive Systems
Jones, C. and Randell, B
School of Computing Science, Newcastle University, Apr 2004

[Abstract]

CS-TR N^o 838 Design and Evaluation of an Efficient Reliable Manycast protocol for Ad-hoc Networks
Vollset, E. and Ezhilchelvan, P.
School of Computing Science, Newcastle University, Apr 2004

[Abstract]

CS-TR N^o 837 Code review and personality: is performance linked to MBTI type?
Devito Da Cunha, A. & Greathead, D.
School of Computing Science, Newcastle University, Apr 2004

[Abstract]

CS-TR N^o 836 A Rollback-Recovery Protocol for Wide Area Pipelined Data Flow Computations
Smith, J. and Watson, P.
School of Computing Science, Newcastle University, Apr 2004

[Abstract]

CS-TR N^o 835 On the Monitoring of Contractual Service Level Agreements
Molina-Jimenez, C., Shrivastava, S., Crowcroft, J. and Gevros P.
School of Computing Science, Newcastle University, Apr 2004

[Abstract]

CS-TR N^o 834 Component Middleware to Support Non-repudiable Service Interactions
Cook, N., Robinson, P., and Shrivastava, S.
School of Computing Science, Newcastle University, Mar 2004

[Abstract]

CS-TR N^o 833 Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting
Di Ferdinando, A., Ezhilchelvan, P. and Mitrani, I.
School of Computing Science, Newcastle University, Mar 2004

[Abstract]

CS-TR N^o 832 The Deconstruction of Safety Arguments Through Adversarial Counter-argument
Armstrong, J.M. and Paynter S.P.
School of Computing Science, Newcastle University, Mar 2004

[Abstract]

CS-TR N^o 831 Danger: Derrida at Work
Armstrong, J.M.
School of Computing Science, Newcastle University, Mar 2004

[Abstract]

CS-TR N^o 830 Safe Systems: Construction, Destruction, and Deconstruction
Armstrong, J.M. and Paynter, S.P.
School of Computing Science, Newcastle University, Mar 2004

[Abstract]

CS-TR N^o 829 Critical Thinking About 'Critical Thinking'
Armstrong, J.M.
School of Computing Science, Newcastle University, Mar 2004

[Abstract]

CS-TR N^o 828 DERIDASC Scientific Background
Armstrong, J
School of Computing Science, Newcastle University, Mar 2004

[Abstract]

CS-TR N^o 827 Applying Petri Nets to Systems Biology using XML Technologies
Shaw, O., Koelmans, A., Steggles, J. and Wipat, A.
School of Computing Science, Newcastle University, Mar 2004

[Abstract]

CS-TR N^o 826 A Visual Language for Parallel, Object-Oriented Programming
Lee, P.A., Hamilton, M.D., and Parastatidis, S
School of Computing Science, Newcastle University, Feb 2004

[Abstract]

CS-TR N^o 825 A Grid Application Framework based on Web Services Specifications and Practices
Parastatidis, S., Webber, J., Watson, P. and Rischbeck, T.
School of Computing Science, Newcastle University, Jan 2004

[Abstract]

CS-TR N^o 824 From Crash Tolerance to Authenticated Byzantine Tolerance: a Structured Approach, the Cost and Benefits
Mpoeleng, D., Ezhilchelvan, P.D. and Speirs, N.A.
School of Computing Science, Newcastle University, Jan 2004

[Abstract]

CS-TR N^o 823 Optimal Server Allocation in Reconfigurable Clusters with Multiple Job Types
Palmer, J. and Mitrani, I.
School of Computing Science, Newcastle University, Dec 2003

[Abstract]

CS-TR N^o 822 An Efficient Reliable Broadcast protocol for Mobile Ad-hoc Networks
Vollset, E. and Ezhilchelvan, P.
School of Computing Science, Newcastle University, Dec 2003

[Abstract]

CS-TR N^o 821 Investigative Case Study: Protective Wrapping of OTS items in Simulated Environments
Anderson, T., Feng, M., Riddle, S., and Romanovsky, A.
School of Computing Science, Newcastle University, Dec 2003

[Abstract]

CS-TR N^o 820 Systematic Development of a Family of Fair Exchange Protocols
Ezhilchelvan, P. D., and Shrivastava, S. K.
School of Computing Science, Newcastle University, Dec 2003

[Abstract]

CS-TR N^o 819 Human compensations for undependable systems
Besnard, D. and Baxter, G.
School of Computing Science, Newcastle University, Nov 2003

[Abstract]

CS-TR N^o 817 A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems
Ezhilchelvan, P., Brasileiro, F., and Speirs, N.
School of Computing Science, Newcastle University, Oct 2003

[Abstract]

CS-TR N^o 816 Choosing reputable Resources in Atomistic Peer-to-Peer Environments
Pitsilis, G. and Marshall, L.
School of Computing Science, Newcastle University, Sep 2003

[Abstract]

CS-TR N^o 815 NEReSC Core Grid Middleware
Parastatidis, S. and Watson, P.
School of Computing Science, Newcastle University, Sep 2003

[Abstract]

CS-TR N^o 814 Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises
Cook, N., Shrivastava, S. and Wheater, S.
School of Computing Science, Newcastle University, Aug 2003

[Abstract]

CS-TR N^o 813 Logic Synthesis Avoiding State Space Explosion
Khomenko, V., Koutny, M. and Yakovlev, A.
School of Computing Science, Newcastle University, Aug 2003

[Abstract]

CS-TR N^o 812 Proceedings of the Open Source Software Development Workshop
Gacek, C. and Arief, B.
School of Computing Science, Newcastle University, Jul 2003

[Abstract]

CS-TR N^o 811 Model Checking Correctness Properties of Electronic Contracts
Solaiman, E., Molina-Jimenez, C. and Shrivastava, S.
School of Computing Science, Newcastle University, Jul 2003

[Abstract]

CS-TR N^o 810 Contract Representation for Run-time Monitoring and Enforcement
Molina-Jimenez, C., Shrivastava, S., Solaiman, E., and Warne, J.
School of Computing Science, Newcastle University, Jul 2003

[Abstract]

CS-TR N^o 809 A Dependability Analysis of the Chaum Digital Voting Scheme.
Bryans, J. and Ryan, P.
School of Computing Science, Newcastle University, Jul 2003

[Abstract]

CS-TR N^o 808 Determining the specification of a control system from that of its environment
Hayes, I., Jackson, M. and Jones, C.
School of Computing Science, Newcastle University, Jul 2003

[Abstract]

CS-TR N^o 807 On Failures and Faults
Randell, B.
School of Computing Science, Newcastle University, Jul 2003

[Abstract]

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

[Abstract]

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

[Abstract]

CS-TR N^o 804 High Coverage Multicasting for Mobile Ad-hoc Networks
Cooper, D. E. , Ezhilchelvan, P. , Mitrani, I.
School of Computing Science, Newcastle University, Jul 2003

[Abstract]

CS-TR N^o 803 Addressing Dependability in Multiple Domains of Management
Periorellis, P.
School of Computing Science, Newcastle University, Jun 2003

[Abstract]

CS-TR N^o 802 Travel Agent Case Study, Systems Integration
Periorellis, P.
School of Computing Science, Newcastle University, Jun 2003

[Abstract]

CS-TR N^o 801 Models of Organisational Failure (PCE4)
Dobson, J. and Periorellis, P.
School of Computing Science, Newcastle University, Jun 2003

[Abstract]

CS-TR N^o 800 Proving the Correctness of Simpson's 4-slot ACM Using An Assertional Rely-Guarantee proof method
Henderson, N.
School of Computing Science, Newcastle University, Jun 2003

[Abstract]

CS-TR N^o 799 Dynamic Server Allocation in Heterogeneous Clusters
Palmer, J., Mitrani, I.
School of Computing Science, Newcastle University, May 2003

[Abstract]

CS-TR N^o 798 Error Recovery for a Boiler System with OTS PID Controller
Anderson, T., Feng, M., Riddle, S., Romanovsky, A.
School of Computing Science, Newcastle University, May 2003

[Abstract]

CS-TR N^o 797 Portal Replication for Web Application Availability Via SOAP
Woodman, S.J., Morgan, G., Parkin, S.E.
School of Computing Science, Newcastle University, May 2003

[Abstract]

CS-TR N^o 796 Adaptive Methods for Piecewise Polynomial Collocation for Ordinary Differential Equations
Wright, K.
School of Computing Science, Newcastle University, May 2003

[Abstract]

CS-TR N^o 795 Verifying an Infinite Systolic Algorithm using Third-Order Algebraic Methods
Steggles, L. J.
School of Computing Science, Newcastle University, Apr 2003

[Abstract]

CS-TR N^o 794 Computer security impaired by legal users
Besnard, D., Arief, B.
School of Computing Science, Newcastle University, Apr 2003

[Abstract]

CS-TR N^o 793 Taxonomy for Visual Parallel Programming
Lee, P. A. and Webber, J
School of Computing Science, Newcastle University, Apr 2003

[Abstract]

CS-TR N^o 792 A Survey of Reliable Broadcast Protocols for Mobile Ad-hoc Networks
Vollset, E. and Ezhilchelvan, P.
School of Computing Science, Newcastle University, Jun 2003

[Abstract]

CS-TR N^o 791 When mental models go wrong. Co-occurrences in dynamic, critical systems.
Besnard, D., Greathead, D.
School of Computing Science, Newcastle University, Mar 2003

[Abstract]

CS-TR N^o 790 Technical and Human Issues in Computer-Based Systems Security
Arief, B., Besnard D.
School of Computing Science, Newcastle University, Mar 2003

[Abstract]

CS-TR N^o 789 Ramifications of Metastability in Bit Variables Explored Via Simpson's 4-Slot Mechanism
Paynter, S. E., Henderson N. and Armstrong, J. M.
School of Computing Science, Newcastle University, Jan 2003

[Abstract]

CS-TR N^o 788 Architectural Analysis of MAFTIA's Intrusion Tolerance Capablities
Welch, I., Warne, J., Ryan, P., Stroud, R.
School of Computing Science, Newcastle University, Jan 2003

[Abstract]

CS-TR N^o 787 Conceptual Model and Architecture for MAFTIA
Powell, D., Stroud, R.
School of Computing Science, Newcastle University, Jan 2003

[Abstract]

CS-TR N^o 786 Coordinated Forward Error Recovery for Web Services
Tartanoglu, F., Issarny, V., Romanovsky, A., Levy N.
School of Computing Science, Newcastle University, Dec 2002

[Abstract]

CS-TR N^o 785 Verifiable Fault-Tolerant Transformation of a Real-Time Legacy System
Owen, D.J., Ezhilchelvan, P.D.
School of Computing Science, Newcastle University, Nov 2002

[Abstract]

CS-TR N^o 784 Interface changes generating accidents. A schema-based approach of negative transfer
Cacitti, L., Besnard, D.
School of Computing Science, Newcastle University, Nov 2002

[Abstract]

CS-TR N^o 783 Designing Fault-Tolerant Mobile Systems
Di Marzo Serugendo, G. and Romanovsky, A.
School of Computing Science, Newcastle University, Nov 2002

[Abstract]

CS-TR N^o 782 Final Version of DSoS Conceptual Model (CSDA1)
Gaudel, M., Issarny, V., Jones, C., Kopetz, H., Marsden, E., Moffat, N., Paulitsch, M., Powell, D., Randell, B., Romanovsky, A., Stroud, R., Taiani, F.
School of Computing Science, Newcastle University, Jul 2003

[Abstract]

CS-TR N^o 781 Protective Wrapper Development: A Case Study
Anderson, T., Feng, M., Riddle, S., Romanovsky, A.
School of Computing Science, Newcastle University, Nov 2002

[Abstract]

CS-TR N^o 780 Integrating COTS Software Components into Dependable Software Architectures
Guerra, P.A. de C., Rubira, C.M.F., Romanovsky, A. and de Lemos, R.
School of Computing Science, Newcastle University, Nov 2002

[Abstract]

CS-TR N^o 779 Further Results on Architectures and Dependability Mechanisms for Dependable SoSs
Romanovsky, A., Fabre, J-C., Issarny, V., Jones, C., Levy, N., Marsden, E., Periorellis, P., Rodriguez, M., Tartanoglu, F., Welch, I.
School of Computing Science, Newcastle University, Sep 2002

[Abstract]

CS-TR N^o 778 Detecting State Coding Conflicts in STG Unfoldings Using SAT
Khomenko, V., Koutny, M., Yakovlev, A.
School of Computing Science, Newcastle University, Sep 2002

[Abstract]

CS-TR N^o 777 An Assessment of C++ as an Introductory Teaching Language
Lee, P.A., Phillips, C.
School of Computing Science, Newcastle University, Sep 2002

[Abstract]

CS-TR N^o 776 A coginitve approach to safe violations
Besnard, D., Greathead, D.
School of Computing Science, Newcastle University, Aug 2002

[Abstract]

CS-TR N^o 775 Complete Specification of APIs and Protocols for the MAFTIA Middleware
Neves,N. F., Veríssimo, P.
School of Computing Science, Newcastle University, Dec 2002

[Abstract]

CS-TR N^o 774 Systems, Advisory Systems and Safety
Oliveras, C.S.
School of Computing Science, Newcastle University, Jul 2002

[Abstract]

CS-TR N^o 773 ICU: A tool for Identifying State Coding Conflicts using STG unfoldings
Madalinski, A., Bystrov, A. and Yakovlev, A.
School of Computing Science, Newcastle University, Dec 2002

[Abstract]

CS-TR N^o 772 PAJAMA - An Objected-Oriented Package for Parallel Matrix Computations
Udeye, T. and C. Phillips
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 771 Anticipatory Adjointness of E-Science Computation on the Grid
B.N. Rossiter and M.A. Heather
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 770 A Structured Approach to Handling On-Line Interface Upgrades
C.B. Jones, A. Romanovsky and I. Welch
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 769 Process Semantics of General Inhibitor Nets
H.C.M. Kleijn and M. Koutny
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 768 Visualisation of Coding Conflicts in Asynchronous Circuit Design
Madalinski, A., A. Bystrov and A. Yakovlev
School of Computing Science, Newcastle University, Apr 2002

[Abstract]

CS-TR N^o 767 Formalizing Design Patterns: A Case Study of the Iterator Pattern
Alfoudari,S. and L.J. Steggles
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 766 Bridging the Gap between Hardware and Software Fault Tolerance
Patino Martinez, M., R. Jimenez Peris and A. Romanovsky
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 765 On Structuring Integrated Web Applications for Fault Tolerance
Romanovsky, A., P. Periorellis and A.F. Zorzo
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 764 Modelling Collaboration in Trusted Multi-agency Environment
Alijareh, S. and B.N. Rossiter
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 763 Branching Processes of High-Level Petri Nets
V. Khomenko and M. Koutny
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 762 Goal-Diversity in the Design of Dependable Computer-Based Systems
Lawrie, A.T. and C.B. Jones
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 761 Design, Analysis and Implementation of a Self-Timed Duplex Communication System
Yakovlev, A., S.B. Furber, and R. Krenz
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 760 Dependability Issues in Open Source Software - DIRC Project Activity 5 Final Report
Arief, L.B., D. Bosio, C. Gacek and M. Rouncefield
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 759 Asynchronous Box Calculus
Devillers, R., M. Klaudel, M. Koutny and F. Pommereau
School of Computing Science, Newcastle University, Dec 2002

[Abstract]

CS-TR N^o 758 Compositional Verification of a Network of CSP Processes: Using FDR2 to Verify Refinement in the Event of Interface Difference
Burton. J.
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 757 Relating Communicating Processes with Different Interfaces
J. Burton, M. Koutny and G. Pappalardo
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 756 The Formal Classification and Verification of Simpson's 4-slot Asynchronous Communication Mechanism
Henderson, N. and S. Paynter
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 755 Databases and The Grid
P. Watson
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 754 Synthesis of Asynchronous Circuits with Predictable Latency
A. Bystrov and A. Yakovlev
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 753 Distributed Object Middleware to Support Dependable Information Sharing between Organisations
Cook, N.O., Shrivastava, S.K. and Wheater, S.M.
School of Computing Science, Newcastle University, Dec 2001

[Abstract]

CS-TR N^o 752 Compositional Development in the Event of Interface Difference
J. Burton, M. Koutny, G. Pappalardo and M. Pietkiewicz-Koutny
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 751 A Taxonomy and Evaluation for Systems Analysis Methodologies in a Workflow Context: Structured Systems Analysis Design Method (SSADM), Unified Modelling Language (UML), Unified Process, Soft Systems Methodology (SSM) and Organisation Process Modelling (O
F. Al-Humaidan and B.N. Rossiter
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 750 On-Chip structures for Timing Measurement and Test
D.J. Kinniment, O.V. Maevsky, A. Bystrov, G. Russell and A. Yakovlev
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 749 Conceptual Model and Architecture
Powell, D., Stroud, R.J., Adelsbach, A., Alessandri, D., Cachin, C., Creese, S., Dacier, M., Deswarte, Y., Kursawe, K., Laprie, J.C., Pfitzmann, B., Randell, B., Riordan, J., Veríssimo, P. and Waidner, M.
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 748 Run-time Support for Parallel Object-Oriented Computing
Parastatidis, S.
School of Computing Science, Newcastle University, Oct 2001

[Abstract]

CS-TR N^o 747 Analysis of the Oscillation Problem in Tri-Flops
O. Maevsky,, D.J. Kinniment, A. Yakovlev and A. Bystrov
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 746 Revised Version of DSoS Conceptual Model
C.B. Jones, M-O. Killijian, H. Kopetz, E. Marsden, N. Moffat, M. Paulitsch, D. Powell, B. Randell, A. Romanovsky and R.J. Stroud
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 745 Bridging Industrial Design and Software Engineering Through Constraints Identification, Solution Space Optimisation and Reuse.
Besnard, D. and A.T. Lawrie
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 744 Visualisation of Partial Order Models in VLSI Design Flow
A. Bystrov, M. Koutny and A. Yakovlev
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 743 Asynchronous Circuit Synthesis by Direct Mapping: Interfacing to Environment
A. Bystrov and A. Yakovlev
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 742 Untraceability of Mobile Internet Users
C. Molina and L.F. Marshall
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 741 Canonical Prefixes of Petri-Net Unfoldings
V. Khomenko, M. Koutny and W Vogler
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 740 On the Search for Tractable Ways of Reasoning about Programs
C.B. Jones
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 739 Fundamental Concepts of Dependability
A. Avizienis, J.-C. Laprie and B. Randell
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 738 First Specification of APIs and Protocols for the MAFTIA Middleware
Welch, I., Armstrong, J. M., Cachin, C., Correia, M., Costes, A., Miranda, H., Neves, N. F., Neves, N. M., Poritz, J. A., Randell, B., Rodrigues, L., Stroud, R. J., Veríssimo, P. and Waidner, M.
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 737 The Many Meanings Of Open Source
C. Gacek, T Lawrie and L.B. Arief
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 736 Detecting State Coding Conflicts in STGs Using Integer Programming
V. Khomenko, M. Koutny and A. Yakovlev
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 735 Except for Exception Handling
A. Romanovsky and Bo. Sanden
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 734 Introducing Real-time Interactions
N. Henderson
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 733 Parallelisation of the Petri Net Unfolding Algorithm
K. Heljanko, V. Khomenko and M. Koutny
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 732 Looking Ahead in Atomic Actions with Exception Handling
A. Romanovsky
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 731 A UML Tool for an Automatic Generation of Simulation Programs
L.B. Arief and N.A. Speirs
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 730 On Systematic Design of Protectors for Employing OTS Items
P. Popov, S. Riddle, A. Romanovsky and L. Strigini
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 729 Towards Security in Multi-agency Clinical Information Services
S. Aljareh and B.N. Rossiter
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 728 Anonymous and Confidential Communications from an IP Addressless Computer
C. Molina and L.F. Marshall
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 727 True Anonymity Without Mixes
C. Molina and L.F. Marshall
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 726 An Efficient Algorithm for Unfolding Petri Nets
M. Koutny and V. Khomenko
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 725 Taxonomy of Process Modeling Languages
Zamli, K.Z. and P.A. Lee
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 724 Exception Handling in Component-Based System Development
A. Romanovsky
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 723 A Model and Architecture for Conducting Hierarchically Structured Auctions
P.D. Ezhilchelvan, S.K. Shrivastava and M.C. Little
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 722 Algebraic Prototyping Tools for Petri Nets with Time
Steggles, L.J.
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 721 Service and Protocol Architecture for the MAFTIA Middleware
P. Veríssimo and F. Neves
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 720 Synthesis of a Signal-type Asynchronous Data Communication Mechanism and its Hardware Implementation
A. Yakovlev, F. Xia and D. Shang
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 719 Static Testing Tools for tcl
L.F. Marshall
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 718 Some Shadows of Eternity: The Internet and Memorials to the Dead
L.F. Marshall
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 717 A Categorical Formalism for Interoperability based on the Information Resource Dictionary Standard (IRDS)
Rossiter, B.N. and M.A. Heather and D.A. Nelson
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 716 Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
L.J. Steggles
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 715 Supporting Evolution of Interface Exceptions
A. Mikhailova and A. Romanovsky
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 714 A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software
F. Garcia , C.M.F. Rubira-Calsavara, A. Romanovsky and J. Xu
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 713 Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
A. Romanovsky and J. Kienzle
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 712 ADL: An Activity Description Language for Real-Time Networks
S. Paynter, J.M. Armstrong and J. Haveman
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 711 Verification of Bounded Petri Nets Using Integer Programming
Khomenko, V. and M. Koutny
School of Computing Science, Newcastle University, 2000