Follow
Maged Elaasar
Maged Elaasar
Jet Propulsion Laboratory, Modelware Solutions
Verified email at jpl.nasa.gov - Homepage
Title
Cited by
Cited by
Year
Method and system defining and interchanging diagrams of graphical modeling languages
ME Elaasar
US Patent App. 12/628,630, 2011
1782011
Configurable pattern detection method and apparatus
ME Elaasar
US Patent 7,890,923, 2011
842011
An overview of UML consistency management
M Elaasar, L Briand
Carleton University, Canada, Technical Report SCE-04-18, 2004
812004
Computer method and apparatus for providing model to model transformation using an MDA approach
ME Elaasar, JM Fischer
US Patent 8,869,098, 2014
742014
Computer method and system for pattern specification using meta-model of a target domain
ME Elaasar
US Patent 8,010,938, 2011
602011
A metamodeling approach to pattern specification
M Elaasar, LC Briand, Y Labiche
International Conference on Model Driven Engineering Languages and Systems …, 2006
592006
A systematic identification of consistency rules for UML diagrams
D Torre, Y Labiche, M Genero, M Elaasar
Journal of Systems and Software 144, 121-142, 2018
562018
Creating system engineering products with executable models in a model-based engineering environment
R Karban, FG Dekens, S Herzig, M Elaasar, N Jankevičius
Modeling, Systems Engineering, and Project Management for Astronomy VII 9911 …, 2016
492016
Esem: Automated systems analysis using executable sysml modeling patterns
R Karban, N Jankevičius, M Elaasar
INCOSE International Symposium 26 (1), 1-24, 2016
372016
Enhanced code generation from UML composite state machines
O Badreddin, TC Lethbridge, A Forward, M Elaasar, H Aljamaan, ...
2014 2nd International Conference on Model-Driven Engineering and Software …, 2014
352014
UML diagram synthesis techniques: A systematic mapping study
D Torre, Y Labiche, M Genero, MT Baldassarre, M Elaasar
Proceedings of the 10th international workshop on modelling in software …, 2018
322018
Integrating modeling tools in the development lifecycle with oslc: A case study
M Elaasar, A Neal
Model-Driven Engineering Languages and Systems: 16th International …, 2013
282013
Domain-specific model verification with QVT
M Elaasar, L Briand, Y Labiche
Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 …, 2011
282011
Detecting design patterns in models by utilizing transformation language
M Elaasar
US Patent 8,689,173, 2014
272014
Satellite transport protocol handling bit corruption, handoff and limited connectivity
ME Elaasar, M Barbeau, E Kranakis, Z Li
IEEE Transactions on Aerospace and Electronic Systems 41 (2), 489-502, 2005
242005
Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach
T Ma, S Ali, T Yue, M Elaasar
Software Quality Journal 27, 615-649, 2019
222019
CAESAR model-based approach to harness design
D Wagner, SY Kim-Castet, A Jimenez, M Elaasar, N Rouquette, S Jenkins
2020 IEEE Aerospace Conference, 1-13, 2020
192020
Computer method and apparatus for chaining of model-to-model transformations
ME Elaasar
US Patent 8,583,413, 2013
172013
The resilient spacecraft executive: An architecture for risk-aware operations in uncertain environments
CL McGhan, T Vaquero, AR Subrahmanya, O Arslan, R Murray, ...
Aiaa Space 2016, 5541, 2016
162016
VPML: an approach to detect design patterns of MOF-based modeling languages
M Elaasar, LC Briand, Y Labiche
Software & Systems Modeling 14, 735-764, 2015
142015
The system can't perform the operation now. Try again later.
Articles 1–20