Serge Haddad

According to our database, Serge Haddad authored at least 140 papers between 1986 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Beyond Decisiveness of Infinite Markov Chains.

Benoît Barbot, Patricia Bouyer, Serge Haddad

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

On the Expressive Power of Transfinite Sequences for Continuous Petri Nets.

Stefan Haar, Serge Haddad

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023

Analysis of recurrent neural networks via property-directed verification of surrogate models.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Int. J. Softw. Tools Technol. Transf., June, 2023

Analyzing Robustness of Angluin's L^* Algorithm in Presence of Noise.

Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy

CoRR, 2023

Introducing Divergence for Infinite Probabilistic Models.

Alain Finkel, Serge Haddad, Lina Ye

Proceedings of the Reachability Problems - 17th International Conference, 2023

About Decisiveness of Dynamic Probabilistic Models.

Alain Finkel, Serge Haddad, Lina Ye

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Corrigendum to "Revisiting reachability in polynomial interrupt timed automata" [Information Processing Letters 174 (2022) 106208].

Béatrice Bérard, Serge Haddad

Inf. Process. Lett., 2022

Revisiting reachability in Polynomial Interrupt Timed Automata.

Béatrice Bérard, Serge Haddad

Inf. Process. Lett., 2022

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise.

Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy

Proceedings of the 13th International Symposium on Games, 2022

2021

Polynomial interrupt timed automata: Verification and expressiveness.

Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas

Inf. Comput., 2021

Coverability, Termination, and Finiteness in Recursive Petri Nets.

Alain Finkel, Serge Haddad, Igor Khmelnitsky

Fundam. Informaticae, 2021

Commodification of accelerations for the Karp and Miller Construction.

Alain Finkel, Serge Haddad, Igor Khmelnitsky

Discret. Event Dyn. Syst., 2021

Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.

Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye

Proceedings of the 15th International Conference on Grammatical Inference, 2021

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Proceedings of the Automated Technology for Verification and Analysis, 2021

A Turn-Based Approach for Qualitative Time Concurrent Games.

Serge Haddad, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Diagnosis and Degradation Control for Probabilistic Systems.

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

Discret. Event Dyn. Syst., 2020

Property-Directed Verification of Recurrent Neural Networks.

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

CoRR, 2020

Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models.

Susanna Donatelli, Serge Haddad

Proceedings of the Language and Automata Theory and Applications, 2020

Active Prediction for Discrete Event Systems.

Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Minimal Coverability Tree Construction Made Complete and Efficient.

Alain Finkel, Serge Haddad, Igor Khmelnitsky

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata.

Susanna Donatelli, Serge Haddad

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

Dynamic Recursive Petri Nets.

Serge Haddad, Igor Khmelnitsky

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

A tale of two diagnoses in probabilistic systems.

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

Inf. Comput., 2019

Coverability and Termination in Recursive Petri Nets.

Alain Finkel, Serge Haddad, Igor Khmelnitsky

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

Interval iteration algorithm for MDPs and IMDPs.

Serge Haddad, Benjamin Monmege

Theor. Comput. Sci., 2018

Memoryless determinacy of finite parity games: Another simple proof.

Serge Haddad

Inf. Process. Lett., 2018

Integrating Simulink Models into the Model Checker Cosmos.

Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

The Logical View on Continuous Petri Nets.

Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad

ACM Trans. Comput. Log., 2017

Optimal constructions for active diagnosis.

Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon

J. Comput. Syst. Sci., 2017

Trading Optimality for Performance in Location Privacy.

Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Probabilistic Disclosure: Maximisation vs. Minimisation.

Béatrice Bérard, Serge Haddad, Engel Lefaucheux

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Unbounded Product-Form Petri Nets.

Patricia Bouyer, Serge Haddad, Vincent Jugé

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Interrupt Timed Automata with Auxiliary Clocks and Parameters.

Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime

Fundam. Informaticae, 2016

Exact and Approximate Diagnosis of Probabilistic Systems.

Serge Haddad

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Approaching the Coverability Problem Continuously.

Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Accurate Approximate Diagnosability of Stochastic Systems.

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

Proceedings of the Language and Automata Theory and Applications, 2016

