Joe Seibel

Software Engineering Institute

All

A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation

September 11, 2025 • Technical Report

By Aaron Greenhouse , Jerome Hugues , Sam Procter , Lutz Wrage , Joe Seibel

Modeling, Verifying, and Generating Software for Distributed Cyber-Physical Systems using DMPL and AADL.

October 6, 2016 • Conference Paper

By Sagar Chaki , Dionisio de Niz , Joe Seibel

Resource Allocation in Dynamic Environments

October 1, 2012 • Technical Report

By Jeffrey Hansen , Scott Hissam , B. Craig Meyers , Gabriel Moreno , Daniel Plakosh , Joe Seibel , Lutz Wrage

What’s New in V2 of the Architecture Analysis & Design Language Standard?

March 1, 2012 • Special Report

By Peter H. Feiler , Joe Seibel , Lutz Wrage

Experimentation in the Use of Service Orientation in Resource-Constrained Environments

May 18, 2011 • Presentation

By Joe Seibel , Daniel Plakosh , Edwin J. Morris , William Anderson , Soumya Simanta

More from Joe Seibel

Send a Message