Prati
Danielle Stewart
Danielle Stewart
Galois, Inc.
Potvrđena adresa e-pošte na galois.com
Naslov
Citirano
Citirano
Godina
AADL-Based safety analysis using formal methods applied to aircraft digital systems
D Stewart, JJ Liu, D Cofer, M Heimdahl, MW Whalen, M Peterson
Reliability Engineering & System Safety 213, 107649, 2021
282021
Architectural modeling and analysis for safety engineering
D Stewart, MW Whalen, D Cofer, MPE Heimdahl
Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017
282017
Safety annex for the architecture analysis and design language
D Stewart, JJ Liu, M Heimdahl, D Cofer, M Peterson
132018
Properly even harmonious labelings of disconnected graphs
JA Gallian, D Stewart
AKCE International Journal of Graphs and Combinatorics 12 (2-3), 193-203, 2015
92015
Formalization of the AADL run-time services
J Hatcliff, J Hugues, D Stewart, L Wrage
International Symposium on Leveraging Applications of Formal Methods, 105-134, 2022
62022
Even harmonious labelings of disjoint graphs with a small component
JA Gallian, D Stewart
AKCE International Journal of Graphs and Combinatorics 12 (2-3), 204-215, 2015
62015
Even harmonious labelings of disconnected graphs
D Stewart
University of Minnesota, 2015
52015
Properly even harmonious labelings of disjoint unions with even sequential graphs
JA Gallian, D Stewart
Journal of Graph Labeling 1 (1), 1-10, 2015
4*2015
Mechanization of a Large DSML: An Experiment with AADL and Coq
J Hugues, L Wrage, J Hatcliff, D Stewart
2022 20th ACM-IEEE International Conference on Formal Methods and Models for …, 2022
32022
An AADL Contract Language Supporting Integrated Model-and Code-Level Verification
J Hatcliff, D Stewart, J Belt, A Schwerdfeger
ACM SIGAda Ada Letters 42 (2), 45-54, 2023
22023
Automated property-based testing from AADL component contracts
J Hatcliff, J Belt, Robby, J Legg, D Stewart, T Carpenter
International Conference on Formal Methods for Industrial Critical Systems …, 2023
12023
Composition of Fault Forests
D Stewart, M Whalen, M Heimdahl, J Liu, D Cofer
Computer Safety, Reliability, and Security: 40th International Conference …, 2021
12021
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering
E Abraham, S Hallerstede, J Hatcliff, D Stewart, N Abou El Wafa
Report from Dagstuhl Seminar 23041, 2023
2023
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)
E Abraham, S Hallerstede, J Hatcliff, D Stewart, NAE Wafa
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
2023
Compositional Behavioral Fault Analysis
D Stewart
University of Minnesota, 2021
2021
Corrigendum to “Properly even harmonious labelings of disconnected graphs”[AKCE Inter. J. Graphs Combin. 12 (2015) 193–203]
JA Gallian, D Stewart
AKCE International Journal of Graphs and Combinatorics 13 (1), 100-100, 2016
2016
Corrigendum to “Even harmonious labelings of disjoint graphs with a small component”[AKCE Inter. J. Graphs Combin. 12 (2015) 204–215]
JA Gallian, D Stewart
AKCE International Journal of Graphs and Combinatorics 13 (1), 101-101, 2016
2016
Generation of Pseudoprimes
D Stewart
2014
www. expert-reviews. com 821
E Abraham, S Antoniu, C Bai, A Bánfi, I Bertoncello, H Boezen, P Boggs, ...
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–19