|
 
|
Nesrine Harrath
|
Doctorant(e) Equipe SYS Parti depuis le 18/12/2013 Mail : nesrine{dot}harrath{at}cnam{dot}fr http://cedric.cnam.fr/ Directeur de thèse : Kamel Barkaoui |
Nesrine's Tag-Cloud :
compositional verification
systemc,
abstraction des prédicat,
automata,
automate,
compositional veriï¬cation,
compostional veriï¬cation,
exécution symbolique,
formal verifi cation,
model-checking,
méthodes formelle,
operational semantic,
opertionl semantic,
predicate abstraction,
symbolic execution,
symbolic execution
,
system verification,
systemc,
time analysis,
timed systemc waiting state automata,
verification,
wcet
|
Publications
2014
- [HMB14] N. Harrath, B. Monsuez, K. Barkaoui. "A Framework for Verification of SystemC Designs Using SystemCWaiting State Automata", In Advances in Intelligent Systems and Computing, Springer Verlag, vol. 263 , pp. 77-104, 2014, (doi:10.1007/978-3-319-04717-1)
-
[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,
Revue Internationale avec comité de lecture
Mémoire de Thèse
2013
- [HM13a] N. Harrath, B. Monsuez. " Compositional Reactive Semantics of System-Level Designs Written in SystemC and Formal Verification with Predicate Abstraction", the International Journal of Critical Computer-Based Systems, Inderscience Publishers, 2013
- [HM13] N. Harrath, B. Monsuez. "Compositional Reactive Semantics of System-Level Designs Written in SystemC and Formal Verification with Predicate Abstraction", Accepted in the International Journal of Critical Computer-Based Systems, Inderscience Publishers, 2013
- [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,
- [HMBa13] 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,
Revue Internationale avec comité de lecture
Conférence Internationale avec comité de lecture
2012
- [HM12a] N. Harrath, B. Monsuez. "SystemC Waiting State Automata", International Journal of Critical Computer-Based Systems,, vol. 3, pp. 60-95, 2012
- [HM12] N. Harrath, B. Monsuez. "SystemC Waiting State Automata", International Journal of Critical Computer-Based Systems, vol. 3(1–2/2012), pp. 60-95, 2012, (doi:10.1504/IJCCBS.2012.045077)
Revue Internationale avec comité de lecture
2011
- [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. - ,
- [HM11] N. Harrath, B. Monsuez. " A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs", On the 32nd IEEE Real-Time Systems Symposium (RTSS), November 2011, Wien, Austria,
- [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,
Conférence Internationale avec comité de lecture
2009
- [HM09] N. Harrath, B. Monsuez. "Timed SystemC Waiting State Automata", On the Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), July 2009, pp.60-72, Rabat, Morroco, (DOI: http://hal.archives-ouvertes.fr/hal-00672908/)
- [HM09a] N. Harrath, B. Monsuez. "Timed SystemC Waiting State Automata", On the Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), July 2009, pp.60-72, Rabat, Morroco, (DOI: http://hal.archives-ouvertes.fr/hal-00672908/)
