2022
Mechanization of a Large DSML: An Experiment with AADL and Coq.
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022
Formalization of the AADL Run-Time Services.
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.
Softw. Syst. Model., 2021
2019
Guided Architecture Trade Space Exploration: Fusing Model Based Engineering & Design by Shopping.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019
2017
Performing Safety Analyses with AADL and AltaRica.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017
2015
Semantic Importance Sampling for Statistical Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
2014
Utility-Based Resource Overbooking for Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2014
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.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013
Coordinated Bank and Cache Coloring for Temporal Protection of Memory Accesses.
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013
2012
Adaptive Quality of Service in ad hoc wireless networks.
Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012
On Resource Overbooking in an Unmanned Aerial Vehicle.
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.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Resource allocation contracts for open analytic runtime models.
Proceedings of the 11th International Conference on Embedded Software, 2011
2010
Architectural Modeling to Verify Security and Nonfunctional Behavior.
IEEE Secur. Priv., 2010
2008
Effects of service-oriented architecture on software development lifecycle activities.
Softw. Process. Improv. Pract., 2008
Why Standards Are Not Enough to Guarantee End-to-End Interoperability.
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008
Tutorial 3: Engineering Systems of Systems.
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008
2007
Common Misconceptions about Service-Oriented Architecture.
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.
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.
Proceedings of the COTS-Based Software Systems, Third International Conference, 2004
2003
Measuring Software Sustainability.
Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003