Model-based verification of embedded software H Shokry, M Hinchey IEEE Computer Society, 2009 | 129 | 2009 |
Dynamic software product line architectures using service-based computing for automotive systems H Shokry, MA Babar International Software Product Line Conference, 53-58, 2008 | 22 | 2008 |
Towards behavior elaboration and synthesis using modes H Shokry Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 1 | 2010 |
On practical Service-Based Computing in distributed embedded automotive systems H Shokry, M Hinchey Model-Based Methodologies for Pervasive and Embedded Software, 2009. MOMPES …, 2009 | 1 | 2009 |
A new heuristic for single offset assignment problem H Shokry, H El-Boghdadi, S Shaheen SCOPES '08 Proceedings of the 11th international workshop on Software …, 2008 | | 2008 |
Behavior Elaboration and Synthesis Using Space Partitioning H Shokry | | |