Lutz Wrage

23 papers A 2B 4C 1Misc 1Journal 4Unranked 11
YearRankTypeTitle / Venue / Authors
2022 — conf
Formalization of the AADL Run-Time Services.
ISoLA (2)
John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage
2022 C conf
Mechanization of a Large DSML: An Experiment with AADL and Coq.
MEMOCODE
Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart
2021 J jnl
Guided architecture trade space exploration: fusing model-based engineering and design by shopping.
Softw. Syst. Model.
Sam Procter, Lutz Wrage
2019 A conf
Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping.
MoDELS
Sam Procter, Lutz Wrage
2017 — conf
Performing Safety Analyses with AADL and AltaRica.
IMBSA
Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage
2015 A conf
Semantic Importance Sampling for Statistical Model Checking.
TACAS
Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein
2014 — conf
Pointer Ownership Model.
HICSS
David Svoboda, Lutz Wrage
2014 J jnl
Utility-Based Resource Overbooking for Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst.
Dionisio de Niz, Lutz Wrage, Anthony Rowe, Ragunathan Rajkumar
2013 — conf
Coordinated Bank and Cache Coloring for Temporal Protection of Memory Accesses.
CSE
Noriaki Suzuki, Hyoseung Kim, Dionisio de Niz, Björn Andersson, Lutz Wrage, Mark H. Klein, Ragunathan Rajkumar
2013 B conf
QoS optimization in ad hoc wireless networks through adaptive control of marginal utility.
WCNC
Jeffery P. Hansen, Scott A. Hissam, Lutz Wrage
2013 B conf
Utility-based resource overbooking for Cyber-Physical Systems.
RTCSA
Dionisio de Niz, Lutz Wrage, Anthony Rowe, Ragunathan Rajkumar
2012 B conf
Adaptive Quality of Service in ad hoc wireless networks.
WCNC
Jeffery P. Hansen, Scott A. Hissam, Daniel Plakosh, Lutz Wrage
2012 — conf
On Resource Overbooking in an Unmanned Aerial Vehicle.
ICCPS
Dionisio de Niz, Lutz Wrage, Nathaniel Storer, Anthony Rowe, Ragunathan Rajkumar
2011 B conf
An Implementation of the Behavior Annex in the AADL-Toolset Osate2.
ICECCS
Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage
2011 Misc conf
Resource allocation contracts for open analytic runtime models.
EMSOFT
Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha
2010 J jnl
Architectural Modeling to Verify Security and Nonfunctional Behavior.
IEEE Secur. Priv.
Jörgen Hansson, Lutz Wrage, Peter H. Feiler, John Morley, Bruce A. Lewis, Jérôme Hugues
2008 J jnl
Effects of service-oriented architecture on software development lifecycle activities.
Softw. Process. Improv. Pract.
Grace A. Lewis, Edwin J. Morris, Soumya Simanta, Lutz Wrage
2008 — conf
Tutorial 3: Engineering Systems of Systems.
ICCBSS
Grace A. Lewis, Edwin J. Morris, Pat Place, Soumya Simanta, Dennis B. Smith, Lutz Wrage
2008 — conf
Why Standards Are Not Enough to Guarantee End-to-End Interoperability.
ICCBSS
Grace A. Lewis, Edwin J. Morris, Soumya Simanta, Lutz Wrage
2007 — conf
Common Misconceptions about Service-Oriented Architecture.
ICCBSS
Grace A. Lewis, Edwin J. Morris, Soumya Simanta, Lutz Wrage
2006 — conf
A Process for Context-Based Technology Evaluation: Examples for the Evaluation of Web Services Technology.
ICCBSS
Grace A. Lewis, Lutz Wrage
2004 — conf
A Case Study in COTS Product Integration Using XML.
ICCBSS
Grace A. Lewis, Lutz Wrage
2003 — conf
Measuring Software Sustainability.
ICSM
Robert C. Seacord, Joseph Elm, Wolf Goethert, Grace A. Lewis, Daniel Plakosh, John E. Robert, Lutz Wrage, Mikael Lindvall