Using Expert Systems to Construct Formal Specifications. - Mark R. Blackburn (IEEE Expert, 1989)

T-VECTM Product Summary. - Mark R. Blackburn (WIFT, 1998)

Requirements for Industrial-Strength Formal Method Tools. - Mark R. Blackburn; Robert Busser (WIFT, 1998)

Imaging the Third Dimension of the Archimedes Palimpsest. - William A. Christens-Barry; Johanna R. Bernstein; Mark R. Blackburn (PICS, 2001)

Mars Polar Lander Fault Identification Using Model-based Testing. - Mark R. Blackburn; Robert Busser; Aaron Nauman; Robert Knickerbocker; Richard Kasuda (ICECCS, 2002)

Using Model-Based Testing to Assess Smart Card Interoperability Conformance. - Mark R. Blackburn; Ramaswamy Chandramouli (CCCT (2), 2004)

Automated Testing of Security Functions Using a Combined Model and Interface-Driven Approach. - Ramaswamy Chandramouli; Mark R. Blackburn (HICSS, 2004)

Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. - Lisa M. Boden; Robert Busser; Mark R. Blackburn; Aaron Nauman (SEW, 2005)

Model-Based Testing in Practice. - Mark R. Blackburn; Robert Busser; Aaron Nauman; Travis R. Morgan (GI Jahrestagung (2), 2006)

Hybrid Bayesian Network Models for Predicting Software Reliability. - Mark R. Blackburn; Benjamin Huddell (SERE (Companion), 2012)

Test case generation from natural language requirements based on SCR specifications. - Gustavo Carvalho; Diogo Falcão; Flávia A. Barros; Augusto Sampaio 001; Alexandre Mota 001; Leonardo Motta; Mark R. Blackburn (SAC, 2013)

Verification Points for Self-adaptive Systems. - Brian J. Phillips; Mark R. Blackburn (Complex Adaptive Systems, 2014)

Virtual Design and Verification of Cyber-physical Systems: Industrial Process Plant Design. - Mark R. Blackburn; Peter O. Denno (CSER, 2014)

Experimental Trials Based on a Neocortex-based Adaptive System Pattern. - Brian J. Phillips; Mark R. Blackburn (CSER, 2014)

NAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications. - Gustavo Carvalho; Diogo Falcão; Flávia de Almeida Barros; Augusto Sampaio 001; Alexandre Mota 001; Leonardo Motta; Mark R. Blackburn (Sci. Comput. Program., 2014)

Using Semantic Web Technologies for Integrating Domain Specific Modeling and Analytical Tools. - Mark R. Blackburn; Peter O. Denno (Complex Adaptive Systems, 2015)

Use of Bayesian Networks for Qualification Planning: A Predictive Analysis Framework for a Technically Complex Systems Engineering Problem. - Davinia B. Rizzo; Mark R. Blackburn (Complex Adaptive Systems, 2015)

Systems Engineering of Cyber-Physical Systems Education Program. - John Wade; Roberta Cohen; Mark R. Blackburn; Eirik Hole; Nicholas Bowen (WESE, 2015)

Towards a Design Pattern for Adaptive Systems Inspired by the Neocortex. - Brian J. Phillips; Mark R. Blackburn (Syst. Eng., 2016)

Modeling and cross-domain dependability analysis of cyber-physical systems. - Mark R. Blackburn; Mark A. Austin; Maria Coelho (SysCon, 2018)

Harnessing expert knowledge: Defining a Bayesian network decision model with limited data-Model structure for the vibration qualification problem. - Davinia B. Rizzo; Mark R. Blackburn (Syst. Eng., 2018)

Toward an Interoperability and Integration Framework to Enable Digital Thread. - Mary A. Bone; Mark R. Blackburn; Benjamin Kruse; John E. Dzielski; Thomas J. Hagedorn; Ian R. Grosse (Syst., 2018)

Operational Needs of Model Centric Engineering. - Rick Dove; Mark R. Blackburn (SysCon, 2019)

Harnessing Expert Knowledge: Defining Bayesian Network Model Priors From Expert Knowledge Only - Prior Elicitation for the Vibration Qualification Problem. - Davinia B. Rizzo; Mark R. Blackburn (IEEE Syst. J., 2019)

Preparing the Acquisition Workforce: A Digital Engineering Competency Framework. - Adam Baker; Kara Pepe; Nicole Hutchison; Mark R. Blackburn; Rabia Khan; Russell Peak; Jon Wade; Clifford A. Whitcomb (SysCon, 2020)

Enabling the Digital Transformation of the Workforce: A Digital Engineering Competency Framework. - Adam Baker; Kara Pepe; Nicole Hutchison; Hoong Yan See Tao; Russell Peak; Mark R. Blackburn; Rabia Khan; Clifford A. Whitcomb (SysCon, 2021)

Survey on set-based design (SBD) quantitative methods. - Shawn Dullen; Dinesh Verma; Mark R. Blackburn; Cliff Whitcomb (Syst. Eng., 2021)

Use of Semantic Web Technologies to Enable System Level Verification in Multi-Disciplinary Models. - Daniel Dunbar; Thomas J. Hagedorn; Mark R. Blackburn; Dinesh Verma (TE, 2022)

Initial Development of a Roadmap for Digital Engineering Simulations Curriculum. - 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 (SysCon, 2022)

Use of Natural Language Processing in Digital Engineering Context to Aid Tagging of Model. - Daniel Dunbar; Maximilian Vierlboeck; Mark R. Blackburn (SysCon, 2023)

Driving digital engineering integration and interoperability through semantic integration of models with ontologies. - Daniel Dunbar; Thomas J. Hagedorn; Mark R. Blackburn; John E. Dzielski; Steven Hespelt; Benjamin Kruse; Dinesh Verma; Zhongyuan Yu (Syst. Eng., 2023)

Graphical features of interactive dashboards have little influence on engineering students performing a design task. - Steven Hoffenson; Cory Philippe; Zuting Chen; Christian Barrientos; Zhongyuan Yu; Brian Chell; Mark R. Blackburn (Int. J. Hum. Comput. Stud., 2023)

A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures. - Daniel Dunbar; Thomas J. Hagedorn; Mark R. Blackburn; Dinesh Verma (Syst., 2024)

Natural Language Processing to assess structure and complexity of system requirements. - Maximilian Vierlboeck; Roshanak Nilchiani; Mark R. Blackburn (Syst. Eng., 2025)