Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Prince, Daniel
1428  Ergebnisse:
?
1

Towards a Correct-by-Construction Design of Integrated Modu..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Meng, Baoluo ; Debnath, Joyanta ; Varanasi, Sarat Chandra... - p. 221-227 , 2023
Link: https://doi.org/10.34727..
 
?
2

Towards Compliance to Safety Objectives Using Data Curation:

, In: 2023 Annual Reliability and Maintainability Symposium (RAMS),
Herencia-Zapana, Heber ; Russell, Daniel ; Prince, Daniel.. - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Automated DO-178C Compliance Summary through Evidence Curat..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
Paul, Saswata ; Alexander, Christopher ; Durling, Michael... - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Exploring the Representation of Cyber-Risk Data Through Ske..:

, In: 2023 IEEE Symposium on Visualization for Cyber Security (VizSec),
Miller, Thomas ; Sturdee, Miriam ; Prince, Daniel - p. 22-32 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Towards the Certification of Neural Networks using Overarch..:

, In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC),
Paul, Saswata ; Prince, Daniel ; Iyer, Naresh... - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Attributes and Dimensions of Trust in Secure Systems:

, In: Proceedings of the 12th International Conference on the Internet of Things,
Bradbury, Matthew ; Prince, Daniel ; Marcinkiewicz, Victoria. - p. 179-186 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Reduced relative fitness in hatchery‐origin Pink Salmon in ..:

Shedd, Kyle R. ; Lescak, Emily A. ; Habicht, Christopher...
Evolutionary Applications.  15 (2022)  3 - p. 429-446 , 2022
Link: https://doi.org/10.1111/..
 
?
8

VERDICT: A Language and Framework for Engineering Cyber Res..:

Meng, Baoluo ; Larraz, Daniel ; Siu, Kit...
Systems.  9 (2021)  1 - p. 18 , 2021
Link: https://doi.org/10.3390/..
 
?
9

PCaaD: Towards automated determination and exploitation of ..:

Green, Benjamin ; Derbyshire, Richard ; Krotofil, Marina...
Computers & Security.  110 (2021)  - p. 102424 , 2021
Link: https://doi.org/10.1016/..
 
?
10

Experience in Designing for Cyber Resiliency in Embedded Do..:

Barzeele, Jennifer ; Siu, Kit ; Robinson, Mike...
INCOSE International Symposium.  31 (2021)  1 - p. 80-94 , 2021
Link: https://doi.org/10.1002/..
 
?
11

Towards Developing Formalized Assurance Cases:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Meng, Baoluo ; Moitra, Abha ; Crapo, Andrew W.... - p. 1-9 , 2020
Link: https://doi.org/10.1109/..
 
?
12

A little SNP of this, a little SNP of that: The discovery o..:

Cook, Geoffrey M. ; Prince, Daniel J. ; O'Rourke, Sean M....
Conservation Genetics Resources.  12 (2020)  4 - p. 555-565 , 2020
Link: https://doi.org/10.1007/..
 
?
13

A Model-Based Framework for Analyzing the Security of Syste..:

, In: 2020 Annual Reliability and Maintainability Symposium (RAMS),
Siu, Kit ; Herencia-Zapana, Heber ; Prince, Daniel. - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
14

Extended Abstract - Transformers: Intrusion Detection Data ..:

, In: Computer Security; Lecture Notes in Computer Science,
Boorman, James ; Green, Benjamin ; Prince, Daniel - p. 253-263 , 2020
Link: https://doi.org/10.1007/..
 
?
15

CTNI-33. DEBIO1347, AN ORAL FGFR INHIBITOR: RESULTS FROM A ..:

Farouk Sait, Sameer ; Rosenblum, Marc ; Bale, Tejus...
Neuro-Oncology.  22 (2020)  Supplement_2 - p. ii50-ii50 , 2020
Link: https://doi.org/10.1093/..
 
1-15