Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
A Formal Specification Model for Hardware/Software Codesign
A Formal Specification Model for Hardware/Software Codesign
A case study in computer-aided codesign of embedded controllers
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Verification of electronic systems
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Schedule validation for embedded reactive real-time systems
DAC '97 Proceedings of the 34th annual Design Automation Conference
DAC '97 Proceedings of the 34th annual Design Automation Conference
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
DAC '98 Proceedings of the 35th annual Design Automation Conference
Timing coverification of concurrent embedded real-time systems
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Co-design tool construction using APICES
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Task scheduling with RT constraints
Proceedings of the 37th Annual Design Automation Conference
An Implementation of Constructive Synchronous Programs in POLIS
Formal Methods in System Design
Verification of embedded systems using a petri net based representation
ISSS '00 Proceedings of the 13th international symposium on System synthesis
Supporting Embedded System Design Capture, Analysis and Navigation-
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Modeling micro-controller peripherals for high-level co-simulation and synthesis
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Modeling and formal verification of embedded systems based on a Petri net representation
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Synthesis and verification
Component-based hardware/software co-verification for building trustworthy embedded systems
Journal of Systems and Software
Using Genetic Algorithms for solving partitioning problem in codesign
IWANN '03 Proceedings of the 7th International Work-Conference on Artificial and Natural Neural Networks: Part II: Artificial Neural Nets Problem Solving Methods
The tire as an intelligent sensor
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Research on modeling and analysis of CPS
ATC'11 Proceedings of the 8th international conference on Autonomic and trusted computing
| Hi-index | 0.00 |