Recherche

Accueil CEDRIC > Publications > Article > Liste >

Liste des publications

2018

Revue Internationale avec comité de lecture

[CCD18] P. Chevalier, R. Chauvat, J. Delmas. "Enhanced Widely Linear Filtering to Make Quasi-Rectilinear Signals almost Equivalent to Rectilinear Ones for SAIC/MAIC", IEEE Transactions on Signal Processing , vol. 66(6), pp. 1438-1453, 2018
[FRT18] R. Fournier-S'niehotta, P. Rigaux, N. Travers. "Modeling Music as Synchronized Time Series: Application to Music Score Collections", (IS'18) Information Systems, vol. 73(March 2018), pp. 35-49, 2018, (doi:10.1016/j.is.2017.12.003)

Conférence Internationale avec comité de lecture

[VVC18] S. Varoumas, B. Vaugon, E. Chailloux. "A Generic Virtual Machine Approach for Programming Microcontrollers: the OMicroB Project", 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), January 2018, France,

2017

Revue Nationale avec comité de lecture

[Pue17] M. Puech. "Typeful Continuations", JFLA 2017, vol. ?(?), pp. ?, 2017, (doi:?)

Conférence Internationale avec comité de lecture

[SGH17] S. Si-Said Cherfi, C. Guillotel, F. Hamdi, P. Rigaux, N. Travers. "Ontology-Based Annotation of Music Scores", K-CAP'17, December 2017, pp.1--4, Austin, Texas, USA, (DOI: 10.1145/3148011.3148038)
[SHR17] S. Si-Said Cherfi, F. Hamdi, P. Rigaux, V. Thion, N. Travers. "Formalizing Quality Rules on Music Notation -- an Ontology-based Approach", (TENOR) International Conference on Technologies for Music Notation and Representation, May 2017, pp.1--7, Coruna, Spain,

Rapport Scientifique

[DDC17] J. DorÃ©, D. Demmer, P. Chevalier, A. Ferreol, R. Zakaria, D. le Ruyet. "MIMO schemes and associated receivers (preliminary)", Date de dépot: 2017/05/10, Nb pages 61, (Tech. Rep.: CEDRIC-17-4034)

2016

Revue Internationale avec comité de lecture

[LB16] A. Louati, K. Barkaoui. "Formal Verification of UML2 Timing Diagrams based on Time Petri Nets", International Journal of Information Systems in the Service Sector (IJISSS), vol. 8(2), pp. 87-97, 2016

Conférence Internationale avec comité de lecture

[FRT16f] R. Fournier-S'niehotta, P. Rigaux, N. Travers. "Querying Music Notation", (TIME'16) International Symposium on Temporal Representation and Reasoning, October 2016, pp.1--9, Kongens Lyngby, Denmark,
[FRT16e] R. Fournier-S'niehotta, P. Rigaux, N. Travers. "Querying XML score databases: XQuery is not enough", (ISMIR'16) International Society for Music Information Retrieval Conference, August 2016, pp.723--729, New-York, USA,
[CDC16a] R. Chauvat, J. Delmas, P. Chevalier. "Two and three-inputs widely linear FRESH receivers for cancellation of a quasi-rectilinear interference with frequency offset", European Signal Processing Conference (EUSIPCO), August 2016, pp.1-5, Budapest, Hungaria,
[CDC16] P. Chevalier, J. Delmas, R. Chauvat. "Reception Filter Impact on Widely Linear FRESH Receiver Performance for SAIC/MAIC with Frequency Offsets", IEEE Sensor Array and Multichannel Signal Processing Workshop (SAM), July 2016, pp.1-5, Rio, Brazil,
[FRT16a] R. Fournier-S'niehotta, P. Rigaux, N. Travers. "Is There a Data Model in Music Notation?", (TENOR'16) International Conference on Technologies for Music Notation and Representation, May 2016, pp.85-91, Series Anglia Ruskin University, Cambridge, UK, (DOI: 978-0-9931461-1-4)
[FRT16] R. Fournier-S'niehotta, P. Rigaux, N. Travers. "A Digital Score Library Based on MEI", (MEC'16) Music Encoding Conference, May 2016, pp.1-4, MontrÃ©al, Canada,

Conférence Nationale avec comité de lecture

