icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Lutz Wrage
Lutz Wrage
Software Engineering Institute
All
Tech Publications
Podcasts
Reachability of System Operation Modes in AADL
May 31, 2024
•
Technical Report
By
Lutz Wrage
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
Guided Architecture Trade Space Exploration: Fusing Model-Based Engineering and Design by Shopping (Article)
June 18, 2021
•
Article
By
Sam Procter
,
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
More from Lutz Wrage
Reachability of System Operation Modes in AADL
May 31, 2024
•
Technical Report
By
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
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