Concepedia

Serge Haddad

SH

47

Publications

1.7K

Citations

22

H-Index

1993

Active since

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Centre National de la Recherche Scientifique

Université Paris Dauphine-PSL

Laboratoire Spécification et Vérification

Sorbonne Université

Serge Haddad is an author at École Normale Supérieure Paris-Saclay specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationAutomated ReasoningVerificationComputer EngineeringComputational ComplexityProgram Analysis

Publications per year

1993–2017

47

Publications

47

Stochastic well-formed colored nets and symmetric modeling applications

G. Chiola, C. Dutheillet, G. Franceschinis et al. · IEEE Transactions on Computers · 1993 · 331 citations

Petri Net, Engineering, Reachability Problem +21

Open protocol design for complex interactions in multi-agent systems

Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad · 2002 · 107 citations · Full text

Engineering, Verification, Generic Approach +19

Model Checking Timed and Stochastic Properties with CSL^{TA}

Susanna Donatelli, Serge Haddad, Jeremy Sproston · IEEE Transactions on Software Engineering · 2008 · 97 citations

Model Checking Timed, Markov Chains, Logical Automaton +15

A symbolic reachability graph for coloured petri nets

G. Chiola, C. Dutheillet, G. Franceschinis et al. · Theoretical Computer Science · 1997 · 93 citations

Petri Net, Engineering, Reachability Problem +9

Interval iteration algorithm for MDPs and IMDPs

Serge Haddad, Benjamin Monmege · Theoretical Computer Science · 2017 · 86 citations · Full text

Numerical Analysis, Mathematical Programming, Engineering +6

Rows per page

1–5 of 47