Mounir Lallali
Mounir Lallali
Maître de conférences, Université de Bretagne Occidentale (UBO, Brest, France)
E-mail confirmado em univ-brest.fr - Página inicial
Título
Citado por
Citado por
Ano
Automatic timed test case generation for web services composition
M Lallali, F Zaidi, A Cavalli, I Hwang
2008 Sixth European Conference on Web Services, 53-62, 2008
692008
Two complementary tools for the formal testing of distributed systems with time constraints
AR Cavalli, EM De Oca, W Mallouli, M Lallali
2008 12th IEEE/ACM International Symposium on Distributed Simulation and …, 2008
442008
Timed modeling of web services composition for automatic testing
M Lallali, F Zaidi, A Cavalli
2007 Third International IEEE Conference on Signal-Image Technologies and …, 2007
382007
Transforming bpel into intermediate format language for web services composition testing
M Lallali, F Zaidi, A Cavalli
2008 4th International Conference on Next Generation Web Services Practices …, 2008
202008
Modeling, validation, and verification of pcep using the if language
I Hwang, M Lallali, A Cavalli, D Verchere
Formal Techniques for Distributed Systems, 122-136, 2009
132009
Modeling and testing secure web-based systems: application to an industrial case study
W Mallouli, M Lallali, G Morales, AR Cavalli
2008 IEEE International Conference on Signal Image Technology and Internet …, 2008
112008
Applying formal methods to PCEP: an industrial case study from modeling to test generation
I Hwang, AR Cavalli, M Lallali, D Verchere
Software Testing, Verification and Reliability 22 (5), 343–361, 2012
92012
Modélisation et test fonctionnel de l'orchestration de services web
M Lallali
82009
Das: an efficient noc router for mixed-criticality real-time systems
M Dridi, S Rubini, M Lallali, MJS Flórez, F Singhoff, JP Diguet
2017 IEEE International Conference on Computer Design (ICCD), 229-232, 2017
52017
Model-based attack tolerance
G Ouffoué, F Zaidi, AR Cavalli, M Lallali
2017 31st International Conference on Advanced Information Networking and …, 2017
52017
Modeling and validation of a mixed-criticality NoC router using the IF language
M Dridi, M Lallali, S Rubini, F Singhoff, JP Diguet
Proceedings of the 10th International Workshop on Network on Chip …, 2017
42017
Detecting gaps and voids in WSNs and IoT networks: the minimum x-coordinate based method
A Bounceur, M Bezoui, L Lagadec, R Euler, A Laouid, M Traore, M Lallali
Proceedings of the 2nd International Conference on Future Networks and …, 2018
32018
A component based testing technique for a manet routing protocol
F Zaïdi, M Lallali, S Maag
ACS/IEEE International Conference on Computer Systems and Applications …, 2010
32010
How web services can be tolerant to intruders through diversification
G Ouffoué, F Zaidi, AR Cavalli, M Lallali
2017 IEEE International Conference on Web Services (ICWS), 436-443, 2017
22017
Modeling and testing secure web applications
M Wissam, M Lallali, A Mammar, M Gerardo, AR Cavalli
Book chapter in WEB-BASED INFORMATION TECHNOLOGIES AND DISTRIBUTED SYSTEMS …, 2010
2*2010
Use of verification techniques for components testing
F Zaidi, M Lallali
22007
Optimizing the cost of DBaaS object placement in hybrid storage systems
D Boukhelef, J Boukhobza, K Boukhalfa, H Ouarnoughi, L Lemarchand
Future Generation Computer Systems 93, 176-187, 2019
12019
Design and Multi-Abstraction-Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems
M Dridi, S Rubini, M Lallali, MJS Flórez, F Singhoff, JP Diguet
ACM Journal on Emerging Technologies in Computing Systems (JETC) 15 (1), 1-37, 2019
12019
An attack-tolerant framework for web services
GLA Ouffoué, F Zaïdi, AR Cavalli, M Lallali
2017 IEEE International Conference on Services Computing (SCC), 503-506, 2017
12017
A Framework for Modeling and Testing of Web Services Orchestration
L Bentakouk, F Bessayah, M Lallali, W Mallouli, A Sadovykh
12010
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20