1 "a working environment for the development of complex reactive systems ''" Apr.1988.
2 "Static Analysis and Automatic Code Synthesis of flexible FSM Model" 18-21, Jan.,2005
3 "Hardware-Software Co-Design of Embedded Systems: The Polis Approach" Kluwer Academic Press Jun.1997.
4 "Fractional rate dataflow model and efficient code synthesis for multimedia applications" 37 : 12-17, jul.2002
5 "Formal Models for Embedded System Design pp." 17 (17): 14-27, Jun.2000
6 "Formal Description of Real-time Systems using SDL" Dec.1999.
7 "Extended Synchronous Dataflow for Efficient DSP System Prototyping" 3 : Mar.,2002
8 "Embedded Software Generation from System Level Specification for Multi-Tasking Embedded Systems" 18-21, Jan.2005
9 "Designing Digital Video Systems Modeling and Scheduling" May1999.
10 "Design of Embedded Systems : Formal Models, Validation, and Synthesis" 366-390, Mar.1997
1 "a working environment for the development of complex reactive systems ''" Apr.1988.
2 "Static Analysis and Automatic Code Synthesis of flexible FSM Model" 18-21, Jan.,2005
3 "Hardware-Software Co-Design of Embedded Systems: The Polis Approach" Kluwer Academic Press Jun.1997.
4 "Fractional rate dataflow model and efficient code synthesis for multimedia applications" 37 : 12-17, jul.2002
5 "Formal Models for Embedded System Design pp." 17 (17): 14-27, Jun.2000
6 "Formal Description of Real-time Systems using SDL" Dec.1999.
7 "Extended Synchronous Dataflow for Efficient DSP System Prototyping" 3 : Mar.,2002
8 "Embedded Software Generation from System Level Specification for Multi-Tasking Embedded Systems" 18-21, Jan.2005
9 "Designing Digital Video Systems Modeling and Scheduling" May1999.
10 "Design of Embedded Systems : Formal Models, Validation, and Synthesis" 366-390, Mar.1997
11 "A programming model for event-driven embedded systems" 698-704, Mar.2003
12 "A Case Study of System Level Specification and Software Synthesis of Multi-mode Multimedia Terminal" Oct.2003.
13 ". The Institute of Electrical andElectronics Engineers" 19981998.
14 "''Timed multitasking for real-time embedded software" 23 : 65-75, Feb.2003
15 "''System Design with SystemC" Kluwer Academic 2002.
16 "''Synchoronous data flow''. Proceedings of IEEE" 75 : 1235-1245, 1987
17 "''SpecC Specification Language and Methodology" Kluwer Academic 2000.
18 "''Operating system based software generation for systems-on-chip''" 396-401, Jun.05-092000
19 "''Hierarchical Finite State Machines with Multiple Concurrency Models ''" 18 (18): Jun.1999.
20 "''Heterogeneous modeling and simulation of embedded systems in El Greco ''" May2000.
21 "''FunState-an internal design representation for codesign" 9 (9): 524-544, aug.2001