| AADL-Based safety analysis using formal methods applied to aircraft digital systems D Stewart, JJ Liu, D Cofer, M Heimdahl, MW Whalen, M Peterson Reliability Engineering & System Safety 213, 107649, 2021 | 34 | 2021 |
| Architectural modeling and analysis for safety engineering D Stewart, MW Whalen, D Cofer, MPE Heimdahl Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017 | 33 | 2017 |
| Safety annex for the architecture analysis and design language D Stewart, JJ Liu, M Heimdahl, D Cofer, M Peterson | 17 | 2018 |
| Properly even harmonious labelings of disconnected graphs JA Gallian, D Stewart AKCE International Journal of Graphs and Combinatorics 12 (2-3), 193-203, 2015 | 13 | 2015 |
| Formalization of the AADL run-time services J Hatcliff, J Hugues, D Stewart, L Wrage International Symposium on Leveraging Applications of Formal Methods, 105-134, 2022 | 9 | 2022 |
| Even harmonious labelings of disjoint graphs with a small component JA Gallian, D Stewart AKCE International Journal of Graphs and Combinatorics 12 (2-3), 204-215, 2015 | 8 | 2015 |
| Properly even harmonious labelings of disjoint unions with even sequential graphs JA Gallian, D Stewart Journal of Graph Labeling 1 (1), 1-10, 2015 | 7* | 2015 |
| Mechanization of a large DSML: an experiment with AADL and coq J Hugues, L Wrage, J Hatcliff, D Stewart 2022 20th ACM-IEEE International Conference on Formal Methods and Models for …, 2022 | 6 | 2022 |
| Even harmonious labelings of disconnected graphs D Stewart University of Minnesota, 2015 | 6 | 2015 |
| Automated property-based testing from AADL component contracts J Hatcliff, J Belt, Robby, J Legg, D Stewart, T Carpenter International Conference on Formal Methods for Industrial Critical Systems …, 2023 | 5 | 2023 |
| An AADL Contract Language Supporting Integrated Model-and Code-Level Verification J Hatcliff, D Stewart, J Belt, A Schwerdfeger ACM SIGAda Ada Letters 42 (2), 45-54, 2023 | 5 | 2023 |
| Composition of Fault Forests D Stewart, M Whalen, M Heimdahl, J Liu, D Cofer Computer Safety, Reliability, and Security: 40th International Conference …, 2021 | 1 | 2021 |
| Integrated Rigorous Analysis in Cyber-Physical Systems Engineering E Abraham, S Hallerstede, J Hatcliff, D Stewart, N Abou El Wafa Report from Dagstuhl Seminar 23041, 2023 | | 2023 |
| Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041) E Abraham, S Hallerstede, J Hatcliff, D Stewart, NAE Wafa Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | | 2023 |
| Compositional Behavioral Fault Analysis D Stewart University of Minnesota, 2021 | | 2021 |
| Corrigendum to “Properly even harmonious labelings of disconnected graphs”[AKCE Inter. J. Graphs Combin. 12 (2015) 193–203] JA Gallian, D Stewart AKCE International Journal of Graphs and Combinatorics 13 (1), 100-100, 2016 | | 2016 |
| Corrigendum to “Even harmonious labelings of disjoint graphs with a small component”[AKCE Inter. J. Graphs Combin. 12 (2015) 204–215] JA Gallian, D Stewart AKCE International Journal of Graphs and Combinatorics 13 (1), 101-101, 2016 | | 2016 |
| Generation of Pseudoprimes D Stewart | | 2014 |
| www. expert-reviews. com 821 E Abraham, S Antoniu, C Bai, A Bánfi, I Bertoncello, H Boezen, P Boggs, ... | | |
