A symbolic reachability graph for coloured Petri nets. Zbl 0903.68130
Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S. |
|
1997
|
Interval iteration algorithm for MDPs and IMDPs. Zbl 1393.68103
Haddad, Serge; Monmege, Benjamin |
|
2018
|
Complexity analysis of continuous Petri nets. Zbl 1335.68169
Fraca, Estíbaliz; Haddad, Serge |
|
2015
|
The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets. Zbl 1362.68214
Haddad, Serge; Schmitz, Sylvain; Schnoebelen, Philippe |
|
2012
|
Reachability in MDPs: refining convergence of value iteration. Zbl 1393.68102
Haddad, Serge; Monmege, Benjamin |
|
2014
|
Comparison of different semantics for time Petri nets. Zbl 1170.68537
Bérard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O. H. |
|
2005
|
Comparison of the expressiveness of timed automata and time Petri nets. Zbl 1175.68270
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H. |
|
2005
|
Recursive Petri nets. Zbl 1133.68056
Haddad, Serge; Poitrenaud, Denis |
|
2007
|
Approaching the coverability problem continuously. Zbl 1420.68144
Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge |
|
2016
|
The logical view on continuous Petri nets. Zbl 1407.68329
Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge |
|
2017
|
Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Zbl 1133.68053
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain |
|
2008
|
Foundation of diagnosis and predictability in probabilistic systems. Zbl 1360.68627
Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel |
|
2014
|
Active diagnosis for probabilistic systems. Zbl 1405.68223
Bertrand, Nathalie; Fabre, Éric; Haar, Stefan; Haddad, Serge; Hélouët, Loïc |
|
2014
|
Timed Petri nets and timed automata: on the discriminating power of Zeno sequences. Zbl 1133.68383
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain |
|
2006
|
Design and evaluation of a symbolic and abstraction-based model checker. Zbl 1108.68501
Haddad, Serge; Ilié, Jean-Michel; Klai, Kais |
|
2004
|
Theoretical aspects of recursive Petri nets. Zbl 0935.68072
Haddad, Serge; Poitrenaud, Denis |
|
1999
|
Accurate approximate diagnosability of stochastic systems. Zbl 1443.68082
Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel |
|
2016
|
Timed unfoldings for networks of timed automata. Zbl 1161.68614
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain |
|
2006
|
Undecidability results for timed automata with silent transitions. Zbl 1176.68099
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain |
|
2009
|
The expressive power of time Petri nets. Zbl 1259.68141
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H. |
|
2013
|
Continuous Petri nets: expressive power and decidability issues. Zbl 1200.68164
Recalde, Laura; Haddad, Serge; Silva, Manuel |
|
2010
|
Interrupt timed automata. Zbl 1234.68195
Bérard, Beatrice; Haddad, Serge |
|
2009
|
Channel properties of asynchronously composed Petri nets. Zbl 1381.68203
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H. |
|
2013
|
Modelling and analyzing systems with recursive Petri nets. Zbl 1009.68090
Haddad, Serge; Poitrenaud, Denis |
|
2000
|
Parametric interrupt timed automata. Zbl 1355.68148
Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier |
|
2013
|
Polynomial interrupt timed automata. Zbl 1471.68113
Bérard, Béatrice; Haddad, Serge; Picaronny, Claudine; Safey El Din, Mohab; Sassolas, Mathieu |
|
2015
|
Concurrent games on VASS with inhibition. Zbl 1364.68275
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie |
|
2012
|
A tale of two diagnoses in probabilistic systems. Zbl 1435.68212
Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel |
|
2019
|
Optimal constructions for active diagnosis. Zbl 1350.68052
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan |
|
2017
|
Syntactical colored Petri nets reductions. Zbl 1170.68538
Evangelista, S.; Haddad, S.; Pradat-Peyre, J.-F. |
|
2005
|
Markov decision Petri net and Markov decision well-formed net formalisms. Zbl 1226.68049
Beccuti, M.; Franceschinis, G.; Haddad, S. |
|
2007
|
Refinement and asynchronous composition of modal Petri nets. Zbl 1350.68201
Elhog-Benzina, Dorsaf; Haddad, Serge; Hennicker, Rolf |
|
2012
|
Interrupt timed automata: verification and expressiveness. Zbl 1247.68124
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu |
|
2012
|
Asynchronous composition of high level Petri nets: a quantitative approach. Zbl 1418.68141
Haddad, Serge; Moreaux, Patrice |
|
1996
|
Minimal coverability tree construction made complete and efficient. Zbl 07250941
Finkel, Alain; Haddad, Serge; Khmelnitsky, Igor |
|
2020
|
Specification of asynchronous component systems with modal I/O-Petri nets. Zbl 1348.68162
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H. |
|
2014
|
Interrupt timed automata with auxiliary clocks and parameters. Zbl 1357.68100
Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier |
|
2016
|
Coupling and importance sampling for statistical model checking. Zbl 1352.68143
Barbot, Benoît; Haddad, Serge; Picaronny, Claudine |
|
2012
|
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68029
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H. |
|
2008
|
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68424
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H. |
|
2005
|
Sub-stochastic matrix analysis for bounds computation – theoretical results. Zbl 1109.90076
Haddad, Serge; Moreaux, Patrice |
|
2007
|
A new approach to the evaluation of non Markovian stochastic Petri nets. Zbl 1234.68301
Haddad, Serge; Mokdad, Lynda; Moreaux, Patrice |
|
2006
|
Optimal constructions for active diagnosis. Zbl 1359.68169
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan |
|
2013
|
Symbolic reachability graph and partial symmetries. Zbl 1496.68226
Haddad, S.; Ilié, J. M.; Taghelit, M.; Zouari, B. |
|
1995
|
Synthesis and analysis of product-form Petri nets. Zbl 1301.68188
Haddad, Serge; Mairesse, Jean; Nguyen, Hoang-Thach |
|
2013
|
Property-directed verification and robustness certification of recurrent neural networks. Zbl 1497.68311
Khmelnitsky, Igor; Neider, Daniel; Roy, Rajarshi; Xie, Xuan; Barbot, Benoît; Bollig, Benedikt; Finkel, Alain; Haddad, Serge; Leucker, Martin; Ye, Lina |
|
2021
|
Diagnosis in infinite-state probabilistic systems. Zbl 1392.68230
Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel |
|
2016
|
Coverability, termination, and finiteness in recursive Petri nets. Zbl 1522.68362
Finkel, Alain; Haddad, Serge; Khmelnitsky, Igor |
|
2021
|
Probabilistic disclosure: maximisation vs. minimisation. Zbl 1491.68106
Bérard, Béatrice; Haddad, Serge; Lefaucheux, Engel |
|
2018
|
Modular verification of Petri nets properties: A structure-based approach. Zbl 1169.68546
Klai, Kais; Haddad, Serge; Ilié, Jean-Michel |
|
2005
|
Continuous Petri nets: Expressive power and decidability issues. Zbl 1141.68514
Recalde, Laura; Haddad, Serge; Silva, Manuel |
|
2007
|
On the computational power of timed differentiable Petri nets. Zbl 1141.68508
Haddad, Serge; Recalde, Laura; Silva, Manuel |
|
2006
|
Complexity analysis of continuous Petri nets. Zbl 1381.68201
Fraca, Estíbaliz; Haddad, Serge |
|
2013
|
Structural characterization and qualitative properties of product form stochastic Petri nets. Zbl 0986.68095
Haddad, Serge; Moreaux, Patrice; Sereno, Matteo; Silva, Manuel |
|
2001
|
Commodification of accelerations for the Karp and Miller construction. Zbl 1478.93393
Finkel, Alain; Haddad, Serge; Khmelnitsky, Igor |
|
2021
|
Coverability and termination in recursive Petri nets. Zbl 1532.68043
Finkel, Alain; Haddad, Serge; Khmelnitsky, Igor |
|
2019
|
Ordinal theory for expressiveness of well structured transition systems. Zbl 1326.68198
Bonnet, Remi; Finkel, Alain; Haddad, Serge; Rosa-Velardo, Fernando |
|
2011
|
Efficient handling of phase-type distributions in generalized stochastic Petri nets. Zbl 1510.68059
Haddad, Serge; Moreaux, Patrice; Chiola, Giovanni |
|
1997
|
Memoryless determinacy of finite parity games: another simple proof. Zbl 1429.91076
Haddad, Serge |
|
2018
|
Ordinal theory for expressiveness of well-structured transition systems. Zbl 1286.68343
Bonnet, Rémi; Finkel, Alain; Haddad, Serge; Rosa-Velardo, Fernando |
|
2013
|
Polynomial interrupt timed automata: verification and expressiveness. Zbl 1475.68145
Bérard, B.; Haddad, S.; Picaronny, C.; Safey El Din, M.; Sassolas, M. |
|
2021
|
Guarded autonomous transitions increase conciseness and expressiveness of timed automata. Zbl 07317099
Donatelli, Susanna; Haddad, Serge |
|
2020
|
32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Zbl 1468.68015
|
|
2021
|
Expressiveness and conciseness of timed automata for the verification of stochastic models. Zbl 1437.68114
Donatelli, Susanna; Haddad, Serge |
|
2020
|
Property-directed verification and robustness certification of recurrent neural networks. Zbl 1497.68311
Khmelnitsky, Igor; Neider, Daniel; Roy, Rajarshi; Xie, Xuan; Barbot, Benoît; Bollig, Benedikt; Finkel, Alain; Haddad, Serge; Leucker, Martin; Ye, Lina |
|
2021
|
Coverability, termination, and finiteness in recursive Petri nets. Zbl 1522.68362
Finkel, Alain; Haddad, Serge; Khmelnitsky, Igor |
|
2021
|
Commodification of accelerations for the Karp and Miller construction. Zbl 1478.93393
Finkel, Alain; Haddad, Serge; Khmelnitsky, Igor |
|
2021
|
Polynomial interrupt timed automata: verification and expressiveness. Zbl 1475.68145
Bérard, B.; Haddad, S.; Picaronny, C.; Safey El Din, M.; Sassolas, M. |
|
2021
|
32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Zbl 1468.68015
|
|
2021
|
Minimal coverability tree construction made complete and efficient. Zbl 07250941
Finkel, Alain; Haddad, Serge; Khmelnitsky, Igor |
|
2020
|
Guarded autonomous transitions increase conciseness and expressiveness of timed automata. Zbl 07317099
Donatelli, Susanna; Haddad, Serge |
|
2020
|
Expressiveness and conciseness of timed automata for the verification of stochastic models. Zbl 1437.68114
Donatelli, Susanna; Haddad, Serge |
|
2020
|
A tale of two diagnoses in probabilistic systems. Zbl 1435.68212
Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel |
|
2019
|
Coverability and termination in recursive Petri nets. Zbl 1532.68043
Finkel, Alain; Haddad, Serge; Khmelnitsky, Igor |
|
2019
|
Interval iteration algorithm for MDPs and IMDPs. Zbl 1393.68103
Haddad, Serge; Monmege, Benjamin |
|
2018
|
Probabilistic disclosure: maximisation vs. minimisation. Zbl 1491.68106
Bérard, Béatrice; Haddad, Serge; Lefaucheux, Engel |
|
2018
|
Memoryless determinacy of finite parity games: another simple proof. Zbl 1429.91076
Haddad, Serge |
|
2018
|
The logical view on continuous Petri nets. Zbl 1407.68329
Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge |
|
2017
|
Optimal constructions for active diagnosis. Zbl 1350.68052
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan |
|
2017
|
Approaching the coverability problem continuously. Zbl 1420.68144
Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge |
|
2016
|
Accurate approximate diagnosability of stochastic systems. Zbl 1443.68082
Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel |
|
2016
|
Interrupt timed automata with auxiliary clocks and parameters. Zbl 1357.68100
Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier |
|
2016
|
Diagnosis in infinite-state probabilistic systems. Zbl 1392.68230
Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel |
|
2016
|
Complexity analysis of continuous Petri nets. Zbl 1335.68169
Fraca, Estíbaliz; Haddad, Serge |
|
2015
|
Polynomial interrupt timed automata. Zbl 1471.68113
Bérard, Béatrice; Haddad, Serge; Picaronny, Claudine; Safey El Din, Mohab; Sassolas, Mathieu |
|
2015
|
Reachability in MDPs: refining convergence of value iteration. Zbl 1393.68102
Haddad, Serge; Monmege, Benjamin |
|
2014
|
Foundation of diagnosis and predictability in probabilistic systems. Zbl 1360.68627
Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel |
|
2014
|
Active diagnosis for probabilistic systems. Zbl 1405.68223
Bertrand, Nathalie; Fabre, Éric; Haar, Stefan; Haddad, Serge; Hélouët, Loïc |
|
2014
|
Specification of asynchronous component systems with modal I/O-Petri nets. Zbl 1348.68162
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H. |
|
2014
|
The expressive power of time Petri nets. Zbl 1259.68141
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H. |
|
2013
|
Channel properties of asynchronously composed Petri nets. Zbl 1381.68203
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H. |
|
2013
|
Parametric interrupt timed automata. Zbl 1355.68148
Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier |
|
2013
|
Optimal constructions for active diagnosis. Zbl 1359.68169
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan |
|
2013
|
Synthesis and analysis of product-form Petri nets. Zbl 1301.68188
Haddad, Serge; Mairesse, Jean; Nguyen, Hoang-Thach |
|
2013
|
Complexity analysis of continuous Petri nets. Zbl 1381.68201
Fraca, Estíbaliz; Haddad, Serge |
|
2013
|
Ordinal theory for expressiveness of well-structured transition systems. Zbl 1286.68343
Bonnet, Rémi; Finkel, Alain; Haddad, Serge; Rosa-Velardo, Fernando |
|
2013
|
The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets. Zbl 1362.68214
Haddad, Serge; Schmitz, Sylvain; Schnoebelen, Philippe |
|
2012
|
Concurrent games on VASS with inhibition. Zbl 1364.68275
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie |
|
2012
|
Refinement and asynchronous composition of modal Petri nets. Zbl 1350.68201
Elhog-Benzina, Dorsaf; Haddad, Serge; Hennicker, Rolf |
|
2012
|
Interrupt timed automata: verification and expressiveness. Zbl 1247.68124
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu |
|
2012
|
Coupling and importance sampling for statistical model checking. Zbl 1352.68143
Barbot, Benoît; Haddad, Serge; Picaronny, Claudine |
|
2012
|
Ordinal theory for expressiveness of well structured transition systems. Zbl 1326.68198
Bonnet, Remi; Finkel, Alain; Haddad, Serge; Rosa-Velardo, Fernando |
|
2011
|
Continuous Petri nets: expressive power and decidability issues. Zbl 1200.68164
Recalde, Laura; Haddad, Serge; Silva, Manuel |
|
2010
|
Undecidability results for timed automata with silent transitions. Zbl 1176.68099
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain |
|
2009
|
Interrupt timed automata. Zbl 1234.68195
Bérard, Beatrice; Haddad, Serge |
|
2009
|
Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Zbl 1133.68053
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain |
|
2008
|
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68029
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H. |
|
2008
|
Recursive Petri nets. Zbl 1133.68056
Haddad, Serge; Poitrenaud, Denis |
|
2007
|
Markov decision Petri net and Markov decision well-formed net formalisms. Zbl 1226.68049
Beccuti, M.; Franceschinis, G.; Haddad, S. |
|
2007
|
Sub-stochastic matrix analysis for bounds computation – theoretical results. Zbl 1109.90076
Haddad, Serge; Moreaux, Patrice |
|
2007
|
Continuous Petri nets: Expressive power and decidability issues. Zbl 1141.68514
Recalde, Laura; Haddad, Serge; Silva, Manuel |
|
2007
|
Timed Petri nets and timed automata: on the discriminating power of Zeno sequences. Zbl 1133.68383
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain |
|
2006
|
Timed unfoldings for networks of timed automata. Zbl 1161.68614
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain |
|
2006
|
A new approach to the evaluation of non Markovian stochastic Petri nets. Zbl 1234.68301
Haddad, Serge; Mokdad, Lynda; Moreaux, Patrice |
|
2006
|
On the computational power of timed differentiable Petri nets. Zbl 1141.68508
Haddad, Serge; Recalde, Laura; Silva, Manuel |
|
2006
|
Comparison of different semantics for time Petri nets. Zbl 1170.68537
Bérard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O. H. |
|
2005
|
Comparison of the expressiveness of timed automata and time Petri nets. Zbl 1175.68270
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H. |
|
2005
|
Syntactical colored Petri nets reductions. Zbl 1170.68538
Evangelista, S.; Haddad, S.; Pradat-Peyre, J.-F. |
|
2005
|
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68424
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H. |
|
2005
|
Modular verification of Petri nets properties: A structure-based approach. Zbl 1169.68546
Klai, Kais; Haddad, Serge; Ilié, Jean-Michel |
|
2005
|
Design and evaluation of a symbolic and abstraction-based model checker. Zbl 1108.68501
Haddad, Serge; Ilié, Jean-Michel; Klai, Kais |
|
2004
|
Structural characterization and qualitative properties of product form stochastic Petri nets. Zbl 0986.68095
Haddad, Serge; Moreaux, Patrice; Sereno, Matteo; Silva, Manuel |
|
2001
|
Modelling and analyzing systems with recursive Petri nets. Zbl 1009.68090
Haddad, Serge; Poitrenaud, Denis |
|
2000
|
Theoretical aspects of recursive Petri nets. Zbl 0935.68072
Haddad, Serge; Poitrenaud, Denis |
|
1999
|
A symbolic reachability graph for coloured Petri nets. Zbl 0903.68130
Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S. |
|
1997
|
Efficient handling of phase-type distributions in generalized stochastic Petri nets. Zbl 1510.68059
Haddad, Serge; Moreaux, Patrice; Chiola, Giovanni |
|
1997
|
Asynchronous composition of high level Petri nets: a quantitative approach. Zbl 1418.68141
Haddad, Serge; Moreaux, Patrice |
|
1996
|
Symbolic reachability graph and partial symmetries. Zbl 1496.68226
Haddad, S.; Ilié, J. M.; Taghelit, M.; Zouari, B. |
|
1995
|