G. Beltrame, C. Bolchini, L. Fossati, A. Miele, and D. Sciuto, ReSP: A non-intrusive Transaction-Level Reflective MPSoC Simulation Platform for design space exploration, 2008 Asia and South Pacific Design Automation Conference, pp.673-678, 2008.
DOI : 10.1109/ASPDAC.2008.4484036

C. Genz and R. Drechsler, Overcoming limitations of the SystemC data introspection, 2009 Design, Automation & Test in Europe Conference & Exhibition, pp.590-593, 2009.
DOI : 10.1109/DATE.2009.5090734

R. Buchmann, F. Petrot, and A. Greiner, Fast cycle accurate simulator to simulate event-driven behavior, International Conference on Electrical, Electronic and Computer Engineering, 2004. ICEEC '04., pp.35-38, 2004.
DOI : 10.1109/ICEEC.2004.1374374

N. Blanc, D. Kroening, and N. Sharygina, Scoot: A Tool for the Analysis of SystemC??Models, TACAS, pp.467-470, 2008.
DOI : 10.1007/978-3-540-78800-3_36

Y. Bouzouzou, Semantics-preserving parallelization of the SystemC scheduler for reduced simulation times, 2007.

P. Herber, J. Fellmuth, and S. Glesner, Model checking SystemC designs using timed automata, Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, CODES/ISSS '08, pp.131-136, 2008.
DOI : 10.1145/1450135.1450166

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.4194

M. Moy, F. Maraninchi, and L. Maillet-contoz, LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level, Design Automation for Embedded Systems, vol.10, issue.2-3, 2006.
DOI : 10.1007/s10617-006-9044-6

URL : https://hal.archives-ouvertes.fr/hal-00310999

G. Fey, D. Große, T. Cassens, C. Genz, T. Warode et al., Parsyc: An efficient SystemC parser, Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI), pp.148-154, 2004.

J. Castillo, P. Huerta, and J. I. Martinez, An open-source tool for SystemC to verilog automatic translation, pp.53-58, 2007.

T. J. Parr, H. G. Dietz, and W. E. Cohen, PCCTS reference manual, ACM SIGPLAN Notices, vol.27, issue.2, pp.88-165, 1992.
DOI : 10.1145/130973.130980

R. Drechsler, G. Fey, C. Genz, and D. Große, SyCE: An Integrated Environment for System Design in SystemC, 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), pp.258-260, 2005.
DOI : 10.1109/RSP.2005.46

D. Große and R. Drechsler, CheckSyC: An Efficient Property Checker for RTL SystemC Designs, 2005 IEEE International Symposium on Circuits and Systems, pp.4167-4170, 2005.
DOI : 10.1109/ISCAS.2005.1465549

D. P. Scarpazza, C. Brandolese, L. Pomante, and P. D. Felice, Parsing systemC: an open-source, easy-to-extend parser, IADIS International Conference on Applied Computing, pp.25-28, 2006.

D. Berner, J. Pierre-talpin, H. Patel, D. A. Mathaikutty, and E. Shukla, SystemCXML: An extensible SystemC front end using XML, Forum on specification and design languages (FDL), 2005.

T. Schubert and W. Nebel, The quiny SystemC front end: Selfsynthesising designs, FDL. ECSI, pp.135-143, 2006.

M. Moy, F. Maraninchi, and L. Maillet-contoz, Pinapa, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.317-324, 2005.
DOI : 10.1145/1086228.1086286

URL : https://hal.archives-ouvertes.fr/hal-00198669

K. Marquet, M. Moy, and B. Karkare, A theoretical and experimental review of SystemC front-ends, 2010 Forum on Specification & Design Languages (FDL 2010), 2010.
DOI : 10.1049/ic.2010.0140

URL : https://hal.archives-ouvertes.fr/hal-00495886

L. Besnard, T. Gautier, M. Moy, J. Talpin, K. Johnson et al., Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form, Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Electronic Communications of the EASST, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00400272

R. Behjati, H. Sabouri, N. Razavi, and M. Sirjani, An effective approach for model checking SystemC designs, 2008 8th International Conference on Application of Concurrency to System Design, pp.56-61, 2008.
DOI : 10.1109/ACSD.2008.4574596

S. S. Sirowy, B. Miller, and F. Vahid, Portable SystemC-on-a-chip, Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, CODES+ISSS '09, pp.21-30, 2009.
DOI : 10.1145/1629435.1629439

C. Lattner and V. Adve, LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., p.75, 2004.
DOI : 10.1109/CGO.2004.1281665