Models of computation for embedded system design

A universal communication model for an automotive system integration platform

Proceedings of the conference on Design, automation and test in Europe

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

Rapid design exploration of safety-critical distributed automotive applications via virtual integration platforms

Journal of Systems and Software - Special issue: Rapid system prototyping

Schedulability-driven frame packing for multicluster distributed embedded systems

ACM Transactions on Embedded Computing Systems (TECS)

EWD: A metamodeling driven customizable multi-MoC system modeling framework

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Evaluating modeling solutions on their ability to support the partitioning of automotive embedded systems

EUC'07 Proceedings of the 2007 conference on Emerging direction in embedded and ubiquitous computing

A tag machine based performance evaluation method for job-shop schedules

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Platform modeling for exploration and synthesis

Proceedings of the 2010 Asia and South Pacific Design Automation Conference

Dynamic application model for scheduling with uncertainty on reconfigurable architectures

International Journal of Reconfigurable Computing - Special issue on selected papers from the international workshop on reconfigurable communication-centric systems on chips (ReCoSoC' 2010)