search
menu
icon-carat-right
cmu-wordmark
✕
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
Enterprise Risk and Resilience Management
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webinar Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity and Inclusion
Internship Opportunities
Working at the SEI
Carnegie Mellon University
Software Engineering Institute
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cloud Computing
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webcasts Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity, and Inclusion
Internship Opportunities
Home
Publications
Authors
Lutz Wrage
Lutz Wrage
Software Engineering Institute
All
Tech Publications
Podcasts
A Model-Based Tool for Designing Safety-Critical Systems
January 5, 2023
•
Podcast
By
Sam Procter
,
Lutz Wrage
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
Modeling and Validating Security and Confidentiality in System Architectures
March 19, 2021
•
Technical Report
By
Aaron Greenhouse
,
Jörgen Hansson (University of Skovde)
,
Lutz Wrage
Ultra-Large-Scale Systems: Socio-adaptive Systems
December 1, 2016
•
White Paper
By
Scott Hissam
,
Mark H. Klein
,
Gabriel Moreno
,
Linda M. Northrop
,
Lutz Wrage
A Requirement Specification Language for AADL
June 22, 2016
•
Technical Report
By
Peter H. Feiler
,
Julien Delange
,
Lutz Wrage
More from Lutz Wrage
Modeling and Validating Security and Confidentiality in System Architectures
March 19, 2021
•
Technical Report
By
Aaron Greenhouse
,
Jörgen Hansson (University of Skovde)
,
Lutz Wrage
Ultra-Large-Scale Systems: Socio-adaptive Systems
December 1, 2016
•
White Paper
By
Scott Hissam
,
Mark H. Klein
,
Gabriel Moreno
,
Linda M. Northrop
,
Lutz Wrage
A Requirement Specification Language for AADL
June 22, 2016
•
Technical Report
By
Peter H. Feiler
,
Julien Delange
,
Lutz Wrage
Open Source AADL Workbench for Virtual System Integration Poster (SEI 2015 Research Review)
October 22, 2015
•
Poster
By
Peter H. Feiler
,
Lutz Wrage
Four Pillars for Improving the Quality of Safety-Critical Software-Reliant Systems
April 29, 2013
•
White Paper
By
Peter H. Feiler
,
John B. Goodenough
,
Arie Gurfinkel
,
Charles Weinstock
,
Lutz Wrage
More from Lutz Wrage
A Model-Based Tool for Designing Safety-Critical Systems
January 5, 2023
•
Podcast
By
Sam Procter
,
Lutz Wrage
More from Lutz Wrage
Send a Message