Follow
Mounir Lallali
Mounir Lallali
Maître de conférences, Université de Bretagne Occidentale (UBO, Brest, France)
Verified email at univ-brest.fr - Homepage
Title
Cited by
Cited by
Year
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
422007
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
242008
Modeling, validation, and verification of pcep using the if language
I Hwang, M Lallali, A Cavalli, D Verchere
International Conference on Formal Methods for Open Object-Based Distributed …, 2009
192009
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
132008
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
122017
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
112019
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
112012
Model-based attack tolerance
G Ouffoué, F Zaidi, AR Cavalli, M Lallali
2017 31st International Conference on Advanced Information Networking and …, 2017
92017
Modélisation et test fonctionnel de l'orchestration de services Web
M Lallali
Institut National des Télécommunications, 2009
92009
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
82018
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
72017
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
72017
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
62017
Use of verification techniques for components testing
F Zaidi, M Lallali
LRI, http://www. lri. fr/Rapports-internes, Université Paris-Sud XI, Tech …, 2007
32007
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
22018
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
A Framework for Modeling and Testing of Web Services Orchestration
L Bentakouk, F Bessayah, M Lallali, W Mallouli, A Sadovykh
12010
The system can't perform the operation now. Try again later.
Articles 1–20