2009 |
99 | EE | 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 |
98 | EE | Sandeep K. Shukla:
Guest editorial: IEEE/ACM symposium on nanoscale architectures (NANOARCH07).
JETC 5(1): (2009) |
2008 |
97 | 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 |
96 | 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 |
95 | EE | Gaurav Singh,
Sandeep K. Shukla:
Verifying Compiler Based Refinement of BluespecTM.
SPIN 2008: 250-269 |
94 | EE | Syed Suhaib,
Deepak Mathaikutty,
Sandeep K. Shukla:
Dataflow Architectures for GALS.
Electr. Notes Theor. Comput. Sci. 200(1): 33-50 (2008) |
93 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Hiren D. Patel,
Sandeep K. Shukla:
Model-driven Validation of SystemC Designs.
DAC 2007: 29-34 |
87 | EE | Hiren D. Patel,
Sandeep K. Shukla:
Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL.
DATE 2007: 279-284 |
86 | EE | 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 | EE | Deepak Mathaikutty,
Ajit Dingankar,
Sandeep K. Shukla:
A Metamodeling based Framework for Architectural Modeling and Simulator Generation.
FDL 2007: 210-218 |
84 | EE | Deepak Mathaikutty,
Sandeep K. Shukla:
Type Inference for IP Composition.
MEMOCODE 2007: 61-70 |
83 | EE | Edgar G. Daylight,
Sandeep K. Shukla:
Local Causal Reasoning of a Safety-Critical Subway System.
MEMOCODE 2007: 83-84 |
82 | EE | Eric Simpson,
Pengyuan Yu,
Patrick Schaumont,
Sumit Ahuja,
Sandeep K. Shukla:
VT Matrix Multiply Design for MEMOCODE '07.
MEMOCODE 2007: 95-96 |
81 | EE | Sumit Ahuja,
Deepak Mathaikutty,
Sandeep K. Shukla,
Ajit Dingankar:
Assertion-Based Modal Power Estimation.
MTV 2007: 3-7 |
80 | EE | Gaurav Singh,
Sandeep K. Shukla:
Model Checking Bluespec Specified Hardware Designs.
MTV 2007: 39-43 |
79 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Sandy Irani,
Sandeep K. Shukla,
Rajesh Gupta:
Algorithms for power savings.
ACM Transactions on Algorithms 3(4): (2007) |
74 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Hiren D. Patel,
Sandeep K. Shukla,
Reinaldo A. Bergamaschi:
Heterogeneous behavioral hierarchy for system level designs.
DATE 2006: 565-570 |
69 | EE | Patrick Schaumont,
Sandeep K. Shukla,
Ingrid Verbauwhede:
Design with race-free hardware semantics.
DATE 2006: 571-576 |
68 | EE | Deepak Mathaikutty,
Sandeep K. Shukla:
Mining Metadata for Composability of IPs from SystemC IP Library.
FDL 2006: 143-151 |
67 | EE | Deepak Mathaikutty,
Sandeep K. Shukla:
MCF: A Metamodeling-based Visual Component Composition Framework.
FDL 2006: 367-375 |
66 | EE | 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 | EE | Gaurav Singh,
Sandeep K. Shukla:
Low-power hardware synthesis from TRS-based specifications.
MEMOCODE 2006: 49-58 |
64 | EE | 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 | EE | Ken S. Stevens,
Sandeep K. Shukla,
Montek Singh,
Jean-Pierre Talpin:
Preface.
Electr. Notes Theor. Comput. Sci. 146(2): 1-3 (2006) |
62 | EE | 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 | EE | 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 | EE | 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 | EE | Syed Suhaib,
Deepak Mathaikutty,
David Berner,
Sandeep K. Shukla:
Validating Families of Latency Insensitive Protocols.
IEEE Trans. Computers 55(11): 1391-1401 (2006) |
58 | EE | 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 | EE | Deepak Mathaikutty,
Hiren D. Patel,
Sandeep K. Shukla,
Axel Jantsch:
Modelling Environment for Heterogeneous Systems based on MoCs.
FDL 2005: 291-303 |
56 | EE | Hiren D. Patel,
Sandeep K. Shukla:
Towards Behavioural Hierarchy Extensions for SystemC.
FDL 2005: 361-373 |
55 | EE | 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 | EE | 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 | EE | Nicolae Savoiu,
Sandeep K. Shukla,
Rajesh K. Gupta:
Improving SystemC simulation through Petri net reductions.
MEMOCODE 2005: 131-140 |
52 | EE | Patrick Schaumont,
Sandeep K. Shukla,
Ingrid Verbauwhede:
Extended abstract: a race-free hardware modeling language.
MEMOCODE 2005: 255-256 |
51 | EE | Sandeep K. Shukla:
Teaching Game Theory for Computer Engineering.
MSE 2005: 41-42 |
50 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Juliana Küster Filipe,
Iman Poernomo,
Ralf Reussner,
Sandeep K. Shukla:
Preface.
Electr. Notes Theor. Comput. Sci. 141(3): 1-2 (2005) |
44 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | David Berner,
Jean-Pierre Talpin,
Paul Le Guernic,
Sandeep K. Shukla:
Modular design through component abstraction.
CASES 2004: 202-211 |
34 | EE | 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 | EE | 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 | EE | 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 | EE | Debayan Bhaduri,
Sandeep K. Shukla:
NANOLAB: A Tool for Evaluating Reliability of Defect-Tolerant Nano Architectures.
ISVLSI 2004: 25-31 |
30 | EE | 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 | EE | Syed Suhaib,
Deepak Mathaikutty,
Sandeep K. Shukla,
David Berner:
Extreme Formal Modeling (XFM) for Hardware Models.
MTV 2004: 30-35 |
28 | EE | 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 | EE | Juliana Küster Filipe,
Iman Poernomo,
Ralf Reussner,
Sandeep K. Shukla:
Preface.
Electr. Notes Theor. Comput. Sci. 108: 1-2 (2004) |
26 | EE | 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 | EE | 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 | EE | 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 | EE | Frederic Doucet,
Sandeep K. Shukla,
Rajesh K. Gupta:
Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated.
DATE 2003: 10382-10387 |
21 | EE | Jean-Pierre Talpin,
Paul Le Guernic,
Sandeep K. Shukla,
Rajesh K. Gupta,
Frederic Doucet:
Polychrony for Refinement-Based Design.
DATE 2003: 11172-11173 |
20 | EE | Rajesh K. Gupta,
Sandy Irani,
Sandeep K. Shukla:
Formal Methods for Dynamic Power Management.
ICCAD 2003: 874-882 |
19 | EE | 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 | EE | 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 | EE | Grant Martin,
Sandeep K. Shukla:
Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments.
MEMOCODE 2003: 97- |
16 | EE | Sandy Irani,
Sandeep K. Shukla,
Rajesh K. Gupta:
Algorithms for power savings.
SODA 2003: 37-46 |
15 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Sandeep K. Shukla,
Frederic Doucet,
Rajesh K. Gupta:
Structured Component Composition Frameworks for Embedded System Design.
HiPC 2002: 663-678 |
8 | EE | 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 | EE | 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 |