Export 4 results:
Filters: Author is Marwa Shousha  [Clear All Filters]
2012
M. Shousha, L. C. Briand and Y. Labiche. "UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems." IEEE Transactions on Software Engineering 38 (2012).PDF icon Simula.approve.46.pdf (1.09 MB)
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)
2006
L. Briand, Y. Labiche and M. Shousha. "Using Genetic Algorithms for Early Schedulability Analysis and Stress Testing in Real-Time Systems." Journal of Genetic Programming and Evolvable Machines 7 (2006).PDF icon Simula.SE.19.pdf (452.02 KB)