Export 4 results:
Filters: Author is Marwa Shousha  [Clear All Filters]
2009
M. Shousha, L. Briand and Y. Labiche. A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems In ACM/IEEE MODELS 2009, Edited by A. Schürr and B. Selic. Springer-Verlag Berlin, Heidelberg, 2009.PDF icon Simula.SE.645.pdf (546.85 KB)
2008
M. Shousha, L. Briand and Y. Labiche. A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms In ACM/IEEE 11th International Conference in Model Driven Engineering Languages and Systems (MODELS 2008)., 2008.PDF icon Simula.SE.279.pdf (293 KB)