Publications

Thank you! Your submission has been received!

Oops! Something went wrong while submitting the form.

No results found. Try adjusting your filters or search terms to see more publications.

KATch: A Fast Symbolic Verifier for NetKAT

Mark Moeller, Jules Jacobs, Oliver Savary Belanger, David Darais,. Cole Schlesinger, Steffan Smolka, Nate Foster, and Alexandra Silva

VIEW PUBLICATION

Paper

Integrating Episodic and Semantic Memory in Machine Teammates to Enable Explainable After-Action Review and Intervention Planning in HAA Operations

E. Davis and K. Schleisman

VIEW PUBLICATION

Paper

Daedalus: Safer Document Parsing

Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, and Simon Winwood

VIEW PUBLICATION

Paper

Model Based Engineering Support for Future Attack Reconnaissance Aircraft: Final Report

Tyler D. Smith, Charlie Payne, Edward Sandberg, Moira Southern, Alex Mahrer, and Taisa Kushner

VIEW PUBLICATION

Tech Report

An AADL Contract Language Supporting Integrated Model- and Code-Level Verification

J Hatcliff, D Stewart, J Belt, Robby, and A Schwerdfeger

VIEW PUBLICATION

Paper

Mechanization of a Large DSML: An Experiment with AADL and Coq

J Hugues, L Wrage, J Hatcliff, and D Stewart

VIEW PUBLICATION

Paper

Formalization of the AADL Run-Time Services ?

J Hatcliff, J Hugues, D Stewart, and L Wrage

VIEW PUBLICATION

Paper

Formally Verifying Industry Cryptography

Mike Dodds

VIEW PUBLICATION

Paper

Measuring Digital Engineering Effectiveness for Embedded Computing Systems

Alfred R Schenker, Tyler D. Smith, and William Richard Nichols

VIEW PUBLICATION

Paper

Airworthiness Qualification of ACVIP Tools

Tyler D. Smith

VIEW PUBLICATION

Tech Report

Verified Cryptographic Code for Everybody

Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, and Andrei Stefanescu

VIEW PUBLICATION

Paper

Authoritative Source of Truth Study

Tyler D. Smith

VIEW PUBLICATION

Tech Report

PUBLICATIONS

KATch: A Fast Symbolic Verifier for NetKAT

Integrating Episodic and Semantic Memory in Machine Teammates to Enable Explainable After-Action Review and Intervention Planning in HAA Operations

Daedalus: Safer Document Parsing

Model Based Engineering Support for Future Attack Reconnaissance Aircraft: Final Report

An AADL Contract Language Supporting Integrated Model- and Code-Level Verification

Mechanization of a Large DSML: An Experiment with AADL and Coq

Formalization of the AADL Run-Time Services ?

Formally Verifying Industry Cryptography

Measuring Digital Engineering Effectiveness for Embedded Computing Systems

Airworthiness Qualification of ACVIP Tools

Verified Cryptographic Code for Everybody

Authoritative Source of Truth Study