Danielle Stewart

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