Sections

Skip to content. | Skip to navigation

You are here: Home → Research → Software Engineering → Publications → A UML/MARTE Model Analysis Methodology for Detection of Starvation and Deadlocks in Concurrent Systems

Software Engineering

M. Shousha, L. Briand, and Y. Labiche (2009)

A UML/MARTE Model Analysis Methodology for Detection of Starvation and Deadlocks in Concurrent Systems

Submitted to IEEE Transactions on Software Engineering

Document Actions
News & Events
Event Estimation Seminar for the Norwegian IT Industry
Event ICSP 2009 - International Conference on Software Process (co-located with ICSE 2009), Vancouver, Canada, May 16-17
Event ICSP 2008 - International Conference on Software Process (co-located with ICSE 2008), Leipzig, Germany, May 10-11
Event First IEEE International Conference on Software Testing, Verification, and Validation, Lillehammer April 9-11
Event Seminar i kostnadsestimering
News Item Estimation seminar presentations are now available
News Item Magne Jørgensen 3rd in the world in a rating of Software Engineering researchers
News Item 100 software developers attended estimation seminar
More…
 
Personal tools