Lutz Wrage
Software Engineering Institute
A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation
• Technical Report
By Aaron Greenhouse , Jerome Hugues , Sam Procter , Lutz Wrage , Joe Seibel
Reachability of System Operation Modes in AADL
• Technical Report
By Lutz Wrage
Formalization of the AADL Run-Time Services
• Conference Paper
By John Hatcliff (Kansas State University) , Jerome Hugues , Danielle Stewart (Adventium Labs) , Lutz Wrage
A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation
• Technical Report
By Aaron Greenhouse , Jerome Hugues , Sam Procter , Lutz Wrage , Joe Seibel
Reachability of System Operation Modes in AADL
• Technical Report
By Lutz Wrage
Modeling and Validating Security and Confidentiality in System Architectures
• Technical Report
By Aaron Greenhouse , Jörgen Hansson (University of Skovde) , Lutz Wrage
Ultra-Large-Scale Systems: Socio-adaptive Systems
• White Paper
By Scott Hissam , Mark H. Klein , Gabriel Moreno , Linda M. Northrop , Lutz Wrage