Diagnosis in Infinite-State Probabilistic Systems.

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

HASL: A new approach for performance evaluation and model checking from concepts to experimentation.

Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin

Perform. Evaluation, 2015

Complexity Analysis of Continuous Petri Nets.

Estíbaliz Fraca, Serge Haddad

Fundam. Informaticae, 2015

State Space Reduction Strategie for Model Checking Concurrent C Programs.

Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

Polynomial Interrupt Timed Automata.

Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas

Proceedings of the Reachability Problems - 9th International Workshop, 2015

Active diagnosis with observable quiescence.

Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Preface.

Serge Haddad, Jetty Kleijn, Lucia Pomello

Fundam. Informaticae, 2014

Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis.

Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad

Comput. J., 2014

Reachability in MDPs: Refining Convergence of Value Iteration.

Serge Haddad, Benjamin Monmege

Proceedings of the Reachability Problems - 8th International Workshop, 2014

Specifying and Verifying Concurrent C Programs with TLA+.

Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Foundation of Diagnosis and Predictability in Probabilistic Systems.

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Active Diagnosis for Probabilistic Systems.

Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

The expressive power of time Petri nets.

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

Theor. Comput. Sci., 2013

Bounding models families for performance evaluation in composite Web services.

Serge Haddad, Lynda Mokdad, Samir Youcef

J. Comput. Sci., 2013

Ordinal theory for expressiveness of well-structured transition systems.

Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo

Inf. Comput., 2013

Synthesis and Analysis of Product-form Petri Nets.

Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen

Fundam. Informaticae, 2013

Specification of Asynchronous Component Systems with Modal I/O-Petri Nets.

Serge Haddad, Rolf Hennicker, Mikael H. Møller

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Parametric Interrupt Timed Automata.

Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime

Proceedings of the Reachability Problems - 7th International Workshop, 2013

The Steady-State Control Problem for Markov Decision Processes.

S. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Channel Properties of Asynchronously Composed Petri Nets.

Serge Haddad, Rolf Hennicker, Mikael H. Møller

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Quantitative Verification of Markov Chains.

Susanna Donatelli, Serge Haddad

Proceedings of the Communicating Embedded Systems, 2013

2012

Refinement and Asynchronous Composition of Modal Petri Nets.

Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker

Trans. Petri Nets Other Model. Concurr., 2012

Interrupt Timed Automata: verification and expressiveness.

Béatrice Bérard, Serge Haddad, Mathieu Sassolas

Formal Methods Syst. Des., 2012

Coupling and Importance Sampling for Statistical Model Checking.

Benoît Barbot, Serge Haddad, Claudine Picaronny

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets.

Serge Haddad, Sylvain Schmitz, Philippe Schnoebelen

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Concurrent Games on VASS with Inhibition.

Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Lumping partially symmetrical stochastic models.

Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad

Perform. Evaluation, 2011

HASL: an expressive language for statistical verification of stochastic models.

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic.

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Petri nets compositional modeling and verification of Flexible Manufacturing Systems.

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Continuous Petri Nets: Expressive Power and Decidability Issues.

Laura Recalde, Serge Haddad, Manuel Silva Suárez

Int. J. Found. Comput. Sci., 2010

Real Time Properties for Interrupt Timed Automata.

Béatrice Bérard, Serge Haddad, Mathieu Sassolas

Proceedings of the TIME 2010, 2010

Response time of BPEL4WS constructors.

Serge Haddad, Lynda Mokdad, Samir Youcef

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

Selection of the Best composite Web Service Based on Quality of Service.

Serge Haddad, Lynda Mokdad, Samir Youcef

Proceedings of the INFORMATIK 2010 - Business Process and Service Science - Proceedings of ISSS and BPSC, September 27, 2010

Process Refinement and Asynchronous Composition with Modalities.

Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

Model Checking Timed and Stochastic Properties with CSL^{TA}.

Susanna Donatelli, Serge Haddad, Jeremy Sproston

IEEE Trans. Software Eng., 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

Undecidability Results for Timed Automata with Silent Transitions.

Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier

Fundam. Informaticae, 2009

Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains.

Serge Haddad, Nihal Pekergin

Proceedings of the QEST 2009, 2009

