X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/bibliographie.git/blobdiff_plain/2f1da93968b1c2ccd0c69148e74779a3024b1efb..4c34b0cbf5b0f3a369527f1dc8aa1df2449d7a4e:/bib/biblioand.bib?ds=sidebyside diff --git a/bib/biblioand.bib b/bib/biblioand.bib index 5237b4a..f8fc3c4 100644 --- a/bib/biblioand.bib +++ b/bib/biblioand.bib @@ -1,6 +1,109 @@ % This file was created with JabRef 2.3.1. % Encoding: ANSI_X3.4-1968 + + +@inproceedings{couchot04:onp, +inhal = {no}, +author = {Couchot, Jean-Fran\c{c}ois}, +title = {V\'erification d'invariant par superposition}, +booktitle = {{MAJECSTIC}'04, {MA}nifestation de {JE}unes {C}hercheurs {STIC}}, +address = {Calais, France}, +ps = {http://lifc.univ-fcomte.fr/~couchot/pubs/cou04.ps.gz}, +url = {http://lil.univ-littoral.fr/~lewandowski/majecstic/programme.html}, +note = {Actes en ligne sur { t http://lil.univ-littoral.fr/\~{}lewandowski/majecstic/programme.html}}, +abstract = {Un système d'événements B modélise un système d'intérêt et l'environnement avec lequel il réagit. Il permet d'exprimer une spécification abstraite au niveau ensembliste, dont les événements sont parfois indéterministes et dont la propriété de cohérence, appelée invariant, s'exprime à l'aide d'une formule logique du premier ordre. Cette étude s'applique à un langage de spécification équivalent à une classe de systèmes d'événements qui conserve les notions d'ensemble, d'indéterminisme et d'invariant écrit en logique équationnelle du premier ordre. Elle propose une démarche de vérification automatique d'invariant inductif et de construction d'un tel invariant par renforcement. L'apport principal est le caractère automatique de la démarche, fondée sur une procédure de décision par superposition. L'étude est illustrée par deux exemples d'algorithmes d'exclusion mutuelle.}, +month = oct, +year = 2004, + +} + + + + +@inproceedings{aangc+15:ip, +inhal = {no}, +domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, +equipe = {and}, +classement = {ACTI}, +author = {Alkindy, Bassam and Al'Nayyef, Huda and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques}, +title = {Improved Core Genes Prediction for Constructing well-supported Phylogenetic Trees in large sets of Plant Species}, +booktitle = {IWBBIO 2015, 3rd Int. Work-Conf. on Bioinformatics and Biomedical Engineering, Part I}, +pages = {379--390}, +doi = {10.1007/978-3-319-16483-0_38}, +url = {http://dx.doi.org/10.1007/978-3-319-16483-0_38}, +series = {LNCS}, +volume = 9043, +address = {Granada, Spain}, +month = apr, +year = 2015, + +} + + + + + + + +@inproceedings{agcs+15:ip, +inhal = {no}, +domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, +equipe = {and}, +classement = {ACTI}, +author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Parisod, Christian and Bahi, Jacques}, +affiliation = {Christian Parisod est privat docent a l'Université de Neuchatel (Suisse)}, +title = {Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees based on Subsets of Chloroplastic Core Genes}, +booktitle = {AlCoB 2015, 2nd Int. Conf. on Algorithms for Computational Biology}, +pages = {***--***}, +series = {LNCS/LNBI}, +volume = {*}, +publisher = {Springer}, +address = {Mexico City, Mexico}, +day = 4, +month = aug, +year = 2015, +note = {To appear in the LNCS/LNBI series}, + +} + + + +@inproceedings{bcg11:ip, +inhal = {no}, +domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, +equipe = {and}, +classement = {ACTI}, +author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe}, +title = {Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations}, +booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet}, +pages = {52--57}, +address = {Luxembourg, Luxembourg}, +month = jun, +year = 2011, +note = {Best paper award}, + +} + +@article{bcg12:ij, +inhal = {no}, +domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, +equipe = {and}, +classement = {ACLNI}, +impact-factor ={#}, +isi-acro = {#}, +author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe}, +title = {Quality analysis of a chaotic proven keyed hash function}, +journal = {International Journal On Advances in Internet Technology}, +pages = {26--33}, +volume = 5, +number = 1, +publisher = {IARIA}, +year = 2012, + +} + + @article{ccg15:ij, inhal = {no}, domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, @@ -152,30 +255,78 @@ howpublished = {15-th Mons Theoretical Computer Science Days (15e Journ\'ees Mon day = 23, month = sep, year = 2014, +} + +@inproceedings{aagp+15:ip, +inhal = {no}, +domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, +equipe = {and}, +classement = {ACTIN}, +author = {Alsrraj, Reem and Alkindy, Bassam and Guyeux, Christophe and Philippe, Laurent and Couchot, Jean-Fran\c{c}ois}, +title = {Well-supported phylogenies using largest subsets of core-genes by discrete particle swarm optimization}, +booktitle = {CIBB 2015, 12th Int. Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics}, +pages = {***--***}, +address = {Naples, Italy}, +day = 10, +month = sep, +year = 2015, +note = {To appear}, + +} + +@inproceedings{acgm+14:ij, +inhal = {no}, +domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, +equipe = {and}, +classement = {ACTI}, +author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Mouly, Arnaud and Salomon, Michel and Bahi, Jacques}, +title = {Finding the Core-Genes of Chloroplasts}, +booktitle = {ICBBS 2014, 3rd Int. Conf. on Bioinformatics and Biomedical Science}, +pages = {357--364}, +series = {IJBBB, Journal of Bioscience, Biochemistery, and Bioinformatics}, +number = {4(5)}, +doi = {10.7763/IJBBB.2014.V4.371}, +url = {http://dx.doi.org/10.7763/IJBBB.2014.V4.371}, +address = {Copenhagen, Denmark}, +day = 18, +month = jun, +year = 2014, } -@InProceedings{, - author = {Bassam Alkindy, Christophe Guyeux, Jean-François Couchot, -Michel Salomon, Jacques M Bahi}, - title = {Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts}, - OPTcrossref = {}, - OPTkey = {}, - booktitle = {The IEEE International Conference on Bioinformatics and Biomedicine (BIBM)}, - OPTyear = {2014}, - OPTeditor = {}, - OPTvolume = {}, - OPTnumber = {}, - OPTseries = {}, - pages = {***--***}, - month = nov, - address = {Belfast, UK}, - OPTorganization = {}, - publisher = {IEE }, - note = {To appear}, - OPTannote = {} + + + +@inproceedings{akgcs+14:oip, +inhal = {no}, +domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, +equipe = {and}, +classement = {COM}, +author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques}, +title = {Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts}, +booktitle = {BIBM14, IEEE Int. Conf. on Bioinformatics and Biomedicine}, +address = {Belfast, United Kingdom}, +day = 2, +month = nov, +year = 2014, +note = {Short paper}, } +@misc{acgs13:onp, +inhal = {no}, +domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO}, +equipe = {and}, +classement = {COM}, +author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Salomon, Michel}, +title = {Finding the core-genes of Chloroplast Species}, +howpublished = {Journ\'ees SeqBio 2013, Montpellier}, +month = nov, +year = 2013, + +} + + + @PhdThesis{guyeuxphd, @@ -235,6 +386,70 @@ year = 2006, Pages = "53--65" } +@inproceedings{cg04:np, +inhal = {no}, +author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain}, +title = {Analyse d'atteignabilit\'e d\'eductive}, +booktitle = {Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL'04}, +pages = {269--283}, +editor = {Julliand, Jacques}, +address = {Besan\c{c}on, France}, +month = jun, +year = 2004, + +} + + +@article{cdgr03:ij, +inhal = {no}, +author = {Couchot, Jean-Fran\c{c}ois and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.}, +title = {Scalable Automated Proving and Debugging of Set-Based Specifications}, +journal = {Journal of the Brazilian Computer Society (JBCS)}, +volume = 9, +number = 2, +pages = {17--36}, +url = {http://lifc.univ-fcomte.fr/~couchot/pubs/CDGR03.pdf}, +month = nov, +year = 2003, +note = {ISSN 0104-6500}, + +} + + +@inproceedings{cddg+04:ip, +inhal = {no}, +domainehal = {INFO:INFO_SE, INFO:INFO_MO}, +equipe = {vesontio}, +author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.}, +title = {Proving and Debugging Set-Based Specifications}, +booktitle = {WMF'03 proceedings}, +series = {ENTCS, Electronic Notes in Theoretical Computer Science}, +volume = 95, +pages = {189--208}, +editor = {A. Cavalcanti and P. Machado}, +address = {Campina Grande, Brazil}, +url = {http://dx.doi.org/10.1016/j.entcs.2004.04.012}, +month = may, +year = 2004, + +} + + +@inproceedings{cdgr04:onp, +inhal = {no}, +author = {Couchot, Jean-Fran\c{c}ois and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.}, +title = {{B}arvey~: {V}\'erification automatique de consistance de machines abstraites {B}}, +pages = {369--372}, +booktitle = {AFADL'04, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, }, +address = {Besan\c{c}on, France}, +month = jun, +year = 2004, +editor = {Julliand, Jacques}, +note = {Session outils}, + +} + + @INPROCEEDINGS{CGK05, author = {Jean-Fran\c{c}ois Couchot and Alain Giorgetti and Nikolai Kosmatov}, title = {A uniform deductive approach for parameterized protocol safety},