Prati
Maged Elaasar
Maged Elaasar
Jet Propulsion Laboratory, Modelware Solutions
Potvrđena adresa e-pošte na jpl.nasa.gov - Početna stranica
Naslov
Citirano
Citirano
Godina
Method and system defining and interchanging diagrams of graphical modeling languages
ME Elaasar
US Patent App. 12/628,630, 2011
1842011
Configurable pattern detection method and apparatus
ME Elaasar
US Patent 7,890,923, 2011
902011
An overview of UML consistency management
M Elaasar, L Briand
Carleton University, Canada, Technical Report SCE-04-18, 2004
842004
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
582018
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
522016
Esem: Automated systems analysis using executable sysml modeling patterns
R Karban, N Jankevičius, M Elaasar
INCOSE International Symposium 26 (1), 1-24, 2016
462016
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
392018
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
372014
Detecting design patterns in models by utilizing transformation language
M Elaasar
US Patent 8,689,173, 2014
312014
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
292013
Domain-specific model verification with QVT
M Elaasar, L Briand, Y Labiche
Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 …, 2011
292011
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
272005
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
262019
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
242020
Computer method and apparatus for chaining of model-to-model transformations
ME Elaasar
US Patent 8,583,413, 2013
172013
How consistency is handled in model-driven software engineering and UML: an expert opinion survey
D Torre, M Genero, Y Labiche, M Elaasar
Software Quality Journal 31 (1), 1-54, 2023
162023
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20