Agents Secure Interaction in Data driven Languages.

Mahdi Zargayouna, Flavien Balbo, Serge Haddad

Proceedings of the Second Multi-Agent Logics, 2009

Data Driven Language for Agents Secure Interaction.

Mahdi Zargayouna, Flavien Balbo, Serge Haddad

Proceedings of the Languages, 2009

Interrupt Timed Automata.

Béatrice Bérard, Serge Haddad

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Parametric NdRFT for the derivation of optimal repair strategies.

Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Efficient state-based analysis by introducing bags in Petri nets color domains.

Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves

Proceedings of the American Control Conference, 2009

2008

When are Timed Automata weakly timed bisimilar to Time Petri Nets?

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

Theor. Comput. Sci., 2008

Timed Petri nets and timed automata: On the discriminating power of zeno sequences.

Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier

Inf. Comput., 2008

Non deterministic repairable fault trees for computing optimal repair strategy.

Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad

Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, 2008

Client Synthesis for Aspect Oriented Web Services.

Mehdi Ben Hmida, Serge Haddad

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

2007

Sub-stochastic matrix analysis for bounds computation - Theoretical results.

Serge Haddad, Patrice Moreaux

Eur. J. Oper. Res., 2007

Recursive Petri nets.

Serge Haddad, Denis Poitrenaud

Acta Informatica, 2007

CSL^TA: an Expressive Logic for Continuous-Time Markov Chains.

Susanna Donatelli, Serge Haddad, Jeremy Sproston

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

A framework to design and solve Markov Decision Well-formed Net models.

Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Towards the Dynamic Adaptability of SOA.

Mehdi Ben Hmida, Céline Boutrous-Saab, Serge Haddad, Valérie Monfort, Ricardo Ferraz Tomaz

Proceedings of the ICEIS 2007, 2007

Transactional Reduction of Component Compositions.

Serge Haddad, Pascal Poizat

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.

Marco Beccuti, Giuliana Franceschinis, Serge Haddad

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

New Efficient Petri Nets Reductions for Parallel Programs Verification.

Serge Haddad, Jean-François Pradat-Peyre

Parallel Process. Lett., 2006

Tutorial on Formal Methods for Distributed and Cooperative Systems.

Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg

Proceedings of the Theoretical Aspects of Computing, 2006

A Formal Semantics and a Client Synthesis for a BPEL Service.

Serge Haddad, Patrice Moreaux, Sylvain Rampacek

Proceedings of the Enterprise Information Systems, 8th International Conference, 2006

Client Synthesis for Web Services by Way of a Timed Semantics.

Serge Haddad, Patrice Moreaux, Sylvain Rampacek

Proceedings of the ICEIS 2006, 2006

On the Computational Power of Timed Differentiable Petri Nets.

Serge Haddad, Laura Recalde, Manuel Silva Suárez

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Dynamically Adapting Clients to Web Services Changing.

Mehdi Ben Hmida, Céline Boutrous-Saab, Serge Haddad, Valérie Monfort, Ricardo Tomaz Ferraz

Proceedings of the ECOWS06 Workshop on Emerging Web Services Technology, 2006

Timed Unfoldings for Networks of Timed Automata.

Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier

Proceedings of the Automated Technology for Verification and Analysis, 2006

A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets.

Serge Haddad, Lynda Mokdad, Patrice Moreaux

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Extended Timed Automata and Time Petri Nets.

Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Product-form and stochastic Petri nets: a structural approach.

Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez

Perform. Evaluation, 2005

On the use of exact lumpability in partially symmetricalWell-formed Nets.

Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Web-MASI: Multi-Agent Systems Interoperability Using a Web Services Based Approach.

Tarek Melliti, Serge Haddad, Alexandru Suna, Amal El Fallah Seghrouchni

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Modular Verification of Petri Nets Properties: A Structure-Based Approach.

Kais Klai, Serge Haddad, Jean-Michel Ilié

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Comparison of the Expressiveness of Timed Automata and Time Petri Nets.

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Syntactical Colored Petri Nets Reductions.

Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre

Proceedings of the Automated Technology for Verification and Analysis, 2005

Comparison of Different Semantics for Time Petri Nets.

Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays.

