Recherche

Accueil CEDRIC > Publications > Article > Liste >

Liste des publications

2018

Revue Internationale avec comité de lecture

[BNV18a] S. Bougeard, N. Niang Keita, T. Verron, X. Bry. "Current multiblock methods: competition or complementarity? A comparative study in a unified framework.", Chemometrics and Intelligent Laboratory Systems, vol. 182, pp. 131-148, 2018, (doi:10.1016/j.chemolab.2018.09.003)
[BCS18] S. Bougeard, V. Cariou, G. Saporta, N. Niang Keita. "Prediction for regularized clusterwise multiblock regression", Applied Stochastic Models in Business and Industry, vol. 34(6), pp. 852-867, 2018, (doi:10.1002/asmb.2335)

Revue Nationale avec comité de lecture

[BLC18a] F. Benfredj , N. Lammari, I. Comyn-Wattiau. "Anonymisation de donnÃ©es par gÃ©nÃ©ralisation. MÃ©thode avec guidage", IngÃ©nierie des SystÃ¨mes d'Information, vol. 23/1 - 2018, pp. 63-87, 2018, (doi:10.3166/isi.23.1.63-87)

Conférence Nationale avec comité de lecture

[NBS18] N. Niang Keita, S. Bougeard, G. Saporta. "Clusterwise multiblock PLS ", SFC 2018, September 2018, PARIS, FRANCE,
[BNV18] S. Bougeard, N. Niang Keita, T. Verron, X. Bry. "Current multiblock methods : competition or complementarity? A comparative study in a unified framework ", Agrostat 2018, 12emes journees du groupe Agro-Industrie SFDS 14-16 Mars 2018, March 2018, Marseille, FRANCE,

Chapitres de Livre

[GDJ18] D. Ghorbanzadeh, P. Durand, L. Jaupi. "Application and generation of the univariate Skew Normal random variable", Titre du livre: "Transactions on Engineering Technologies. 25th World Congress on Engineering (WCE 2017)", August 2018, Springer Nature Singapore Pte Ltd., pp. 129-138, (doi: 10.1007/978-981-13-0746-1) (isbn: 10.1007/978-981-13-0746-1)

2017

Revue Internationale avec comité de lecture

[BAS17] S. Bougeard, H. Abdi, G. Saporta, N. Niang Keita. "Clusterwise analysis for multiblock component methods", Advances in Data Analysis and Classification, vol. 12(2), pp. 285-313, 2017, (doi:10.1007/s11634-017-0296-8)
[BEL17] A. Billionnet, S. Elloumi, A. Lambert, A. Wiegele. "Using a conic bundle method to accelerate both phases of a quadratic convex reformulation", Informs journal on Computing, vol. 29(2), pp. 318-331, 2017, (doi:10.1287/ijoc.2016.0731)

Conférence Internationale avec comité de lecture

[CZR17] P. Courtieu, Z. Zhang, Robby, J. Hatcliff, Y. Moy. "Focused Certification of an Industrial Compilation and Static Verification Toolchain", Software Engineering and Formal Methods (SEFM), August 2017, Vol. 10469, pp.17-34, Series LNCS, Trento, Italy, (DOI: 10.1007/978-3-319-66197-1_2)
[GDJ17a] D. Ghorbanzadeh, P. Durand, L. Jaupi. "Generating the Skew Normal random variable", World Congress on Engineering 2017, July 2017, Vol. I, pp.113-116, London, U.K.,
[RMR17a] E. Robinson, J. Marzat, T. RaÃ¯ssi. "Model-based prognosis using an explicit degradation model and Inverse FORM for uncertainty propagation", IFAC World Congress, July 2017, pp.., Toulouse, France,
[BCM17] Y. Bakouny, T. Crolard, D. Mezher. "A Coq-based synthesis of Scala programs which are correct-by-construction", FTfJP'17:19th Workshop on Formal Techniques for Java-like Programs Proceedings, June 2017, pp.2, Barcelona, Spain, (DOI: 10.1145/3103111.3104041)
[ACP17] J. Akoka, I. Comyn-Wattiau, N. Prat, V. Storey. "Evaluating Knowledge Types in Design Science Research: An Integrated Framework", Twelth International Conference on Design Science Research in Information Systems and Technologies, May 2017, Vol. 10243, pp.201-217, Series Lecture Notes on Computer Science, 1,

Conférences Internationales sans actes

[BNP17] S. Bougeard, N. Niang Keita, C. Preda, G. Saporta. "Clusterwise Sparse PLS", PLS'17, Macao, Chine,

2016

Conférence Internationale avec comité de lecture

[MLN16] S. Mader, G. Levieux, S. Natkin. "A Game Design Method for Therapeutic Games", 2016 8th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games), September 2016, pp.1-8, Barcelona, Spain, (DOI: 10.1109/VS-GAMES.2016.7590333)
[DKI16] R. DeneckÃ¨re, E. Kornyshova, A. Iacovelli. "Progressive Integration of Method Components: A Case of Agile IS Development Methods", Research Challenges in Information Science, June 2016, pp.1-10, Grenoble, France, (DOI: 10.1109/RCIS.2016.7549347)

Conférences invitées

[AC16] J. Akoka, I. Comyn-Wattiau. "Method Engineering - Whence and Whither", Conference on Business Informatics, August 2016, France,

2015

Revue Internationale avec comité de lecture

