Aritra Hazra
Aritra Hazra
Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur
Geverifieerd e-mailadres voor cse.iitkgp.ac.in - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Formal verification of architectural power intent
A Hazra, S Goyal, P Dasgupta, A Pal
IEEE transactions on very large scale integration (VLSI) systems 21 (1), 78-91, 2012
212012
XFC: a framework for eXploitable fault characterization in block ciphers
P Khanna, C Rebeiro, A Hazra
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2017
202017
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent
A Hazra, S Mitra, P Dasgupta, A Pal, D Bagchi, K Guha
Proceedings of the 47th Design Automation Conference, 773-776, 2010
172010
Power-tructor: An integrated tool flow for formal verification and coverage of architectural power intent
A Hazra, R Mukherjee, P Dasgupta, A Pal, KM Harer, A Banerjee, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
112013
Cohesive coverage management for simulation and formal property verification
A Hazra, A Banerjee, S Mitra, P Dasgupta, PP Chakrabarti, CR Mohan
2008 IEEE Computer Society Annual Symposium on VLSI, 251-256, 2008
102008
Synthesis of sampling modes for adaptive control
R Raha, A Hazra, A Mondal, S Dey, PP Chakrabarti, P Dasgupta
2014 IEEE International Conference on Control System, Computing and …, 2014
82014
Reliability guarantees in automata-based scheduling for embedded control software
A Hazra, P Dasgupta
IEEE Embedded Systems Letters 5 (2), 17-20, 2013
62013
Formal methods for early analysis of functional reliability in component-based embedded applications
A Hazra, P Ghosh, SG Vadlamudi, PP Chakrabarti, P Dasgupta
IEEE Embedded Systems Letters 5 (1), 8-11, 2013
62013
SAFARI: Automatic synthesis of fault-attack resistant block cipher implementations
I Roy, C Rebeiro, A Hazra, S Bhunia
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019
52019
Formal assessment of reliability specifications in embedded cyber-physical systems
A Hazra, P Dasgupta, PP Chakrabarti
Journal of Applied Logic 18, 71-104, 2016
52016
Formal Verification for Security in IoT Devices
K Keerthi, I Roy, A Hazra, C Rebeiro
Security and Fault Tolerance in Internet of Things, 179-200, 2019
32019
Formal verification of power management logic with mixed-signal domains
S Mandal, AB Da Costa, A Hazra, P Dasgupta, B Naware, RM Chunduri, ...
2017 30th International Conference on VLSI Design and 2017 16th …, 2017
32017
Handling fault detection latencies in automata-based scheduling for embedded control software
MS Prabhu, A Hazra, P Dasgupta, PP Chakrabarti
2013 IEEE Conference on Computer Aided Control System Design (CACSD), 1-6, 2013
32013
Formal methods for coverage analysis of architectural power states in power-managed designs
A Hazra, P Dasgupta, A Banerjee, K Harer
17th Asia and South Pacific Design Automation Conference, 585-590, 2012
32012
Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems
SK Ghosh, A Mondal, S Dutta, A Hazra, S Dey
2016 20th International Symposium on VLSI Design and Test (VDAT), 1-6, 2016
22016
Cohesive coverage management: Simulation meets formal methods
A Hazra, P Ghosh, P Dasgupta, PP Chakrabarti
Journal of Electronic Testing 28 (4), 449-468, 2012
22012
POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads
P Ghosh, A Hazra, R Gonnabhaktula, N Bhilegaonkar, P Dasgupta, ...
Journal of Low Power Electronics 8 (3), 293-303, 2012
22012
Cohesive Coverage Management Leveraging Formal Test Plans: A Design Intent Verification Perspective
A Hazra, P Dasgupta, PP Chakrabarti
LAP Lambert Academic Publishing, 2012
22012
Coverage management with inline assertions and formal test points
A Hazra, P Ghosh, P Dasgupta, PP Chakrabarti
2010 23rd International Conference on VLSI Design, 140-145, 2010
22010
Inline Assertions-Embedding Formal Properties in a Test Bench
A Hazra, P Ghosh, P Dasgupta, PP Chakrabarti
2009 22nd International Conference on VLSI Design, 71-76, 2009
22009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20