Journal cover

Design Automation for Embedded Systems

An International Journal

Volume 12, issue 1-2, June 2008

6 articles in this issue

SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system

Authors (first, second and last of 4)
- Deepak A. Mathaikutty
- Hiren D. Patel
- Axel Jantsch
- Content type: OriginalPaper
- Published: 05 March 2008
- Pages: 1 - 30
A time Petri net-based method for embedded hard real-time software synthesis

Authors (first, second and last of 6)
- Raimundo Barreto
- Paulo Maciel
- Ricardo Massa Lima
- Content type: OriginalPaper
- Published: 05 January 2008
- Pages: 31 - 62
Mining metadata for composability of IPs from SystemC IP library

Authors
- Deepak A. Mathaikutty
- Sandeep K. Shukla
- Content type: OriginalPaper
- Published: 19 April 2008
- Pages: 63 - 94
MEMOCODE 2006 guest editors’ introduction

Authors
- James C. Hoe
- Jens Palsberg
- Content type: EditorialNotes
- Published: 30 May 2008
- Pages: 95 - 95
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems

Authors
- Tevfik Bultan
- Constance Heitmeyer
- Content type: MEMOCODE 2006
- Published: 14 May 2008
- Pages: 97 - 137
Specifying and proving properties of timed I/O automata using Tempo

Authors (first, second and last of 5)
- Myla Archer
- Hongping Lim
- Shinya Umeno
- Content type: OriginalPaper
- Published: 01 June 2008
- Pages: 139 - 170