Serge Haddad - RankMe

166 papers A* 1A 5B 25C 12Misc 2Journal 51Unranked 67

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Tightening the Frontier of Decidability for Decisiveness. QEST+FORMATS Gaspard Fougea, Serge Haddad, Lina Ye, Shreyas Jain, Alain Finkel
2024	J	`jnl`	Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2024	—	`conf`	Beyond Decisiveness of Infinite Markov Chains. FSTTCS Benoît Barbot, Patricia Bouyer, Serge Haddad
2024	J	`jnl`	Beyond Decisiveness of Infinite Markov Chains. CoRR Benoît Barbot, Patricia Bouyer, Serge Haddad
2024	B	`conf`	On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. Petri Nets Stefan Haar, Serge Haddad
2023	B	`conf`	About Decisiveness of Dynamic Probabilistic Models. CONCUR Alain Finkel, Serge Haddad, Lina Ye
2023	J	`jnl`	About Decisiveness of Dynamic Probabilistic Models. CoRR Alain Finkel, Serge Haddad, Lina Ye
2023	J	`jnl`	Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2023	J	`jnl`	Analyzing Robustness of Angluin's L CoRR Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2023	—	`conf`	Introducing Divergence for Infinite Probabilistic Models. RP Alain Finkel, Serge Haddad, Lina Ye
2023	J	`jnl`	Introducing Divergence for Infinite Probabilistic Models. CoRR Alain Finkel, Serge Haddad, Lina Ye
2022	—	`conf`	Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2022	J	`jnl`	Corrigendum to "Revisiting reachability in polynomial interrupt timed automata" [Information Processing Letters 174 (2022) 106208]. Inf. Process. Lett. Béatrice Bérard, Serge Haddad
2022	J	`jnl`	Revisiting reachability in Polynomial Interrupt Timed Automata. Inf. Process. Lett. Béatrice Bérard, Serge Haddad
2021	B	`ed.`	32nd International Conference on Concurrency Theory, CONCUR 2021, Virtual Conference, August 24-27, 2021 CONCUR Serge Haddad, Daniele Varacca
2021	B	`conf`	A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets Serge Haddad, Didier Lime, Olivier H. Roux
2021	J	`jnl`	Commodification of accelerations for the Karp and Miller Construction. Discret. Event Dyn. Syst. Alain Finkel, Serge Haddad, Igor Khmelnitsky
2021	J	`jnl`	Coverability, Termination, and Finiteness in Recursive Petri Nets. CoRR Alain Finkel, Serge Haddad, Igor Khmelnitsky
2021	J	`jnl`	Coverability, Termination, and Finiteness in Recursive Petri Nets. Fundam. Informaticae Alain Finkel, Serge Haddad, Igor Khmelnitsky
2021	—	`conf`	Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
2021	J	`jnl`	Polynomial interrupt timed automata: Verification and expressiveness. Inf. Comput. Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
2021	B	`conf`	Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2020	—	`conf`	Active Prediction for Discrete Event Systems. FSTTCS Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye
2020	J	`jnl`	Diagnosis and Degradation Control for Probabilistic Systems. Discret. Event Dyn. Syst. Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2020	B	`conf`	Dynamic Recursive Petri Nets. Petri Nets Serge Haddad, Igor Khmelnitsky
2020	C	`conf`	Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. LATA Susanna Donatelli, Serge Haddad
2020	—	`conf`	Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. FORMATS Susanna Donatelli, Serge Haddad
2020	B	`conf`	Minimal Coverability Tree Construction Made Complete and Efficient. FoSSaCS Alain Finkel, Serge Haddad, Igor Khmelnitsky
2020	J	`jnl`	Property-Directed Verification of Recurrent Neural Networks. CoRR Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2019	J	`jnl`	A tale of two diagnoses in probabilistic systems. Inf. Comput. Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2019	B	`conf`	Coverability and Termination in Recursive Petri Nets. Petri Nets Alain Finkel, Serge Haddad, Igor Khmelnitsky
2018	B	`conf`	Integrating Simulink Models into the Model Checker Cosmos. Petri Nets Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad
2018	J	`jnl`	Interval iteration algorithm for MDPs and IMDPs. Theor. Comput. Sci. Serge Haddad, Benjamin Monmege
2018	J	`jnl`	Memoryless determinacy of finite parity games: Another simple proof. Inf. Process. Lett. Serge Haddad
2017	J	`jnl`	Optimal constructions for active diagnosis. J. Comput. Syst. Sci. Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon
2017	—	`conf`	Probabilistic Disclosure: Maximisation vs. Minimisation. FSTTCS Béatrice Bérard, Serge Haddad, Engel Lefaucheux
2017	J	`jnl`	The Logical View on Continuous Petri Nets. ACM Trans. Comput. Log. Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
2017	—	`conf`	Trading Optimality for Performance in Location Privacy. VALUETOOLS Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
2017	J	`jnl`	Trading Optimality for Performance in Location Privacy. CoRR Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
2017	B	`conf`	Unbounded Product-Form Petri Nets. CONCUR Patricia Bouyer, Serge Haddad, Vincent Jugé
2017	J	`jnl`	Unbounded product-form Petri nets. CoRR Patricia Bouyer, Serge Haddad, Vincent Jugé
2016	C	`conf`	Accurate Approximate Diagnosability of Stochastic Systems. LATA Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2016	A	`conf`	Approaching the Coverability Problem Continuously. TACAS Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
2016	B	`conf`	Diagnosis in Infinite-State Probabilistic Systems. CONCUR Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2016	C	`conf`	Exact and Approximate Diagnosis of Probabilistic Systems. VECoS Serge Haddad
2016	J	`jnl`	Interrupt Timed Automata with Auxiliary Clocks and Parameters. Fundam. Informaticae Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
2015	—	`conf`	Active diagnosis with observable quiescence. CDC Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon
2015	J	`jnl`	Approaching the Coverability Problem Continuously. CoRR Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
2015	J	`jnl`	Complexity Analysis of Continuous Petri Nets. Fundam. Informaticae Estíbaliz Fraca, Serge Haddad
2015	J	`jnl`	HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Perform. Evaluation Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin
2015	—	`conf`	Polynomial Interrupt Timed Automata. RP Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
2015	J	`jnl`	Polynomial Interrupt Timed Automata. CoRR Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
2015	C	`conf`	State Space Reduction Strategie for Model Checking Concurrent C Programs. VECoS Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
2015	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency X Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Jörg Desel, Serge Haddad
2014	B	`conf`	Active Diagnosis for Probabilistic Systems. FoSSaCS Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët
2014	J	`jnl`	Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. Comput. J. Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
2014	—	`conf`	Foundation of Diagnosis and Predictability in Probabilistic Systems. FSTTCS Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2014	J	`jnl`	Interrupt Timed Automata with Auxiliary Clocks and Parameters. CoRR Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
2014	J	`jnl`	Preface. Fundam. Informaticae Serge Haddad, Jetty Kleijn, Lucia Pomello
2014	—	`conf`	Reachability in MDPs: Refining Convergence of Value Iteration. RP Serge Haddad, Benjamin Monmege
2014	—	`conf`	Specifying and Verifying Concurrent C Programs with TLA+. FTSCS Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
2014	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency IX Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Serge Haddad, Alex Yakovlev
2013	J	`jnl`	Bounding models families for performance evaluation in composite Web services. J. Comput. Sci. Serge Haddad, Lynda Mokdad, Samir Youcef
2013	B	`conf`	Channel Properties of Asynchronously Composed Petri Nets. Petri Nets Serge Haddad, Rolf Hennicker, Mikael H. Møller
2013	B	`conf`	Complexity Analysis of Continuous Petri Nets. Petri Nets Estíbaliz Fraca, Serge Haddad
2013	—	`conf`	Optimal Constructions for Active Diagnosis. FSTTCS Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon
2013	J	`jnl`	Ordinal theory for expressiveness of well-structured transition systems. Inf. Comput. Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
2013	—	`conf`	Parametric Interrupt Timed Automata. RP Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
2013	—	`ch.`	Quantitative Verification of Markov Chains. Communicating Embedded Systems Susanna Donatelli, Serge Haddad
2013	—	`conf`	Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. TGC Serge Haddad, Rolf Hennicker, Mikael H. Møller
2013	J	`jnl`	Synthesis and Analysis of Product-form Petri Nets. Fundam. Informaticae Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen
2013	—	`conf`	The Steady-State Control Problem for Markov Decision Processes. QEST S. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët
2013	J	`jnl`	The expressive power of time Petri nets. Theor. Comput. Sci. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2012	B	`ed.`	Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings Petri Nets Serge Haddad, Lucia Pomello
2012	B	`conf`	Concurrent Games on VASS with Inhibition. CONCUR Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder
2012	A	`conf`	Coupling and Importance Sampling for Statistical Model Checking. TACAS Benoît Barbot, Serge Haddad, Claudine Picaronny
2012	J	`jnl`	Interrupt Timed Automata: verification and expressiveness CoRR Béatrice Bérard, Serge Haddad, Mathieu Sassolas
2012	J	`jnl`	Interrupt Timed Automata: verification and expressiveness. Formal Methods Syst. Des. Béatrice Bérard, Serge Haddad, Mathieu Sassolas
2012	J	`jnl`	Refinement and Asynchronous Composition of Modal Petri Nets. Trans. Petri Nets Other Model. Concurr. Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker
2012	A*	`conf`	The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets. LICS Serge Haddad, Sylvain Schmitz, Philippe Schnoebelen
2011	—	`conf`	COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. QEST Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
2011	—	`conf`	HASL: an expressive language for statistical verification of stochastic models. VALUETOOLS Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
2011	J	`jnl`	Lumping partially symmetrical stochastic models. Perform. Evaluation Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
2011	B	`conf`	Ordinal Theory for Expressiveness of Well Structured Transition Systems. FoSSaCS Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
2011	—	`conf`	Petri nets compositional modeling and verification of Flexible Manufacturing Systems. CASE Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
2011	B	`conf`	Synthesis and Analysis of Product-Form Petri Nets. Petri Nets Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen
2011	J	`jnl`	Synthesis and Analysis of Product-form Petri Nets CoRR Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen
2010	J	`jnl`	Continuous Petri Nets: Expressive Power and Decidability Issues. Int. J. Found. Comput. Sci. Laura Recalde, Serge Haddad, Manuel Silva Suárez
2010	—	`conf`	Process Refinement and Asynchronous Composition with Modalities. ACSD/Petri Nets Workshops Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker
2010	C	`conf`	Real Time Properties for Interrupt Timed Automata. TIME Béatrice Bérard, Serge Haddad, Mathieu Sassolas
2010	C	`conf`	Response time of BPEL4WS constructors. ISCC Serge Haddad, Lynda Mokdad, Samir Youcef
2010	—	`conf`	Selection of the Best composite Web Service Based on Quality of Service. ISSS/BPSC Serge Haddad, Lynda Mokdad, Samir Youcef
2009	—	`conf`	Agents Secure Interaction in Data driven Languages. MALLOW Mahdi Zargayouna, Flavien Balbo, Serge Haddad
2009	J	`jnl`	An Integrated Framework for Web Services Orchestration. Int. J. Web Serv. Res. Céline Boutrous-Saab, D. Coulibaly, Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek
2009	—	`conf`	Data Driven Language for Agents Secure Interaction. LADS Mahdi Zargayouna, Flavien Balbo, Serge Haddad
2009	C	`conf`	Efficient state-based analysis by introducing bags in Petri nets color domains. ACC Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves
2009	B	`conf`	Interrupt Timed Automata. FoSSaCS Béatrice Bérard, Serge Haddad
2009	J	`jnl`	Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. Susanna Donatelli, Serge Haddad, Jeremy Sproston
2009	A	`conf`	Parametric NdRFT for the derivation of optimal repair strategies. DSN Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
2009	J	`jnl`	Undecidability Results for Timed Automata with Silent Transitions. Fundam. Informaticae Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2009	—	`conf`	Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains. QEST Serge Haddad, Nihal Pekergin
2008	—	`conf`	Client Synthesis for Aspect Oriented Web Services. Monterey Workshop Mehdi Ben Hmida, Serge Haddad
2008	—	`conf`	Non deterministic repairable fault trees for computing optimal repair strategy. VALUETOOLS Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
2008	J	`jnl`	Timed Petri nets and timed automata: On the discriminating power of zeno sequences. Inf. Comput. Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2008	J	`jnl`	When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2007	—	`conf`	A framework to design and solve Markov Decision Well-formed Net models. QEST Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
2007	—	`conf`	CSL QEST Susanna Donatelli, Serge Haddad, Jeremy Sproston
2007	B	`conf`	Continuous Petri Nets: Expressive Power and Decidability Issues. ATVA Laura Recalde, Serge Haddad, Manuel Silva Suárez
2007	—	`conf`	Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN Marco Beccuti, Giuliana Franceschinis, Serge Haddad
2007	J	`jnl`	Recursive Petri nets. Acta Informatica Serge Haddad, Denis Poitrenaud
2007	J	`jnl`	Sub-stochastic matrix analysis for bounds computation - Theoretical results. Eur. J. Oper. Res. Serge Haddad, Patrice Moreaux
2007	—	`conf`	Towards the Dynamic Adaptability of SOA. ICEIS (3) Mehdi Ben Hmida, Céline Boutrous-Saab, Serge Haddad, Valérie Monfort, Ricardo Ferraz Tomaz
2007	C	`conf`	Transactional Reduction of Component Compositions. FORTE Serge Haddad, Pascal Poizat
2006	—	`conf`	A Formal Semantics and a Client Synthesis for a BPEL Service. ICEIS (Selected Papers) Serge Haddad, Patrice Moreaux, Sylvain Rampacek
2006	—	`conf`	A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets. ICATPN Serge Haddad, Lynda Mokdad, Patrice Moreaux
2006	—	`conf`	Client Synthesis for Web Services by Way of a Timed Semantics. ICEIS (4) Serge Haddad, Patrice Moreaux, Sylvain Rampacek
2006	—	`conf`	Dynamically Adapting Clients to Web Services Changing. WEWST@ECOWS Mehdi Ben Hmida, Céline Boutrous-Saab, Serge Haddad, Valérie Monfort, Ricardo Tomaz Ferraz
2006	—	`conf`	Dynamically Adapting Clients to Web Services Changing. WEWST@ECOWS (Final Proceedings) Mehdi Ben Hmida, Céline Boutrous-Saab, Serge Haddad, Valérie Monfort, Ricardo Tomaz Ferraz
2006	—	`conf`	Extended Timed Automata and Time Petri Nets. ACSD Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad
2006	J	`jnl`	New Efficient Petri Nets Reductions for Parallel Programs Verification. Parallel Process. Lett. Serge Haddad, Jean-François Pradat-Peyre
2006	—	`conf`	On the Computational Power of Timed Differentiable Petri Nets. FORMATS Serge Haddad, Laura Recalde, Manuel Silva Suárez
2006	—	`conf`	Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. ICALP (2) Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2006	B	`conf`	Timed Unfoldings for Networks of Timed Automata. ATVA Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2006	C	`conf`	Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
2005	B	`conf`	Comparison of Different Semantics for Time Petri Nets. ATVA Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2005	—	`conf`	Comparison of the Expressiveness of Timed Automata and Time Petri Nets. FORMATS Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2005	C	`conf`	Modular Verification of Petri Nets Properties: A Structure-Based Approach. FORTE Kais Klai, Serge Haddad, Jean-Michel Ilié
2005	—	`conf`	On the use of exact lumpability in partially symmetricalWell-formed Nets. QEST Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié
2005	J	`jnl`	Product-form and stochastic Petri nets: a structural approach. Perform. Evaluation Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez
2005	B	`conf`	Syntactical Colored Petri Nets Reductions. ATVA Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre
2005	—	`conf`	Web-MASI: Multi-Agent Systems Interoperability Using a Web Services Based Approach. IAT Tarek Melliti, Serge Haddad, Alexandru Suna, Amal El Fallah Seghrouchni
2005	—	`conf`	When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? FSTTCS Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2004	—	`conf`	A Fault-contained Spanning Tree Protocol for Arbitrary Networks. PDCS Joyce El Haddad, Serge Haddad
2004	B	`conf`	Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays. MASCOTS Serge Haddad, Patrice Moreaux
2004	B	`conf`	Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. ATVA Serge Haddad, Jean-Michel Ilié, Kais Klai
2004	—	`conf`	Interopérabilité des systèmes multi-agents à l'aide des services web. JFSMA Amal El Fallah Seghrouchni, Serge Haddad, Tarek Melitti, Alexandru Suna
2004	—	`conf`	Modelling Web Services Interoperability. ICEIS (4) Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek
2002	A	`conf`	Open protocol design for complex interactions in multi-agent systems. AAMAS Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad
2001	J	`jnl`	A Formal Study of Interactions in Multi-agent Systems. Int. J. Comput. Their Appl. Amal El Fallah Seghrouchni, Serge Haddad, Hamza Mazouzi
2001	C	`conf`	Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. TIME Serge Haddad, Denis Poitrenaud
2001	—	`conf`	Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. ICATPN Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez
2000	C	`conf`	A Model Checking Method for Partially Symmetric Systems. FORTE Serge Haddad, Jean-Michel Ilié, Khalil Ajami
1999	Misc	`conf`	A formal study of interactions in multi-agent systems. CATA Amal El Fallah Seghrouchni, Serge Haddad, Hamza Mazouzi
1999	Misc	`conf`	Combining different failure detectors for solving a large-scale consensus problem. CATA Serge Haddad, F. Nguilla Kooh
1999	—	`conf`	Protocol Engineering for Multi-agent Interaction. MAAMAW Amal El Fallah Seghrouchni, Serge Haddad, Hamza Mazouzi
1999	—	`conf`	Theoretical Aspects of Recursive Petri Nets. ICATPN Serge Haddad, Denis Poitrenaud
1998	A	`conf`	Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. TACAS Khalil Ajami, Serge Haddad, Jean-Michel Ilié
1998	—	`conf`	Structured Characterization of the Markov Chain of Phase-Type SPN. Computer Performance Evaluation (Tools) Susanna Donatelli, Serge Haddad, Patrice Moreaux
1997	J	`jnl`	A Symbolic Reachability Graph for Coloured Petri Nets. Theor. Comput. Sci. Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
1997	—	`conf`	Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets. ICATPN Serge Haddad, Patrice Moreaux, Giovanni Chiola
1996	—	`conf`	A Coordination Algorithm for Multi-Agent Planning. MAAMAW Amal El Fallah Seghrouchni, Serge Haddad
1996	—	`conf`	Asynchronous Composition of High Level Petri Nets: A Quantitative Approach. Application and Theory of Petri Nets Serge Haddad, Patrice Moreaux
1995	—	`conf`	Evaluation of high level Petri nets by means of aggregation and decomposition. PNPM Serge Haddad, Patrice Moreaux
1995	—	`conf`	Symbolic Reachability Graph and Partial Symmetries. Application and Theory of Petri Nets Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari
1993	—	`conf`	A Distributed Algorithm for Resource Management. Decentralized and Distributed Systems Joaquin Ezpeleta, Serge Haddad
1993	—	`conf`	A Protocol Specification Language with a High-Level Petri Net Semantics. Decentralized and Distributed Systems Belhassen Zouari, Serge Haddad, Mohamed Taghelit
1993	—	`conf`	An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. Application and Theory of Petri Nets Kamel Barkaoui, Claude Dutheillet, Serge Haddad
1993	—	`conf`	Assessment of ESTELLE and EDT Through Real Case Studies. PSTV Serge Haddad, Mohamed Taghelit, Belhassen Zouari
1993	—	`conf`	Conflict sets in colored Petri nets. PNPM Claude Dutheillet, Serge Haddad
1993	J	`jnl`	Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Trans. Computers Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
1991	—	`conf`	Generative Families of Positive Invariants in Coloured Nets Sub-Classes. Applications and Theory of Petri Nets Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre
1989	—	`conf`	Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture. PNPM Claude Dutheillet, Serge Haddad
1989	—	`conf`	Regular stochastic Petri nets. Applications and Theory of Petri Nets Claude Dutheillet, Serge Haddad
1988	—	`conf`	A reduction theory for coloured nets. European Workshop on Applications and Theory in Petri Nets Serge Haddad
1986	—	`conf`	Algebraic structure of flows of a regular coloured net. European Workshop on Applications and Theory of Petri Nets Serge Haddad, Claude Girault
1986	—	`conf`	Specification and properties of a cache coherence protocol model. European Workshop on Applications and Theory of Petri Nets Claude Girault, C. Chatelain, Serge Haddad