default search action
Serge Haddad
Person information
- affiliation: ENS Cachan, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j38]Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy:
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. 20(1) (2024) - [c108]Stefan Haar, Serge Haddad:
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. Petri Nets 2024: 109-131 - [i13]Benoît Barbot, Patricia Bouyer, Serge Haddad:
Beyond Decisiveness of Infinite Markov Chains. CoRR abs/2409.18670 (2024) - 2023
- [j37]Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie
, Benoît Barbot
Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25(3): 341-354 (2023) - [c107]Alain Finkel, Serge Haddad, Lina Ye:
About Decisiveness of Dynamic Probabilistic Models. CONCUR 2023: 14:1-14:17 - [c106]Alain Finkel
Introducing Divergence for Infinite Probabilistic Models. RP 2023: 127-140 - [i12]Alain Finkel, Serge Haddad, Lina Ye:
About Decisiveness of Dynamic Probabilistic Models. CoRR abs/2305.19564 (2023) - [i11]Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy:
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. CoRR abs/2306.08266 (2023) - [i10]Alain Finkel, Serge Haddad, Lina Ye:
Introducing Divergence for Infinite Probabilistic Models. CoRR abs/2308.08842 (2023) - 2022
- [j36]Béatrice Bérard
Revisiting reachability in Polynomial Interrupt Timed Automata. Inf. Process. Lett. 174: 106208 (2022) - [j35]Béatrice Bérard
Corrigendum to "Revisiting reachability in polynomial interrupt timed automata" [Information Processing Letters 174 (2022) 106208]. Inf. Process. Lett. 175: 106231 (2022) - [c105]Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF 2022: 81-96 - 2021
- [j34]Alain Finkel, Serge Haddad, Igor Khmelnitsky
Commodification of accelerations for the Karp and Miller Construction. Discret. Event Dyn. Syst. 31(2): 251-270 (2021) - [j33]Alain Finkel, Serge Haddad, Igor Khmelnitsky:
Coverability, Termination, and Finiteness in Recursive Petri Nets. Fundam. Informaticae 183(1-2): 33-66 (2021) - [j32]Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas:
Polynomial interrupt timed automata: Verification and expressiveness. Inf. Comput. 277: 104580 (2021) - [c104]Serge Haddad, Didier Lime
A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets 2021: 76-92 - [c103]Igor Khmelnitsky, Daniel Neider
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA 2021: 364-380 - [c102]Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye:
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI 2021: 113-129 - [e4]Serge Haddad
32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference. LIPIcs 203, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-203-7 [contents] - [i9]Alain Finkel, Serge Haddad, Igor Khmelnitsky:
Coverability, Termination, and Finiteness in Recursive Petri Nets. CoRR abs/2109.06804 (2021) - 2020
- [j31]Nathalie Bertrand
Diagnosis and Degradation Control for Probabilistic Systems. Discret. Event Dyn. Syst. 30(4): 695-723 (2020) - [c101]Serge Haddad, Igor Khmelnitsky:
Dynamic Recursive Petri Nets. Petri Nets 2020: 345-366 - [c100]Susanna Donatelli, Serge Haddad:
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. FORMATS 2020: 215-230 - [c99]Alain Finkel, Serge Haddad, Igor Khmelnitsky:
Minimal Coverability Tree Construction Made Complete and Efficient. FoSSaCS 2020: 237-256 - [c98]Stefan Haar
Active Prediction for Discrete Event Systems. FSTTCS 2020: 48:1-48:16 - [c97]Susanna Donatelli
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. LATA 2020: 170-183 - [i8]Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot
Property-Directed Verification of Recurrent Neural Networks. CoRR abs/2009.10610 (2020)
2010 – 2019
- 2019
- [j30]Nathalie Bertrand, Serge Haddad, Engel Lefaucheux:
A tale of two diagnoses in probabilistic systems. Inf. Comput. 269 (2019) - [c96]Alain Finkel, Serge Haddad, Igor Khmelnitsky:
Coverability and Termination in Recursive Petri Nets. Petri Nets 2019: 429-448 - 2018
- [j29]Serge Haddad:
Memoryless determinacy of finite parity games: Another simple proof. Inf. Process. Lett. 132: 19-21 (2018) - [j28]Serge Haddad, Benjamin Monmege
Interval iteration algorithm for MDPs and IMDPs. Theor. Comput. Sci. 735: 111-131 (2018) - [c95]Benoît Barbot
Integrating Simulink Models into the Model Checker Cosmos. Petri Nets 2018: 363-373 - 2017
- [j27]Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon:
Optimal constructions for active diagnosis. J. Comput. Syst. Sci. 83(1): 101-120 (2017) - [j26]Michael Blondin
The Logical View on Continuous Petri Nets. ACM Trans. Comput. Log. 18(3): 24:1-24:28 (2017) - [c94]Patricia Bouyer, Serge Haddad, Vincent Jugé:
Unbounded Product-Form Petri Nets. CONCUR 2017: 31:1-31:16 - [c93]Béatrice Bérard, Serge Haddad, Engel Lefaucheux:
Probabilistic Disclosure: Maximisation vs. Minimisation. FSTTCS 2017: 13:1-13:14 - [c92]Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
Trading Optimality for Performance in Location Privacy. VALUETOOLS 2017: 221-222 - [i7]Patricia Bouyer, Serge Haddad, Vincent Jugé:
Unbounded product-form Petri nets. CoRR abs/1708.05847 (2017) - [i6]Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi:
Trading Optimality for Performance in Location Privacy. CoRR abs/1710.05524 (2017) - 2016
- [j25]Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
Interrupt Timed Automata with Auxiliary Clocks and Parameters. Fundam. Informaticae 143(3-4): 235-259 (2016) - [c91]Nathalie Bertrand
Diagnosis in Infinite-State Probabilistic Systems. CONCUR 2016: 37:1-37:15 - [c90]Nathalie Bertrand
Accurate Approximate Diagnosability of Stochastic Systems. LATA 2016: 549-561 - [c89]Michael Blondin
Approaching the Coverability Problem Continuously. TACAS 2016: 480-496 - [c88]Serge Haddad:
Exact and Approximate Diagnosis of Probabilistic Systems. VECoS 2016: 9 - 2015
- [j24]Estíbaliz Fraca
Complexity Analysis of Continuous Petri Nets. Fundam. Informaticae 137(1): 1-28 (2015) - [j23]Paolo Ballarini
HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Perform. Evaluation 90: 53-77 (2015) - [c87]Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman
Active diagnosis with observable quiescence. CDC 2015: 1663-1668 - [c86]Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas:
Polynomial Interrupt Timed Automata. RP 2015: 20-32 - [c85]Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui:
State Space Reduction Strategie for Model Checking Concurrent C Programs. VECoS 2015: 65-76 - [e3]Maciej Koutny, Jörg Desel, Serge Haddad:
Transactions on Petri Nets and Other Models of Concurrency X. Lecture Notes in Computer Science 9410, Springer 2015, ISBN 978-3-662-48649-8 [contents] - [i5]Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas:
Polynomial Interrupt Timed Automata. CoRR abs/1504.04541 (2015) - [i4]Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad:
Approaching the Coverability Problem Continuously. CoRR abs/1510.05724 (2015) - 2014
- [j22]Marco Beccuti
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. Comput. J. 57(12): 1870-1892 (2014) - [j21]Serge Haddad, Jetty Kleijn, Lucia Pomello:
Preface. Fundam. Informaticae 131(1) (2014) - [c84]Nathalie Bertrand
Active Diagnosis for Probabilistic Systems. FoSSaCS 2014: 29-42 - [c83]Nathalie Bertrand
Foundation of Diagnosis and Predictability in Probabilistic Systems. FSTTCS 2014: 417-429 - [c82]Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia
Specifying and Verifying Concurrent C Programs with TLA+. FTSCS 2014: 206-222 - [c81]Serge Haddad, Benjamin Monmege
Reachability in MDPs: Refining Convergence of Value Iteration. RP 2014: 125-137 - [e2]Maciej Koutny, Serge Haddad, Alex Yakovlev
Transactions on Petri Nets and Other Models of Concurrency IX. Lecture Notes in Computer Science 8910, Springer 2014, ISBN 978-3-662-45729-0 [contents] - [i3]Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime:
Interrupt Timed Automata with Auxiliary Clocks and Parameters. CoRR abs/1409.2408 (2014) - 2013
- [j20]Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen:
Synthesis and Analysis of Product-form Petri Nets. Fundam. Informaticae 122(1-2): 147-172 (2013) - [j19]Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
Ordinal theory for expressiveness of well-structured transition systems. Inf. Comput. 224: 1-22 (2013) - [j18]Serge Haddad, Lynda Mokdad, Samir Youcef:
Bounding models families for performance evaluation in composite Web services. J. Comput. Sci. 4(4): 232-241 (2013) - [j17]Béatrice Bérard, Franck Cassez
The expressive power of time Petri nets. Theor. Comput. Sci. 474: 1-20 (2013) - [c80]Estíbaliz Fraca
Complexity Analysis of Continuous Petri Nets. Petri Nets 2013: 170-189 - [c79]Serge Haddad, Rolf Hennicker, Mikael H. Møller:
Channel Properties of Asynchronously Composed Petri Nets. Petri Nets 2013: 369-388 - [c78]Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon:
Optimal Constructions for Active Diagnosis. FSTTCS 2013: 527-539 - [c77]S. Akshay, Nathalie Bertrand
The Steady-State Control Problem for Markov Decision Processes. QEST 2013: 290-304 - [c76]Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
Parametric Interrupt Timed Automata. RP 2013: 59-69 - [c75]Serge Haddad, Rolf Hennicker, Mikael H. Møller:
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. TGC 2013: 219-234 - [p1]Susanna Donatelli, Serge Haddad:
Quantitative Verification of Markov Chains. Communicating Embedded Systems 2013: 139-163 - 2012
- [j16]Béatrice Bérard, Serge Haddad, Mathieu Sassolas:
Interrupt Timed Automata: verification and expressiveness. Formal Methods Syst. Des. 40(1): 41-87 (2012) - [j15]Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker:
Refinement and Asynchronous Composition of Modal Petri Nets. Trans. Petri Nets Other Model. Concurr. 5: 96-120 (2012) - [c74]Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder:
Concurrent Games on VASS with Inhibition. CONCUR 2012: 39-52 - [c73]Serge Haddad, Sylvain Schmitz
The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets. LICS 2012: 355-364 - [c72]Benoît Barbot
Coupling and Importance Sampling for Statistical Model Checking. TACAS 2012: 331-346 - [e1]Serge Haddad, Lucia Pomello:
Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Lecture Notes in Computer Science 7347, Springer 2012, ISBN 978-3-642-31130-7 [contents] - [i2]Béatrice Bérard, Serge Haddad, Mathieu Sassolas:
Interrupt Timed Automata: verification and expressiveness. CoRR abs/1203.6453 (2012) - 2011
- [j14]Souheib Baarir, Marco Beccuti
Lumping partially symmetrical stochastic models. Perform. Evaluation 68(1): 21-44 (2011) - [c71]Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen:
Synthesis and Analysis of Product-Form Petri Nets. Petri Nets 2011: 288-307 - [c70]Paolo Ballarini, Hilal Djafri, Marie Duflot
Petri nets compositional modeling and verification of Flexible Manufacturing Systems. CASE 2011: 588-593 - [c69]Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
Ordinal Theory for Expressiveness of Well Structured Transition Systems. FoSSaCS 2011: 153-167 - [c68]Paolo Ballarini, Hilal Djafri, Marie Duflot
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. QEST 2011: 143-144 - [c67]Paolo Ballarini, Hilal Djafri, Marie Duflot
HASL: an expressive language for statistical verification of stochastic models. VALUETOOLS 2011: 306-315 - [i1]Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen:
Synthesis and Analysis of Product-form Petri Nets. CoRR abs/1104.0291 (2011) - 2010
- [j13]Laura Recalde, Serge Haddad, Manuel Silva Suárez:
Continuous Petri Nets: Expressive Power and Decidability Issues. Int. J. Found. Comput. Sci. 21(2): 235-256 (2010) - [c66]Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker:
Process Refinement and Asynchronous Composition with Modalities. ACSD/Petri Nets Workshops 2010: 385-401 - [c65]Serge Haddad, Lynda Mokdad, Samir Youcef:
Selection of the Best composite Web Service Based on Quality of Service. ISSS/BPSC 2010: 255-266 - [c64]Serge Haddad, Lynda Mokdad, Samir Youcef:
Response time of BPEL4WS constructors. ISCC 2010: 695-700 - [c63]Béatrice Bérard, Serge Haddad, Mathieu Sassolas:
Real Time Properties for Interrupt Timed Automata. TIME 2010: 69-76
2000 – 2009
- 2009
- [j12]Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier:
Undecidability Results for Timed Automata with Silent Transitions. Fundam. Informaticae 92(1-2): 1-25 (2009) - [j11]Céline Boutrous-Saab, D. Coulibaly, Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek:
An Integrated Framework for Web Services Orchestration. Int. J. Web Serv. Res. 6(4): 1-29 (2009) - [j10]Susanna Donatelli, Serge Haddad, Jeremy Sproston:
Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. 35(2): 224-240 (2009) - [c62]Serge Haddad, Fabrice Kordon, Laure Petrucci
Efficient state-based analysis by introducing bags in Petri nets color domains. ACC 2009: 5018-5025 - [c61]Marco Beccuti
Parametric NdRFT for the derivation of optimal repair strategies. DSN 2009: 399-408 - [c60]Béatrice Bérard, Serge Haddad:
Interrupt Timed Automata. FoSSaCS 2009: 197-211 - [c59]Mahdi Zargayouna
Data Driven Language for Agents Secure Interaction. LADS 2009: 72-91 - [c58]Mahdi Zargayouna, Flavien Balbo, Serge Haddad:
Agents Secure Interaction in Data driven Languages. MALLOW 2009 - [c57]Serge Haddad, Nihal Pekergin:
Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains. QEST 2009: 177-186 - 2008
- [j9]Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier:
Timed Petri nets and timed automata: On the discriminating power of zeno sequences. Inf. Comput. 206(1): 73-107 (2008) - [j8]Béatrice Bérard, Franck Cassez
When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci. 403(2-3): 202-220 (2008) - [c56]Mehdi Ben Hmida, Serge Haddad:
Client Synthesis for Aspect Oriented Web Services. Monterey Workshop 2008: 24-42 - [c55]Marco Beccuti
Non deterministic repairable fault trees for computing optimal repair strategy. VALUETOOLS 2008: 56 - 2007
- [j7]Serge Haddad, Denis Poitrenaud:
Recursive Petri nets. Acta Informatica 44(7-8): 463-508 (2007) - [j6]Serge Haddad, Patrice Moreaux:
Sub-stochastic matrix analysis for bounds computation - Theoretical results. Eur. J. Oper. Res. 176(2): 999-1015 (2007) - [c54]Marco Beccuti, Giuliana Franceschinis, Serge Haddad:
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN 2007: 43-62 - [c53]Laura Recalde, Serge Haddad, Manuel Silva Suárez:
Continuous Petri Nets: Expressive Power and Decidability Issues. ATVA 2007: 362-377 - [c52]Serge Haddad, Pascal Poizat:
Transactional Reduction of Component Compositions. FORTE 2007: 341-357 - [c51]Mehdi Ben Hmida, Céline Boutrous-Saab, Serge Haddad, Valérie Monfort, Ricardo Ferraz Tomaz:
Towards the Dynamic Adaptability of SOA. ICEIS (3) 2007: 474-479 - [c50]Susanna Donatelli, Serge Haddad, Jeremy Sproston:
CSLTA: an Expressive Logic for Continuous-Time Markov Chains. QEST 2007: 31-40 - [c49]Marco Beccuti, Daniele Codetta Raiteri
A framework to design and solve Markov Decision Well-formed Net models. QEST 2007: 165-166 - 2006
- [j5]Serge Haddad, Jean-François Pradat-Peyre:
New Efficient Petri Nets Reductions for Parallel Programs Verification. Parallel Process. Lett. 16(1): 101-116 (2006) - [c48]Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad:
Extended Timed Automata and Time Petri Nets. ACSD 2006: 91-100 - [c47]Serge Haddad, Lynda Mokdad, Patrice Moreaux:
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets. ICATPN 2006: 221-240 - [c46]Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier:
Timed Unfoldings for Networks of Timed Automata. ATVA 2006: 292-306 - [c45]Mehdi Ben Hmida, Céline Boutrous-Saab, Serge Haddad, Valérie Monfort, Ricardo Tomaz Ferraz:
Dynamically Adapting Clients to Web Services Changing. WEWST@ECOWS 2006 - [c44]Mehdi Ben Hmida, Céline Boutrous-Saab, Serge Haddad, Valérie Monfort, Ricardo Tomaz Ferraz:
Dynamically Adapting Clients to Web Services Changing. WEWST@ECOWS (Final Proceedings) 2006: 153-165 - [c43]Serge Haddad, Laura Recalde, Manuel Silva Suárez:
On the Computational Power of Timed Differentiable Petri Nets. FORMATS 2006: 230-244 - [c42]Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier:
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. ICALP (2) 2006: 420-431 - [c41]Serge Haddad, Patrice Moreaux, Sylvain Rampacek:
Client Synthesis for Web Services by Way of a Timed Semantics. ICEIS (4) 2006: 19-26 - [c40]Serge Haddad, Patrice Moreaux, Sylvain Rampacek:
A Formal Semantics and a Client Synthesis for a BPEL Service. ICEIS (Selected Papers) 2006: 388-401 - [c39]Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC 2006: 362-365 - 2005
- [j4]Serge Haddad, Patrice Moreaux, Matteo Sereno
Product-form and stochastic Petri nets: a structural approach. Perform. Evaluation 59: 313-336 (2005) - [c38]Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre:
Syntactical Colored Petri Nets Reductions. ATVA 2005: 202-216 - [c37]Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux:
Comparison of Different Semantics for Time Petri Nets. ATVA 2005: 293-307 - [c36]Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux:
Comparison of the Expressiveness of Timed Automata and Time Petri Nets. FORMATS 2005: 211-225 - [c35]Kais Klai, Serge Haddad, Jean-Michel Ilié
Modular Verification of Petri Nets Properties: A Structure-Based Approach. FORTE 2005: 189-203 - [c34]Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux:
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? FSTTCS 2005: 273-284 - [c33]Tarek Melliti, Serge Haddad, Alexandru Suna, Amal El Fallah Seghrouchni:
Web-MASI: Multi-Agent Systems Interoperability Using a Web Services Based Approach. IAT 2005: 739-742 - [c32]Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié
On the use of exact lumpability in partially symmetricalWell-formed Nets. QEST 2005: 23-32 - 2004
- [c31]J. El Haddad, Serge Haddad:
A Fault-contained Spanning Tree Protocol for Arbitrary Networks. PDCS 2004: 410-415 - [c30]Serge Haddad, Jean-Michel Ilié
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. ATVA 2004: 196-210 - [c29]Serge Haddad, Tarek Melliti, Patrice Moreaux, Sylvain Rampacek:
Modelling Web Services Interoperability. ICEIS (4) 2004: 287-295 - [c28]Amal El Fallah Seghrouchni, Serge Haddad, Tarek Melitti, Alexandru Suna:
Interopérabilité des systèmes multi-agents à l'aide des services web. JFSMA 2004: 91-104 - [c27]Serge Haddad, Patrice Moreaux:
Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays. MASCOTS 2004: 23-30 - 2002
- [c26]Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad:
Open protocol design for complex interactions in multi-agent systems. AAMAS 2002: 517-526 - 2001
- [j3]Amal El Fallah Seghrouchni, Serge Haddad, Hamza Mazouzi:
A Formal Study of Interactions in Multi-agent Systems. Int. J. Comput. Their Appl. 8(1) (2001) - [c25]Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez:
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. ICATPN 2001: 164-183 - [c24]Serge Haddad, Denis Poitrenaud:
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. TIME 2001: 198-205 - 2000
- [c23]Serge Haddad, Jean-Michel Ilié, Khalil Ajami:
A Model Checking Method for Partially Symmetric Systems. FORTE 2000: 121-136
1990 – 1999
- 1999
- [c22]Serge Haddad, Denis Poitrenaud:
Theoretical Aspects of Recursive Petri Nets. ICATPN 1999: 228-247 - [c21]Serge Haddad, F. Nguilla Kooh:
Combining different failure detectors for solving a large-scale consensus problem. CATA 1999: 204-209 - [c20]Amal El Fallah Seghrouchni, Serge Haddad, Hamza Mazouzi:
A formal study of interactions in multi-agent systems. CATA 1999: 240-245 - [c19]Amal El Fallah Seghrouchni, Serge Haddad, Hamza Mazouzi:
Protocol Engineering for Multi-agent Interaction. MAAMAW 1999: 89-101 - 1998
- [c18]Susanna Donatelli, Serge Haddad, Patrice Moreaux:
Structured Characterization of the Markov Chain of Phase-Type SPN. Computer Performance Evaluation (Tools) 1998: 243-254 - [c17]Khalil Ajami, Serge Haddad, Jean-Michel Ilié
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. TACAS 1998: 52-67 - 1997
- [j2]Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad:
A Symbolic Reachability Graph for Coloured Petri Nets. Theor. Comput. Sci. 176(1-2): 39-65 (1997) - [c16]Serge Haddad, Patrice Moreaux, Giovanni Chiola:
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets. ICATPN 1997: 175-194 - 1996
- [c15]Serge Haddad, Patrice Moreaux:
Asynchronous Composition of High Level Petri Nets: A Quantitative Approach. Application and Theory of Petri Nets 1996: 192-211 - [c14]Amal El Fallah Seghrouchni, Serge Haddad:
A Coordination Algorithm for Multi-Agent Planning. MAAMAW 1996: 86-99 - 1995
- [c13]Serge Haddad, Jean-Michel Ilié
Symbolic Reachability Graph and Partial Symmetries. Application and Theory of Petri Nets 1995: 238-257 - [c12]Serge Haddad, Patrice Moreaux:
Evaluation of high level Petri nets by means of aggregation and decomposition. PNPM 1995: 11-20 - 1993
- [j1]Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad:
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Trans. Computers 42(11): 1343-1360 (1993) - [c11]Kamel Barkaoui, Claude Dutheillet, Serge Haddad:
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. Application and Theory of Petri Nets 1993: 69-88 - [c10]Joaquin Ezpeleta, Serge Haddad:
A Distributed Algorithm for Resource Management. Decentralized and Distributed Systems 1993: 61-72 - [c9]Belhassen Zouari, Serge Haddad, Mohamed Taghelit:
A Protocol Specification Language with a High-Level Petri Net Semantics. Decentralized and Distributed Systems 1993: 225-241 - [c8]Claude Dutheillet, Serge Haddad:
Conflict sets in colored Petri nets. PNPM 1993: 76-85 - [c7]Serge Haddad, Mohamed Taghelit, Belhassen Zouari:
Assessment of ESTELLE and EDT Through Real Case Studies. PSTV 1993: 223-238 - 1991
- [c6]Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre:
Generative Families of Positive Invariants in Coloured Nets Sub-Classes. Applications and Theory of Petri Nets 1991: 51-70
1980 – 1989
- 1989
- [c5]Claude Dutheillet, Serge Haddad:
Regular stochastic Petri nets. Applications and Theory of Petri Nets 1989: 186-209 - [c4]Claude Dutheillet, Serge Haddad:
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture. PNPM 1989: 40-49 - 1988
- [c3]Serge Haddad:
A reduction theory for coloured nets. European Workshop on Applications and Theory in Petri Nets 1988: 209-235 - 1986
- [c2]Claude Girault, C. Chatelain, Serge Haddad:
Specification and properties of a cache coherence protocol model. European Workshop on Applications and Theory of Petri Nets 1986: 1-20 - [c1]Serge Haddad, Claude Girault:
Algebraic structure of flows of a regular coloured net. European Workshop on Applications and Theory of Petri Nets 1986: 73-88
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-18 19:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: