Les publications de S. HADDAD.
Cooperative Applications and Multi-Agent Systems
"Hierarchical Agreement in Wide Group Context"
S. HADDAD, F. NGUILLA 12th International Conference on Parallel
and Distributed Computing Systems Radisson Bahia Mar Beach Resort, Fort Lauderdale,Florida USA August 1999
"A consensus protocol using Different Failure Detectors in Large-Scale Networks"
S. HADDAD, F. NGUILLA 14th ISCA-CATA Cancun, Mexique April 1999
"A Formal Study of Interactions in Multi-agent Systems"
A. EL FALLAH SEGHROUCHNI,S. HADDAD, H.MAZOUZI 14th ISCA-CATA Cancun, Mexique April 1999
"Etude des interactions basée sur l'observation répartie dans un sytème multi-agents"
A. EL FALLAH SEGHROUCHNI,S. HADDAD, H. MAZOUZI Journées Francophones IAD et SMA. Eds Hermes. Nancy. Novembre 1998
"A consensus protocol for wide area networks"
A. EL FALLAH SEGHROUCHNI, S. HADDAD, F. NGUILLA
Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'98). Budapest, Hongrie, September 1998
"Coordination d'agents rationnels par planification distribuée"
S.BOUSSETTA, A. EL FALLAH-SEGHROUCHNI, S.
HADDAD , P. MORAITIS, M. TAGHELIT Revue d'Intelligence Artificielle. Volume 12 n°1. Janvier 1998
"A Structural Approach to Design Reliable Distributed Applications"
M. TAGHELIT , S. HADDAD , P. SENS
Second European Research Seminar on Advances in Distributed Systems. Zinal. Suisse. Mars 1997.
"A Recursive Model for Distributed Planning"
A. EL FALLAH SEGHROUCHNI, S. HADDAD Second International Conference on Multi-Agent Systems. Décembre 1996. Kyoto, Japon
"A Coordination Algorithm for Multi-Agent Planning"
A. EL FALLAH SEGHROUCHNI, S. HADDAD Modelling Autonomous Agents in a Multi-Agent Word Janvier 1996. Eindhoven, The Netherlands. Lecture Notes in Artificial Intelligence 1038.
"A Formal Model for Coordinating Plans in Multiagents Systems"
A. EL FALLAH SEGHROUCHNI, S. HADDAD
Proceedings of Intelligent Agents Workshop. Augusta Technology Ltd, Brooks University. Oxford United Kingdom. November 1995.
"Représentation et manipulation de plans à l'aide de réseaux de Petri"
A. EL FALLAH-SEGHROUCHNI, S. HADDAD Deuxièmes Journées Francophones Intelligence Artificielle Distribuée et Systèmes Multi-Agents. Voiron. Mai 1994.
"An Algorithm Providing Fault-tolerance for Layered Distributed Systems"
M. TAGHELIT, S. HADDAD, P.SENS IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems Corfou, Grèce. Juin 1991
Verification of Parallel Systems
"Theoretical Aspects of Recursive Petri Nets"
S. HADDAD , D. POITRENAUD 20th International Conference on Application and Theory of Petri Nets. Williamsburg. June 1999.
"Exploiting Symmetry in Linear Time Temporal Logic Model Checking : One Step Beyond"
K. AJAMI, S. HADDAD, J-M. ILIE First International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lisbonne. Portugal. March 1998
"A Symbolic Reachability Graph for Coloured Petri Nets"
G. CHIOLA, C. DUTHEILLET, G. FRANCESCHINIS, S. HADDAD Theoretical Computer Science 176(1-2) : 39-65 (1997)
"Contribution des réseaux de Petri de haut niveau pour l'étude des protocoles"
S. HADDAD, J.M. ILIE, M. TAGHELIT, C. DUTHEILLET, P. MOREAUX Technique et Science Informatiques. Numéro thématique "Méthodes Formelles : Validation de Systèmes Complexes", Volume 16, N° 6, Juin 1997
"Etude Critique de la Modélisation et de l'Evaluation de Protocoles dans un Environnement Estelle"
S. HADDAD, M. TAGHELIT, B. ZOUARI Revue Electronique sur les Réseaux et l'Informatique Répartie N° 4. Juillet 1996
"Symbolic Reachability Graph and Partial Symmetries"
S. HADDAD , J.M ILIE , M. TAGHELIT , B. ZOUARI
Sixteenth International Conference on Application and Theory of Petri Nets. Turin, Italy. June 1995. Lecture Note in Computer Science 935, p. 238-251.
"Une approche générique des systèmes parallèles"
S. HADDAD, M. TAGHELIT, B. ZOUARI Septièmes Journées Internationales des sciences de l'informatique. Informatique répartie Etat de l'art et perspectives. Tunis. Mai 1994.
"Conflict Sets in Coloured Petri nets"
C. DUTHEILLET, S. HADDAD Third International Workshop on Petri Nets and Performance Models, IEEE-CS Press, Toulouse, Octobre 1993. Actes du congrès p. 76-87
"Synthesis of Impartial Deadlock-free Programs for Concurrent Systems"
J. EZPELETA, S. HADDAD International Conference on Decentralized and Distributed Systems Septembre 1993.Actes du congrès p. 15-26
"A Protocol Specification Language with a High-level Petri Net Semantics"
B. ZOUARI, M. TAGHELIT, S. HADDAD International Conference on Decentralized and Distributed Systems Septembre 1993.Actes du congrès p. 105-122
"An Efficient algorithm for finding Structural Deadlocks in Colored Petri Nets"
K. BARKAOUI, C. DUTHEILLET, S. HADDAD Fourteenth International Conference on application and theory of Petri nets. Chicago, Etats-Unis, Juin 1993.
"Généricité et Parallélisme"
S. HADDAD Congrès biennal de l'AFCET, Paris. Juin 1993.
"Assessment of Estelle and EDT through Real Case Studies"
S. HADDAD, M. TAGHELIT, B. ZOUARI 13th IFIP symposium on Protocol Specification, Testing and Verification. Liege. Belgique. Mai 1993.
"Evaluation paramétrée de formules de logique temporelle"
I. VERNIER, S. HADDAD Cinquièmes rencontres sur le Parallélisme. Brest. France. Mai 1993.
"An Efficient Computation of Structural Relations in Unary Regular Nets"
C. DUTHEILLET, S. HADDAD Seventh International Symposium on Computer and Information Sciences (ISCIS VII), Antalya, Turquie, p. 73-79 Novembre 1992
"A Reduced State Graph for Symmetrical Protocols"
S. HADDAD, J-M. ILIE, B. ZOUARI Rapport IBP/MASI n° 92.57, Septembre 1992
"Evaluation of algorithms using ESTELLE"
S. HADDAD, M. TAGHELIT, B. ZOUARI Rapport IBP/MASI n° 92.37, Juin 1992
"SANDRINE : an analysis for the declaration of AMI-Nets"
X. BONNAIRE, C. DUTHEILLET, S. HADDAD Rapport IBP/MASI n° 92.20, Juin 1992
"Structural analysis of coloured nets. Application to the detection of confusion"
C. DUTHEILLET, S. HADDAD Rapport IBP/MASI n° 92.16, Mars 1992
"Résolution paramétrée de familles de systèmes linéaires"
J-M. COUVREUR, S. HADDAD, J-F. PEYRE RAIRO recherche opérationnelle vol. 26 n° 2 , 1992 p 183-206
"On Well-Formed Coloured Nets and their Symbolic Reachability Graph"
G. CHIOLA, C. DUTHEILLET, G. FRANCESCHINIS, S. HADDAD High-Level Petri Nets. Theory and Application. K. Jensen & G. Rozenberg eds, Springer-Verlag 1991 p. 373-396
" Computation of Generative Families of Positive Semi-Flows in Two Types of Coloured Nets"
J.M COUVREUR, S. HADDAD, J-F. PEYRE Twelth International Conference on Application and Theory of Petri Nets. Aarhus, Danemark , Juin 1991. Actes du congrés p. 122-144
"Résolution paramétrée d'une famille de systèmes d'équations linéaires à solutions positives"
J-M. COUVREUR, S. HADDAD, J-F. PEYRE Rapport de recherche IBP MASI 90.38. Septembre 1990
"Méthodes d'analyse dans les réseaux colorés"
S. HADDAD Journées d'Etude du Firtech Systèmes et Télématique, CNET, Issy les Moulineaux, Janvier 1990, Actes des Journées p 309-319
"A Reduction Theory for Coloured Nets"
S. HADDAD Advances in Petri Nets 1989. Lecture notes in computer science n° 424 Springer-Verlag p. 209-235 (Version préliminaire)
"Validation of Parallel Systems with Coloured Petri Nets"
S. HADDAD, J-M. COUVREUR Parallel Processing IFIP . edited by M. Cosnard, M.H. Barton and M. Vanneschi. North Holland 1988 p. 377-390
"Towards a General and Powerful Computation of Flows for Parametrized Coloured Nets"
S. HADDAD, J-M. COUVREUR Ninth European Workshop on Application and Theory of Petri Nets. Venise, Italie , Juin 1988. Actes du congrès vol. II
"AMI an Extensible Petri Nets Interactive Workshop"
J-M. BERNARD, J-L. MOUNIER, N.BELDICEANU, S.HADDAD Ninth European Workshop on Application and Theory of Petri Nets. Venise, Italie , Juin 1988. Actes du congrès vol. II
"Generalization of Reduction Theory to Coloured Nets"
S. HADDAD Ninth European Workshop on Application and Theory of Petri Nets. Venise, Italie , Juin 1988. Actes du congrés vol. II
"Algebraic Structure of Flows of a Regular Coloured Net"
S. HADDAD, C. GIRAULT Advances in Petri nets 1987. Lectures Notes in Computer Science n° 266 Springer-Verlag p. 73-88 (Version préliminaire)
"Specification and Properties of a Cache Coherence Protocol Model"
C. CHATELAIN, C. GIRAULT, S. HADDAD Advances in Petri Nets 1987. Lectures Notes in Computer Science n° 266 Springer-Verlag p. 1-20
"Une catégorie régulière de réseau de Petri de haut niveau : définition, propriétés et réductions. Application à la validation de systèmes distribués"
S. HADDAD Thèse de l'Université de PARIS 6. Juin 1987. Rapport MASI n° 197
"Un calcul d'une base de flots pour les réseaux colorés"
S. HADDAD Deuxième colloque C.N.R.S. C3. Angoulême, Mai 1987. Actes du congrès p. 205-224 (Version préliminaire)
"Les réseaux réguliers : spécification et validation par le logiciel ARP"
S. HADDAD , J-M. BERNARD Troisième colloque de génie logiciel AFCET. Versailles. Mai 1986. Actes du congrès p. 83-93
Performance Evaluation of Parallel Systems
"Bounds for rewards of systems with client/server interaction"
S. DONATELLI, S. HADDAD, P. MOREAUX, M. SENE 3rd International Meeting on the Numerical Solution of Markov Chain. Zaragoza, Spain September 1999
"Structured Characterization of the Markov Chain of Phase-Type Stochastic Petri Nets"
S. DONATELLI, S.HADDAD, P. MOREAUX Tenth International Conference for Computer Performance Evaluation TOOLS 98. Palma de Majorque, Espagne. September 1998.
"Distributions de Cox et Phase-type dans les réseaux de Petri stochastiques : une méthode efficace de résolution"
S. HADDAD, P. MOREAUX , G. CHIOLA RAIRO -Recherche Opérationnelle vol.32 n°3, 1998
"Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets"
S. HADDAD, P. MOREAUX , G. CHIOLA Eighteenth International Conference on Application and Theory of Petri Nets. Toulouse, France. June 1997.
"Aggregation and Decomposition for Performance Evaluation of Asynchronous Products of High Level Petri Nets"
S. HADDAD, P. MOREAUX Document du Lamsade n° 102. Mai 1997
"Aggregation and Decomposition for Performance Evaluation of Synchronous Products of High Level Petri Nets"
S. HADDAD, P. MOREAUX Document du Lamsade n° 96. Septembre 1996
"Asynchronous Composition of High-level Petri nets : a quantitative approach"
S. HADDAD, P. MOREAUX
Seventeenth International Conference on Application and Theory of Petri nets. Osaka, Japon. June 1996. Lecture Note in Computer Science 1091, p. 192-211
"Evaluation of High-level Petri nets by means of aggregation and decomposition"
S. HADDAD, P. MOREAUX
Sixth International Workshop on Petri Nets and Performance Models. Durham, NC, USA. October 1995. IEEE Computer Society Press , p. 11-20
"Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications"
G. CHIOLA, C.DUTHEILLET, G. FRANCESCHINIS, S. HADDAD IEEE Transactions on Computers, November 1993, Volume 42, Number 11, p. 1343-1360
"Regular Stochastic Petri Nets"
C. DUTHEILLET, S. HADDAD Advances in Petri Nets 1990. Lecture Notes in Computer Science n° 483 Springer-Verlag p. 186-210
"Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture"
C.DUTHEILLET, S. HADDAD Third International Workshop on Petri Nets and Performance Models, IEEE-CS Press, Kyoto, Japon, Decembre 1989. Actes du congrès p. 40-49 (Version préliminaire)