DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems
Dridi, Mourad, Rubini, Stephane, Lallali, Mounir, Florez, Martha Johanna Sepulveda, Singhoff, Frank, Diguet, Jean-Philippe
Published in 2017 IEEE International Conference on Computer Design (ICCD) (01.11.2017)
Published in 2017 IEEE International Conference on Computer Design (ICCD) (01.11.2017)
Get full text
Conference Proceeding
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
Cavalli, Ana Rosa, De Oca, Edgardo Montes, Mallouli, Wissam, Lallali, Mounir
Published in 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (01.10.2008)
Published in 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (01.10.2008)
Get full text
Conference Proceeding
How Web Services Can Be Tolerant to Intruders through Diversification
Ouffoue, Georges, Zaidi, Fatiha, Cavalli, Ana R., Lallali, Mounir
Published in 2017 IEEE International Conference on Web Services (ICWS) (01.06.2017)
Published in 2017 IEEE International Conference on Web Services (ICWS) (01.06.2017)
Get full text
Conference Proceeding
Model-Based Attack Tolerance
Ouffoue, Georges, Zaidi, Fatiha, Cavalli, Ana R., Lallali, Mounir
Published in 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA) (01.03.2017)
Published in 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA) (01.03.2017)
Get full text
Conference Proceeding
An Attack-Tolerant Framework for Web Services
Ouffoue, Georges L. A., Zaidi, Fatiha, Cavalli, Ana R., Lallali, Mounir
Published in 2017 IEEE International Conference on Services Computing (SCC) (01.06.2017)
Published in 2017 IEEE International Conference on Services Computing (SCC) (01.06.2017)
Get full text
Conference Proceeding
A component based testing technique for a MANET routing protocol
Zaidi, Fatiha, Lallali, Mounir, Maag, Stephane
Published in ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 (01.05.2010)
Published in ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 (01.05.2010)
Get full text
Conference Proceeding
Automatic Timed Test Case Generation for Web Services Composition
Lallali, M., Zaidi, F., Cavalli, A., Iksoon Hwang
Published in 2008 Sixth European Conference on Web Services (01.11.2008)
Published in 2008 Sixth European Conference on Web Services (01.11.2008)
Get full text
Conference Proceeding
Timed Modeling of Web Services Composition for Automatic Testing
Lallali, M., Zaidi, F., Cavalli, A.
Published in 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System (01.12.2007)
Published in 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System (01.12.2007)
Get full text
Conference Proceeding
Transforming BPEL into Intermediate Format Language for Web Services Composition Testing
Lallali, M., Zaidi, F., Cavalli, A.
Published in 2008 4th International Conference on Next Generation Web Services Practices (01.10.2008)
Published in 2008 4th International Conference on Next Generation Web Services Practices (01.10.2008)
Get full text
Conference Proceeding