Serge Haddad

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 42

Top Venues

Publications

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)
Stefan Haar, Serge Haddad
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. Petri Nets (2024)
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) (2023)
Alain Finkel, Serge Haddad, Lina Ye
Introducing Divergence for Infinite Probabilistic Models. RP (2023)
Alain Finkel, Serge Haddad, Lina Ye
Introducing Divergence for Infinite Probabilistic Models. CoRR (2023)
Alain Finkel, Serge Haddad, Lina Ye
About Decisiveness of Dynamic Probabilistic Models. CoRR (2023)
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Algorithm in Presence of Noise. CoRR (2023)
Alain Finkel, Serge Haddad, Lina Ye
About Decisiveness of Dynamic Probabilistic Models. CONCUR (2023)
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)
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 (2022)
Béatrice Bérard, Serge Haddad
Revisiting reachability in Polynomial Interrupt Timed Automata. Inf. Process. Lett. 174 (2022)
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)
Alain Finkel, Serge Haddad, Igor Khmelnitsky
Commodification of accelerations for the Karp and Miller Construction. Discret. Event Dyn. Syst. 31 (2) (2021)
Serge Haddad, Didier Lime, Olivier H. Roux
A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets (2021)
Alain Finkel, Serge Haddad, Igor Khmelnitsky
Coverability, Termination, and Finiteness in Recursive Petri Nets. CoRR (2021)
Alain Finkel, Serge Haddad, Igor Khmelnitsky
Coverability, Termination, and Finiteness in Recursive Petri Nets. Fundam. Informaticae 183 (1-2) (2021)
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial interrupt timed automata: Verification and expressiveness. Inf. Comput. 277 (2021)
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)
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
Diagnosis and Degradation Control for Probabilistic Systems. Discret. Event Dyn. Syst. 30 (4) (2020)
Susanna Donatelli, Serge Haddad
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. FORMATS (2020)
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 (2020)
Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye
Active Prediction for Discrete Event Systems. FSTTCS (2020)
Alain Finkel, Serge Haddad, Igor Khmelnitsky
Minimal Coverability Tree Construction Made Complete and Efficient. FoSSaCS (2020)
Susanna Donatelli, Serge Haddad
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. LATA (2020)
Serge Haddad, Igor Khmelnitsky
Dynamic Recursive Petri Nets. Petri Nets (2020)
Alain Finkel, Serge Haddad, Igor Khmelnitsky
Coverability and Termination in Recursive Petri Nets. Petri Nets (2019)
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
A tale of two diagnoses in probabilistic systems. Inf. Comput. 269 (2019)
Serge Haddad
Memoryless determinacy of finite parity games: Another simple proof. Inf. Process. Lett. 132 (2018)
Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad
Integrating Simulink Models into the Model Checker Cosmos. Petri Nets (2018)
Serge Haddad, Benjamin Monmege
Interval iteration algorithm for MDPs and IMDPs. Theor. Comput. Sci. 735 (2018)
Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
Trading Optimality for Performance in Location Privacy. CoRR (2017)
Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
The Logical View on Continuous Petri Nets. ACM Trans. Comput. Log. 18 (3) (2017)
Béatrice Bérard, Serge Haddad, Engel Lefaucheux
Probabilistic Disclosure: Maximisation vs. Minimisation. FSTTCS (2017)
Patricia Bouyer, Serge Haddad, Vincent Jugé
Unbounded product-form Petri nets. CoRR (2017)
Patricia Bouyer, Serge Haddad, Vincent Jugé
Unbounded Product-Form Petri Nets. CONCUR (2017)
Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
Trading Optimality for Performance in Location Privacy. VALUETOOLS (2017)
Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon
Optimal constructions for active diagnosis. J. Comput. Syst. Sci. 83 (1) (2017)
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
Diagnosis in Infinite-State Probabilistic Systems. CONCUR (2016)
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
Accurate Approximate Diagnosability of Stochastic Systems. LATA (2016)
Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
Approaching the Coverability Problem Continuously. TACAS (2016)
Serge Haddad
Exact and Approximate Diagnosis of Probabilistic Systems. VECoS (2016)
Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
Interrupt Timed Automata with Auxiliary Clocks and Parameters. Fundam. Informaticae 143 (3-4) (2016)
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 (2015)
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial Interrupt Timed Automata. CoRR (2015)
Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
State Space Reduction Strategie for Model Checking Concurrent C Programs. VECoS (2015)
Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas
Polynomial Interrupt Timed Automata. RP (2015)
Estíbaliz Fraca, Serge Haddad
Complexity Analysis of Continuous Petri Nets. Fundam. Informaticae 137 (1) (2015)
Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon
Active diagnosis with observable quiescence. CDC (2015)
Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
Approaching the Coverability Problem Continuously. CoRR (2015)
Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët
Active Diagnosis for Probabilistic Systems. FoSSaCS (2014)
Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
Specifying and Verifying Concurrent C Programs with TLA+. FTSCS (2014)
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
Foundation of Diagnosis and Predictability in Probabilistic Systems. FSTTCS (2014)
Serge Haddad, Jetty Kleijn, Lucia Pomello
Preface. Fundam. Informaticae 131 (1) (2014)
Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
Interrupt Timed Automata with Auxiliary Clocks and Parameters. CoRR (2014)
Serge Haddad, Benjamin Monmege
Reachability in MDPs: Refining Convergence of Value Iteration. RP (2014)
Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. Comput. J. 57 (12) (2014)
Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
The expressive power of time Petri nets. Theor. Comput. Sci. 474 (2013)
Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
Parametric Interrupt Timed Automata. RP (2013)
Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen
Synthesis and Analysis of Product-form Petri Nets. Fundam. Informaticae 122 (1-2) (2013)
Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon
Optimal Constructions for Active Diagnosis. FSTTCS (2013)
Serge Haddad, Rolf Hennicker, Mikael H. Møller
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. TGC (2013)
Serge Haddad, Lynda Mokdad, Samir Youcef
Bounding models families for performance evaluation in composite Web services. J. Comput. Sci. 4 (4) (2013)
S. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët
The Steady-State Control Problem for Markov Decision Processes. QEST (2013)
Serge Haddad, Rolf Hennicker, Mikael H. Møller
Channel Properties of Asynchronously Composed Petri Nets. Petri Nets (2013)
Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
Ordinal theory for expressiveness of well-structured transition systems. Inf. Comput. 224 (2013)
Estíbaliz Fraca, Serge Haddad
Complexity Analysis of Continuous Petri Nets. Petri Nets (2013)
Béatrice Bérard, Serge Haddad, Mathieu Sassolas
Interrupt Timed Automata: verification and expressiveness CoRR (2012)
Béatrice Bérard, Serge Haddad, Mathieu Sassolas
Interrupt Timed Automata: verification and expressiveness. Formal Methods Syst. Des. 40 (1) (2012)
Serge Haddad, Sylvain Schmitz, Philippe Schnoebelen
The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets. LICS (2012)
Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder
Concurrent Games on VASS with Inhibition. CONCUR (2012)
Benoît Barbot, Serge Haddad, Claudine Picaronny
Coupling and Importance Sampling for Statistical Model Checking. TACAS (2012)
Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker
Refinement and Asynchronous Composition of Modal Petri Nets. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen
Synthesis and Analysis of Product-form Petri Nets CoRR (2011)
Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen
Synthesis and Analysis of Product-Form Petri Nets. Petri Nets (2011)
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
HASL: an expressive language for statistical verification of stochastic models. VALUETOOLS (2011)
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. QEST (2011)
Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Lumping partially symmetrical stochastic models. Perform. Evaluation 68 (1) (2011)
Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
Ordinal Theory for Expressiveness of Well Structured Transition Systems. FoSSaCS (2011)
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
Petri nets compositional modeling and verification of Flexible Manufacturing Systems. CASE (2011)
Béatrice Bérard, Serge Haddad, Mathieu Sassolas
Real Time Properties for Interrupt Timed Automata. TIME (2010)
Laura Recalde, Serge Haddad, Manuel Silva Suárez
Continuous Petri Nets: Expressive Power and Decidability Issues. Int. J. Found. Comput. Sci. 21 (2) (2010)
Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker
Process Refinement and Asynchronous Composition with Modalities. ACSD/Petri Nets Workshops (2010)
Serge Haddad, Lynda Mokdad, Samir Youcef
Response time of BPEL4WS constructors. ISCC (2010)
Serge Haddad, Lynda Mokdad, Samir Youcef
Selection of the Best composite Web Service Based on Quality of Service. ISSS/BPSC (2010)
Serge Haddad, Nihal Pekergin
Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains. QEST (2009)
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) (2009)
Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
Parametric NdRFT for the derivation of optimal repair strategies. DSN (2009)
Susanna Donatelli, Serge Haddad, Jeremy Sproston
Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. 35 (2) (2009)
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
Undecidability Results for Timed Automata with Silent Transitions. Fundam. Informaticae 92 (1-2) (2009)
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)
Mahdi Zargayouna, Flavien Balbo, Serge Haddad
Agents Secure Interaction in Data driven Languages. MALLOW (2009)
Mahdi Zargayouna, Flavien Balbo, Serge Haddad
Data Driven Language for Agents Secure Interaction. LADS (2009)
Béatrice Bérard, Serge Haddad
Interrupt Timed Automata. FoSSaCS (2009)
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Non deterministic repairable fault trees for computing optimal repair strategy. VALUETOOLS (2008)
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
Timed Petri nets and timed automata: On the discriminating power of zeno sequences. Inf. Comput. 206 (1) (2008)
Mehdi Ben Hmida, Serge Haddad
Client Synthesis for Aspect Oriented Web Services. Monterey Workshop (2008)
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) (2008)
Susanna Donatelli, Serge Haddad, Jeremy Sproston
: an Expressive Logic for Continuous-Time Markov Chains. QEST (2007)
Serge Haddad, Patrice Moreaux
Sub-stochastic matrix analysis for bounds computation - Theoretical results. Eur. J. Oper. Res. 176 (2) (2007)
Marco Beccuti, Giuliana Franceschinis, Serge Haddad
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN (2007)

Serge Haddad.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Serge Haddad