Export 4 results:
Filters: Author is Marwa Shousha [Clear All Filters]
UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems." IEEE Transactions on Software Engineering 38 (2012)."
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.
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.
Using Genetic Algorithms for Early Schedulability Analysis and Stress Testing in Real-Time Systems." Journal of Genetic Programming and Evolvable Machines 7 (2006)."