 | 2009 |
|---|
| 104 |       | Edgar G. Daylight,
Sandeep K. Shukla:
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study.
FM 2009: 273-288 |
| 103 | | Sumit Ahuja,
Deepak Mathaikutty,
Gaurav Singh,
Joe Stetzer,
Sandeep K. Shukla,
Ajit Dingankar:
Power estimation methodology for a high-level synthesis framework.
ISQED 2009: 541-546 |
| 102 | | Bijoy A. Jose,
Hiren D. Patel,
Sandeep K. Shukla,
Jean-Pierre Talpin:
Generating Multi-Threaded code from Polychronous Specifications.
Electr. Notes Theor. Comput. Sci. 238(1): 57-69 (2009) |
| 101 | | Sandeep K. Shukla,
Jean-Pierre Talpin:
Preface.
Electr. Notes Theor. Comput. Sci. 245: 1-2 (2009) |
| 100 | | Bin Xue,
Sandeep K. Shukla:
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework.
Electr. Notes Theor. Comput. Sci. 245: 3-22 (2009) |
| 99 | | Bijoy A. Jose,
Bin Xue,
Sandeep K. Shukla:
An Analysis of the Composition of Synchronous Systems.
Electr. Notes Theor. Comput. Sci. 245: 69-84 (2009) |
| 98 | | Sandeep K. Shukla:
Guest editorial: IEEE/ACM symposium on nanoscale architectures (NANOARCH07).
JETC 5(1): (2009) |
| 2008 |
|---|
| 97 | | Syed Suhaib,
Bijoy A. Jose,
Sandeep K. Shukla,
Deepak Mathaikutty:
Formal Transformation of a KPN Specification to a GALS Implementation.
FDL 2008: 84-89 |
| 96 | | 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 |
| 95 | | Gaurav Singh,
Sandeep K. Shukla:
Verifying Compiler Based Refinement of BluespecTM.
SPIN 2008: 250-269 |
| 94 | | Syed Suhaib,
Deepak Mathaikutty,
Sandeep K. Shukla:
Dataflow Architectures for GALS.
Electr. Notes Theor. Comput. Sci. 200(1): 33-50 (2008) |
| 93 | | Deepak Mathaikutty,
Sreekumar V. Kodakara,
Ajit Dingankar,
Sandeep K. Shukla,
David J. Lilja:
MMV: A Metamodeling Based Microprocessor Validation Environment.
IEEE Trans. VLSI Syst. 16(4): 339-352 (2008) |
| 92 | | Deepak Mathaikutty,
Sandeep K. Shukla:
MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models.
IEEE Trans. VLSI Syst. 16(7): 792-805 (2008) |
| 91 | | 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) |
| 90 | | Hiren D. Patel,
Sandeep K. Shukla:
On Cosimulating Multiple Abstraction-Level System-Level Models.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(2): 394-398 (2008) |
| 2007 |
|---|
| 89 |  | Twan Basten,
Gabriel Juhás,
Sandeep K. Shukla:
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic
IEEE Computer Society 2007 |
| 88 | | Hiren D. Patel,
Sandeep K. Shukla:
Model-driven Validation of SystemC Designs.
DAC 2007: 29-34 |
| 87 | | Hiren D. Patel,
Sandeep K. Shukla:
Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL.
DATE 2007: 279-284 |
| 86 | | Deepak Mathaikutty,
Sandeep K. Shukla,
Sreekumar V. Kodakara,
David J. Lilja,
Ajit Dingankar:
Design fault directed test generation for microprocessor validation.
DATE 2007: 761-766 |
| 85 | | Deepak Mathaikutty,
Ajit Dingankar,
Sandeep K. Shukla:
A Metamodeling based Framework for Architectural Modeling and Simulator Generation.
FDL 2007: 210-218 |
| 84 | | Deepak Mathaikutty,
Sandeep K. Shukla:
Type Inference for IP Composition.
MEMOCODE 2007: 61-70 |
| 83 | | Edgar G. Daylight,
Sandeep K. Shukla:
Local Causal Reasoning of a Safety-Critical Subway System.
MEMOCODE 2007: 83-84 |
| 82 | | Eric Simpson,
Pengyuan Yu,
Patrick Schaumont,
Sumit Ahuja,
Sandeep K. Shukla:
VT Matrix Multiply Design for MEMOCODE '07.
MEMOCODE 2007: 95-96 |
| 81 | | Sumit Ahuja,
Deepak Mathaikutty,
Sandeep K. Shukla,
Ajit Dingankar:
Assertion-Based Modal Power Estimation.
MTV 2007: 3-7 |
| 80 | | Gaurav Singh,
Sandeep K. Shukla:
Model Checking Bluespec Specified Hardware Designs.
MTV 2007: 39-43 |
| 79 | | Gaurav Singh,
S. S. Ravi,
Sumit Ahuja,
Sandeep K. Shukla:
Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications.
Power-aware Computing Systems 2007 |
| 78 | | Sreekumar V. Kodakara,
Deepak Mathaikutty,
Ajit Dingankar,
Sandeep K. Shukla,
David J. Lilja:
Model Based Test Generation for Microprocessor Architecture Validation.
VLSI Design 2007: 465-472 |
| 77 | | Debayan Bhaduri,
Sandeep K. Shukla,
Paul Graham,
Maya Gokhale:
Scalable techniques and tools for reliability analysis of large circuits.
VLSI Design 2007: 705-710 |
| 76 | | Deepak Mathaikutty,
Hiren D. Patel,
Sandeep K. Shukla,
Axel Jantsch:
EWD: A metamodeling driven customizable multi-MoC system modeling framework.
ACM Trans. Design Autom. Electr. Syst. 12(3): (2007) |
| 75 | | Sandy Irani,
Sandeep K. Shukla,
Rajesh Gupta:
Algorithms for power savings.
ACM Transactions on Algorithms 3(4): (2007) |
| 74 | | Michael Kishinevsky,
Sandeep K. Shukla,
Ken S. Stevens:
Guest Editors' Introduction: GALS Design and Validation.
IEEE Design & Test of Computers 24(5): 414-416 (2007) |
| 73 | | Hiren D. Patel,
Sandeep K. Shukla,
Reinaldo A. Bergamaschi:
Heterogeneous Behavioral Hierarchy Extensions for SystemC.
IEEE Trans. on CAD of Integrated Circuits and Systems 26(4): 765-780 (2007) |
| 72 | | Gaurav Singh,
Sandeep K. Shukla:
Algorithms for low power hardware synthesis from Concurrent Action Oriented Specifications (CAOS).
IJES 3(1/2): 83-92 (2007) |
| 2006 |
|---|
| 71 | | Debayan Bhaduri,
Sandeep K. Shukla,
Deji Coker,
Valerie Taylor,
Paul Graham,
Maya Gokhale:
A hybrid framework for design and analysis of fault-tolerant architectures.
DATE 2006: 335-336 |
| 70 | | Hiren D. Patel,
Sandeep K. Shukla,
Reinaldo A. Bergamaschi:
Heterogeneous behavioral hierarchy for system level designs.
DATE 2006: 565-570 |
| 69 | | Patrick Schaumont,
Sandeep K. Shukla,
Ingrid Verbauwhede:
Design with race-free hardware semantics.
DATE 2006: 571-576 |
| 68 | | Deepak Mathaikutty,
Sandeep K. Shukla:
Mining Metadata for Composability of IPs from SystemC IP Library.
FDL 2006: 143-151 |
| 67 | | Deepak Mathaikutty,
Sandeep K. Shukla:
MCF: A Metamodeling-based Visual Component Composition Framework.
FDL 2006: 367-375 |
| 66 | | Hiren D. Patel,
Sandeep K. Shukla,
E. Mednick,
Rishiyur S. Nikhil:
A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design.
MEMOCODE 2006: 39-48 |
| 65 | | Gaurav Singh,
Sandeep K. Shukla:
Low-power hardware synthesis from TRS-based specifications.
MEMOCODE 2006: 49-58 |
| 64 | | Hiren D. Patel,
Sandeep K. Shukla:
Deep vs. Shallow, Kernel vs. Language--What is Better for Heterogeneous Modeling in {SystemC}?.
MTV 2006: 68-75 |
| 63 | | Ken S. Stevens,
Sandeep K. Shukla,
Montek Singh,
Jean-Pierre Talpin:
Preface.
Electr. Notes Theor. Comput. Sci. 146(2): 1-3 (2006) |
| 62 | | 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) |
| 61 | | Sandeep K. Shukla,
Michael Theobald:
Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems.
Formal Methods in System Design 28(2): 91-92 (2006) |
| 60 | | Sandeep K. Shukla,
Carl Pixley,
Gary Smith:
Guest Editors' Introduction: The True State of the Art of ESL Design.
IEEE Design & Test of Computers 23(5): 335-337 (2006) |
| 59 | | Syed Suhaib,
Deepak Mathaikutty,
David Berner,
Sandeep K. Shukla:
Validating Families of Latency Insensitive Protocols.
IEEE Trans. Computers 55(11): 1391-1401 (2006) |
| 58 | | Hiren D. Patel,
Deepak Mathaikutty,
David Berner,
Sandeep K. Shukla:
CARH: service-oriented architecture for validating system-level designs.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(8): 1458-1474 (2006) |
| 2005 |
|---|
| 57 | | Deepak Mathaikutty,
Hiren D. Patel,
Sandeep K. Shukla,
Axel Jantsch:
Modelling Environment for Heterogeneous Systems based on MoCs.
FDL 2005: 291-303 |
| 56 | | Hiren D. Patel,
Sandeep K. Shukla:
Towards Behavioural Hierarchy Extensions for SystemC.
FDL 2005: 361-373 |
| 55 | | David Berner,
Jean-Pierre Talpin,
Hiren D. Patel,
Deepak Mathaikutty,
Sandeep K. Shukla:
SystemCXML: An Exstensible SystemC Front end Using XML.
FDL 2005: 405-409 |
| 54 | | Shivajit Mohapatra,
Radu Cornea,
Hyunok Oh,
Kyoungwoo Lee,
Minyoung Kim,
Nikil D. Dutt,
Rajesh Gupta,
Alexandru Nicolau,
Sandeep K. Shukla,
Nalini Venkatasubramanian:
A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems.
IPDPS 2005 |
| 53 | | Nicolae Savoiu,
Sandeep K. Shukla,
Rajesh K. Gupta:
Improving SystemC simulation through Petri net reductions.
MEMOCODE 2005: 131-140 |
| 52 | | Patrick Schaumont,
Sandeep K. Shukla,
Ingrid Verbauwhede:
Extended abstract: a race-free hardware modeling language.
MEMOCODE 2005: 255-256 |
| 51 | | Sandeep K. Shukla:
Teaching Game Theory for Computer Engineering.
MSE 2005: 41-42 |
| 50 | | David Berner,
Hiren D. Patel,
Deepak Mathaikutty,
Sandeep K. Shukla:
Automated Extraction of Structural Information from SystemC-based IP for Validation.
MTV 2005: 99-104 |
| 49 | | Luca Benini,
Sandeep K. Shukla,
Rajesh K. Gupta:
Architectural, System Level and Protocol Level Techniques for Power Optimization for Networked Embedded Systems.
VLSI Design 2005: 18- |
| 48 | | Hiren D. Patel,
Sumit Gupta,
Sandeep K. Shukla,
Rajesh Gupta:
An Introductory Survey of Networked Embedded Systems.
The Industrial Information Technology Handbook 2005: 0- |
| 47 | | 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) |
| 46 | | Sandeep K. Shukla,
Jean-Pierre Talpin:
Guest editorial: Special issue on models and methodologies for co-design of embedded systems.
ACM Trans. Embedded Comput. Syst. 4(2): 225-227 (2005) |
| 45 | | Juliana Küster Filipe,
Iman Poernomo,
Ralf Reussner,
Sandeep K. Shukla:
Preface.
Electr. Notes Theor. Comput. Sci. 141(3): 1-2 (2005) |
| 44 | | Gethin Norman,
David Parker,
Marta Z. Kwiatkowska,
Sandeep K. Shukla,
Rajesh Gupta:
Using probabilistic model checking for dynamic power management.
Formal Asp. Comput. 17(2): 160-176 (2005) |
| 43 | | R. Iris Bahar,
Mehdi Baradaran Tahoori,
Sandeep K. Shukla,
Fabrizio Lombardi:
Guest Editors' Introduction: Challenges for Reliable Design at the Nanoscale.
IEEE Design & Test of Computers 22(4): 295-297 (2005) |
| 42 | | Sandy Irani,
Gaurav Singh,
Sandeep K. Shukla,
Rajesh K. Gupta:
An overview of the competitive and adversarial approaches to designing dynamic power management strategies.
IEEE Trans. VLSI Syst. 13(12): 1349-1361 (2005) |
| 41 | | Gethin Norman,
David Parker,
Marta Z. Kwiatkowska,
Sandeep K. Shukla:
Evaluating the reliability of NAND multiplexing with PRISM.
IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1629-1637 (2005) |
| 40 | | Hiren D. Patel,
Sandeep K. Shukla:
Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models.
IEEE Trans. on CAD of Integrated Circuits and Systems 24(8): 1261-1271 (2005) |
| 39 | | Jean-Pierre Talpin,
Paul Le Guernic,
Sandeep K. Shukla,
Rajesh Gupta:
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.
International Journal of Parallel Programming 33(6): 613-643 (2005) |
| 2004 |
|---|
| 38 | | Debayan Bhaduri,
Sandeep K. Shukla:
NANOPRISM: a tool for evaluating granularity vs. reliability trade-offs in nano architectures.
ACM Great Lakes Symposium on VLSI 2004: 109-112 |
| 37 | | Hiren D. Patel,
Sandeep K. Shukla:
Towards a heterogeneous simulation kernel for system level models: a SystemC kernel for synchronous data flow models.
ACM Great Lakes Symposium on VLSI 2004: 248-253 |
| 36 | | Jean-Pierre Talpin,
David Berner,
Sandeep K. Shukla,
Paul Le Guernic,
Abdoulaye Gamatié,
Rajesh Gupta:
A Behavioral Type Inference System for Compositional System-on-Chip Design.
ACSD 2004: 47-56 |
| 35 | | David Berner,
Jean-Pierre Talpin,
Paul Le Guernic,
Sandeep K. Shukla:
Modular design through component abstraction.
CASES 2004: 202-211 |
| 34 | | Mohammad Reza Mousavi,
Paul Le Guernic,
Jean-Pierre Talpin,
Sandeep K. Shukla,
Twan Basten:
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
DATE 2004: 384-389 |
| 33 | | Deepak Mathaikutty,
Hiren D. Patel,
Sandeep K. Shukla:
A Functional Programming Framework of Heterogeneous Model of Computation for System Design.
FDL 2004: 586-598 |
| 32 | | Hiren D. Patel,
Sandeep K. Shukla:
Towards a Heterogeneous Simulation Kernel for System Level Models: A SystemC Kernel for Synchronous Data Flow Models.
ISVLSI 2004: 241-242 |
| 31 | | Debayan Bhaduri,
Sandeep K. Shukla:
NANOLAB: A Tool for Evaluating Reliability of Defect-Tolerant Nano Architectures.
ISVLSI 2004: 25-31 |
| 30 | | Sandeep K. Shukla,
Tevfik Bultan,
Constance L. Heitmeyer:
Panel: given that hardware verification has been an uphill battle, what is the future of software verification?
MEMOCODE 2004: 157-158 |
| 29 | | Syed Suhaib,
Deepak Mathaikutty,
Sandeep K. Shukla,
David Berner:
Extreme Formal Modeling (XFM) for Hardware Models.
MTV 2004: 30-35 |
| 28 | | Gethin Norman,
David Parker,
Marta Z. Kwiatkowska,
Sandeep K. Shukla:
Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.
VLSI Design 2004: 907- |
| 27 | | Juliana Küster Filipe,
Iman Poernomo,
Ralf Reussner,
Sandeep K. Shukla:
Preface.
Electr. Notes Theor. Comput. Sci. 108: 1-2 (2004) |
| 26 | | Jean-Pierre Talpin,
Paul Le Guernic,
Sandeep K. Shukla,
Frederic Doucet,
Rajesh K. Gupta:
Formal Refinement Checking in a System-level Design Methodology.
Fundam. Inform. 62(2): 243-273 (2004) |
| 25 | | Hans-Joachim Wunderlich,
Sandeep K. Shukla:
Panel Summaries.
IEEE Design & Test of Computers 21(1): 65-66 (2004) |
| 2003 |
|---|
| 24 | | Jean-Pierre Talpin,
Paul Le Guernic,
Sandeep K. Shukla,
Rajesh K. Gupta,
Frederic Doucet:
Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.
ACSD 2003: 9-19 |
| 23 | | Rajesh K. Gupta,
Shishpal Rawat,
Sandeep K. Shukla,
Brian Bailey,
Daniel K. Beece,
Masahiro Fujita,
Carl Pixley,
John O'Leary,
Fabio Somenzi:
Formal verification - prove it or pitch it.
DAC 2003: 710-711 |
| 22 | | Frederic Doucet,
Sandeep K. Shukla,
Rajesh K. Gupta:
Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated.
DATE 2003: 10382-10387 |
| 21 | | Jean-Pierre Talpin,
Paul Le Guernic,
Sandeep K. Shukla,
Rajesh K. Gupta,
Frederic Doucet:
Polychrony for Refinement-Based Design.
DATE 2003: 11172-11173 |
| 20 | | Rajesh K. Gupta,
Sandy Irani,
Sandeep K. Shukla:
Formal Methods for Dynamic Power Management.
ICCAD 2003: 874-882 |
| 19 | | Radu Cornea,
Nikil D. Dutt,
Rajesh K. Gupta,
Ingolf Krüger,
Alexandru Nicolau,
Douglas C. Schmidt,
Sandeep K. Shukla:
FORGE: A Framework for Optimization of Distributed Embedded Systems Software.
IPDPS 2003: 208 |
| 18 | | Rajesh K. Gupta,
Sandeep K. Shukla:
Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation?
MEMOCODE 2003: 277- |
| 17 | | Grant Martin,
Sandeep K. Shukla:
Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments.
MEMOCODE 2003: 97- |
| 16 | | Sandy Irani,
Sandeep K. Shukla,
Rajesh K. Gupta:
Algorithms for power savings.
SODA 2003: 37-46 |
| 15 | | Sandeep K. Shukla,
Jean-Pierre Talpin,
Stephen A. Edwards,
Rajesh K. Gupta:
High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap.
VLSI Design 2003: 9-14 |
| 14 | | Sandy Irani,
Sandeep K. Shukla,
Rajesh K. Gupta:
Online strategies for dynamic power management in systems with multiple power-saving states.
ACM Trans. Embedded Comput. Syst. 2(3): 325-346 (2003) |
| 13 | | Frederic Doucet,
Sandeep K. Shukla,
Masato Otsuka,
Rajesh K. Gupta:
BALBOA: a component-based design environment for system models.
IEEE Trans. on CAD of Integrated Circuits and Systems 22(12): 1597-1612 (2003) |
| 2002 |
|---|
| 12 | | Sandy Irani,
Rajesh K. Gupta,
Sandeep K. Shukla:
Competitive Analysis of Dynamic Power Management Strategies for Systems with Multiple Power Savings States.
DATE 2002: 117-123 |
| 11 | | Frederic Doucet,
Sandeep K. Shukla,
Rajesh K. Gupta,
Masato Otsuka:
An Environment for Dynamic Component Composition for Efficient Co-Design .
DATE 2002: 736-743 |
| 10 | | Nick Savoiu,
Sandeep K. Shukla,
Rajesh K. Gupta:
Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation.
DATE 2002: 875-883 |
| 9 | | Sandeep K. Shukla,
Frederic Doucet,
Rajesh K. Gupta:
Structured Component Composition Frameworks for Embedded System Design.
HiPC 2002: 663-678 |
| 8 | | Rajesh K. Gupta,
Sandeep K. Shukla,
Nick Savoiu:
Efficient Simulation of Synthesis-Oriented System Level Designs.
ISSS 2002: 168-173 |
| 7 | | Nick Savoiu,
Sandeep K. Shukla,
Rajesh K. Gupta:
Concurrency in System Level Design: Conflict Between Simulation and Synthesis Goals.
IWLS 2002: 407-411 |
| 2001 |
|---|
| 6 | | Frederic Doucet,
Rajesh K. Gupta,
Masato Otsuka,
Patrick Schaumont,
Sandeep K. Shukla:
Interoperability as a design issue in C++ based modeling environments.
ISSS 2001: 87-92 |
| 5 | | R. H. Hardin,
Robert P. Kurshan,
Sandeep K. Shukla,
Moshe Y. Vardi:
A New Heuristic for Bad Cycle Detection Using BDDs.
Formal Methods in System Design 18(2): 131-140 (2001) |
| 1998 |
|---|
| 4 | | Qing Guo,
Paliath Narendran,
Sandeep K. Shukla:
Unification and Matching in Process Algebras.
RTA 1998: 91-105 |
| 1996 |
|---|
| 3 | | Sandeep K. Shukla,
Harry B. Hunt III,
Daniel J. Rosenkrantz:
HORNSAT, Model Checking, Verification and games (Extended Abstract).
CAV 1996: 99-110 |
| 2 | | Sandeep K. Shukla,
Harry B. Hunt III,
Daniel J. Rosenkrantz,
Richard Edwin Stearns:
On the Complexity of Relational Problems for Finite State Processes (Extended Abstract).
ICALP 1996: 466-477 |
| 1 | | Sandeep K. Shukla,
Harry B. Hunt III,
Daniel J. Rosenkrantz,
S. S. Ravi,
Richard Edwin Stearns:
I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract).
PODC 1996: 122 |
