Lutz Wrage
Software Engineering Institute
Instantiating the Error Model Version 2 (EMV2) Annex
• SEI Report
By Joe Seibel , Lutz Wrage , Jerome Hugues , Sam Procter , Aaron Greenhouse
A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation
• SEI Report
By Aaron Greenhouse , Jerome Hugues , Sam Procter , Lutz Wrage , Joe Seibel
Reachability of System Operation Modes in AADL
• SEI Report
By Lutz Wrage
Instantiating the Error Model Version 2 (EMV2) Annex
• SEI Report
By Joe Seibel , Lutz Wrage , Jerome Hugues , Sam Procter , Aaron Greenhouse
A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation
• SEI Report
By Aaron Greenhouse , Jerome Hugues , Sam Procter , Lutz Wrage , Joe Seibel
Reachability of System Operation Modes in AADL
• SEI Report
By Lutz Wrage
Modeling and Validating Security and Confidentiality in System Architectures
• SEI 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