Properly even harmonious labelings of disconnected graphs. - Joseph A. Gallian; Danielle Stewart (AKCE Int. J. Graphs Comb., 2015)

Even harmonious labelings of disjoint graphs with a small component. - Joseph A. Gallian; Danielle Stewart (AKCE Int. J. Graphs Comb., 2015)

Corrigendum to "Properly even harmonious labelings of disconnected graphs" [AKCE Inter. J. Graphs Combin. 12 (2015) 193-203]. - Joseph A. Gallian; Danielle Stewart (AKCE Int. J. Graphs Comb., 2016)

Corrigendum to "Even harmonious labelings of disjoint graphs with a small component" [AKCE Inter. J. Graphs Combin. 12 (2015) 204-215]. - Joseph A. Gallian; Danielle Stewart (AKCE Int. J. Graphs Comb., 2016)

Architectural Modeling and Analysis for Safety Engineering. - Danielle Stewart; Michael W. Whalen; Darren D. Cofer; Mats Per Erik Heimdahl (IMBSA, 2017)

Composition of Fault Forests. - Danielle Stewart; Michael W. Whalen; Mats Per Erik Heimdahl; Jing Liu; Darren D. Cofer (SAFECOMP, 2021)

AADL-Based safety analysis using formal methods applied to aircraft digital systems. - Danielle Stewart; Jing Liu; Darren D. Cofer; Mats Per Erik Heimdahl; Michael W. Whalen; Michael Peterson (Reliab. Eng. Syst. Saf., 2021)

Formalization of the AADL Run-Time Services. - John Hatcliff; Jérôme Hugues; Danielle Stewart; Lutz Wrage (ISoLA (2), 2022)

Mechanization of a Large DSML: An Experiment with AADL and Coq. - Jérôme Hugues; Lutz Wrage; John Hatcliff; Danielle Stewart (MEMOCODE, 2022)

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). - Erika Ábrahám; Stefan Hallerstede; John Hatcliff; Danielle Stewart; Noah Abou El Wafa (Dagstuhl Reports, 2023)

Automated property-based testing from AADL component contracts. - John Hatcliff; Jason Belt; Robby; Jacob Legg; Danielle Stewart; Todd Carpenter (Int. J. Softw. Tools Technol. Transf., 2025)