Follow
Danielle Stewart
Danielle Stewart
Galois, Inc.
Verified email at galois.com
Title
Cited by
Cited by
Year
Architectural modeling and analysis for safety engineering
D Stewart, MW Whalen, D Cofer, MPE Heimdahl
International Symposium on Model-Based Safety and Assessment, 97-111, 2017
242017
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
102021
Safety annex for the architecture analysis and design language
D Stewart, JJ Liu, M Heimdahl, D Cofer, M Peterson
72018
Properly even harmonious labelings of disconnected graphs
JA Gallian, D Stewart
AKCE International Journal of Graphs and Combinatorics 12 (2-3), 193-203, 2015
72015
Even harmonious labelings of disconnected graphs
D Stewart
University of Minnesota, 2015
52015
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
42015
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
22022
Mechanization of a Large DSML: An Experiment with AADL and Coq
J Hugues, L Wrage, J Hatcliff, D Stewart
2022
Composition of Fault Forests
D Stewart, M Whalen, M Heimdahl, JJ Liu, D Cofer
International Conference on Computer Safety, Reliability, and Security, 258-275, 2021
2021
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
Properly even harmonious labelings of disjoint unions with even sequential graphs
JA Gallian, D Stewart
Journal of Graph Labeling 1 (1), 1-10, 2015
2015
Generation of Pseudoprimes
D Stewart
2014
The system can't perform the operation now. Try again later.
Articles 1–14