Conference Papers: 177 entries

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

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

Specification and Satisfaction of SLAs in Service Oriented Architectures , Anderson, S., Grau, A., Hughes, C.
In Proceedings of the 5th Annual DIRC Research Conference, pp. 141-150  2006
[ Abstract ]

Tree-Based WCET Analysis on Instrumentation Point Graphs , Betts, A., Bernat, G.
In Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC'06), Gyeongju, South Korea, pp. 558-565   2006
[ Abstract ]

E-voting: Dependability Requirements and Design for Dependability , Bryans J.W., Littlewood B. Ryan P.Y.A., Stringini L.
In Proceedings of the ARES (Availability, Reliability and Security),, pp. 988-995  2006
[ Abstract ]

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

Formal Analysis of Access Control Policies , Bryans, J.W.
In Proceedings of the UK E-Science All Hands Meeting, Cox, S.J., pp. 701-708  2006
[ Abstract ]

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

Determining the Specification of a Control System: an Illustrative Example , Coleman, J.W.
In Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems ({REFT} 2005), Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E., pp. 114-132  2006

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

Modeling Safety Case Evolution – Examples from the Air Traffic Management Domain , Felici, M.
In Proceedings of the 2nd International Workshop on Rapid Integration of Software Engineering techniques, RISE 2005, Guelfi, N. and Savidis, A., pp. 81-96  2006
[ pdf ( 851 Kb ) ] [ Abstract ]

