Départements de recherche

Accueil > Annuaire > annuaire

Annuaire


Retour à la liste

Informatique


UFC - UFR ST

Doctorant

  • Tél. : 03.63.08.24.00
  • Adresse :

Actuellement doctorant à l'université de franche-comté sous la direction d'O. Kouchnarenko et F. Peureux, j'effectue des recherches dans le domaine de la validation ainsi que de la reconfiguration de réseaux de Petri avec modalités.

Vous trouverez ici la liste de mes publications. Si vous êtes intéressés par l'une d'entre elles, et ne pouvez pas en obtenir une copie, n'hésitez pas à me contacter

Listes des publications :

Category article
2018
  • Nested graphs: A model to efficiently distribute multi‐agent systems on HPC clusters
    Concurrency and Computation: Practice and Experience (Volume 30, Issue (7), apr 2018, Pages :e4407 (24 pages))
    Rousset, Alban | Herrmann, Bénédicte | Lang, Christophe | Philippe, Laurent | Bride, Hadrien
    pdf | doi | bibtex
2016
  • Tri-modal under-approximation for test generation
    Science of Computer Programming (Volume 132, Issue (2), aug 2016, Pages :190 - 208)
    Bride, Hadrien | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
Category inproceedings
2017
  • Reduction of Workflow Nets for Generalised Soundness Verification
    18th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI'17) / Paris, France (Publisher : Springer, Volume 10145, 2017, Pages pages 91 - 111)
    Bride, Hadrien | Peureux, Fabien | Kouchnarenko, Olga
    pdf | doi | bibtex
2016
  • Using Nested Graphs to Distribute Parallel and Distributed Multi-Agent Systems
    2016, 24th International Conference on Parallel, Distributed, and Network-Based Processing (PDP) / Heraklion, Greece (2016, Pages pages 710 - 717)
    Rousset, Alban | Herrmann, Bénédicte | Lang, Christophe | Philippe, Laurent | Bride, Hadrien
    pdf | doi | bibtex
  • Comparing CLP(FD) and SMT Approaches Applied to Workflow Nets Verification
    15 èmes journées Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2016) (Publisher : FEMTO-ST, 2016, Pages pages 11 - 12)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
    pdf | bibtex
  • Workflow Nets Verification: SMT or CLP?
    Critical Systems: Formal Methods and Automated Verification, FMICS-AVoCS 2016 / Pisa, Italy (Publisher : Springer, Volume 9933, 2016, Pages pages 39 - 55)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
    pdf | doi | bibtex
2015
  • Tri-Modal Under-Approximation of Event Systems for Test Generation
    SAC 2015, 30th ACM/SIGAPP Symposium On Applied Computing / Salamanca, Spain (2015, Pages pages 1737--1744)
    Bride, Hadrien | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
    Perspectives of System Informatics / Kazan, Russia (Publisher : Springer, Volume 9609, 2015, Pages pages 75 - 90)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
    doi | bibtex
2014
  • Verifying Modal Workflow Specifications using Constraint Solving
    IFM'14, 11-th Int. Conf. on Integrated Formal Methods / Bertinoro, Italy (Publisher : Springer, Volume 8739, 2014, Pages pages 171--186)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
    pdf | doi | bibtex