Mark R. Blackburn
According to our database1,
Mark R. Blackburn
authored at least 33 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
Enabling the Digital Transformation of the Workforce: A Digital Engineering Competency Framework.
Proceedings of the IEEE International Systems Conference, 2021
2020
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
Proceedings of the 2019 IEEE International Systems Conference, 2019
2018
Syst., 2018
Harnessing expert knowledge: Defining a Bayesian network decision model with limited data-Model structure for the vibration qualification problem.
Syst. Eng., 2018
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018
2016
Syst. Eng., 2016
2015
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
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
Proceedings of the Complex Adaptive Systems 2014 Conference, 2014
2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
2012
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012
2006
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
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
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998
1989