Symbolic timing verification of timing diagrams using Presburger formulas
DAC '97 Proceedings of the 34th annual Design Automation Conference
Bounded Delay Timing Analysis of a Class of CSP Programs
Formal Methods in System Design
Making complex timing relationships readable: Presburger formula simplicication using don't cares
DAC '98 Proceedings of the 35th annual Design Automation Conference
Efficient Algorithms for Interface Timing Verification
Formal Methods in System Design
Communication Analysis for System-On-Chip Design
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Min-Max Inequalities and the Timing Verification Problem with Max and Linear Constraints
Discrete Event Dynamic Systems
Efficient performance analysis of asynchronous systems based on periodicity
CODES+ISSS '05 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Brief paper: Input signal design for identification of max-plus-linear systems
Automatica (Journal of IFAC)
Time separations of cyclic event rule systems with min-max timing constraints
Theoretical Computer Science
Computers and Industrial Engineering
State estimation and detection of changes in time interval models
Discrete Event Dynamic Systems
Hi-index | 0.00 |