Départements de recherche

Accueil > Annuaire > annuaire

Annuaire


Retour à la liste

Guillaume Voiron

DISC
Equipe : VESONTIO

  • Tél. : 06.70.30.55.81
  • Courriel : gvoiron@femto-st.fr
  • Adresse : 16 route de Gray CS11809 25030 BESANCON cedex

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 inproceedings
2017
  • Two Under-Approximation Techniques for 3-Modal Abstraction Coverage of Event Systems: Joint Effort?
    TASE 2017, 11th Int. Symposium on Theoretical Aspects of Software Engineering / Sophia Antipolis, France (2017)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | bibtex
  • Approximer des abstractions de systèmes d'événements en couvrant leurs états et leurs transitions
    AFADL 2017, 16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels / Montpellier, France (2017, Pages pages 93 - 94)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | bibtex
  • Approximating Event System Abstractions by Covering their States and Transitions
    PSI'17, A.P. Ershov Informatics Conference (the PSI Conference Series, 11th edition) / Moscow, Russia (2017)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | bibtex
2016
  • 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
Category techreport
2017
  • Approximating Event System Abstractions by Covering their States and Transitions
    (feb 2017, Research Report, Number RR–FEMTO-ST–2496)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    bibtex