Mounir Lallali

Mounir Lallali

Université de Brest - Brest / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4520239
University of Western Brittany
person_outline Mounir Lallali's MOST POPULAR ARTICLES
1-) Automatic timed test case generation for web services compositionM Lallali, F Zaidi, A Cavalli, I Hwang2008 Sixth European Conference on Web Services, 53-62, 2008762008
2-) Two complementary tools for the formal testing of distributed systems with time constraintsAR Cavalli, EM De Oca, W Mallouli, M Lallali2008 12th IEEE/ACM International Symposium on Distributed Simulation and …, 2008562008
3-) Timed modeling of web services composition for automatic testingM Lallali, F Zaidi, A Cavalli2007 Third International IEEE Conference on Signal-Image Technologies and …, 2007412007
4-) Transforming bpel into intermediate format language for web services composition testingM Lallali, F Zaidi, A Cavalli2008 4th International Conference on Next Generation Web Services Practices …, 2008242008
5-) Modeling, validation, and verification of pcep using the if languageI Hwang, M Lallali, A Cavalli, D VerchereInternational Conference on Formal Methods for Open Object-Based Distributed …, 2009192009