Mark R. Blackburn

36 papers B 1C 1Misc 1Journal 13Unranked 20
YearRankTypeTitle / Venue / Authors
2025 J jnl
Comparison of Quantitative Methods for Set-Based Design When Information Is Uncertain.
Syst. Eng.
Shawn Dullen, Dinesh Verma, Mark R. Blackburn, Cliff Whitcomb
2025 J jnl
Natural Language Processing to assess structure and complexity of system requirements.
Syst. Eng.
Maximilian Vierlboeck, Roshanak Nilchiani, Mark R. Blackburn
2024 J jnl
A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures.
Syst.
Daniel Dunbar, Thomas J. Hagedorn, Mark R. Blackburn, Dinesh Verma
2023 J jnl
Driving digital engineering integration and interoperability through semantic integration of models with ontologies.
Syst. Eng.
Daniel Dunbar, Thomas J. Hagedorn, Mark R. Blackburn, John E. Dzielski, Steven Hespelt, Benjamin Kruse, Dinesh Verma, Zhongyuan Yu
2023 J jnl
Graphical features of interactive dashboards have little influence on engineering students performing a design task.
Int. J. Hum. Comput. Stud.
Steven Hoffenson, Cory Philippe, Zuting Chen, Christian Barrientos, Zhongyuan Yu, Brian Chell, Mark R. Blackburn
2023 — conf
Use of Natural Language Processing in Digital Engineering Context to Aid Tagging of Model.
SysCon
Daniel Dunbar, Maximilian Vierlboeck, Mark R. Blackburn
2022 J jnl
Driving Digital Engineering Integration and Interoperability Through Semantic Integration of Models with Ontologies.
CoRR
Daniel Dunbar, Thomas J. Hagedorn, Mark R. Blackburn, John E. Dzielski, Steven Hespelt, Benjamin Kruse, Dinesh Verma, Zhongyuan Yu
2022 — conf
Initial Development of a Roadmap for Digital Engineering Simulations Curriculum.
SysCon
Hoong Yan See Tao, Nicole Hutchison, Peter A. Beling, Craig Arndt, Mark R. Blackburn, Tim Sherburne, Paul Wach, David Long, Dinesh Verma, Thomas A. McDermott
2022 — conf
Use of Semantic Web Technologies to Enable System Level Verification in Multi-Disciplinary Models.
TE
Daniel Dunbar, Thomas J. Hagedorn, Mark R. Blackburn, Dinesh Verma
2021 — conf
Enabling the Digital Transformation of the Workforce: A Digital Engineering Competency Framework.
SysCon
Adam Baker, Kara Pepe, Nicole Hutchison, Hoong Yan See Tao, Russell Peak, Mark R. Blackburn, Rabia Khan, Clifford A. Whitcomb
2021 J jnl
Survey on set-based design (SBD) quantitative methods.
Syst. Eng.
Shawn Dullen, Dinesh Verma, Mark R. Blackburn, Cliff Whitcomb
2020 — conf
Preparing the Acquisition Workforce: A Digital Engineering Competency Framework.
SysCon
Adam Baker, Kara Pepe, Nicole Hutchison, Mark R. Blackburn, Rabia Khan, Russell Peak, Jon Wade, Clifford A. Whitcomb
2019 J jnl
Harnessing Expert Knowledge: Defining Bayesian Network Model Priors From Expert Knowledge Only - Prior Elicitation for the Vibration Qualification Problem.
IEEE Syst. J.
Davinia B. Rizzo, Mark R. Blackburn
2019 — conf
Operational Needs of Model Centric Engineering.
SysCon
Rick Dove, Mark R. Blackburn
2018 J jnl
Harnessing expert knowledge: Defining a Bayesian network decision model with limited data-Model structure for the vibration qualification problem.
Syst. Eng.
Davinia B. Rizzo, Mark R. Blackburn
2018 — conf
Modeling and cross-domain dependability analysis of cyber-physical systems.
SysCon
Mark R. Blackburn, Mark A. Austin, Maria Coelho
2018 J jnl
Toward an Interoperability and Integration Framework to Enable Digital Thread.
Syst.
Mary A. Bone, Mark R. Blackburn, Benjamin Kruse, John E. Dzielski, Thomas J. Hagedorn, Ian R. Grosse
2016 J jnl
Towards a Design Pattern for Adaptive Systems Inspired by the Neocortex.
Syst. Eng.
Brian J. Phillips, Mark R. Blackburn
2015 — conf
Systems Engineering of Cyber-Physical Systems Education Program.
WESE
John Wade, Roberta Cohen, Mark R. Blackburn, Eirik Hole, Nicholas Bowen
2015 — conf
Use of Bayesian Networks for Qualification Planning: A Predictive Analysis Framework for a Technically Complex Systems Engineering Problem.
Complex Adaptive Systems
Davinia B. Rizzo, Mark R. Blackburn
2015 — conf
Using Semantic Web Technologies for Integrating Domain Specific Modeling and Analytical Tools.
Complex Adaptive Systems
Mark R. Blackburn, Peter O. Denno
2014 — conf
Experimental Trials Based on a Neocortex-based Adaptive System Pattern.
CSER
Brian J. Phillips, Mark R. Blackburn
2014 J jnl
NAT2TEST
Sci. Comput. Program.
Gustavo Carvalho, Diogo Falcão, Flávia de Almeida Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
2014 — conf
Verification Points for Self-adaptive Systems.
Complex Adaptive Systems
Brian J. Phillips, Mark R. Blackburn
2014 — conf
Virtual Design and Verification of Cyber-physical Systems: Industrial Process Plant Design.
CSER
Mark R. Blackburn, Peter O. Denno
2013 Misc conf
Test case generation from natural language requirements based on SCR specifications.
SAC
Gustavo Carvalho, Diogo Falcão, Flávia A. Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, Mark R. Blackburn
2012 — conf
Hybrid Bayesian Network Models for Predicting Software Reliability.
SERE (Companion)
Mark R. Blackburn, Benjamin Huddell
2006 — conf
Model-Based Testing in Practice.
GI Jahrestagung (2)
Mark R. Blackburn, Robert Busser, Aaron Nauman, Travis R. Morgan
2005 C conf
Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing.
SEW
Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman
2004 — conf
Automated Testing of Security Functions Using a Combined Model and Interface-Driven Approach.
HICSS
Ramaswamy Chandramouli, Mark R. Blackburn
2004 — conf
Using Model-Based Testing to Assess Smart Card Interoperability Conformance.
CCCT (2)
Mark R. Blackburn, Ramaswamy Chandramouli
2002 B conf
Mars Polar Lander Fault Identification Using Model-based Testing.
ICECCS
Mark R. Blackburn, Robert Busser, Aaron Nauman, Robert Knickerbocker, Richard Kasuda
2001 — conf
Imaging the Third Dimension of the Archimedes Palimpsest.
PICS
William A. Christens-Barry, Johanna R. Bernstein, Mark R. Blackburn
1998 — conf
Requirements for Industrial-Strength Formal Method Tools.
WIFT
Mark R. Blackburn, Robert Busser
1998 — conf
T-VECTM Product Summary.
WIFT
Mark R. Blackburn
1989 J jnl
Using Expert Systems to Construct Formal Specifications.
IEEE Expert
Mark R. Blackburn