[BBM15] K. Barkaoui, L. Bernardinello,, A. Mokhov. "Application of Concurrency to System Design", ACM Transactions on Embedded Computing Systems (TECS) , vol. 14(4), pp. 62-63, 2015, (doi:http://dx.doi.org/10.1145/2809925)
[BB15c] H. Boucheneb, K. Barkaoui. "Stubborn Sets for Time Petri Nets.", ACM Trans. Embedded Comput. Syst., vol. 14(1), pp. 11-25, 2015, (doi:http://dl.acm.org/citation.cfm?doid=2680541)

Conférence Internationale avec comité de lecture

[LBE15] T. Lefebvre, C. Bentz, S. Elloumi, E. Gourdin. "On the minimum convex cost multicast flow problem", INOC, May 2015, pp.1-8, Poland,

Atelier, Poster ou Démonstration dans une Conférence Internationale

[PDL15] T. Pham , C. Dubois, N. Levy. "Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules", Formal Methods and Analysis in SPL Engineering (FMSPLE 2015), April 2015, Vol. 182, pp.44-55, London, UK, (DOI: 10.4204/EPTCS.182)

2014

Revue Internationale avec comité de lecture

[BB14] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps methods", International Journal of Critical Computer-Based Systems (IJCCBS), vol. 5(1/2), pp. 55-77, 2014

Conférence Internationale avec comité de lecture

[DBE14] J. Douin, Y. Barzaj, S. Espie, A. Boubezoul. "Smartphoneâ€™s Embedded Sensors Performance Analytics ", Recent Developments in Signal Processing, August 2014, pp.274-280, Istambul, TURKEY,
[SDG14] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology", RuleML, August 2014, Vol. 8620, pp.226-235, Series LNCS, Prague, Czech Republic, (DOI: 10.1007/978-3-319-09870-8_17)
[PCA14] N. Prat, I. Comyn-Wattiau, J. Akoka. "Artifact Evaluation in Information Systems Design Science Research â€“ A Holistic View", PACIS 2014 Proceedings - Pacific Asia Conference on Information Systems, June 2014, pp.Paper 23,
[DDM14] D. Delahaye, C. Dubois, C. MarchÃ©, D. MentrÃ©. "The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations", Abstract State Machines, Alloy, B, VDM, and Z (ABZ), June 2014, pp.-,

Directions d'ouvrages scientifiques

[DGM14] C. Dubois, D. Giannakopoulou, D. MÃ©ry. "Proceedings of the first workshop on Formal Integrated Development Environment, F-IDE 2014, ETAPS satellite event", April 2014, EPTCS,

Brevet et Normes

[AS 14] T. Aubonnet, N. Simoni, P. Hebert. "Norme ETSI EG 202 009-1: "User Group; Quality of Telecom Services; Part 1: â€œMethodology for identification of indicators relevant to the Usersâ€, V1.3.1", Date de dépôt: 01 December 2014 , Organisme: "ETSI (European Telecommunications Standards Institute)" , N° de brevet: EG 202 009-1, Nb page 1-49, France

2013

Revue Internationale avec comité de lecture

[BB13] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps method", Int. J. of Critical Computer-Based Systems, pp. 67-85, 2013
[DPM13] E. Di Bernardino, C. Prieur, V. Maume-Deschamps. "Estimating Bivariate Tail: a copula based approach", Journal of Multivariate Analysis, vol. 119 , pp. 81â€“100, 2013, (doi:http://dx.doi.org/10.1016/j.jmva.2013.03.020)

Revue Nationale avec comité de lecture

[NFS13] N. Niang Keita, F. Fogliatto, G. Saporta. "Non parametric on-line control of batch processes based on STATIS and clustering", Journal de la SociÃ©tÃ© FranÃ§aise de Statistique, vol. 154(3), pp. 124-142, 2013

2012

Conférence Internationale avec comité de lecture

[JBD12] M. Jacquel, K. Berkani, D. Delahaye, C. Dubois. "Tableaux Modulo Theories using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover", International Joint Conference on Automated Reasoning (IJCAR 2012), June 2012, Vol. 7364, pp.332--338, Series LNAI, Manchester, UK,

2011

Revue Internationale avec comité de lecture

[Jar11] F. Jarray. "An iterative exact solution for the dual power management problem in wireless sensor network", Journal of Mathematical Modelling and Algorithms, pp. 205-212, 2011, (doi:10.1007/s10852-011-9152-6)

Conférence Internationale avec comité de lecture

[MHB11] B. Marzougui, K. Hassine, K. Barkaoui. "Method for Verification of a Multi Agents System", 2011 Second International Conference on Intelligent Systems, Modelling and Simulation(ISMS'11), January 2011, pp.62-65, (DOI: http://doi.ieeecomputersociety.org/10.1109/ISMS.2011.21 )

2008

Conférence Internationale avec comité de lecture

[LSB08] A. Lorga Da Silva, G. Saporta, H. Bacelar-Nicoalu. "Multiple Imputation and Multidimensional Scaling Applied to a k-means Method", COMPSTAT'08, Porto, Portugal, January 2008, pp.220,

2006

Conférence Internationale avec comité de lecture

[LSB06] A. Lorga Da Silva, G. Saporta, H. Bacelar-Nicolau. "Dealing with missing data in a k-means method - A simulation based approach", COMPSTAT 2006, August 2006, pp.182, Italy,

2005

Conférences Internationales sans actes

[JDC05] E. Jakobowicz, C. Derquenne, V. Casacci. "Methods for the analysis of customer satisfaction and loyalty: the experience of ElectrictiÃ© de France", 3rd world Conf. on Computational Statistics & Data Analysis, Limassol, Chypre, Limassol, Chypre,