Towards a requirements definition, specification and system design environment
EURO-DAC '92 Proceedings of the conference on European design automation
An approach for integrated specification and design of real-time systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Don't care-based BDD minimization for embedded software
DAC '98 Proceedings of the 35th annual Design Automation Conference
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
A practical method for verifying event-driven software
Proceedings of the 21st international conference on Software engineering
FunState—an internal design representation for codesign
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Hardware/software synthesis of formal specifications in codesign of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
IEEE Transactions on Software Engineering
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Protocol Design: Redefining the State of the Art
IEEE Software
Software Testing Based on SDL Specifications with Save
IEEE Transactions on Software Engineering
Embedding a Dialect of SDL in PROMELA
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Optimization and synthesis for complex reactive embedded systems by incremental collapsing
Proceedings of the tenth international symposium on Hardware/software codesign
Generating FSMs from interworkings
Distributed Computing
Validating wireless protocol conformance test cases
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
| Hi-index | 0.00 |