John E. Robert
Deputy Director, Software Solutions Division
An Approach to Accelerate Verification and Software Standards Testing with LLMs
• Blog Post
By Ryan Karl , Yash Hindka , Shen Zhang , John E. Robert
Perspectives on Generative AI in Software Engineering and Acquisition
• Blog Post
By Anita Carleton , James Ivers , Ipek Ozkaya , John E. Robert , Douglas Schmidt (William & Mary) , Shen Zhang
Challenges to Assuring Large-Scale Systems
• Blog Post
By Gabriel Moreno , Anton Hristozov , John E. Robert , Mark H. Klein
A Model Problem for Assurance Research: An Autonomous Humanitarian Mission Scenario
• Technical Note
By Gabriel Moreno , Anton Hristozov , John E. Robert , Mark H. Klein
A Model Problem for Assurance Research: An Autonomous Humanitarian Mission Scenario
• Technical Note
By Gabriel Moreno , Anton Hristozov , John E. Robert , Mark H. Klein
U.S. Leadership in Software Engineering and AI Engineering
• White Paper
By Anita Carleton , Forrest Shull , Douglas Schmidt (William & Mary) , Erin Harper , John E. Robert , Ipek Ozkaya
Working with Small Manufacturing Enterprises: An Analysis of TIDE
• SEI Report
By Len Estrin , William Anderson , Joseph P. Elm , Suzanne Miller , John T. Foreman , John E. Robert , Alfred Schenker
An Approach to Accelerate Verification and Software Standards Testing with LLMs
• Blog Post
By Ryan Karl , Yash Hindka , Shen Zhang , John E. Robert
Perspectives on Generative AI in Software Engineering and Acquisition
• Blog Post
By Anita Carleton , James Ivers , Ipek Ozkaya , John E. Robert , Douglas Schmidt (William & Mary) , Shen Zhang
Challenges to Assuring Large-Scale Systems
• Blog Post
By Gabriel Moreno , Anton Hristozov , John E. Robert , Mark H. Klein
The Future of Software Engineering and Acquisition with Generative AI
• Webcast
By Douglas Schmidt (William & Mary) , Anita Carleton , James Ivers , Ipek Ozkaya , John E. Robert , Shen Zhang
