Research departments

Home > Directory > directory

Directory


Return to the list

Informatique


UFC - UFR ST

Doctorant

  • Tel. : 03.63.08.24.00
  • Address :

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.

You can find here my publication list. If you want to obtain a copy of one of them and you can not obtain it otherwise, please contact me

Publication list :

Category article
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