Tarek Melliti

According to our database1, Tarek Melliti authored at least 24 papers between 2004 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Abductive Network Action Inference for Targeted Therapy Discovery.
Electr. Notes Theor. Comput. Sci., 2018

Optimal constructions for active diagnosis.
J. Comput. Syst. Sci., 2017

Asynchronous simulation of Boolean networks by monotone Boolean networks.
CoRR, 2016

Asynchronous Simulation of Boolean Networks by Monotone Boolean Networks.
Proceedings of the Cellular Automata, 2016

Cycles, double-cycles d'interactions et modes de mise à jour.
Technique et Science Informatiques, 2015

An autonomic approach to manage elasticity of business processes in the Cloud.
Future Generation Comp. Syst., 2015

Asynchronous Dynamics of Boolean Automata Double-Cycles.
Proceedings of the Unconventional Computation and Natural Computation, 2015

Full characterization of attractors for two intersected asynchronous Boolean automata cycles.
CoRR, 2013

Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Formal Modeling and Evaluation of Stateful Service-Based Business Process Elasticity in the Cloud.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

Optimal Constructions for Active Diagnosis.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

Time-Based Evaluation of Service-Based Business Process Elasticity in the Cloud.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

On the Convergence of Boolean Automata Networks without Negative Cycles.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2013

Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics.
Proceedings of the Computational Methods in Systems Biology, 2012

A Generic Framework for Service-Based Business Process Elasticity in the Cloud.
Proceedings of the Business Process Management - 10th International Conference, 2012

Analysis of modular organisation of interaction networks based on asymptotic dynamics
CoRR, 2011

An Integrated Framework for Web Services Orchestration.
Int. J. Web Service Res., 2009

A Decentralized Model-Based Diagnosis for BPEL Services.
Proceedings of the ICTAI 2009, 2009

Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services.
Proceedings of the WEBIST 2007, 2007

Verifying Correctness of Web Services Choreography.
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

Performance evaluation for mobile access to compositeWeb services.
Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

Web-MASI: Multi-Agent Systems Interoperability Using a Web Services Based Approach.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Modelling Web Services Interoperability.
Proceedings of the ICEIS 2004, 2004