Abstract Testing, Proof and Automation - Research Database, The University of York

By the same authors

Modelling Uncertain and Time-Dependent Security Labels in MLS Systems
Clark, J. A., Tapiador, J. E., McDermid, J., Cheng, P. C., Agrawal, D., Ivanic, N. & Slogget, D., 2012, e-Business and Telecommunications : 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers. Springer, p. 158-171 14 p. (Communications in Computer and Information Science ; vol. 222).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing
Tapiador, J. E., Srivatsa, M., Clark, J. A. & McDermid, J. A., 2011, NETWORKING 2011 Workshops - International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers. Giner, V. C., Manzoni, P. & Pont, A. (eds.). Springer, Vol. 6827. p. 207-218 12 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Risk Based Access Control with Uncertain and Time-dependent Sensitivity
Clark, J. A., Tapiador, J. E., McDermid, J. A., Cheng, P-C., Agrawal, D., Ivanic, N. & Slogget, D., 2010, Proceedings of the 2010 International Conference on Security and Cryptography. Katsikas, S. & Samarati, P. (eds.). SciTePress, p. 1-9 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Mind the Gaps: Assuring the Safety of Autonomous Systems from an Engineering, Ethical, and Legal Perspective
Burton, S., Habli, I., Lawton, T., McDermid, J. A., Morgan, P. D. J. & Porter, Z. L. M., 9 Nov 2019
Article in Artificial Intelligence
Integrating Existing Safety Analyses into SysML
Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature , Vol. 11842. p. 63-77 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract Testing, Proof and Automation: An Integrated Approach

Research output: Contribution to journal › Article

Author(s)

Department/unit(s)

Computer Science

Publication details

Journal	Citeseer
Date	Published - 2000
Original language	English

Bibliographical note

Query date: 14/01/2011

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data

The York Research Database

By the same authors

Modelling Uncertain and Time-Dependent Security Labels in MLS Systems

Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing

Risk Based Access Control with Uncertain and Time-dependent Sensitivity

Mind the Gaps: Assuring the Safety of Autonomous Systems from an Engineering, Ethical, and Legal Perspective

Integrating Existing Safety Analyses into SysML

Abstract Testing, Proof and Automation: An Integrated Approach

Links

Author(s)

Department/unit(s)

Publication details

Bibliographical note

Discover related content