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

   • Deepak A. Mathaikutty
   • Hiren D. Patel
   • Axel Jantsch

   OriginalPaper 05 March 2008 Pages: 1 - 30

2. A time Petri net-based method for embedded hard real-time software synthesis

   • Raimundo Barreto
   • Paulo Maciel
   • Ricardo Massa Lima

   OriginalPaper 05 January 2008 Pages: 31 - 62

3. Mining metadata for composability of IPs from SystemC IP library

   • Deepak A. Mathaikutty
   • Sandeep K. Shukla

   OriginalPaper 19 April 2008 Pages: 63 - 94

4. MEMOCODE 2006 guest editors’ introduction

   • James C. Hoe
   • Jens Palsberg

   EditorialNotes 30 May 2008 Pages: 95 - 95

5. Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems

   • Tevfik Bultan
   • Constance Heitmeyer

   MEMOCODE 2006 14 May 2008 Pages: 97 - 137

6. Specifying and proving properties of timed I/O automata using Tempo

   • Myla Archer
   • Hongping Lim
   • Shinya Umeno

   OriginalPaper 09 July 2008 Pages: 139 - 170