Liste des publications

2017

[MTG17] Y. Medjahdi, S. Traverso, R. Gerzaguet, H. Shaiek, R. Zayani, D. David , R. Zakaria, J. DorÃ©, B. Mouna, D. le Ruyet, Y. LoÃ¼et, D. Roviras. "On the Road to 5G: Comparative Study of Physical Layer in MTC Context", IEEE Access, vol. 5(1), pp. 26556 - 26581, 2017, (doi:10.1109/ACCESS.2017.2774002)

[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)
[MZS17] Y. Medjahdi, R. Zayani, H. Shaiek, D. Roviras. "WOLA processing: a useful tool for windowed waveforms in 5G with relaxed synchronicity", ICC2017, International Workshop on the Main Trends in 5G Networks (MT5Gnet), May 2017, pp.1-6, Paris, France,

[TMD17] S. Traverso, Y. Medjahdi, J. DorÃ©, D. David , M. Ben Mabrouk, R. Zakaria. "New waveforms for C-MTC context", Date de dépot: 2017/07/21, Nb pages 42, (Tech. Rep.: CEDRIC-17-4102)

[BCF16] A. Bosser, P. Courtieu, J. Forest, M. Aponte. "Une preuve est (un programme) une histoire", Actes des Vingt-septiÃ¨mes JournÃ©es Francophones des Langages Applicatifs JFLA 2016, January 2016, pp.171-172, Saint Malo, France,

[DER15] C. Dubois, S. Elloumi, B. Robillard, C. Vincent. "Graphes et couplages en Coq", JournÃ©es Francophones des langages applicatifs (JFLA), January 2015, pp.235-248, Val d'Ajol, France,

[DR14] C. Dubois, R. Rioboo. "Verified functional iterators using the FoCaLiZe environment", Software Engineering and Formal Methods, September 2014, pp.317--331, Series LNCS,

[Ben14] V. Benayoun. " Analyse de dÃ©pendances ML pour les Ã©valuateurs de logiciels critiques", Soutenue le: 16 May 2014, pp. 238,

[DG13] C. Dubois, A. Gotlieb. "Solveurs CP(FD) vÃ©rifiÃ©s formellement", NeuviÃ¨mes JournÃ©es Francophones de Programmation par Contraintes (JFPC 2013), June 2013, pp.115-118, Aix-en-Provence,

[Tol13] P. Tollitte. "Extraction de code fonctionnel certifiÃ© Ã partir de spÃ©cifications inductives", Soutenue le: 06 December 2013, pp. 180,

[TDD12] P. Tollitte, D. Delahaye, C. Dubois. "Producing Certified Functional Code from Inductive Specifications", International Conference on Certified Programs and Proofs (CPP 2012), December 2012, Vol. 7679, pp.76-91, Series LNCS, Kyoto, Japan,
[CDG12a] M. Carlier, C. Dubois, A. Gotlieb. "A certified constraint solver over finite domains", Formal Methods (FM 2012) (ex FME), August 2012, Vol. 7436, pp.116-131, Series LNCS, Paris, France,
[CPG12] P. Courtieu, C. Paulin-Mohring, D. Gross-Amblard, D. Baelde. "Toward provably robust watermarking", Interactive theorem proving (TPHOLs), August 2012, pp.0-0, Series LNCS,

[CCF11a] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Automated Certified Proofs with CiME 3", 22nd Int. Conf. on Rewriting Techniques and Applications, May 2011, Vol. 10, pp.21-30, Series LIPIcs, Novi Sad, Serbie,

[CCF11] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Automated Certified Proofs with CiME3", Date de dépot: 2011/02/01, Nb pages 11, (Tech. Rep.: CEDRIC-11-2044)