Lutz Wrage

According to our database, Lutz Wrage authored at least 22 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Mechanization of a Large DSML: An Experiment with AADL and Coq.

Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

Formalization of the AADL Run-Time Services.

John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

2021

Guided architecture trade space exploration: fusing model-based engineering and design by shopping.

Sam Procter, Lutz Wrage

Softw. Syst. Model., 2021

2019

Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping.

Sam Procter, Lutz Wrage

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

2017

Performing Safety Analyses with AADL and AltaRica.

Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2015

Semantic Importance Sampling for Statistical Model Checking.

Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Utility-Based Resource Overbooking for Cyber-Physical Systems.

Dionisio de Niz, Lutz Wrage, Anthony Rowe, Ragunathan Rajkumar

ACM Trans. Embed. Comput. Syst., 2014

Pointer Ownership Model.

David Svoboda, Lutz Wrage

Proceedings of the 47th Hawaii International Conference on System Sciences, 2014

2013

QoS optimization in ad hoc wireless networks through adaptive control of marginal utility.

Jeffery P. Hansen, Scott A. Hissam, Lutz Wrage

Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Coordinated Bank and Cache Coloring for Temporal Protection of Memory Accesses.

Noriaki Suzuki, Hyoseung Kim, Dionisio de Niz, Björn Andersson, Lutz Wrage, Mark H. Klein, Ragunathan Rajkumar

Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

2012

Adaptive Quality of Service in ad hoc wireless networks.

Jeffery P. Hansen, Scott A. Hissam, Daniel Plakosh, Lutz Wrage

Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012

On Resource Overbooking in an Unmanned Aerial Vehicle.

Dionisio de Niz, Lutz Wrage, Nathaniel Storer, Anthony Rowe, Ragunathan Rajkumar

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011

An Implementation of the Behavior Annex in the AADL-Toolset Osate2.

Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Resource allocation contracts for open analytic runtime models.

Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Architectural Modeling to Verify Security and Nonfunctional Behavior.

Jörgen Hansson, Lutz Wrage, Peter H. Feiler, John Morley, Bruce A. Lewis, Jérôme Hugues

IEEE Secur. Priv., 2010

2008

Effects of service-oriented architecture on software development lifecycle activities.

Grace A. Lewis, Edwin J. Morris, Soumya Simanta, Lutz Wrage

Softw. Process. Improv. Pract., 2008

Why Standards Are Not Enough to Guarantee End-to-End Interoperability.

Grace A. Lewis, Edwin J. Morris, Soumya Simanta, Lutz Wrage

Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

Tutorial 3: Engineering Systems of Systems.

Grace A. Lewis, Edwin J. Morris, Pat Place, Soumya Simanta, Dennis B. Smith, Lutz Wrage

Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

2007

Common Misconceptions about Service-Oriented Architecture.

Grace A. Lewis, Edwin J. Morris, Soumya Simanta, Lutz Wrage

Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2007

2006

A Process for Context-Based Technology Evaluation: Examples for the Evaluation of Web Services Technology.

Grace A. Lewis, Lutz Wrage

Proceedings of the Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2006

2004

A Case Study in COTS Product Integration Using XML.

Grace A. Lewis, Lutz Wrage

Proceedings of the COTS-Based Software Systems, Third International Conference, 2004

2003

Measuring Software Sustainability.

Robert C. Seacord, Joseph Elm, Wolf Goethert, Grace A. Lewis, Daniel Plakosh, John E. Robert, Lutz Wrage, Mikael Lindvall

Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003