The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
CoWare—a design environment for heterogenous hardware/software systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
Combining multiple models of computation for scheduling and allocation
Proceedings of the 6th international workshop on Hardware/software codesign
Representation of process mode correlation for scheduling
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
A unified model for co-simulation and co-synthesis of mixed hardware/software systems
EDTC '95 Proceedings of the 1995 European conference on Design and Test
PCC: a modeling technique for mixed control/data flow systems
EDTC '97 Proceedings of the 1997 European conference on Design and Test
Hardware/Software Codesign of Embedded Systems -The SPI Workbench
WVLSI '99 Proceedings of the IEEE Computer Society Workshop on VLSI'99
Hierarchical finite state machines with multiple concurrency models
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
SPI: a system model for heterogeneously specified embedded systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Transformation of SDL specifications for system-level timing analysis
Proceedings of the tenth international symposium on Hardware/software codesign
Dynamic and formal verification of embedded systems: a comparative survey
International Journal of Parallel Programming
Exploring Multi-Paradigm Modeling Techniques
Simulation
Hardware design and simulation for verification
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
| Hi-index | 0.00 |