- Design Automation for Embedded Systems, 8, 139153, 2003. # 2003 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Formal Verification of Embedded Systems based on CFSM Networks \Lambda Felice Balarin, Cadence Berkeley Laboratories, USA
- Design Automation of Embedded Systems, 1, 1/2 (1996) fl 1996 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- VERIFYING LOC BASED FUNCTIONAL AND PERFORMANCE CONSTRAINTS
- FORMAL VERIFICATION OF EMBEDDED SYSTEM DESIGNS AT MULTIPLE LEVELS OF ABSTRACTION
- Synthesis of Mixed SoftwareHardware Implementations from CFSM Specifications
- Formal Methods for Embedded System Design Harry Chia Chang Hsieh
- A Formal Specification Model for Hardware/Software Codesign Massimiliano Chiodo, Paolo Giusto, Attila Jurecska
- EMBEDDED SYSTEM CODESIGN: SYNTHESIS AND VERIFICATION LUCIANO LAVAGNO
- 834 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 18, NO. 6, JUNE 1999 Synthesis of Software Programs for
- IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 23, NO. 8, AUGUST 2004 1243 Logic of Constraints: A Quantitative Performance
- SIMULATION TRACE VERIFICATION FOR QUANTITATIVE CONSTRAINTS
- 1016 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 20, NO. 8, AUGUST 2001 Synchronous Approach to the Functional Equivalence
- First Results with eBlocks: Embedded Systems Building Blocks
- Synthesis of Software Programs for Embedded Control Applications Massimiliano Chiodo
- Automatic Generation of Simulation Monitors from Quantitative Constraint Xi Chen, Harry Hsieh
- Case Studies of Model Checking for Embedded System Designs Xi Chen, Harry Hsieh
- Automatic Trace Analysis for Logic of Constraints Xi Chen, Harry Hsieh