QoS Explorer: A Tool for Exploring QoS in Composed Services , Hughes, C., Hillman, J.
In Proceedings of the IEEE International Conference on Web Services (ICWS'06) (September 18-22, 2006, Chicago, U.S.A.), pp. 797-806  2006
[ pdf ( 303 Kb ) ] [ Abstract ]

GOLD Infrastructure for Virtual Organizations , Periorellis P., Cook N., Hiden H., Conlin A., Hamilton M.D., Wu J., Bryans J., Gong X., Watson P., Smith R., Wright A., 18th-21st September, Nottingham, UK
In Proceedings of the UK E-Science All Hands Meeting, pp. 11-20  2006
[ Abstract ]

Investigation of structural properties of hazard mitigation arguments , Sujan, M.A. and Harrison, M.D.
In Proceedings of the Safety and Reliability for Managing Risk (ESREL 2006), Guedes, Soares and Zio, pp. 1869-1876  2006
[ Abstract ]

Demonstration of safety in healthcare organisations , Sujan, M.A., Harrison, M.D., Steven, A., Pearson, P.H. and Vernon, S.J.
In Proceedings of the Computer safety, reliability and security, 25th International Conference SAFECOMP 2006, Gorski, J., pp. 219-232  2006
[ Abstract ]

Towards a Bell-Curve Calculus and its Application to e-Science , Yang, L., Bundy, A., Berry, D., Hughes, C.
In Proceedings of the Workshop on Grid Performability Modelling and Measurement, pp. n/a  2006
[ Abstract ]

Towards a Bell-Curve Calculus for e-Science , Yang, L., Bundy, A., Berry, D., Hughes, C.
In Proceedings of the UK e-Science All Hands Meeting 2006, pp. 550-557  2006
[ Abstract ]

'How Do You Turn A Duck Into A Soul Singer? Put It In The Microwave Until Its Bill Withers': Some social features of a simple technology , Graham, C, Cheverst K, Fitton D, Rouncefield M.
In Proceedings of the Less Is More 2005, Microsoft Cambridge., 2005
[ pdf ( 306 Kb ) ] [ Abstract ]

Some Notes on the Social Organization of Responsibility , Hughes, J., Martin, D., and Rouncefield, M.
In Proceedings of the The 5th Annaul DIRC Research Conference, Edinburgh, 2005., Mackie, j and Rouncefield,M., pp. 100-110  2005
[ pdf ( 228 Kb ) ] [ Abstract ]

Patterns of Responsibility , Iszatt-White, M., Kelly, S., Martin, D and Rouncefield, M.
In Proceedings of the 5th Annual DIRC Research Conference, Edinburgh 2005., Mackie, J and Rouncefield, M., pp. 92-99  2005
[ pdf ( 225 Kb ) ] [ Abstract ]

Automation bias and system design: A case study in a medical application , Alberdi, E., Ayton, P., Povyakalo, A.A., Strigini, L.
In Proceedings of the IEE People & Systems Symposium, pp. 53-60  2005
[ Abstract ]

Automation bias in medical decision making: A study of unreliable computer advice in breast cancer screening , Alberdi, E., Povyakalo, A.A., Strigini, L. and Ayton, P.
In Proceedings of the 27th Annual Meeting of the Society for Medical Decision Making (SMDM05), pp. n/a  2005
[ Abstract ]

How Democratic Will E-Democracy Be? , Anderson, S., Felici, M.
In Proceedings of the 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, 26-28 July 2005, Edinburgh, UK, pp. 499  2005
[ pdf ( 41 Kb ) ] [ Abstract ]

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

The Limits of Personas , Bagnall P, Dewsbury G and Sommerville I
In Proceedings of the Fifth Annual DIRC Conference, Mackie J & Rouncefield M (Eds), pp. 38-39  2005

Managing the Risks of Electronic Assistive Technology: Two complementary methods , Baxter G, Dewsbury G, Monk A and Sommerville I
In Proceedings of the Fifth Annual DIRC conference, Mackie J & Rouncefield M (Eds), pp. 4-7  2005

Trust and Incidental Interaction: Would You Let a Talking Paper Clip Run YOUR Home? , Baxter, G. and Dix, A. and Monk, A. and Schmidt, A. and Streitz, N.
In Proceedings of the INTERACT '05, F.Bueno, M.F. Constabile, F. Paterno and C. Santoro, pp. 73--74  2005

Structuring Dependable On-line Services: A Case Study Using Internet Grocery Shopping , Baxter, G., Arief, B., Smith, S. and Monk, A.
In Proceedings of the 5th Annual DIRC Research Conference, Mackie, J. and Rouncefield, M., pp. 114-118  2005
[ pdf ( 48 Kb ) ] [ Abstract ]

Trust and Incidental Interaction: Would You Let a Talking Paper Clip Run YOUR Home? , Baxter, G., Dix, A., Monk, A., Schmidt, A., & Streitz, N.
In Proceedings of the INTERACT '05: Communicating Naturally through Computers (Adjunct Proceedings), Bueno, F., Constabile, M.F., Paterno, F. & Santoro, C., pp. 73-74  2005
[ Abstract ]

The effects of timing and collaboration on dependability in the neonatal intensive care unit , Baxter, G.D., Filipe, J.K., Miguel, A., & Tan, K.
In Proceedings of the Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium. Southampton, UK, 8-10 February, 2005, F. Redmill and T. Anderson, pp. 195-210  2005
[ Abstract ]

Opacity Generalised to Transition Systems , Bryans J.W., Koutny M., Ryan P.Y.A.
In Proceedings of the Formal Aspects of Security and Trust, 2005
[ pdf ( 162 Kb ) ] [ Abstract ]

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

'Dasein of the Times': Temporal Features of Dependability , Clarke, K., Hughes, J., Martin, D., Rouncefield, M., Voß, A., Procter, R., Slack, R and Hartswood, M.
In Proceedings of the The 5th Annual DIRC Research Conference, Edinburgh 2005, Mackie, J., Rouncefield, M, 2005
[ pdf ( 239 Kb ) ] [ Abstract ]

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

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

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

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

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

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

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

Examining BPEL's Compensation Construct , Coleman, J.W.
In Proceedings of the Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Butler, M. and Jones, C. and Romanovsky, A. and Troubitsyna, E., pp. 122-128  2005

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

Working with Text Logs: Some Early Experiences of Record and Reuse , Crabtree, A and Rouncefield, M.
In Proceedings of the First National e-Social Science Conference, Manchester, 2005, 2005
[ pdf ( 251 Kb ) ] [ Abstract ]

Hierarchical Fixed Priority Pre-emptive Scheduling , Davis, R.I., Burns, A.
In Proceedings of the IEEE Real Time Systems Symposium (RTSS), Miami Florida, 5-8 December 2005, pp. 389-398  2005
[ pdf ( 353 Kb ) ] [ Abstract ]

Complexities of Multi-organisational Error Management , Dobson,J.E., Lock,S., Martin,D.
In Proceedings of the 2nd Workshop on Complexity in Design and Engineering, Glasgow, March, Johnson,C., pp. 110-119  2005
[ pdf ( 473 Kb ) ] [ Abstract ]

Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain , Felici, M.
In Proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005., Winther, R. , Gran, B. A., Dahll, G., pp. 208-221  2005
[ pdf ( 384 Kb ) ] [ Abstract ]

Capturing Emerging Complex Interactions - Safety Analysis in ATM , Felici, M.
In Proceedings of the 2nd Workshop on Complexity in Design and Engineering, Department of Computer Science, University of Glasgow, Scotlad, Johnson, C., pp. 120-129  2005
[ pdf ( 312 Kb ) ] [ Abstract ]

Using interaction style to match the ubiquitous user interface to the device-to-hand , Gilroy, S.W. and Harrison, M.D.
In Proceedings of the Engineering Human Computer Interaction and Interactive Systems: EHCI-DSVIS 2004, Bastide R., Palanque, P and Roth, J., pp. 325-345  2005
[ Abstract ]

Code Comprehension and MBTI Type (Fast Abstract) , Greathead, D.
In Proceedings of the Dependable Systems and Networks, pp. 50-51  2005
[ pdf ( 40 Kb ) ] [ Abstract ]

TA Weinberg , Greathead, D., Arief, B., Coleman, J.
In Proceedings of the 5th annual DIRC Research Conference, Mackie, J., Rouncefield, M., pp. 25-29  2005
[ pdf ( 59 Kb ) ] [ Abstract ]

Code Review and Personality: The Impact of MBTI Type (Fast Abstract) , Greathead, D., Devito Da Cunha, A.
In Proceedings of the Fifth European Dependable Computing Conference (EDCC-5), pp. 73-74  2005
[ pdf ( 27 Kb ) ] [ Abstract ]

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

When to act? Managing time-accuracy trade-offs in a dynamic belief updating task , Hildebrandt, M., and Meyer, J
In Proceedings of the 49th Annual Meeting of the Human Factors and Ergonomics Society, 2005
[ pdf ( 349 Kb ) ] [ Abstract ]

Reasoning about XACML policies using CSP , Jeremy Bryans
In Proceedings of the 2005 ACM Workshop of Secure Web Services, Ernesto Damiani and Hiroshi Maruyama, pp. 28-35  2005
[ pdf ( 130 Kb ) ] [ Abstract ]

Strider: Configuration Modelling and Analysis of Complex Systems , Lock, S.
In Proceedings of the IEEE International Conference on Software Maintenance, 2005
[ pdf ( 132 Kb ) ] [ Abstract ]

Analysing user confusion in context aware mobile applications , Loer, K. and Harrison, M.D.
In Proceedings of the Human-Computer Interaction - INTERACT 2005, Costabile, M.F. and Paterno, F., pp. 184-197  2005

Risks and Dependable Deployment , Mackie, J., Martin, D., Clarke, K. et al
In Proceedings of the 5th International DIRC Research Conference, Edinburgh, 15-17 March 2005, Mackie, J., Rouncefield, R., pp. 13-17  2005
[ pdf ( 285 Kb ) ] [ Abstract ]

‘That’s How The Bastille Got Stormed’: Issues of Responsibility in User-Designer Relations , Martin, D. and Rouncefield,M.
In Proceedings of the The 5th Annual DIRC Research Conference, Edinburgh, 2005, Mackie, J and Rouncefield, M., 2005
[ pdf ( 282 Kb ) ] [ Abstract ]

Timing In The Art Of Integration: 'That's how the Bastille got stormed' , Martin, D., Rouncefield, M., O'Neill, J., Hartswood, M. and Randall, D.
In Proceedings of the Group 2005, the ACM conference on Group work, pp. don't know yet  2005
[ pdf ( 271 Kb ) ] [ Abstract ]

Protective Wrapping of Off-the-Shelf Components , Meulen, M.J.P van der, Riddle, S., Strigini, L. and Jefferson, N.
In Proceedings of the 4th International Conference on COTS-Based Software Systems (ICCBSS '05), Bilbao, Spain, Franch, X., Port, D., pp. 168-177  2005
[ Abstract ]

Exploration games with {UML} software design , Tenzer, J
In Proceedings of the 5th Annual DIRC Research Conference, DIRC'05, Rouncefield, M. and Mackie, J., pp. 178--179  2005

Redundancy and diversity in security , B. Littlewood, L. Strigini
In Proceedings of the ESORICS 2004, 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September, pp. 423-438  2004
[ Abstract ]

Easy for Everyone: Using Components to Offer Specialised Interfaces for Software , Bagnall, P. and Dewsbury, G. and Sommerville, I.
In Proceedings of the Heat: The Home And Electronic Assistive Technology Workshop, Baxter, G. and Dewsbury, G., pp. 33-36  2004

Cognitive mismatches in the cockpit. Will they ever be a thing of the past? , Baxter, G. and Besnard, D.
In Proceedings of the The Flightdeck of the Future: Human Factors in Datalink and Freeflight, University of Nottingham, UK, 6th October, 2004
[ pdf ( 49 Kb ) ] [ Abstract ]

Standards and the dependability of electronic assistive technology , Baxter, G., Monk, A., Doughty K., Blythe, M., & Dewsbury G.
In Proceedings of the 2nd Cambridge Workshop on Universal Access and Assistive Technology (CWUAAT) (incorporating the 5th Cambridge Workshop on Rehabilitation Robotics), Keates, S., Clarkson, J., Langdon, P., and Robinson, P., pp. 247-255  2004
[ Abstract ]

An empirical exploration of the difficulty function , Bentley, J.G.W., Bishop, P.G. and van der Meulen, M.J.P.
In Proceedings of the Safecomp, Potsdam, Germany, Sep 2004, 2004

The impact of difficulty variation on the probability of coincident failure of diverse systems , Bishop, P., Bloomfield, R., Littlewood, B., Popov, P., Povyakalo, A., and Strigini, L.
In Proceedings of the INucE International Conference on Control and Instrumentation in Nuclear Installations, Liverpool, 2004, 2004

The future of goal-based assurance cases , Bishop, P.G. , Bloomfield, R.E., and Guerra, A.S.L.
In Proceedings of the Proceedings of Workshop on Assurance Cases. Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks, pp. 390-395  2004

Modelling Dynamic Opacity using Petri Nets with Silent Actions , Bryans J.W., Koutny M., Ryan P.Y.A.
In Proceedings of the Formal Aspects of Security and Trust, 2004
[ pdf ( 201 Kb ) ]

Verifying user interface behaviour with model checking , Campos, J. , Harrison, M.D. and Loer, K.
In Proceedings of the 6th International Conference on Enterprise Information Systems, Augusto, J. C. and Ultes-Nitsche, U., pp. 87-96  2004
[ Abstract ]

'Smart Mobs' and Technology Probes: Evaluating Texting at Work , Cheverst, K., Fitton, D., Rouncefield, M. and Graham, C.
In Proceedings of the ECITE 2004, Amsterdam., 2004
[ pdf ( 381 Kb ) ] [ Abstract ]

An Interdisciplinary Perspective of Dependability in Open Source Software , Gacek, C.
In Proceedings of the the 18th IFIP World Computing Congress (WCC 2004), pp. 685-692  2004
[ Abstract ]

Fault diversity among off-the- shelf SQL database servers , Gashi, I., Popov, P. and Strigini, L.
In Proceedings of the DSN 2004, International Conference on Dependable Systems and Networks, Florence, Italy, pp. 389-398,  2004
[ Abstract ]

Supporting informality: team working and integrated care records , Hardstone, G., Hartswood, M., Procter, R., Slack, R., Voss, A., Rees, G.
In Proceedings of the 2004 ACM conference on Computer supported cooperative work, pp. 142 - 151  2004
[ Abstract ]

PaintShop: A Microworld Experiment Investigating Temporal Decisions in a Supervisory Control Task , Hildebrandt, M. and Harrison, M.D.
In Proceedings of the 48th Annual Meeting of the Human Factors and Ergonomics Society, pp. 300-304  2004
[ pdf ( 176 Kb ) ] [ Abstract ]

Time Design , Hildebrandt, M. and Rantanen, E.
In Proceedings of the 48th Annual Meeting of the Human Factors and Ergonomics Society, pp. 703-707  2004
[ pdf ( 160 Kb ) ] [ Abstract ]

Time design , Hildebrandt, M., Dix, A. and Meyer, H.A
In Proceedings of the CHI 2004 Conference on Human Factors in Computing Systems, Dykstra-Erickson, E and Tscheligi, M, pp. 1737-1738  2004
[ pdf ( 19 Kb ) ] [ Abstract ]

Time Design: Analysing Human Temporal Control Behaviour in Dynamic Real-Time Systems , Hildebrandt, M., Loer, K.F. and Harrison, M.
In Proceedings of the IEEE 2004 International Conference on Systems, Man and Cybernetics, pp. 879-885  2004
[ pdf ( 220 Kb ) ] [ Abstract ]

Towards an inter-disciplinary analysis of an e-voting system , Jeremy W. Bryans and Peter Y. A. Ryan
In Proceedings of the Dependable Systems and Networks, pp. 233-234  2004
[ pdf ( 45 Kb ) ]

Integrating Model Checking with the Industrial Design of Interactive Systems , Loer, K. and Harrison, M. D.
In Proceedings of the ICSE'04 Workshop, Kazmann, R. and Bass, L. and John, B., pp. 9-16  2004
[ pdf ( 325 Kb ) ] [ Abstract ]

Analysing dynamic function scheduling decisions , Loer, K., Hildebrandt, M. and Harrison, M.D.
In Proceedings of the IFIP 13.5 Working Conference on Human Error, Safety and Systems Development, Johnson, C and Palanque, P., pp. 45-60  2004
[ pdf ( 328 Kb ) ] [ Abstract ]

Implementing an EPR Project: Everyday Features and Practicalities of NHS Project Work , Martin, D., Mariani, J. and Rouncefield, M.
In Proceedings of the 9th International Symposium for Health Information Management Research (ISHIMR 2004), pp. 120-132  2004
[ pdf ( 100 Kb ) ] [ Abstract ]

Evaluating 'Human + Advisory computer' system: A case study , Povyakalo, A.A., Alberdi, E., Strigini, L., Ayton, P.
In Proceedings of the 18th British HCI Group Annual Conference (HCI2004), pp. 93-96  2004
[ Abstract ]

Expressing Iterative Properties Logically in a Symbolic Setting , Shankland C., Bryans J., Morel L.
In Proceedings of the Algebraic Methodology and Software Technology 10th International Conference, Rattray C., Maharaj S., Shankland C., pp. 460-474  2004
[ pdf ( 256 Kb ) ] [ Abstract ]

How explicit are the barriers to failure in safety arguments? , Smith, S.P., Harrison, M.D. and Schupp, B.A.
In Proceedings of the SafeComp 2004, Heisel, M., Liggesmeyer, P. and Wittmann, S., pp. 325-337  2004
[ pdf ( 159 Kb ) ] [ Abstract ]

Exploration games for safety-critical system design with {UML 2.0} , Tenzer, J.
In Proceedings of the Proceedings of the 3rd International Workshop on Critical Systems Development with UML, CSDUML'04, pp. 41--55  2004

Improving {UML} design tools by formal games , Tenzer, J.
In Proceedings of the International Conference on Software Engineering, ICSE'04, pp. 75--77  2004

An exploration of software faults and failure behaviour in a large population of programs , van der Meulen, M.J.P., Bishop, P.G. and Revilla, M.
In Proceedings of the ISSRE 2004, Rennes, France, 2004, 2004

Does incorrect computer prompting affect human decision making? A case study in mammography , Alberdi, E., Povyakalo, A., Strigini, L. and Ayton, P.
In Proceedings of the Computer Assisted Radiology and Surgery (CARS 2003), London, June 25-28, 2003, H.U. Lemke, M.W. Vannier, K. Inamura, A.G. Farman, K. Doi and J.H.C. Reiber, pp. 938-943  2003
[ pdf ( 136 Kb ) ] [ Abstract ]

Decision support or automation bias? A study of computer aided decision making in breast screening. , Alberdi, E., Povyakalo, A.A., Strigini, L. and Ayton, P.
In Proceedings of the 2003 Subjective Probability, Utility and Decision Making (SPUDM 2003), pp. n/a  2003
[ Abstract ]

Guaranteeing temporal validity with a real-time logic of knowledge , Anderson, S., and Küster-Filipe, J.
In Proceedings of the 1st International Workshop on Data Distribution for Real-Time Systems (DDRTS 2003), ICDCS 2003 Workshop, Providence, Rhode Island, USA, 18-19 May, pp. 178-183  2003
[ pdf ( 101 Kb ) ] [ Abstract ]

Using a log-normal failure rate distribution for worst case bound reliability prediction , Bishop, P.G. and Bloomfield, R.E.
In Proceedings of the ISSRE 2003, Denver, Colorado, US, 2003

Integrity static analysis of COTS/SOUP , Bishop, P.G., Bloomfield, R.E., Clement, T.P., Guerra, A.S.L. and Jones, C.C.M.
In Proceedings of the SAFECOMP 2003, Edinburgh UK, 2003

Security and Trust in a Voter Verifiable E-Voting Scheme , Bryans J.W., Ryan P.Y.A.
In Proceedings of the Formal Aspects of Security and Trust, 2003
[ pdf ( 209 Kb ) ]

Cultural Probes: Eliciting Requirements for Dependable Ubiquitous Computing in the Home , Cheverst K, Clarke K, Dewsbury G, Fitton D, Hughes J, Rouncefield M, Sommerville I
In Proceedings of the Universal Access in HCI: Inclusive Design in the Information Society (HCI International 2003), Stephanidis, C. (ed), pp. 329-333  2003

Designing Dependable Digital Domestic Environments , Clarke, K., Dewsbury, G., Hughes, J., Rouncefield, M. and Sommerville, I.
In Proceedings of the HOIT 2003, The Networked Home of the Future Conference, Irvine, California, 2003

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

Growing Older Digitally , Dewsbury, G., Clarke, K., Rouncefield, M. and Somerville, I.
In Proceedings of the Include Conference, 2003, Helen Hamlyn Institute, London, March 2003, 2003
[ pdf ( 65 Kb ) ] [ Abstract ]

Using Interaction Style to Develop User Interfaces for Multiple Devices , Gilroy, S.W. and Harrison, M.D.
In Proceedings of the HCI 2003, 2003

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

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

Putting time (back) into Dynamic Function Allocation , Hildebrandt, M. & Harrison, M.D.
In Proceedings of the 47th Annual Meeting of the Human Factors and Ergonomics Society, 2003
[ pdf ( 29 Kb ) ] [ Abstract ]

Dependable Red-Hot Action , Hughes, J. Martin, D., Rouncefield, M. Sommerville, I., Hartswood, M.,
In Proceedings of the 2003 European Conference on CSCW, 2003
[ pdf ( 222 Kb ) ]

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

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

Timed Knowledge-based Modelling and Analysis: On the Dependability of Socio-technical Systems , Küster-Filipe, J., Felici, M., and Anderson, S.
In Proceedings of the 8th International Conference on Human Aspects of Advanced Manufacturing: Agility and Hybrid Automation, Rome, Italy, 27-30 May, pp. 321-328  2003
[ pdf ( 397 Kb ) ] [ Abstract ]

Model-Based Formal Analysis of Temporal Aspects in Human-Computer Interaction , Loer, K. and Harrison, M. D.
In Proceedings of the HCI2003 Workshop on the Temporal Aspects of Tasks, 2003
[ pdf ( 243 Kb ) ] [ Abstract ]

Supporting the Development of Healthcare Systems Through Situation Modelling , Mackie, J., Lock, S.
In Proceedings of the 3rd International Conference on the Management of Healthcare and Medical Technology (HCTM), Warwick, September 2003, pp. 1-1  2003
[ Abstract ]

Text Chat In Action , O'Neill, J. and Martin, D.
In Proceedings of the Group 2003, ACM conference on Group Work, pp. 80-90  2003
[ pdf ( 161 Kb ) ] [ Abstract ]

Reuse in Hazard Analysis: Identification and Support , Shamus P. Smith, Michael D. Harrison
In Proceedings of the Computer Safety, Reliability and Security (SAFECOMP 2003), Anderson, M. Felici, B. Littlewood, pp. 382-395  2003
[ pdf ( 246 Kb ) ] [ Abstract ]

Human Machine Diversity in the Use of Computerised Advisory Systems: A Case Study , Strigini, L., Povyakalo, A. and Alberdi, E.
In Proceedings of the DSN 2003-IEEE International Conference on Dependable Systems and Networks, pp. 249--258  2003
[ Abstract ]

Modelling recursive calls with {UML} state diagrams , Tenzer, J. and Stevens, P.
In Proceedings of the Fundamental Approaches to Software Engineering, FASE '03, pp. 135--149  2003

Quantitative Aspects of Requirements Evolution , Anderson, S. and Felici, M.
In Proceedings of the 26th Annual International Conference on Computer Software and Applications Conference (COMPSAC 2002), pp. 27-32  2002
[ pdf ( 457 Kb ) ]

Using rich pictures as a tool to facilitate the development and acceptance of an expert system in the Neonatal Unit , Baxter, G.D., Tan, K., Newell, S., Dear, P.R.F., & Monk, A.F.
In Proceedings of the Health Care Meets Medical Informatics and Innovation Conference (HCMMII02), pp. 36  2002

Lessons from industrial design for software engineering through constraints identification, solution space optimisation and reuse. , Besnard, D. and Lawrie, A.T.
In Proceedings of the ACM Symposium on Applied Computing (SAC 2002) ; Special Track on SAC 2002, Interdisciplinary Approaches to the Design of Dependable Computer-Based Systems, Madrid, Spain, March 10-13, pp. 732-738  2002
[ pdf ( 684 Kb ) ] [ Abstract ]

Worst case reliability prediction based on a prior estimate of residual defects , Bishop, P.and Bloomfield, R.
In Proceedings of the ISSRE 2002, Annapolis, Maryland, USA, 2002, pp. 295-303  2002

Software criticality analysis of COTS/SOUP , Bishop, P.G., Bloomfield, R.E., Clement, T. and Guerra, A.S.L.
In Proceedings of the SAFECOMP 2002, Catania, Italy, 2002, pp. 198-211  2002

Notes towards an ethnography of domestic technology , Blythe, M. and Monk, A.F.
In Proceedings of the DIS 2002, Macdonald, N., Mackay, M. and Gaver, W. (Eds.), pp. 277-281  2002

Technology biographies: field study techniques for home use product development , Blythe, M., Monk, A. F. & Park, J.
In Proceedings of the Conference on Human Factors in Computing Systems (CHI 2002), Minneapolis, Minnesota, USA, 20 -25 April, Terveen, L. & Wixon, D. (eds), pp. 658-659  2002

When geography matters - location awareness and community care , Cheverst, K., Clarke, K., Dewsbury, G., Fitton, D., Hemmings, T. and Rouncefield, M.
In Proceedings of the Wireless World Conference: The Social Shaping of Mobile Futures, University of Surrey, UK, 17th and 18th July 2002, 2002
[ pdf ( 393 Kb ) ]

Sore legs and naked torsos: using cultural probes in dependability research , Clarke, K., Dewsbury, G., Hughes, J., Rouncefield, M. and Sommerville, I.
In Proceedings of the DIRC November Workshop, November 2002 Royal Statistical Society, London, 2002
[ pdf ( 355 Kb ) ]

Deconstructing and Rebuilding the Home for Life: Technology to Assist Older People in their Homes , Dewsbury, G. and Edge, M.
In Proceedings of the 4th International Aged Care Housing Summit, 7th November 2002, Melbourne, Australia, 2002

The Antisocial Model of Disability , Dewsbury, G., Clarke, K., Hemmings, T., Rouncefield, M. and Sommerville, I.
In Proceedings of the Nordic Network on Disability Research, The 6th Annual Research Conference, Reykjavik, Iceland, August 22-24, 2002, 2002

Appropriate home technology: depending on dependable technology systems , Dewsbury, G., Clarke, K., Rouncefield, M. and Sommerville, I.
In Proceedings of the Housing and Health Workshop, ENHR 2002, Vienna, Austria, 1 July - 5 July 2002, 2002

Designing appropriate assistive technology for home users: developing dependable networks , Dewsbury, G., Rouncefield, M., Clarke, K. and Sommerville, I.
In Proceedings of the Inclusive Design and Mobility Response in Indoor/Outdoor Public Buildings and Facilities, CIB Working Group W084 - Building Non-Handicapping Environments, Viale Marx, 43 - 00137 Roma, Italy, 21st and 22nd October 2002, 2002
[ pdf ( 473 Kb ) ]

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

Limits in Modelling Evolving Computer-based Systems , Felici, M. and Küster-Filipe, J.
In Proceedings of the ACM Symposium on Applied Computing (SAC 2002), Madrid, Spain, March 10-14, 2002
[ pdf ( 180 Kb ) ] [ Abstract ]

Interdisciplinary Insights on Open Source , Gacek, C., Lawrie, T. and Arief, L.B.
In Proceedings of the Open Source Software Development Workshop, University of Newcastle upon Tyne, February 2002, pp. 68-82  2002
[ pdf ( 67 Kb ) ] [ Abstract ]

Automating Functions in Multi-Agent Control Systems: Supporting the Decision Process , Harrison, M. and Johnson, P. and Wright, P.
In Proceedings of the Tenth Safety-Critical System Symposium, Redmill, F. and Anderson, T., pp. 93-106  2002

Probing the Probes , Hemmings, T., Crabtree, A., Rodden, T., Clarke, K. and Rouncefield, M.
In Proceedings of the Participatory Design Conference (PDC 2002), Malmo, Sweden, 23-25 June, 2002

Probing the Probes: domestic probes and the design process , Hemmings, T., Crabtree, A., Rodden, T., Clarke, K. and Rouncefield, M.
In Proceedings of the ECCE 11 Cognition, Culture and Design, Catania, 2002, 8-11 September, 2002

Time-related trade-offs in Dynamic Function Scheduling , Hildebrandt, M. & Harrison, M.
In Proceedings of the 21st European Annual Conference on Human Decision Making and Control, Glasgow, United Kingdom, July 15th-16th, Johnson, C. (ed), pp. 89-95  2002
[ pdf ( 40 Kb ) ] [ Abstract ]

The temporal dimension of Dynamic Function Allocation , Hildebrandt, M. & Harrison, M.
In Proceedings of the 11th European Conference on Cognitive Ergonomics, Bagnara, S., Pozzi, S., Rizzo, A. and Wright, P., pp. 283-291  2002
[ pdf ( 61 Kb ) ] [ Abstract ]

A Structured Approach