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