Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Danielle Stewart
Observed name:
Stewart, Danielle
Observed institutions:
University of Minnesota,
University of Minnesota, Duluth,
Galois (United States),
Adventium Labs (United States)
ORCID:
0000-0002-3591-5222
Observed ORCID:
0000-0002-3591-5222
OpenAlex ID:
A5089243449
AADL-Based safety analysis using formal methods applied to aircraft digital systems
2021
·
Danielle Stewart
, Jing (Janet) Liu
, et al.
·
Reliability Engineering & System Safety
·
50
PDF
Architectural Modeling and Analysis for Safety Engineering
2017
·
Danielle Stewart
, Michael W. Whalen
, et al.
·
Lecture notes in computer science
·
28
Formalization of the AADL Run-Time Services
2022
·
John Hatcliff
, Jerome Hugues
, et al.
·
Lecture notes in computer science
·
12
Automated Property-Based Testing from AADL Component Contracts
2023
·
John Hatcliff
, Jason Belt
, et al.
·
Lecture notes in computer science
·
10
Properly even harmonious labelings of disconnected graphs
2015
·
Joseph A. Gallian
, Danielle Stewart
·
AKCE International Journal of Graphs and Combinatorics
·
8
PDF
An AADL Contract Language Supporting Integrated Model- and Code-Level Verification
2023
·
John Hatcliff
, Danielle Stewart
, et al.
·
ACM SIGAda Ada Letters
·
7
PDF
Mechanization of a Large DSML: An Experiment with AADL and Coq
2022
·
Jerome Hugues
, Lutz Wrage
, et al.
·
ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)
·
7
Safety Annex for the Architecture Analysis and Design Language
2018
·
Danielle Stewart
, Jing Liu
, et al.
·
University of Minnesota Digital Conservancy (University of Minnesota)
·
5
PDF
Even harmonious labelings of disjoint graphs with a small component
2015
·
Joseph A. Gallian
, Danielle Stewart
·
AKCE International Journal of Graphs and Combinatorics
·
3
Even Harmonious Labelings of Disconnected Graphs
2015
·
Danielle Stewart
·
University of Minnesota Digital Conservancy (University of Minnesota)
·
3
PDF
Automated property-based testing from AADL component contracts
2025
·
John Hatcliff
, Jason Belt
, et al.
·
International Journal on Software Tools for Technology Transfer
·
2
Properly Even Harmonious Labelings of Disjoint Unions With Even Sequential Graphs
2015
·
Joseph A. Gallian
, Danielle Stewart
·
2
Composition of Fault Forests
2021
·
Danielle Stewart
, Michael Whalen
, et al.
·
Lecture notes in computer science
·
1
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)
2023
·
Ábrahám, Erika
, Hallerstede, Stefan
, et al.
·
RWTH Publications (RWTH Aachen)
Compositional Behavioral Fault Analysis
2021
·
Danielle Stewart
·
University of Minnesota Digital Conservancy (University of Minnesota)
"A Nova Mulher": Hildegard Rosenthal and Early Paulista Photography
2021
·
Danielle Stewart
Corrigendum to “Even harmonious labelings of disjoint graphs with a small component” [AKCE Inter. J. Graphs Combin. 12 (2015) 204–215]
2016
·
Joseph A. Gallian
, Danielle Stewart
·
AKCE International Journal of Graphs and Combinatorics
PDF
Corrigendum to “Properly even harmonious labelings of disconnected graphs” [AKCE Inter. J. Graphs Combin. 12 (2015) 193–203]
2016
·
Joseph A. Gallian
, Danielle Stewart
·
AKCE International Journal of Graphs and Combinatorics
Show more works
View as search
Works count:
19
Citation count:
138
H-index:
7
I10-index:
4
Year
Topic
Type
