| |
| 2008 | ||
|---|---|---|
| 2 | EE | Syed Suhaib, Bijoy A. Jose, Sandeep K. Shukla, Deepak Mathaikutty: Formal Transformation of a KPN Specification to a GALS Implementation. FDL 2008: 84-89 |
| 1 | EE | Bijoy A. Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin: On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. MEMOCODE 2008: 129-138 |
| 1 | Deepak Mathaikutty | [2] |
| 2 | Hiren D. Patel | [1] |
| 3 | Sandeep K. Shukla | [1] [2] |
| 4 | Syed Suhaib | [2] |
| 5 | Jean-Pierre Talpin | [1] |