Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Danielle Stewart

> Home > Persons

Person information

affiliation: Adventium Labs, Minneapolis, MN, USA
affiliation (PhD 2020): University of Minnesota, Department of Computer Science and Engineering, MN, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HatcliffBRLSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HatcliffBRLSC23
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter:
Automated Property-Based Testing from AADL Component Contracts. FMICS 2023: 131-150
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/AbrahamHHSW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/AbrahamHHSW23
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): 155-183 (2023)
2022
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HatcliffHSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HatcliffHSW22
John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage:
Formalization of the AADL Run-Time Services. ISoLA (2) 2022: 105-134
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/HuguesWHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/HuguesWHS22
Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart:
Mechanization of a Large DSML: An Experiment with AADL and Coq. MEMOCODE 2022: 1-9
2021
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/StewartLCHWP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/StewartLCHWP21
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: 107649 (2021)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/StewartWHLC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/StewartWHLC21
Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer:
Composition of Fault Forests. SAFECOMP 2021: 258-275

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/imbsa/StewartWCH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imbsa/StewartWCH17
Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl:
Architectural Modeling and Analysis for Safety Engineering. IMBSA 2017: 97-111
2016
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/akcej/GallianS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/akcej/GallianS16
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): 100 (2016)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/akcej/GallianS16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/akcej/GallianS16a
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): 101 (2016)
2015
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/akcej/GallianS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/akcej/GallianS15
Joseph A. Gallian, Danielle Stewart:
Properly even harmonious labelings of disconnected graphs. AKCE Int. J. Graphs Comb. 12(Issues): 193-203 (2015)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/akcej/GallianS15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/akcej/GallianS15a
Joseph A. Gallian, Danielle Stewart:
Even harmonious labelings of disjoint graphs with a small component. AKCE Int. J. Graphs Comb. 12(Issues): 204-215 (2015)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.