Home
Experience
Projects
Publications
Complete List
Events
   
 


1.    Rizzo, D.B., M. R. Blackburn, Factors Driving the Decision to Perform 6DOF Vibration Testing: A Bayesian Approach, Journal of the Institute of Environmental Sciences and Technology, November 2017. (accepted)
2.    Lindley, J. G., M. R. Blackburn, Architecting very large, complex Bayesian network simulations for practical Airworthiness risk assessment applications, Complex Adaptive Systems Conference, October 2017. (accepted)
3.    West, T., M. R. Blackburn, Is Digital Thread/Digital Twin Affordable? A Systemic Assessment of the Cost of DoD's Latest Manhattan Project, Complex Adaptive Systems Conference, October 2017. (accepted)
4.    Blackburn, M., R., D. Verma, R. Giffin, R. Blake, M. A. Bone, A. Dawson, R. Dove, J. Dzielski, P. Grogan, S. Hoffenson, E. Hole, R. Jones, B. Kruse, J. McDonald, K. Pochiraju, C. Snyder, L. Xiao, B. Chell, H. Kevadia, K. Batra, L. Ballarinni, D. Henry, P. Montemarano, G. Vesonder, R. Dillon-Merrill, T. Richmond, E. Evangelista, Transforming Systems Engineering through Model-Centric Engineering, Final Technical Report SERC-2017-TR-110, RT-168 (ARDEC), Phase I, August 8, 2017.
5.    Petnga, L., M. A. Austin, M. Blackburn, Semantically-enabled Model-based Systems Engineering of Safety-critical Network of Systems, 27th Annual INCOSE International Symposium (IS 2017), July 2017.
6.    Coelho, M., M. A. Austin, M. R. Blackburn, Distributed System Behavior Modeling of Urban Systems with Ontologies, Rules and Many-to-Many Association Relationships, Twelfth International Conference on Systems ICONS, April, 2017.
7.    Blackburn, M., R., R. Blake, M. Bone, D. Henry, P. Grogan, S. Hoffenson, R. Peak, S. Edwards, M. Austin, L. Petgna, Transforming Systems Engineering through Model-Centric Engineering, SERC-2016-TR-101, January 2017.
8.    Rizzo, D.B., M. R. Blackburn, Test and Evaluation for Enhanced Security: A Quantitative Method to Incorporate Expert Knowledge into Test Planning Decisions, Journal of the Institute of Environmental Sciences and Technology, March 2017.
9.    Rizzo, D.B., M. R. Blackburn, Use of Bayesian Networks for Qualification Planning: Early Results of Factor Analysis, Complex Adaptive Systems Conference November 2-4, 2016.
10.    Knudsen, K.T., M. R. Blackburn, A Knowledge and Analytics-Based Framework and Model for Forecasting Program Schedule Performance, Complex Adaptive Systems Conference November 2-4, 2016.
11.    Blackburn, M. R., M. Bone, G. Witus, R. Cloutier, E. Hole, Transforming Systems Engineering through a Holistic Approach to Model-Centric Systems Engineering, System of Systems Engineering Collaborators Information Exchange, October 4, 2016.
12.    Willett, K., R. Dove, M. Blackburn, R. Cloutier, On System Dynamics Modeling of Human-Intensive Workflow Improvement _ Case Study in Cybersecurity Adaptive Knowledge Encoding, INCOSE Symposium, July 2016.
13.    Blackburn, M.R., M. Bone, G. Witus, R. Cloutier, E. Hole, Systems Engineering Transformation through Model Centric Engineering, Systems Engineering Research Center, Executive Advisory Board, June 2016.
14.    Phillips, B, M. Blackburn, A toolset based approach to designing and building adaptive systems, Council of Engineering Systems Universities (CESUN), June 2016.
15.    Lindley, J., M. Blackburn, Practical Methods for Architecting Very Large, Complex Bayesian Network Simulations, Council of Engineering Systems Universities (CESUN), June 2016.
16.    Phllips, B. J., M. Blackburn, Towards a Design Pattern for Adaptive Systems Inspired by the Neocortex, Systems Engineering Journal, May 2016.
17.    Rizzo, D.B., M. R. Blackburn, Factors Driving the Decision to Perform 6DOF Vibration Testing: A Bayesian Approach, ESTECH Conference, May 2016.
18.    Clifford, M., M. Blackburn, D. Verma, P. Zimmerman, Model-Centric Engineering – Insights and Challenges: Primary Takeaways from a Government-Industry Forum, May 26, 2016.
19.    Phillips, Brian, and Mark Blackburn. “Building Adaptive Self-Healing Systems within a Resource Contested Environment.” Heliyon 2, no. 4 (April 2016): e00100.
20.    Bone, M. A., M. R. Blackburn, G. Witus, R. Cloutier, E. Hole, Model Centric Engineering, Conference on Systems Engineering Research, March, 2016.
21.    Knudsen, K., M. R. Blackburn, An Approach for Developing a Knowledge and Analytics-Based Framework and Model To Forecast Program Schedule Performance, Conference on Systems Engineering Research, March 2016.
22.    Wade, J., R. Cohen, M. Blackburn, E. Hole, N. Bowen, R. Cloutier, Project-Based Education for the Systems Engineering of Cyber-Physical Systems, Conference on Systems Engineering Research, March 2016.
23.    Life Cycle Benefits of Collaborative MBSE Use for Early Requirements Development, Airspace Industry Association, December 2015.
24.    Yates, R., J. Walsh, M. R. Blackburn, NAVAIR ‘As-Is’ Engineering Process from ITR to PDR with a Focus on Airworthiness, MITRE Technical Report MP150675, December, 2015.
25.    Blackburn, M. R., M. A. Bone, G. Witus, Transforming System Engineering through Model-Centric Engineering, Systems Engineering Research Center Sponsors Review, December, 2015.
26.    Blackburn, M. R., M. A. Bone, G. Witus, Transforming System Engineering through Model-Centric Engineering, System Engineering Research Center, Research Task 141, Technical Report SERC-2015-TR-109, November 18, 2015.
27.    Blackburn, M.R., P. O. Denno, Using Semantic Web Technologies to Integrate Models to Analytical Tools, IEEE International Conference on Complex Systems Engineering, ICCSE 2015, November 9-11, 2015.
28.    Blackburn, M.R., P. O. Denno, Using Semantic Web Technologies for Integrating Domain Specific Modeling and Analytical Tools, Complex Adaptive Systems Conference, November 2-4, 2015.
29.    Rizzo, D. B., M. R. Blackburn, Use of Bayesian Networks for Qualification Planning: A Predictive Analysis Framework For A Technically Complex Systems Engineering Problem, Complex Adaptive Systems Conference, November 2-4, 2015.
30.    Blackburn, M. R., M. A. Bone, G. Witus, Transforming Systems Engineering through a Holistic Approach to Model-Centric Engineering, NDIA 18th Annual Systems Engineering Conference, October 26-29, 2015.
31.    Wade, J., R. Cohen, M. Blackburn, E. Hole, N. Bowen, Systems Engineering of Cyber-Physical Systems Education Program, WESE 2015: 2015 Workshop on Embedded and Cyber-Physical Systems Education, Oct 8, 2015.
32.    Willett, K. R. Dove, M.R. Blackburn, Adaptive Knowledge Encoding for Agile Cybersecurity Operations, INCOSE International Symposium, July 2015.
33.    Blackburn, M.R., R. Cloutier, E. Hole, G. Witus, M. Bone, Transforming System Engineering through Model-Centric Engineering, Final Technical Report, Systems Engineering Research Center Research Task 118, January 31, 2015.
34.    Blackburn, M.R., R. Cloutier, E. Hole, G. Witus, M. Bone, Transforming Systems Engineering through a Holistic Approach to Model Centric Engineering, MIT Workshop on Interactive Model-Centric Systems Engineering, January 19, 2014.
35.    Blackburn, M.R., R. Cloutier, E. Hole, G. Witus, M. Bone, Transforming Systems Engineering through a Holistic Approach to Model Centric Engineering, 6th Annual SERC Sponsor Research Review, December 4, 2014.
36.    Phillips, B.J., M.R. Blackburn, Verification Points for Self-adaptive Systems. Complex Adaptive Systems, November 3-5, 2014 (Best Paper Award).
37.    Blackburn, M.R., R. Cloutier, E. Hole, G. Witus, M. Bone, Transforming Systems Engineering through a Holistic Approach to Model Centric Engineering, NDIA 17th Annual Systems Engineering Conference, October 28-30, 2014.
38.    Phillips, B.J., M.R. Blackburn, Verification Points for Self-Adaptive Systems, Procedia Computer Science, 36, 118–123. http://doi.org/10.1016/j.procs.2014.09.047, September, 2014.
39.    Phillips, B., M. Blackburn, M., Towards a Design Pattern for Adaptive Systems Inspired by the Physical Architecture of the Neocortex. 4th International Engineering Systems Symposium, Council of Engineering Systems Universities, In www.cesun2014.com. Hoboken, N.J, June 2014.
40.    Blackburn, M.R., R. Cloutier, E. Hole, G. Witus, Transforming System Engineering through Model Based System Engineering, Final Technical Report, Systems Engineering Research Center Research Task 48, March 2014.
41.    Blackburn, M.R., P. O. Denno, Virtual Design and Verification of Cyber-Physical Systems: Industrial Process Plant Design, Conference on Systems Engineering Research (CSER 2014), Redondo Beach, CA, March 21-22, 2014.
42.    Phillips, B.J., M. R., Blackburn, Experimental Trials Based on a Neocortex-Based Adaptive System Pattern, Conference on Systems Engineering Research (CSER 2014), Redondo Beach, CA, March 21-22, 2014.
43.    Blackburn, M.R., A. Pyster, R. Dillion-Merrill, T. Zigh, R. Turner, Modeling Methodology and User's Guideline for NextGen Modeling and Analysis Framework (Support for Risk-informed Decision Making), Dec. 2013.
44.    Panel: Research on Enterprise Systems of Systems as Complex Systems, Complex Adaptive Systems Conference, November 2013.
45.    Results from Applying a Modeling and Analysis Framework to an FAA NextGen System of Systems Program, NDIA Systems Engineering Conference, October 2013.
46.    Modeling and Analysis Framework for Risk-Informed Decision Making for FAA NextGen, INCOSE, June 2013.
47.    IEEE Smart Grid Vision For Computing: 2030 and Beyond, June 2013.
48.    Gustavo Carvalho, Diogo Falcão, Flávia Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta and Mark Blackburn, Test Vectors Generation based on Natural Language Requirements and using SCR, 28th ACM Symposium On Applied Computing, May 2013.
49.    Blackburn, M.R., Modeling an Acquisition Decision-Making Process for the FAA NextGen System of Systems, System of Systems Engineering Collaborators Information Exchange, March 28, 2013.
50.    Blackburn, M.R., Using Bayesian-based Behavioral Adaptation Strategies to Support Runtime Verification of Self-Adapting Systems, May 2013 [submitted].
51.    Carvalho, Gustavo, Diogo Falcão, Flávia Barros, Augusto Sampaio, Alexandre Mota, Leonardo Motta, and Mark Blackburn. “Test Case Generation from Natural Language Requirements Based on SCR Specifications,” 1217. ACM Press, 2013. doi:10.1145/2480362.2480591.
52.    Blackburn, M., A. Pyster, R. Dillon-Merrill, T. Zigh, R. Turner Modeling an Acquisition Decision-Making Process for the FAA NextGen Systems of Systems, NDIA Systems Engineering Conference, October 2012.
53.    Blackburn, Mark, and Benjamin Huddell. “Hybrid Bayesian Network Models for Predicting Software Reliability,” 33–34. IEEE, 2012. doi:10.1109/SERE-C.2012.38.
54.    Korfiatis, P., T. Zigh, M.R. Blackburn, Graphical CONOPS Development to Enhance Model Based Systems Engineering, IIE ISERC Annual Conference, 2012.
55.    Blackburn, M.R., Adoption Practices for Model Driven Engineering (MDE), August 2011.
56.    Blackburn, M.R., Guidelines for Software Assurance and Safety, Guidebook, January 2011.
57.    Blackburn, M.R., S. Ray, Reducing Verification Costs through Practical Formal Methods: A Survey, Technical Report, December, 2010.
58.    Blackburn, M.R., Defining Requirements and Design for Safety Critical Software Systems, Course, August 2010.
59.    Blackburn, M.R., R.D. Busser, A. Nauman, Model-Based Verification and Automated Testing with Simulink Tester for T-VEC Overview Course, Course, July 2010.
60.    Blackburn, M.R., Bayesian Networks – A New Class of Management Tools for Prediction, Estimation and Risk Management, Webinar, June 2010.
61.    Blackburn, M.R., Model-Driven Verification and Validation, Safe & Secure Systems & Software Symposium, Conference, June 2010.
62.    Blackburn, M.R., Process Workflow and Application Lifecycle Management Tool Survey, Technical Report, March 2010.
63.    Blackburn, M.R., R.S. Small, Business and Technology Trends: 2010, Technical Report, March 2010.
64.    Blackburn, M.R., Model Driven Engineering (MDE) - System-Level Modeling of Customer-Needed Capabilities, Webinar, Feb 2010.
65.    Blackburn, M.R., Model Driven Engineering (MDE) - Leveraging System-Level Models, Webinar, Feb 2010.
66.    Blackburn, M.R., Model Driven Engineering (MDE) - Modeling Tool Survey, Webinar, Feb 2010.
67.    Blackburn, M.R., Model Driven Engineering (MDE) - Tool Chains for Simulink, Webinar, Feb 2010.
68.    Blackburn, M.R., Model Driven Engineering (MDE) Modeling Adoption Practices, Webinar, Feb 2010.
69.    Blackburn, M.R., S. Kumar, Evolving Systems Engineering through Model Driven Functional Analysis, NDIA, Conference, October 2009.
70.    Perspectives on Model Driven Engineering Tool Chains for Simulink, Conference, October 2009.
71.    Perspectives on Model Driven Engineering (MDE), Conference, July 2009.
72.    Blackburn, M.R., Bayesian Belief Networks Approach to Software Reliability, Whitepaper, July 2009.
73.    Blackburn, M.R., Integrated Engineering Through Models, Technical Report, June 2009.
74.    Blackburn, M.R., Advanced Computing Architecture Trends, Webinar, March 2009.
75.    Allen, S., M.B. Hall, V. Kelly, M. Mansfield, M.R. Blackburn, Requirement Modeling for the C-5 Modernization, CrossTalk, February 2009.
76.    Blackburn, M.R., What's Model Driven. Engineering (MDE) and How Can it Impact. Process, People, Tools and Productivity?, Technical Report, September, 2008.
77.    Blackburn, M.R., Model Driven Engineering for High Dependability Systems Course, Course 2008.
78.    Blackburn, M.R., Framework for Quantifying Vertical and Horizontal Derived Requirements, Technical Report, May 2008.
79.    Blackburn, M.R., Modeling Technologies for High Dependability Systems, Technical Report, December 2007.
80.    Blackburn, M.R., R. Chandramouli, Specification-Driven Testing Of Smart Card Interface Using A Formal Model, IADIS International Conference Applied Computing, February 2007.
81.    Blackburn, M.R., Paradox: What’s Good About SOA Is What’s Bad About SOA, SSCI SOA Tech Exchange, November 2006.
82.    Blackburn, M.R., Guidelines for Assurance in Software-Intensive Systems, SSCI Member Company Guidebook, September 2006.
83.    Blackburn, M.R., R Busser, A. Nauman, TR Morgan, Model-Based Testing in Practice, MOTES06 - Model-based Testing 2006, October 2006.
84.    Blackburn, M.R., R Busser, A. Nauman, T Morgan, Life Cycle Integration of Model-Based Testing Tools, Digital Avionics Systems Conference, October 2005.
85.    Blackburn, M.R., The Engineering of Model-Based Testing: Guidelines and Case Studies, SSCI Technical Report, July 2005.
86.    Blackburn, M.R., Capabilities That Cross the Spectrum of Mission Assurance Challenges, SSCI White Paper, June 2005.
87.    Boden, L.M., R.D. Busser, M.R. Blackburn, A.M. Nauman, Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing, 29th Annual NASA/IEEE Software Engineering Workshop, April 2005.
88.    Blackburn, M.R., R Busser, A. Nauman, Objective Measures for V&V and Software Reliability, SSCI White Paper, March 2005.
89.    Chandramouli, R. and Blackburn, M. Automated testing of security functions using a combined model & interface driven approach, Proc. of the 37th Hawaii Int'l Conf. System Sciences, 299-308, 2004.
90.    Blackburn, M.R., R Busser, A. Nauman, T Morgan, Using Models for Development and Verification of High Integrity Systems, INCOSE, November 2004.
91.    Busser, R., M. R., Blackburn, A. Nauman, T Morgan, Reducing Cost Of High Integrity Systems Through Model-Based Testing, Digital Avionics System Conference, Salt Lake City, October 2004.
92.    Blackburn, M.R., Guidance for Achieving Mission Assurance in Software-Intensive Systems, SPC Technical Report, September 2004.
93.    Blackburn, M.R., Model-Based Verification and Validation for Security Requirements of Systems, SPC Technical Report, September, 2004.
94.    Busser, R., M. R., Blackburn, A. Nauman, T Morgan, Model-Based Verification of High Integrity Systems, Embedded Systems Conference, September 2004.
95.    Blackburn, M.R., R. Chandramouli, Using Model-Based Testing to Assess Smart Card Interoperability Conformance, International Conference on Computing, Communications and Control Technologies, Austin, August 2004.
96.    Blackburn, M.R., Requirement-Based Verification Sign-Off for Subcontract Integration Compliance, SPC Technical Report, June 2004.
97.    Blackburn, M.R., Why Model-Based Test Automation is Different, QAAM Conference, May 2004.
98.    Blackburn, M.R., R.D. Busser, A. Nauman, T-VEC Model Checking and Test Generation Support for Simulink, SCR/TTM, and MATRIXx, JSF Tool Day, May 2004.
99.    Blackburn, M.R., R.D. Busser, A. Nauman, Objective Measures from Model-Based Testing, STAREAST, Orlando, May 2004.
100.    Blackburn, M.R., R.D. Busser, A. Nauman, Model-Based Analysis and Test Generation for Complex Systems, FAA Software Tool Forum, May 2004.
101.    Blackburn, M.R., Risks and Mitigation Strategies for Using Automatic Code Generation Tools: State of the Practice, SPC Technical Report, SPC-2004010-MC, April 2004.
102.    Blackburn, M.R., A. Nauman, Strategies for Web and GUI Testing, SPC Technical Report, 2004-014, Version 01.00, April 2004.
103.    Blackburn, M.R., R.D. Busser, A. Nauman, Understanding the Generations of Test Automation, Software Technology Conference, April 2004.
104.    Blackburn, M.R., R.D. Busser, A. Nauman, Why Model-Based Test Automation is Different and What You Should Know to Get Started, International Conference Practical Software Testing Techniques, March 2004.
105.    Blackburn, M.R., Principles for Verification and Validation of Complex Systems, SPC Course, November 2003.
106.    Busser, R., M. R., Blackburn, A. Nauman, Automatic Test Sequences Generation from Models, Fourteenth International Symposium on Software Reliability Engineering, Denver CO, November 2003.
107.    Busser, R., M. R., Blackburn, Guidelines for Software Tool Qualification, SPC Technical Report, October 2003.
108.    Blackburn, M.R., The Big Problem That Process Improvement Hasn't Solved, 2nd Annual QAAM / QAI Conference, Baltimore MD, October 2003.
109.    Blackburn, M.R., Guidelines for Using Test Automation Framework Measures, SPC Technical Report, SPC-2003056-MC, September 2003.
110.    Blackburn, M.R., Model-Based Analysis and Test Generation for Complex Systems, IEEE Chapter Meeting, October 2003.
111.    Blackburn, M.R., T-VEC Technologies' Solutions for Model-Based Analysis and Test Generation, AIAA, August 2003.
112.    Blackburn, M.R., Guidelines for Using Test Automation Framework Measures, SPC, July 2003.
113.    Blackburn, M.R., Model-based Testing Tools - Necessary for Complex Systems, NASA/JPL Space Mission Challenges for IT, July 2003.
114.    Blackburn, M.R., R.D. Busser, A. Nauman, Understanding the Generations of Test Automation, STAREAST, May 2003.
115.    Blackburn, M.R., R.D. Busser, A. Nauman, Interface-driven Model-based Test Automation, Crosstalk, May 2003.
116.    Blackburn, M.R., R.D. Busser, A. Nauman, Test Automation Framework for T-VEC and Simulink, Course V1.0, May 2003.
117.    Blackburn, M.R., R. Chandramouli, Model-based Automated Security Functional Testing, 7th Annual Workshop on Distributed Objects and Components Security (DOCSEC), Baltimore, MD, April 2003.
118.    Blackburn, M.R., R.D. Busser, A. Nauman, Test Automation Framework: Eliminating Requirements Defects and Automating Test, SPC Member Forum, March 2003.
119.    Blackburn, M.R., R.D. Busser, A. Nauman, Defect Identification with Model-Based Test Automation, SAE World Congress, March 2003.
120.    Applying the Test Automation Framework With Use Cases and the Unified Modeling Language, SPC Technical Report, December 2002.
121.    Model-based Approach to Security Test Automation, Internal Symposium on Software Reliability Engineering, 2002.
122.    Discovery of the Mar Polar Lander Fault, Software Testing and Quality Engineering, 2002.
123.    Interface-driven Model-based Test Generation of Java Test Drivers, Quality Week 2002.
124.    Interface-driven Model-based Test Automation, STARWEST, 2002.
125.    Mars Polar Lander Fault Identification Using Model-based Testing, ICECCS2002, 2002.
126.    Developing with the Unified Modeling Language and the Test Automation Framework, SPC Technical Report, 2002.
127.    Blackburn, M.R., R Busser, A Nauman, R Knickerbocker, R Kasuda, Mars Polar Lander Fault Identification Using Model-based Testing, NASA Software Engineering Workshop, November 2001.
128.    Reducing Cycle Time by Eliminating Requirement Defects and Automating Test, PQST/PSTT North, October 2001.
129.    Automated Model Analysis and Test Generation for Flight Guidance Mode Logic, Digital Avionics System Conference, 2001.
130.    Applying the Test Automation Framework to the Mars Lander Touchdown Monitor, Lockheed Martin Joint Symposium, June 2001.
131.    Requirements Testability and Test Automation, Lockheed Martin Joint Symposium, June 2001.
132.    Eliminating Requirement Defects and Automating Test, Test Computer Software Conference, June 2001.
133.    Model-based Approach to Security Test Automation, Quality Week 2001, June 2001.
134.    How To Develop Models For Requirement Analysis And Test Automation, Software Technology Conference, May 2001.
135.    Removing Requirement Defects and Automating Test, Conference on Software Test, Analysis and Review 2001, May 2001.
136.    Reducing Cycle Time by Eliminating Requirement Defects and Automating Test, PQST/PSTT, April 2001.
137.    Busser, R.D., A. M. Nauman, M. R. Blackburn, Rockwell Pilot Project Technical Note, SPC-2000045-MC, Version 01.00.00, December 2000.
138.    Guidelines for Automated Analysis of System Models, SPC Member Technical Report, December 2000.
139.    Advanced Software Testing Trends, Lucent Advanced Software Testing ‘2000, November 2000.
140.    Reducing Cycle Time by Eliminating Requirement Defects and Automating Test, Xerox Symposium, Lucent AST 2000.
141.    Application of the Test Automation Framework for Model Analysis and Test Generation, Quality Week 2000.
142.    Application of the Test Automation Framework for Model Analysis and Test Generation, Software Technology Conference, 2000.
143.    Key Applications of Test Automation Framework (TAF) - Panel Session, Software Technology Conference, June, 2000.
144.    Model-Based Development and Automated Testing Course, SPC-98070-MC, Version 01.01.00, January 2000
145.    Blackburn, M.R., R.D. Busser, Requirements for Industrial-Strength Formal Method Tools, Workshop on Industrial uses of Formal Techniques 1999.
146.    Integrating Model-based Tools For Test Generation And Analysis, Software Technology Conference, May 6, 1999.
147.    Extending Model-Based Development to Support Automated Testing, SPC-98070-MC, Version 01.00.02, December 1998.
148.    Blackburn, M.R., Using Models For Test Generation And Analysis, Digital Avionics System Conference, November, 1998.
149.    Blackburn, M.R., R.D. Busser, J.S. Fontaine, Experiences with the Test Automation Framework, 15th Int. Conference and Exposition Test Computer Software, June 1998
150.    Blackburn, M.R., J.S. Fontaine, Automatic Test Generation Support for Object Technologies, SPC-98068-MC, Version 01.00.00, June 1998.
151.    Blackburn, M.R., R.D. Busser, J.S. Fontaine, Specification Transformation to Support Automated Testing, SPC-97036-MC, Version 02.00.02, April 1998.
152.    Blackburn. M.R., Specification Transformation and Semantic Expansion to Support Automated Testing, Dissertation, George Mason University, March 1998.
153.    Automated Test Generation for Object Oriented Specification, Software Reliability Engineering Workshop, June, 1997.
154.    Blackburn, M.R., R.D. Busser, J.S. Fontaine, Automatic Generation of Test Vectors for SCR-Style Specifications, Conference on Computer Assurance, June, 1997.
155.    Blackburn, M.R., Specification Transformation to Support Automated Testing, SPC Technical Report, 1997-1998.
156.    Program Understanding for Component Integration, SPC COTS/GOTS/NDI Legacy Components Workshop, 1997.
157.    Object Technology Adoption, SPC Technical Note, 1997.
158.    CYBERosetta, Knowledge-aided Management of the Collection Discovery and Exploitation of Information, Technology Defined Conference, 1997.
159.    Blackburn, M.R., Test Automation Framework, SPC-97055-MC, version 01.00.01, September, 1996.
160.    T-VEC Engineering Method for Specification and Verification, Technical Report, 1996.
161.    Blackburn, M.R., R.D. Busser, T-VEC: A Tool for Developing Critical System, 11th Annual Conference on Conference on Computer Assurance, June 1996.
162.    Blackburn, M.R., Knowledge Engineering and Programming CYBERosetta, Web-based Report, 1996.
163.    Blackburn, M.R., Object Technology Survey for 1996, SPC Technical Report (Web-based), 1996.
164.    Blackburn, M.R., Software Reuse Symposium 96: Object-Oriented Technology and Reuse, August 1996.
165.    Blackburn, M.R., Leading Edge Object Technology for Domain Engineering, NSA Reuse Symposium, 1996.
166.    Blackburn, M.R., Towards Reverse Engineering Requirement Specifications from Code, SPC Technical Report, 1996.
167.    Blackburn, M.R., An Integrated Development Environment for Formal Specification and Verification of Critical System, SPC Technical Report, 1995.
168.    Blackburn, M.R., Specification-Based Testing and Analysis of Critical System, SPC Technical Report, 1995.
169.    Blackburn, M.R., Methodology Independent Approach for Developing Model-Based Testing Capabilities, SPC Presentation, 1995.
170.    Blackburn, M.R., Towards Reverse Engineering Requirement Specifications from Code, SPC Technical Report, 1995.
171.    Reengineering using Object Technology Course, SPC Course, 1995.
172.    Blackburn, M.R., High Assurance Software: A Technology Overview, Presentation to DARPA, 1995.
173.    Blackburn, M.R., J. Fontaine, Object Technology Project, An Assessment and Evaluation of Advanced Development Environments, SPC Technical Report, 1995.
174.    Blackburn, M.R., System Specification of an Altimeter Indicator using CoRE, SPC Technical Note, 1994.
175.    Blackburn, M.R., An Experimental Assessment of Specification-based Test Sets Based on Mutation Testing, SPC Technical Report, 1994.
176.    Blackburn, M.R., Meta Process for Business Process Reengineering, Mitre Technical Report, 1994.
177.    The T-VEC Environment, Presentation at Allied-Signal Math and Simulation Sciences Conference, 1991.
178.    A Universal Reflector for Linear Lamps, AlliedSignal Patent Disclosure, 1991.
179.    The T-VEC Environment, IDE User's Group Presentation, 1990.
180.    Formal Specification Method and CASE Tool Environment, AlliedSignal Patent Disclosure, 1990.
181.    Specification-based Test Vector Generator, AlliedSignal Patent Disclosure, 1990.
182.    A Requirement Specification Expert System, AlliedSignal Patent Disclosure, 1990.
183.    Blackburn, M.R., Function and Structure of An Expert System for Constructing Formal Specification: A Practical Example Using Formal Specification, SPC Technical Report, 1988.
184.    Blackburn, M.R., Towards a Theory of Reuse, SPC Technical Report, 1988.
185.    Blackburn, M.R., Using Expert Systems to Construct Formal Specifications, IEEE Expert, 1988.
186.    Blackburn, M.R., A Knowledge-based Expert System for Constructing Formal Specifications, AIDA, 1987.
187.    Blackburn, M.R., Automated Software Development Methodology, SPC Workshop, 1987.
188.    Blackburn, M.R., ASDM White Paper, AlliedSignal Technical Report, 1987.
189.    Blackburn, M.R., Expert Systems for Constructing Formal Specifications, SPC Technical Report, 1987.
190.    Busser, R.D, M.R. Blackburn, Moving Structured Development Towards Proof of Correctness, Software Development Forum-VIII, 1986.
191.    Blackburn, M.R., Automating The Software Development Process, 7th - Digital Avionics System Conference, 1986.
192.    Blackburn, M.R., Using Expert Systems to Capture Formal Specifications, National Computer Conference, 1986.
193.    Blackburn, M.R., Data Abstraction: A Technique for Modularizing Software System, Bendix Technical Report, 1985.