Verification of time partitioning in the DEOS scheduler kernel J Penix, W Visser, E Engstrom, A Larson, N Weininger Proceedings of the 22nd international conference on Software engineering …, 2000 | 95 | 2000 |
Verification of time partitioning in the DEOS scheduler kernel J Penix, W Visser, E Engstrom, A Larson, N Weininger Proceedings of the 22nd international conference on Software engineering …, 2000 | 95 | 2000 |
Model-based composable code generation KA Schloegel, DV Oglesby, E Engstrom, D Bhatt US Patent 7,219,328, 2007 | 93 | 2007 |
Model-based composable code generation KA Schloegel, DV Oglesby, E Engstrom, D Bhatt US Patent 7,219,328, 2007 | 93 | 2007 |
Certification considerations for adaptive systems S Bhattacharyya, D Cofer, D Musliner, J Mueller, E Engstrom 2015 International Conference on Unmanned Aircraft Systems (ICUAS), 270-279, 2015 | 84 | 2015 |
Verifying time partitioning in the DEOS scheduling kernel J Penix, W Visser, S Park, C Pasareanu, E Engstrom, A Larson, ... Formal Methods in System Design 26, 103-135, 2005 | 48 | 2005 |
Building and rapidly evolving domain-specific tools with DOME E Engstrom, J Krueger CACSD. Conference Proceedings. IEEE International Symposium on Computer …, 2000 | 45 | 2000 |
Building and rapidly evolving domain-specific tools with DOME E Engstrom, J Krueger CACSD. Conference Proceedings. IEEE International Symposium on Computer …, 2000 | 45 | 2000 |
Method and System for Metamodeling Using Dynamic Ontology Objects DV Oglesby, JP Schewe, E Engstrom, KA Schloegel, HS Shackleton US Patent App. 11/686,835, 2008 | 18 | 2008 |
Framework for domain-independent archetype modeling D Oglesby, K Schloegel, D Bhatt, E Engstrom US Patent App. 10/242,201, 2003 | 13 | 2003 |
Composable code generation for model-based development K Schloegel, D Oglesby, E Engstrom, D Bhatt International Workshop on Software and Compilers for Embedded Systems, 211-225, 2003 | 12 | 2003 |
Applications of model checking at Honeywell Laboratories D Cofer, E Engstrom, R Goldman, D Musliner, S Vestal International SPIN Workshop on Model Checking of Software, 296-303, 2001 | 11 | 2001 |
Using model checking for verification of partitioning properties in integrated modular avionics D Cofer, E Engstrom, N Weininger, J Penix, W Visser 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No …, 2000 | 9 | 2000 |
Certification considerations for adaptive systems: Technical report S Bhattacharyya, D Cofer, DJ Musliner, J Mueller, E Engstrom no. NASA-CR-2015–218702, 2015 | 7 | 2015 |
A Pattern-based Framework to Address Abstraction, Reuse, and Cross-domain Aspects in Domain Specific Visual Languages D Oglesby, K Schloegel, D Bhatt, E Engstrom Proc. of OOPSLA 2001, 2001 | 7 | 2001 |
MetaDoME: A Rapid Prototyping Tool Supporting Graphical Modeling Tool Development J Krueger, E Engstrom, J Ward Honeywell Technology Center, Honeywell Technical Report CS-R93-021, 1995 | 7 | 1995 |
Towards next generation metamodeling tools K Schloegel, D Oglesby, E Engstrom Proceedings of 2nd Workshop on Domain-Specific Visual Languages (in …, 2002 | 5 | 2002 |
A new approach to capture multi-model interactions in support of cross-domain analyses K Schloegel, D Oglesby, E Engstrom, D Bhatt Honeywell Laboratories 86, 2001 | 5 | 2001 |
Translation and verification of the DEOS scheduling kernel J Penix, W Visser, E Engstrom, A Larson, N Weininger Technical report, NASA Ames Research Center/Honeywell Technology Center, 1999 | 5 | 1999 |
Prismatic: Unified hierarchical probabilistic verification tool DJ Musliner, E Engstrom Technical report AFRL-RZ-WP-TR-2011-2097, 2011 | 4 | 2011 |