| 2022 | ISoLA | Formalization of the AADL Run-Time Services. | John Hatcliff, Jrme Hugues, Danielle Stewart, Lutz Wrage |
| 2022 | MEMOCODE | Mechanization of a Large DSML: An Experiment with AADL and Coq. | Jrme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart |
| 2019 | MODELS | Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping. | Sam Procter, Lutz Wrage |
| 2015 | TACAS | Semantic Importance Sampling for Statistical Model Checking. | Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein |
| 2013 | WCNC | QoS optimization in ad hoc wireless networks through adaptive control of marginal utility. | Jeffery P. Hansen, Scott A. Hissam, Lutz Wrage |
| 2013 | RTCSA | Utility-based resource overbooking for Cyber-Physical Systems. | Dionisio de Niz, Lutz Wrage, Anthony Rowe, Ragunathan Rajkumar |
| 2012 | WCNC | Adaptive Quality of Service in ad hoc wireless networks. | Jeffery P. Hansen, Scott A. Hissam, Daniel Plakosh, Lutz Wrage |
| 2011 | EMSOFT | Resource allocation contracts for open analytic runtime models. | Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha |
| 2011 | ICECCS | An Implementation of the Behavior Annex in the AADL-Toolset Osate2. | Gilles Lasnier, Laurent Pautet, Jrme Hugues, Lutz Wrage |