Home
Publications
Authors
John Hatcliff (Kansas State University)

John Hatcliff (Kansas State University)

Kansas State University

All

Formalization of the AADL Run-Time Services

October 17, 2022 • Conference Paper

By John Hatcliff (Kansas State University) , Jerome Hugues , Danielle Stewart (Adventium Labs) , Lutz Wrage

SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis

August 29, 2017 • Article

By Sam Procter , Eugene Y. Vasserman (Kansas State University) , John Hatcliff (Kansas State University)

Report a Vulnerability to CERT/CC
Subscribe to SEI Bulletin
Request Permission to Use SEI Materials

Advancing Software for National Security
Sponsored by the Department of Defense, the SEI is a federally funded research and development center managed by Carnegie Mellon University.

Main Office
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800

SEI

About Our Work Publications News and Events Education and Outreach Careers

Helpful links

Digital library Blog Podcasts

Connect

Facebook LinkedIn X YouTube

2025 Carnegie Mellon University

Contact Us
Office Locations
Privacy Notice
Legal
www.cmu.edu
2025 Carnegie Mellon University