1 citations · 1 across the 3 of their papers we have counts for
5 papers
Formal Methods for Characterization and Analysis of Quality Specifications in Component-based Systems
Aritra Hazra
Component-based design paradigm is of paramount importance due to prolific growth in the complexity of modern-day systems. Since the components are developed primarily by multi-par…
Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks
Kushal Kedia, Rajat Kumar Jenamani, Aritra Hazra +1
Multi-Agent Path Finding (MAPF) is the problem of finding collision-free paths for multiple agents from their start locations to end locations. We consider an extension to this pro…
Methodology for Biasing Random Simulation for Rapid Coverage of Corner Cases in AMS Designs
Sayandeep Sanyal, Ayan Chakraborty, Pallab Dasgupta +1
Exploring the limits of an Analog and Mixed Signal (AMS) circuit by driving appropriate inputs has been a serious challenge to the industry. Doing an exhaustive search of the entir…
Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems
Ginju V. George, Aritra Hazra, Pallab Dasgupta +1
Reliability and fault tolerance are critical attributes of embedded cyber-physical systems that require a high safety-integrity level. For such systems, the use of formal functiona…
Testability Analysis of PUFs Leveraging Correlation-Spectra in Boolean Functions
Durba Chatterjee, Aritra Hazra, Debdeep Mukhopadhyay
Testability of digital ICs rely on the principle of controllability and observability. Adopting conventional techniques like scan-chains open up avenues for attacks, and hence cann…