E-LIB Suche - Ergebnisse für: Hawkins, Richard

1

Understanding safety engineering practice: Comparing safety..:

Osborne, Matt ; Hawkins, Richard ; Nicholson, Mark.
Safety Science. 172 (2024) - p. 106424 , 2024

Link: https://doi.org/10.1016/..

2

The Safety of Autonomy: A Systematic Approach:

McDermid, John A. ; Calinescu, Radu ; Habli, Ibrahim...
Computer. 57 (2024) 4 - p. 16-25 , 2024

Link: https://doi.org/10.1109/..

3

Aloft: Self-Adaptive Drone Controller Testbed:

, In: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,

Imrie, Calum ; Howard, Rhys ; Thuremella, Divya... - p. 70-76 , 2024

Link: https://dl.acm.org/doi/1..

4

Defining an Effective Context for the Safe Operation of Aut..:

, In: Communications in Computer and Information Science; Dependable Computing – EDCC 2024 Workshops,

Osborne, Matt ; Hawkins, Richard - p. 36-48 , 2024

Link: https://doi.org/10.1007/..

5

From Fault Tree Analysis to Runtime Model-Based Assurance C..:

, In: Advanced Information Networking and Applications; Lecture Notes on Data Engineering and Communications Technologies,

Nascimento, Luis ; de Oliveira, Andre L. ; Villela, Regina... - p. 451-464 , 2024

Link: https://doi.org/10.1007/..

6

Aloft: Self-Adaptive Drone Controller Testbed:

, In: 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),

Imrie, Calum ; Howard, Rhys ; Thuremella, Divya... - p. 70-76 , 2024

Link: https://doi.org/10.1145/..

7

Dependable Computing – EDCC 2024 Workshops: SafeAutonomy, T..

Communications in Computer and Information Science, 2078

Sangchoolie, Behrooz ; Adler, Rasmus ; Hawkins, Richard... - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

8

Measure What Matters: Single Assessment Numeric Evaluation ..:

Hawkins, Richard J. ; Boes, Nathan ; Thigpen, Charles A....
Journal of Shoulder and Elbow Surgery. , 2024

Link: https://doi.org/10.1016/..

9

Identifying Run-Time Monitoring Requirements for Autonomous..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Hawkins, Richard ; Ryan Conmy, Philippa - p. 11-24 , 2023

Link: https://doi.org/10.1007/..

10

Creating a Safety Assurance Case for a Machine Learned Sate..:

Hawkins, Richard ; Picardi, Chiara ; Donnell, Lucy.
Journal of Intelligent & Robotic Systems. 108 (2023) 3 - p. , 2023

Link: https://doi.org/10.1007/..

11

Operationalizing Assurance Cases for Data Scientists: A Sho..:

, In: Product-Focused Software Process Improvement; Lecture Notes in Computer Science,

Jöckel, Lisa ; Kläs, Michael ; Groß, Janek... - p. 151-158 , 2023

Link: https://doi.org/10.1007/..

12

Principles of Computed Tomography (CT):

, In: Imaging and Technology in Urology,

Hawkins, Richard - p. 59-63 , 2023

Link: https://doi.org/10.1007/..

13

Runtime Model-Based Assurance of Open and Adaptive Cyber-Ph..:

, In: Advanced Information Networking and Applications; Lecture Notes in Networks and Systems,

Nascimento, Luis ; Oliveira, André L. de ; Villela, Regina... - p. 534-546 , 2023

Link: https://doi.org/10.1007/..

14

Principles of Magnetic Resonance Imaging (MRI):

, In: Imaging and Technology in Urology,

Hawkins, Richard - p. 83-87 , 2023

Link: https://doi.org/10.1007/..

15

The use of artificial intelligence and deep learning recons..:

Rauf, Abdul ; Javed, Saqib ; Chandrasekar, Bhargavi...
Urology Annals. 15 (2023) 4 - p. 417-423 , 2023

Link: https://doi.org/10.4103/..