Mounir Lallali
Mounir Lallali
Maître de conférences, Université de Bretagne Occidentale (UBO, Brest, France)
Bestätigte E-Mail-Adresse bei univ-brest.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
752008
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
562008
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
412007
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
232008
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
182009
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
122008
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
102012
Model-based attack tolerance
G Ouffoué, F Zaidi, AR Cavalli, M Lallali
2017 31st International Conference on Advanced Information Networking and …, 2017
82017
Modélisation et test fonctionnel de l'orchestration de services web
M Lallali
Institut National des Télécommunications, 2009
82009
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
62019
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
62018
Das: an efficient noc router for mixed-criticality real-time systems
M Dridi, S Rubini, M Lallali, MJS Florez, F Singhoff, JP Diguet
2017 IEEE International Conference on Computer Design (ICCD), 229-232, 2017
62017
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
52017
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
42017
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
32017
Use of verification techniques for components testing
F Zaidi, M Lallali
32007
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
22010
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
NORTH-Non-intrusive Observation and RunTime verification of cyber-pHysical systems
J Rufino, A Casimiro, A Lopes, F Singhoff, S Rubini, VA Nicolas, M Lallali, ...
Ada User Journal 39 (4), 2018
12018
A Framework for Modeling and Testing of Web Services Orchestration
L Bentakouk, F Bessayah, M Lallali, W Mallouli, A Sadovykh
12010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20