default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSerge 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 - 2023
- [j37]Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie
, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye:
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, Serge Haddad, Lina Ye:
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, Serge Haddad:
Revisiting reachability in Polynomial Interrupt Timed Automata. Inf. Process. Lett. 174: 106208 (2022) - [j35]Béatrice Bérard, Serge Haddad:
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, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy:
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, Olivier H. Roux:
A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets 2021: 76-92 - [c103]Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye:
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, Daniele Varacca:
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, Serge Haddad, Engel Lefaucheux:
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, Serge Haddad, Stefan Schwoon, Lina Ye:
Active Prediction for Discrete Event Systems. FSTTCS 2020: 48:1-48:16 - [c97]Susanna Donatelli, Serge Haddad:
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, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye:
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, Béatrice Bérard, Yann Duplouy, Serge Haddad:
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, Alain Finkel, Christoph Haase, Serge Haddad:
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, Serge Haddad, Engel Lefaucheux:
Diagnosis in Infinite-State Probabilistic Systems. CONCUR 2016: 37:1-37:15 - [c90]Nathalie Bertrand, Serge Haddad, Engel Lefaucheux:
Accurate Approximate Diagnosability of Stochastic Systems. LATA 2016: 549-561 - [c89]Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad:
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, Serge Haddad:
Complexity Analysis of Continuous Petri Nets. Fundam. Informaticae 137(1): 1-28 (2015) - [j23]Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin:
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, Stefan Schwoon:
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, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad:
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, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët:
Active Diagnosis for Probabilistic Systems. FoSSaCS 2014: 29-42 - [c83]Nathalie Bertrand, Serge Haddad, Engel Lefaucheux:
Foundation of Diagnosis and Predictability in Probabilistic Systems. FSTTCS 2014: 417-429 - [c82]Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui:
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, Serge Haddad, Didier Lime, Olivier H. Roux:
The expressive power of time Petri nets. Theor. Comput. Sci. 474: 1-20 (2013) - [c80]Estíbaliz Fraca, Serge Haddad:
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, Serge Haddad, Loïc Hélouët:
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, Philippe Schnoebelen:
The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets. LICS 2012: 355-364 - [c72]Benoît Barbot, Serge Haddad, Claudine Picaronny:
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, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad:
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, Serge Haddad, Nihal Pekergin:
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, Serge Haddad, Nihal Pekergin:
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. QEST 2011: 143-144 - [c67]Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin:
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, Jean-François Pradat-Peyre, Nicolas Trèves:
Efficient state-based analysis by introducing bags in Petri nets color domains. ACC 2009: 5018-5025 - [c61]Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad:
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, Flavien Balbo, Serge Haddad:
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, Serge Haddad, Didier Lime, Olivier H. Roux:
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, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad:
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, Giuliana Franceschinis, Serge Haddad:
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, Manuel Silva Suárez:
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]