[FRT16b] R. Fournier-S'niehotta, P. Rigaux, N. Travers. "Vers un Traitement AlgÃ©brique de la Notation Musicale", (JIM'16) JournÃ©es d'Informatique Musicale, March 2016, Vol. 23, pp.61--70, Alby, France,

Rapport Scientifique

[FRT16d] R. Fournier-S'niehotta, P. Rigaux, N. Travers. "Une algÃ¨bre pour la manipulation du contenu musical", Date de dépot: 2016/03/21, Nb pages 7, (Tech. Rep.: CEDRIC-16-3616)
[FRT16c] R. Fournier-S'niehotta, P. Rigaux, N. Travers. "Interrogation de DSL: XQuery ne suffit pas !", Date de dépot: 2016/03/14, Nb pages 7, (Tech. Rep.: CEDRIC-16-3612)

2015

Revue Internationale avec comité de lecture

[LBJ15] A. Louati, K. Barkaoui, C. Jerad. "Temporal Properties Verication of Real-Time Systems Using UML/MARTE/OCL-RT; ", Advances in Intelligence Systems and Computing, Springer Verlag., vol. 346, pp. 133-147, 2015, (doi:2194-5357)

Revue Nationale avec comité de lecture

[DCS15] J. Delmas, P. Chevalier, S. Sallem, M. Sadok. "RÃ©cepteurs SIMO MLSE Widely Linear - Structures et performances en prÃ©sence dâ€™interfÃ©rences non circulaires", Traitement du Signal, vol. 1, pp. 7-37, 2015

Conférence Internationale avec comité de lecture

[ZAZ15] R. Zouari, I. Ahriz, R. Zayani, A. Dziri, R. Bouallegue. "Relevant Parameters selection of CIR Fingerprinting Based Location Algorithm", 23rd International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2015, September 2015, pp.170 - 173, Split, Croatia, (DOI: 10.1109/SOFTCOM.2015.7314117)
[CCD15b] R. Chauvat, P. Chevalier, J. Delmas. "Widely Linear FRESH Receiver for SAIC/MAIC with Frequency Offsets", International Symposium on Wireless Communication Systems (ISWCS), August 2015, pp.1-5, Brussels, Belgium,
[LBS15] A. Louati, K. Barkaoui, Z. Sbai. "Formal Verification of UML2 Timing Diagrams Based on Time Petri Nets", The 5th International Conference on Information Systems and Technologies (ICIST 2015), March 2015, pp.12-22, Istanbul, Turkey,

Conférence Nationale avec comité de lecture

[EBJ15] M. Escheikh, K. Barkaoui, H. Jouini. "ModÃ©lisation et Ã©tude de performance de lâ€™Ã©quilibrage de charge LTE par ajustement dynamique des paramÃ¨tres du handover:", 10Ã¨me Colloque Francophone sur la ModÃ©lisation des SystÃ¨mes RÃ©actifs MSR 2015, November 2015, pp.1-12, Nancy, France,

2014

Revue Internationale avec comité de lecture

[SBB14] B. S, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri nets: a semantic framework for UML2 activities", International Journal of Critical Computer-Based Systems, vol. 5(No 3/4), pp. 241-267, 2014
[sdl14] B. Sens Chang, C. Da Rocha, D. le Ruyet, D. Roviras. "Widely linear MMSE precoding and equalization techniques for SC-FDE systems", EURASIP Journal on Advances in Signal Processing, pp. 1-11, 2014, (doi:10.1186/1687-6180-2014-124)

Conférence Internationale avec comité de lecture

[ABR14a] M. Abbas, C. Ben Yelles, R. Rioboo. "Generating FoCaLiZe Specifications from UML Models", International Conference on Advanced Aspects of Software Engineering, ICAASE, November 2014, Vol. 1294, pp.157--164, Series CEUR-WS,
[ABR14] M. Abbas, C. Ben Yelles, R. Rioboo. "Modeling UML Template Classes with FoCaLiZe", Integrated Formal Methods, September 2014, pp.87--102, Series LNCS,
[DR14] C. Dubois, R. Rioboo. "Verified functional iterators using the FoCaLiZe environment", Software Engineering and Formal Methods, September 2014, pp.317--331, Series LNCS,
[SDl14a] B. Sens Chang, C. Da Rocha, D. le Ruyet, D. Roviras. "On the PAPR of SC-FDE Systems using Widely Linear Tomlinson-Harashima Precoding", ISWCS 2014, September 2014, pp.5, Barcelona, Spain,
[LBJ14] A. Louati, K. Barkaoui, C. Jerad. "Time properties Verification of UML/MARTE Real-Time Systems", Proceedings of the 15th {IEEE} International Conference on Information Reuse and Integration, {IRI} 2014, August 2014, pp.386-393, Redwood City CA, USA,