Serge Haddad, Patrice Moreaux

Proceedings of the 12th International Workshop on Modeling, 2004

Interopérabilité des systèmes multi-agents à l'aide des services web.

Amal El Fallah Seghrouchni, Serge Haddad, Tarek Melitti, Alexandru Suna

Proceedings of the Systèmes Multi-Agents Défis scientifiques et nouveaux usages - JFSMA 04, 2004

Modelling Web Services Interoperability.

Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek

Proceedings of the ICEIS 2004, 2004

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.

Serge Haddad, Jean-Michel Ilié, Kais Klai

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

A Fault-contained Spanning Tree Protocol for Arbitrary Networks.

J. El Haddad, Serge Haddad

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2002

Open protocol design for complex interactions in multi-agent systems.

Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

A Formal Study of Interactions in Multi-agent Systems.

Amal El Fallah Seghrouchni, Serge Haddad, Hamza Mazouzi

Int. J. Comput. Their Appl., 2001

Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.

Serge Haddad, Denis Poitrenaud

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.

Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

A Model Checking Method for Partially Symmetric Systems.

Serge Haddad, Jean-Michel Ilié, Khalil Ajami

Proceedings of the Formal Techniques for Distributed System Development, 2000

1999

Protocol Engineering for Multi-agent Interaction.

Amal El Fallah Seghrouchni, Serge Haddad, Hamza Mazouzi

Proceedings of the MultiAgent System Engineering, 1999

Combining different failure detectors for solving a large-scale consensus problem.

Serge Haddad, F. Nguilla Kooh

Proceedings of the Computers and Their Applications (CATA-99), 1999

Theoretical Aspects of Recursive Petri Nets.

Serge Haddad, Denis Poitrenaud

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.

Khalil Ajami, Serge Haddad, Jean-Michel Ilié

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Structured Characterization of the Markov Chain of Phase-Type SPN.

Susanna Donatelli, Serge Haddad, Patrice Moreaux

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

1997

A Symbolic Reachability Graph for Coloured Petri Nets.

Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad

Theor. Comput. Sci., 1997

Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets.

Serge Haddad, Patrice Moreaux, Giovanni Chiola

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

A Coordination Algorithm for Multi-Agent Planning.

Amal El Fallah Seghrouchni, Serge Haddad

Proceedings of the Agents Breaking Away, 1996

Asynchronous Composition of High Level Petri Nets: A Quantitative Approach.

Serge Haddad, Patrice Moreaux

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

Evaluation of high level Petri nets by means of aggregation and decomposition.

Serge Haddad, Patrice Moreaux

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Symbolic Reachability Graph and Partial Symmetries.

Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1993

Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.

Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad

IEEE Trans. Computers, 1993

Assessment of ESTELLE and EDT Through Real Case Studies.

Serge Haddad, Mohamed Taghelit, Belhassen Zouari

Proceedings of the Protocol Specification, 1993

Conflict sets in colored Petri nets.

Claude Dutheillet, Serge Haddad

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

A Protocol Specification Language with a High-Level Petri Net Semantics.

Belhassen Zouari, Serge Haddad, Mohamed Taghelit

Proceedings of the Decentralized and Distributed Systems, 1993

A Distributed Algorithm for Resource Management.

Joaquin Ezpeleta, Serge Haddad

Proceedings of the Decentralized and Distributed Systems, 1993

An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.

Kamel Barkaoui, Claude Dutheillet, Serge Haddad

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1991

Generative Families of Positive Invariants in Coloured Nets Sub-Classes.

Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre

Proceedings of the Advances in Petri Nets 1993, 1991

1989

Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture.

Claude Dutheillet, Serge Haddad

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Regular stochastic Petri nets.

Claude Dutheillet, Serge Haddad

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988

A reduction theory for coloured nets.

Serge Haddad

Proceedings of the Advances in Petri Nets 1989, 1988

1986

Algebraic structure of flows of a regular coloured net.

Serge Haddad, Claude Girault

Proceedings of the Advances in Petri Nets 1987, 1986

Specification and properties of a cache coherence protocol model.

Claude Girault, C. Chatelain, Serge Haddad

Proceedings of the Advances in Petri Nets 1987, 1986