Mark R. Blackburn

According to our database1, Mark R. Blackburn authored at least 33 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures.
Syst., 2024

2023
Graphical features of interactive dashboards have little influence on engineering students performing a design task.
Int. J. Hum. Comput. Stud., December, 2023

Driving digital engineering integration and interoperability through semantic integration of models with ontologies.
Syst. Eng., July, 2023

Use of Natural Language Processing in Digital Engineering Context to Aid Tagging of Model.
Proceedings of the IEEE International Systems Conference, 2023

2022
Initial Development of a Roadmap for Digital Engineering Simulations Curriculum.
Proceedings of the IEEE International Systems Conference, 2022

Use of Semantic Web Technologies to Enable System Level Verification in Multi-Disciplinary Models.
Proceedings of the Transdisciplinarity and the Future of Engineering, 2022

2021
Survey on set-based design (SBD) quantitative methods.
Syst. Eng., 2021

Enabling the Digital Transformation of the Workforce: A Digital Engineering Competency Framework.
Proceedings of the IEEE International Systems Conference, 2021

2020
Preparing the Acquisition Workforce: A Digital Engineering Competency Framework.
Proceedings of the IEEE International Systems Conference, 2020

2019
Harnessing Expert Knowledge: Defining Bayesian Network Model Priors From Expert Knowledge Only - Prior Elicitation for the Vibration Qualification Problem.
IEEE Syst. J., 2019

Operational Needs of Model Centric Engineering.
Proceedings of the 2019 IEEE International Systems Conference, 2019

2018
Toward an Interoperability and Integration Framework to Enable Digital Thread.
Syst., 2018

Harnessing expert knowledge: Defining a Bayesian network decision model with limited data-Model structure for the vibration qualification problem.
Syst. Eng., 2018

Modeling and cross-domain dependability analysis of cyber-physical systems.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

2016
Towards a Design Pattern for Adaptive Systems Inspired by the Neocortex.
Syst. Eng., 2016

2015
Systems Engineering of Cyber-Physical Systems Education Program.
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

Use of Bayesian Networks for Qualification Planning: A Predictive Analysis Framework for a Technically Complex Systems Engineering Problem.
Proceedings of the Complex Adaptive Systems 2015 Conference, San Jose, 2015

Using Semantic Web Technologies for Integrating Domain Specific Modeling and Analytical Tools.
Proceedings of the Complex Adaptive Systems 2015 Conference, San Jose, 2015

2014
NAT2TEST<sub>SCR</sub>: Test case generation from natural language requirements based on SCR specifications.
Sci. Comput. Program., 2014

Experimental Trials Based on a Neocortex-based Adaptive System Pattern.
Proceedings of the Conference on Systems Engineering Research, 2014

Virtual Design and Verification of Cyber-physical Systems: Industrial Process Plant Design.
Proceedings of the Conference on Systems Engineering Research, 2014

Verification Points for Self-adaptive Systems.
Proceedings of the Complex Adaptive Systems 2014 Conference, 2014

2013
Test case generation from natural language requirements based on SCR specifications.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012
Hybrid Bayesian Network Models for Predicting Software Reliability.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

2006
Model-Based Testing in Practice.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2005
Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing.
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

2004
Automated Testing of Security Functions Using a Combined Model and Interface-Driven Approach.
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

Using Model-Based Testing to Assess Smart Card Interoperability Conformance.
Proceedings of the 2nd International Conference Computing, 2004

2002
Mars Polar Lander Fault Identification Using Model-based Testing.
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

2001
Imaging the Third Dimension of the Archimedes Palimpsest.
Proceedings of the PICS 2001: Image Processing, 2001

1998
Requirements for Industrial-Strength Formal Method Tools.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

T-VECTM Product Summary.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

1989
Using Expert Systems to Construct Formal Specifications.
IEEE Expert, 1989


  Loading...