2013

Revue Internationale avec comité de lecture

[BBB13] S. Boufenara, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri Nets : A Semantic Framework for UML2 Activities", International Journal of Critical Computer-Based Systems (IJCCBS), pp. 1-6, 2013

Conférence Internationale avec comité de lecture

[LJBb13] A. Louati, C. Jerad, K. Barkaoui. "On CPN-based Verification of Hierarchical Formalization of UML2 Interaction Overview Diagrams", 5th International Conference On Modeling, Simulation and Applied Optimization, (IEEE-ICMSAO 2013), April 2013, pp.1-6,

2012

Revue Internationale avec comité de lecture

[Zl12] R. Zakaria, D. le Ruyet. "A Novel Filter-Bank Multicarrier Scheme to Mitigate the Intrinsic Interference: Application to MIMO Systems", IEEE Transactions on Wireless Communications, vol. 11(3), pp. 1112-1123, 2012

Conférence Internationale avec comité de lecture

[KLA12] L. Khelifa, N. Lammari, J. Akoka, T. Bouabana-Tebibel. "Building Contextualized Topic Maps", 19th IBIMA (International Business Information Management Association) Conference on Innovation Vision 2020. Barcelona, Spain 12-13 Nov. 2012 , November 2012, pp..,
[ZlM12] R. Zakaria, D. le Ruyet, Y. Medjahdi. "On ISI cancellation in MIMO-ML detection using FBMC/QAM modulation", ISWCS, September 2012, pp.1-5, Paris, France,

Mémoire de Thèse

[Zak12] R. Zakaria. "Transmitter and receiver design for inherent interference cancellation in MIMO filter-bank based multicarrier systems", Soutenue le: 07 November 2012, pp. 159,

2011

Revue Internationale avec comité de lecture

[PCA11] N. Prat, I. Comyn-Wattiau, J. Akoka. "Combining objects with rules to represent aggregation knowledge in data warehouse and OLAP systems", Data & Knowledge Engineering, vol. 70(8), pp. 732â€“752, 2011, (doi:http://dx.doi.org/10.1016/j.datak.2011.03.004)

Rapport Scientifique

[AAB11] J. Akoka, T. Aubonnet, J. Bucumi, I. Comyn-Wattiau, A. Idani , M. Labiadh, N. Lammari, Y. Ledru, J. Richier. "A UML profile for security concepts", Date de dépot: 2011/02/18, Nb pages 1 -18, (Tech. Rep.: CEDRIC-11-2343)

2010

Conférence Internationale avec comité de lecture

[Zl10] R. Zakaria, D. le Ruyet. "On Maximum Likelihood MIMO Detection in QAM-FBMC Systems.", PIMRC, December 2010, pp.183-187, Istanbul, Turkey,
[Zl10a] R. Zakaria, D. le Ruyet. "A novel FBMC scheme for Spatial Multiplexing with Maximum Likelihood detection", ISWCS, November 2010, pp.461 - 465 , York, England,
[ZlB10] R. Zakaria, D. le Ruyet, M. Bellanger. "Maximum Likelihood Detection in spatial multiplexing with FBMC", European Wireless, June 2010, pp.1038-1041, Lucca, Italy,

2008

Revue Internationale sans comité de lecture

[CP08] O. Chourabi, Y. Pollet. "Le Langage de ModÃ©lisation de SystÃ¨mes SysML. Un compendium", La revue de GÃ©nie logiciel, vol. 84(1), pp. 32-36 , March 2008

2007

Mémoire de HDR

2006

Conférence Internationale avec comité de lecture

[VCC06] D. Vodislav, S. Cluet, G. Corona, I. Sebei. "Views for simplifying access to heterogeneous XML data", CoopIS'06, January 2006, Vol. 4275, pp.72-90, (DOI: 10.1007/11914853_6)