SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system Deepak A. MathaikuttyHiren D. PatelAxel Jantsch OriginalPaper 05 March 2008 Pages: 1 - 30
A time Petri net-based method for embedded hard real-time software synthesis Raimundo BarretoPaulo MacielRicardo Massa Lima OriginalPaper 05 January 2008 Pages: 31 - 62
Mining metadata for composability of IPs from SystemC IP library Deepak A. MathaikuttySandeep K. Shukla OriginalPaper 19 April 2008 Pages: 63 - 94
MEMOCODE 2006 guest editors’ introduction James C. HoeJens Palsberg EditorialNotes 30 May 2008 Pages: 95 - 95
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems Tevfik BultanConstance Heitmeyer MEMOCODE 2006 14 May 2008 Pages: 97 - 137
Specifying and proving properties of timed I/O automata using Tempo Myla ArcherHongping LimShinya Umeno OriginalPaper 09 July 2008 Pages: 139 - 170