Danielle Stewart

Orcid: 0000-0002-3591-5222

Affiliations:

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

According to our database¹, Danielle Stewart authored at least 11 papers between 2015 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041).

[BibT_eX]

[DOI]

Dagstuhl Reports, January, 2023

Automated Property-Based Testing from AADL Component Contracts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022

Mechanization of a Large DSML: An Experiment with AADL and Coq.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

Formalization of the AADL Run-Time Services.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

2021

AADL-Based safety analysis using formal methods applied to aircraft digital systems.

[BibT_eX]

[DOI]

Danielle Stewart

Jing Liu

Darren D. Cofer

Mats Per Erik Heimdahl

Michael W. Whalen

Michael Peterson

Reliab. Eng. Syst. Saf., 2021

Composition of Fault Forests.

[BibT_eX]

[DOI]

Danielle Stewart

Michael W. Whalen

Mats Per Erik Heimdahl

Jing Liu

Darren D. Cofer

Proceedings of the Computer Safety, Reliability, and Security, 2021

2017

Architectural Modeling and Analysis for Safety Engineering.

[BibT_eX]

[DOI]

Danielle Stewart

Michael W. Whalen

Darren D. Cofer

Mats Per Erik Heimdahl

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

Corrigendum to "Even harmonious labelings of disjoint graphs with a small component" [AKCE Inter. J. Graphs Combin. 12 (2015) 204-215].

[BibT_eX]

[DOI]

Joseph A. Gallian

Danielle Stewart

AKCE Int. J. Graphs Comb., 2016

Corrigendum to "Properly even harmonious labelings of disconnected graphs" [AKCE Inter. J. Graphs Combin. 12 (2015) 193-203].

[BibT_eX]

[DOI]

Joseph A. Gallian

Danielle Stewart

AKCE Int. J. Graphs Comb., 2016

2015

Even harmonious labelings of disjoint graphs with a small component.

[BibT_eX]

[DOI]

Joseph A. Gallian

Danielle Stewart

AKCE Int. J. Graphs Comb., 2015

Properly even harmonious labelings of disconnected graphs.

[BibT_eX]

[DOI]

Joseph A. Gallian

Danielle Stewart

AKCE Int. J. Graphs Comb., 2015

Danielle Stewart

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...