S. Haar, S. Haddad, T. Melliti, and S. Schwoon. Optimal constructions for active diagnosis . Journal of Computer and System Sciences, 83(1):101--120, 2017.

Célia Biane, Franck Delaplace, and Tarek MellitiAbductive Network Action Inference for Targeted Therapy in 7th Workshop on Static Analysis and Systems Biology (SASB) 2016

T. Melliti, D. Rgnault, A. Richard & S. Sené Asynchronous simulation of Boolean networks by monotone Boolean networks in Workshop on Asynchronous Cellular Automata and Asynchronous Discrete Models (ACA) 2016

T. Melliti, M. Noual, D. Regnault, S. Sené and J. Sobieraj Full characterisation of attractors for two intersected asynchronous Boolean automata cycles (to appear) in 14th int Conference on Unconventional Computation and Natural Computation 2015

M. Mohamed, M. Amziani, D. Belaïd, S. Tata, T. Melliti An autonomic approach to manage elasticity of business processes in the cloud Future Generation Computer Systems, 2015

Mohamed Mohamed, Mourad Amziani, Djamel Belaïd, Samir Tata and Tarek Mellit An autonomic approach to manage elasticity of business processes in the Cloud In the journal of Future Generation Computer Systems, October 2014, ISSN 0167-739X.

Stefan Haar, Serge Haddad, Tarek Melliti and Stefan Schwoon Optimal Constructions for Active Diagnosis. In Foundations of Software Technology and Theoretical Computer Science 2013 (FTTCS'13), IIT Guwahati, India, December 2013.

Mourad Amziani, Kais Klai, Tarek Melliti and Samir Tata Time-based Evaluation of Service-based Business Process Elasticity in the Cloud. In the 5th IEEE International Conference on Cloud Computing Technology and Science (CloudCom'13), Bristol, United Kingdom, December 2013.

Mourad Amziani, Tarek Melliti and Samir Tata Formal Modeling and Evaluation of Stateful Service-based Business Process Elasticity in the Cloud. In the 21st International Conference on Cooperative Information Systems (CoopIS'13), Graz, Austria, September 2013.

Tarek Melliti, Damien Regnault, Adrien Richard and Sylvain Sené On the convergence of Boolean automata networks without negative cycles. In International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA'13), Gießen, Germany September 2013.

Mourad Amziani, Tarek Melliti and Samir Tata Formal Modeling and Evaluation of Service-based Business Process Elasticity in the Cloud. In In the 22nd International Conference on Collaboration Technologies and Infrastructure (WETICE 2013), Hammamet, Tunisia, June 2013.

Franck Delaplace, Hanna Klaudel, Tarek Melliti and Sylvain Sené Analysis of modular organisation of interaction networks based on asymptotic dynamics. In The 110th International Conference on Computational Methods in Systems Biology (CMSB 2012).

Mourad Amziani, Tarek Melliti and Samir Tata A Generic Framework for Service-based Business Process Elasticity in the Cloud (short paper). In International Conference on Business Process Management (BPM 2012).

Tarek Melliti and Philippe Dague. Generalizing diagnosability definition and checking for open systems: a Game structure approach. In the 21st international workshop on the principles of diagnosis DX'10.

Céline Boutrous-Saab, Demba Coulibaly, Serge Haddad, Tarek Melliti, Patrice Moreaux, and Sylvain Rampacek. An Integrated Framework for Web Services Orchestration. In International Journal of Web Services Research, 6(4), 1-29, 2009.

Yingmin Li, Lina Ye, Tarek Melliti, Philippe Dague.
A Decentralized Model-Based Diagnosis for BPEL services. In 21st International Conference on Tools with Artificial Intelligence (ICTAI'09), November 2-4, 2009, New Jersey, USA. Page 609-616.

Yingmin Li, Tarek Melliti, Philippe Dague.
A Colored Petri Nets Model for Diagnosing Semantic Faults of BPEL Services. In International Workshop on Principles of Diagnosis (DX'09), Juin 2009, Stockholm, 267-274 Also published in The International Workshop on Petri Nets and Software Engineering (PNSE’09), Paris, juin 2009, 227-246.

Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar.
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. In FASE 2008 : pages 146-162.

Yingmin Li, Tarek Melliti, Philippe Dague.
Modeling BPEL Web services for diagnosis: towards self-healing Web services. In Proceedings of the 3rd International Conference on Web Information Systems and Technologies (WEBIST'07), Barcelona, Spain, March 2007, p. 297-304

Céline Boutrous-Saab, Tarek Melliti, Lynda Mokdad.
Performance Evaluation for Mobile Access to Composite Web Services. In Proceedings of International Conference on Internet and Web Applications and Services(ICIW'06), Guadeloupe, French Caribbean, Feb. 23--25, 2004. IEEE. Computer Society.

Tarek Melliti, Céline Boutrous-Saab, Sylvain Rampacek.
Verifying Correctness of Web Services Choreography In Proceedings of The 4th IEEE European Conference on Web Services (ECOWS 06), Zurich, Switzerland, 4-6 Dec. 2006, IEEE. Computer Society. Pages 306-318

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

Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek.
A dense time semantics for Web services specifications languages, In Proceedings of the 1st Int. Conf. on Information & Communication Technologies: from Theory to Applications (ICTTA'04), Damas, Syrie, Apr. 19--23, 2004. IEEE.

Serge Haddad, Tarek Melliti, Patrice Moreaux and Sylvain Rampacek.
Modelling WEB services interoperability. In Proceeedings of the 6th Int. Conf. on Enterprise Information Systems (ICEIS04), Porto, Portugal, Apr. 14-17, 2004. ACM & AAAI.

Tarek Melliti, Serge Haddad.
Synthesis of Agents for Web Services Interaction. In International Conference Electronic Commerce, Workshop on Semantic Web Services for Enterprise Application Integration and E-Commerce, Pittsburgh, USA, Sept. 2003.

Amal El Fallah-Seghrouchni, Serge Haddad, Tarek Melliti, Alexandru Suna.
Interopérabilité des systèmes multi-agents à l'aide des services web. In JFSMA'04, pages 91-104. Hermès, 2004.