| 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 | 74 | 2008 |
| 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 | 56 | 2008 |
| 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 | 41 | 2007 |
| 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 | 24 | 2008 |
| 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 | 19 | 2009 |
| 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 | 13 | 2008 |
| 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 | 12 | 2017 |
| 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 | 12 | 2012 |
| 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 | 11 | 2019 |
| Model-based attack tolerance G Ouffoué, F Zaidi, AR Cavalli, M Lallali 2017 31st International Conference on Advanced Information Networking and …, 2017 | 9 | 2017 |
| Modélisation et test fonctionnel de l'orchestration de services Web M Lallali Institut National des Télécommunications, 2009 | 9 | 2009 |
| 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 | 7 | 2017 |
| 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 | 7 | 2017 |
| 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 | 6 | 2017 |
| 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 | 4 | 2018 |
| Use of verification techniques for components testing F Zaidi, M Lallali LRI, http://www. lri. fr/Rapports-internes, Université Paris-Sud XI, Tech …, 2007 | 3 | 2007 |
| 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 | 2 | 2018 |
| 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 | 2 | 2010 |
| 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 | 1 | 2010 |
Ana CavalliProfesseur Telecom SudParis在 it-sudparis.eu 的电子邮件经过验证
