Danielle Stewart

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 9

Top Topics

Systems Engineering

Maximal Cliques

Graph Isomorphism

Safety Analysis

Top Venues

AKCE Int. J. Graphs Comb.

Publications

John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
Automated Property-Based Testing from AADL Component Contracts. FMICS (2023)
Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). Dagstuhl Reports 13 (1) (2023)
Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart
Mechanization of a Large DSML: An Experiment with AADL and Coq. MEMOCODE (2022)
John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage
Formalization of the AADL Run-Time Services. ISoLA (2) (2022)
Danielle Stewart, Jing Liu, Darren D. Cofer, Mats Per Erik Heimdahl, Michael W. Whalen, Michael Peterson
AADL-Based safety analysis using formal methods applied to aircraft digital systems. Reliab. Eng. Syst. Saf. 213 (2021)
Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer
Composition of Fault Forests. SAFECOMP (2021)
Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl
Architectural Modeling and Analysis for Safety Engineering. IMBSA (2017)
Joseph A. Gallian, Danielle Stewart
Corrigendum to "Even harmonious labelings of disjoint graphs with a small component" [AKCE Inter. J. Graphs Combin. 12 (2015) 204-215]. AKCE Int. J. Graphs Comb. 13 (1) (2016)
Joseph A. Gallian, Danielle Stewart
Corrigendum to "Properly even harmonious labelings of disconnected graphs" [AKCE Inter. J. Graphs Combin. 12 (2015) 193-203]. AKCE Int. J. Graphs Comb. 13 (1) (2016)
Joseph A. Gallian, Danielle Stewart
Even harmonious labelings of disjoint graphs with a small component. AKCE Int. J. Graphs Comb. 12 (Issues) (2015)
Joseph A. Gallian, Danielle Stewart
Properly even harmonious labelings of disconnected graphs. AKCE Int. J. Graphs Comb. 12 (Issues) (2015)