- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| j6 |      | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla: Dataflow Architectures for GALS. Electr. Notes Theor. Comput. Sci. 200(1): 33-50 (2008) |
| j5 | | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla: A Trace-Based Framework for Verifiable GALS Composition of IPs. IEEE Trans. VLSI Syst. 16(9): 1176-1186 (2008) |
| c7 | | Syed Suhaib, Bijoy A. Jose, Sandeep K. Shukla, Deepak Mathaikutty: Formal Transformation of a KPN Specification to a GALS Implementation. FDL 2008: 84-89 |
| 2006 | ||
| j4 | | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin: A Functional Programming Framework for Latency Insensitive Protocol Validation. Electr. Notes Theor. Comput. Sci. 146(2): 169-188 (2006) |
| j3 | | Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla: Validating Families of Latency Insensitive Protocols. IEEE Trans. Computers 55(11): 1391-1401 (2006) |
| c6 | | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, Jean-Pierre Talpin: Polychronous Methodology For System Design: A True Concurrency Approach. HLDVT 2006: 211-214 |
| c5 | | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla: A Trace Based Framework for Validation of SoC Designs with GALS Systems. SoCC 2006: 247-250 |
| 2005 | ||
| j2 | | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner: XFM: An incremental methodology for developing formal models. ACM Trans. Design Autom. Electr. Syst. 10(4): 589-609 (2005) |
| c4 | | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner: Validating families of latency insensitive protocols. HLDVT 2005: 127-134 |
| c3 | | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla: System Level Design Methodology for System On Chips using Multi-Threaded Graphs. SoCC 2005: 133-136 |
| 2004 | ||
| j1 | | Peng Li, Binoy Ravindran, Syed Suhaib, Shahrooz Feizabadi: A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems. IEEE Trans. Software Eng. 30(9): 613-629 (2004) |
| c2 | | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla: Effects of property ordering in an incremental formal modeling methodology. HLDVT 2004: 89-94 |
| c1 | | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner: Extreme Formal Modeling (XFM) for Hardware Models. MTV 2004: 30-35 |
| 1 | David Berner | |
| 2 | Shahrooz Feizabadi | |
| 3 | Bijoy A. Jose | |
| 4 | Peng Li | |
| 5 | Deepak Mathaikutty | |
| 6 | Binoy Ravindran | |
| 7 | Sandeep K. Shukla (Sandeep Kumar Shukla) | |
| 8 | Jean-Pierre Talpin |
Colors in the list of coauthors
Last update Sun May 19 07:13:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page