Recherche

Rechercher

Accueil CEDRIC > Publications > Article > Liste >

Liste des publications

2018

Conférence Internationale avec comité de lecture

[MTB18] D. Mattera, M. Tanda, M. Bellanger. "On blind symbol timing estimation for FBMC systems: the case of FBMC-PAM",

2014

Mémoire de Thèse

[Har14] N. Harrath. "A Stepwise Compositional Approach to Model and Analyze SystemC Designs at teh Transactional Level and the Delta Cycle Level", Soutenue le: 04 November 2014, pp. 183,
[Har14a] N. Harrath. "A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level", Soutenue le: 04 November 2014, pp. 248,

2013

Conférence Internationale avec comité de lecture

[HMB13] N. Harrath, B. Monsuez, K. Barkaoui. "Verifying SystemC with Predicate Abstraction: a Component Based Approach", On the 14th International Conference on Information Reuse and Integration (IEEE IRI), August 2013, San Francisco, USA,

2011

Conférence Internationale avec comité de lecture

[HM 11] N. Harrath, B. Monsuez, V. Paun. "A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs", On the 32nd IEEE Real-Time Systems Symposium (RTSS), November 2011, pp. - ,
[HMD11] N. Harrath, B. Monsuez, J. Delacroix. "Building SystemC Waiting State Automata", On the Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), September 2011, pp.108-119 , Tunis, Tunisia,
[DMH11] J. Delacroix, B. Monsuez, N. Harrath. "Building SystemC waiting state automata ", Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011), July 2011, pp.54-66,

2005

Rapport Scientifique

[GFL05b] F. Gervais, M. Frappier, R. Laleau, P. Batanado. "EB3 Attribute Definitions: Formal Language and Application", Date de dépot: 2005/01/01, (Tech. Rep.: CEDRIC-05-700)