Sandeep Kumar Shukla - Böcker

Formal Methods and Models for System Design

A System Level Perspective

Nano, Quantum and Molecular Computing

Implications to High Level Design and Validation

SystemC Kernel Extensions for Heterogeneous System Modeling

A Framework for Multi-MoC Modeling & Simulation

Ingredients for Successful System Level Design Methodology

Fundamental Problems in Computing

Essays in Honor of Professor Daniel J. Rosenkrantz

Formal Methods and Models for System Design

A System Level Perspective

Nano, Quantum and Molecular Computing

Implications to High Level Design and Validation

SystemC Kernel Extensions for Heterogeneous System Modeling

A Framework for Multi-MoC Modeling & Simulation

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis

Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture

Implementing Enterprise Cybersecurity with Open-source Software and Standard Architecture

Ingredients for Successful System Level Design Methodology

Fundamental Problems in Computing

Essays in Honor of Professor Daniel J. Rosenkrantz

Cyber Security in India

Education, Research and Training