Modelling Web Services Interoperability. - Serge Haddad; Tarek Melliti; Patrice Moreaux; Sylvain Rampacek (ICEIS (4), 2004)

Web-MASI: Multi-Agent Systems Interoperability Using a Web Services Based Approach. - Tarek Melliti; Serge Haddad; Alexandru Suna; Amal El Fallah Seghrouchni (IAT, 2005)

Performance evaluation for mobile access to compositeWeb services. - Céline Boutrous-Saab; Tarek Melliti; Lynda Mokdad (AICT/ICIW, 2006)

Verifying Correctness of Web Services Choreography. - Tarek Melliti; Céline Boutrous-Saab; Sylvain Rampacek (ECOWS, 2006)

Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services. - Yingmin Li; Tarek Melliti; Philippe Dague (WEBIST (1), 2007)

Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. - Tarek Melliti; Pascal Poizat; Sonia Ben Mokhtar (FASE, 2008)

A Decentralized Model-Based Diagnosis for BPEL Services. - Yingmin Li; Lina Ye; Philippe Dague; Tarek Melliti (ICTAI, 2009)

An Integrated Framework for Web Services Orchestration. - Céline Boutrous-Saab; D. Coulibaly; Serge Haddad; Tarek Melliti; Patrice Moreaux; Sylvain Rampacek (Int. J. Web Serv. Res., 2009)

A Generic Framework for Service-Based Business Process Elasticity in the Cloud. - Mourad Amziani; Tarek Melliti; Samir Tata (BPM, 2012)

Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics. - Franck Delaplace; Hanna Klaudel; Tarek Melliti; Sylvain Sené (CMSB, 2012)

On the Convergence of Boolean Automata Networks without Negative Cycles. - Tarek Melliti; Damien Regnault; Adrien Richard; Sylvain Sené (Automata, 2013)

Time-Based Evaluation of Service-Based Business Process Elasticity in the Cloud. - Mourad Amziani; Kais Klai; Tarek Melliti; Samir Tata (CloudCom (1), 2013)

Formal Modeling and Evaluation of Stateful Service-Based Business Process Elasticity in the Cloud. - Mourad Amziani; Tarek Melliti; Samir Tata (OTM Conferences, 2013)

Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud. - Mourad Amziani; Tarek Melliti; Samir Tata (WETICE, 2013)

Full characterization of attractors for two intersected asynchronous Boolean automata cycles. - Tarek Melliti; Mathilde Noual; Damien Regnault; Sylvain Sené; Jérémy Sobieraj (CoRR, 2013)

Asynchronous Dynamics of Boolean Automata Double-Cycles. - Tarek Melliti; Mathilde Noual; Damien Regnault; Sylvain Sené; Jérémy Sobieraj (UCNC, 2015)

An autonomic approach to manage elasticity of business processes in the Cloud. - Mohamed Mohamed 001; Mourad Amziani; Djamel Belaïd; Samir Tata; Tarek Melliti (Future Gener. Comput. Syst., 2015)

Cycles, double-cycles d'interactions et modes de mise à jour. - Tarek Melliti; Mathilde Noual; Damien Regnault; Sylvain Sené (Tech. Sci. Informatiques, 2015)

Asynchronous Simulation of Boolean Networks by Monotone Boolean Networks. - Tarek Melliti; Damien Regnault; Adrien Richard; Sylvain Sené (ACRI, 2016)

Optimal constructions for active diagnosis. - Stefan Haar; Serge Haddad; Tarek Melliti; Stefan Schwoon (J. Comput. Syst. Sci., 2017)

Abductive Network Action Inference for Targeted Therapy Discovery. - Célia Biane; Franck Delaplace; Tarek Melliti (SASB, 2018)

On Boolean Automata Isolated Cycles and Tangential Double-Cycles Dynamics. - Jacques Demongeot; Tarek Melliti; Mathilde Noual; Damien Regnault; Sylvain Sené (Automata and Complexity, 2022)