researcher / Serge Haddad

Serge Haddad

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Une categorie reguliere de reseau de petri de haut niveau : definition, proprietes et reductions, application a la validation de systemes distribues

Directed Thesis:

Applying Formal Methods to Autonomous Vehicle Control
Controlling information in probalistic systems
Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle
Acceleration for statistical model checking
Numerical and statistical approaches for model checking of stochastic processes
Méthodes et outils d'évaluation de performances des services web
Un langage et un environnement de conception et de développement de services web complexes
Vers l’adaptabilité dynamique des architectures orientées services
Exploitation des symétries partielles pour la vérification et l'évaluation de performances des systèmes finis
Modèle et langage de coordination pour les systèmes multi-agents ouverts : Application au problème du Transport à la Demande
Sémantique, interactions et langages de description des services web complexes
Auto-stabilisation : gestion de robots mobiles et confinement de fautes
Interopérabilité des services Web Complexes : Application aux systèmes multi-agents
Réseaux de Petri : vérification symbolique et modulaire
Méthodes et outils d'évaluation des systèmes transactionnels répartis
Ingénierie des protocoles d'interaction : des systèmes distribués aux systèmes multi-agents
Agrément hiérarchique et services CORBA de communication de groupe dans des réseaux étendus
Definition d'un langage de type logique temporelle pour la specification et l'evaluation de performances
Stratégies d'exécution de plans d'un système multiagent
Structuration des chaines de Markov des réseaux de Petri stochastiques : décomposition tensorielle et agrégation
Verification et calcul de proprietes de surete non lineaires dans les reseaux de petri et leurs extensions
Graphe symbolique parametre de reseaux de petri et logique temporelle