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

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

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

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

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

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

VIEW PUBLICATION

Paper

Measuring Digital Engineering Effectiveness for Embedded Computing Systems

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

VIEW PUBLICATION

Paper

Formally Verifying Industry Cryptography

Mike Dodds

VIEW PUBLICATION

Paper

Formalization of the AADL Run-Time Services ?

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

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

Verified Cryptographic Code for Everybody

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

VIEW PUBLICATION

Paper

Airworthiness Qualification of ACVIP Tools

Tyler D. Smith

VIEW PUBLICATION

Tech Report

Learning Neuroscience with Technology: A Scaffolded, Active Learning Approach

Katrina B Schleisman, S Selcen Guzey, Richard Lie, Michael Michlin, Christopher Desjardins, Hazel S Shackleton, August C Schwerdfeger, Martin Michalowski, and Janet M Dubinsky

VIEW PUBLICATION

Paper

PUBLICATIONS

KATch: A Fast Symbolic Verifier for NetKAT

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

Daedalus: Safer Document Parsing

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

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

Measuring Digital Engineering Effectiveness for Embedded Computing Systems

Formally Verifying Industry Cryptography

Formalization of the AADL Run-Time Services ?

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

Verified Cryptographic Code for Everybody

Airworthiness Qualification of ACVIP Tools

Learning Neuroscience with Technology: A Scaffolded, Active Learning Approach