


Остановите войну!
for scientists:


default search action
P. P. Chakrabarti 0001
Partha Pratim Chakrabarti – Partha Pratim Chakraborty
Person information

- affiliation: Indian Institute of Technology, Kharagpur
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j88]Plaban Kumar Bhowmick, Partha Pratim Das, Partha Pratim Chakrabarti, Debarshi Kumar Sanyal:
National digital library of India: democratizing education in India. Commun. ACM 65(11): 58-61 (2022) - [j87]Debraj Kundu, Sudip Roy
, Sukanta Bhattacharjee, Sohini Saha
, Krishnendu Chakrabarty
, Partha Pratim Chakrabarti
, Bhargab B. Bhattacharya
:
Mixing Models as Integer Factorization: A Key to Sample Preparation With Microfluidic Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(3): 558-570 (2022) - [c100]Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti:
SymDNN: Simple & Effective Adversarial Robustness for Embedded Systems. CVPR Workshops 2022: 3598-3608 - [i14]Kushal Kedia, Rajat Kumar Jenamani, Aritra Hazra, Partha Pratim Chakrabarti:
Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks. CoRR abs/2202.10449 (2022) - [i13]Varun Madhavan, Adway Mitra, Partha Pratim Chakrabarti:
Deep Learning-based Spatially Explicit Emulation of an Agent-Based Simulator for Pandemic in a City. CoRR abs/2205.14396 (2022) - [i12]Manaar Alam, Shubhajit Datta, Debdeep Mukhopadhyay, Arijit Mondal, Partha Pratim Chakrabarti:
Resisting Adversarial Attacks in Deep Neural Networks using Diverse Decision Boundaries. CoRR abs/2208.08697 (2022) - [i11]Dvij Kalaria, Aritra Hazra, Partha Pratim Chakrabarti:
Towards Adversarial Purification using Denoising AutoEncoders. CoRR abs/2208.13838 (2022) - 2021
- [c99]Gaurav Suryawanshi, Varun Madhavan, Adway Mitra, Partha Pratim Chakrabarti:
City-Scale Simulation of Covid-19 Pandemic & Intervention Policies Using Agent-Based Modelling. WSC 2021: 1-12 - [i10]Gaurav Suryawanshi, Varun Madhavan, Adway Mitra, Partha Pratim Chakrabarti:
City-scale Simulation of Covid-19 Pandemic and Intervention Policies using Agent-based Modelling. CoRR abs/2104.01650 (2021) - [i9]Km Poonam, Rajlakshmi Guha, Partha Pratim Chakrabarti:
Artificial Intelligence Methods Based Hierarchical Classification of Frontotemporal Dementia to Improve Diagnostic Predictability. CoRR abs/2104.05235 (2021) - [i8]Dvij Kalaria, Aritra Hazra, Partha Pratim Chakrabarti:
Detecting Adversaries, yet Faltering to Noise? Leveraging Conditional Variational AutoEncoders for Adversary Detection in the Presence of Noisy Images. CoRR abs/2111.15518 (2021) - [i7]Manaar Alam, Shubhajit Datta, Debdeep Mukhopadhyay, Arijit Mondal, Partha Pratim Chakrabarti:
PARL: Enhancing Diversity of Ensemble Networks to Resist Adversarial Attacks via Pairwise Adversarially Robust Loss Function. CoRR abs/2112.04948 (2021) - 2020
- [c98]Kaustav Brahma, Pourush Sood, Rajlakshmi Guha, Partha Pratim Chakraborty:
'Eye Can Reason'- How Eye Parameters Marked one's Performance in a Visual Reasoning Task. CogSci 2020 - [c97]Anirban Lahiri, Utanko Mitra, Sunreeta Sen, Mreenal Chakraborty, Max Kleiman-Weiner, Rajlakshmi Guha, Pabitra Mitra, Anupam Basu, Partha Pratim Chakraborty:
Antarjami: Exploring psychometric evaluation through a computer-based game. CogSci 2020 - [i6]Ginju V. George, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems. CoRR abs/2005.00995 (2020) - [i5]Anirban Lahiri, Utanko Mitra, Sunreeta Sen, Mrinal Chakraborty, Max Kleiman-Weiner, Rajlakshmi Guha, Pabitra Mitra, Anupam Basu, Partha Pratim Chakraborty:
Antarjami: Exploring psychometric evaluation through a computer-based game. CoRR abs/2007.10089 (2020)
2010 – 2019
- 2019
- [j86]Surender Baswana, Partha Pratim Chakrabarti, Sharat Chandran
, Yashodhan Kanoria, Utkarsh Patange:
Centralized Admissions for Engineering Colleges in India. INFORMS J. Appl. Anal. 49(5): 338-354 (2019) - [c96]Sohini Saha
, Debraj Kundu, Sudip Roy, Sukanta Bhattacharjee, Krishnendu Chakrabarty
, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya:
Factorization based dilution of biochemical fluids with micro-electrode-dot-array biochips. ASP-DAC 2019: 462-467 - [c95]Surender Baswana, Partha Pratim Chakrabarti, Sharat Chandran, Yashodhan Kanoria, Utkarsh Patange:
Centralized Admissions for Engineering Colleges in India. EC 2019: 323-324 - [i4]Surender Baswana, P. P. Chakrabarti, Yashodhan Kanoria, Utkarsh Patange, Sharat Chandran:
Joint Seat Allocation 2018: An algorithmic perspective. CoRR abs/1904.06698 (2019) - 2018
- [j85]Shalu, Srijan Kumar, Ananya Singla, Sudip Roy, Krishnendu Chakrabarty
, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya:
Demand-Driven Single- and Multitarget Mixture Preparation Using Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. 23(4): 55:1-55:26 (2018) - 2017
- [j84]Saurav Kumar Ghosh
, P. Vishnuvardhan, Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, Partha Pratim Chakrabarti:
RELSPEC: a framework for reliability aware design of component based embedded systems. Des. Autom. Embed. Syst. 21(1): 37-87 (2017) - [j83]Sikhar Patranabis
, Abhishek Chakraborty, Debdeep Mukhopadhyay, Partha Pratim Chakrabarti:
Fault Space Transformation: A Generic Approach to Counter Differential Fault Analysis and Differential Fault Intensity Analysis on AES-Like Block Ciphers. IEEE Trans. Inf. Forensics Secur. 12(5): 1092-1102 (2017) - [c94]Anshuman Tripathi, Arnab Sarkar, P. P. Chakrabarti:
Migration Aware Low Overhead ERfair Scheduler. VLSID 2017: 219-224 - [e1]Partha Pratim Chakraborty, Manish Gupta, Lipika Dey, Shourya Roy:
Proceedings of the 10th Annual ACM India Compute Conference, Compute 2017, Bhopal, India, November 16-18, 2017. ACM 2017 [contents] - 2016
- [j82]Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Formal assessment of reliability specifications in embedded cyber-physical systems. J. Appl. Log. 18: 71-104 (2016) - [j81]Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti:
Anytime pack search. Nat. Comput. 15(3): 395-414 (2016) - [j80]Piyoosh Purushothaman Nair, Arnab Sarkar, N. M. Harsha, Megha Gandhi, P. P. Chakrabarti, Sujoy Ghose:
ERfair Scheduler with Processor Suspension for Real-Time Multiprocessor Embedded Systems. ACM Trans. Design Autom. Electr. Syst. 22(1): 19:1-19:25 (2016) - 2015
- [j79]Sudip Roy, Partha Pratim Chakrabarti, Krishnendu Chakrabarty
, Bhargab B. Bhattacharya:
Waste-aware single-target dilution of a biochemical fluid using digital microfluidic biochips. Integr. 51: 194-207 (2015) - [j78]Sudip Roy, Partha Pratim Chakrabarti, Srijan Kumar, Krishnendu Chakrabarty
, Bhargab B. Bhattacharya:
Layout-Aware Mixture Preparation of Biochemical Fluids on Application-Specific Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. 20(3): 45:1-45:34 (2015) - [c93]Martin Becker, Sajid Mohamed
, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty
, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta:
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. APSEC 2015: 385-392 - [i3]Rajorshee Raha, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta:
Multi-mode Sampling Period Selection for Embedded Real Time Control. CoRR abs/1506.08538 (2015) - [i2]Sikhar Patranabis, Abhishek Chakraborty, Debdeep Mukhopadhyay, P. P. Chakrabarti:
Using State Space Encoding To Counter Biased Fault Attacks on AES Countermeasures. IACR Cryptol. ePrint Arch. 2015: 806 (2015) - 2014
- [j77]Satya Gautam Vadlamudi, Partha Pratim Chakrabarti:
Robustness Analysis of Embedded Control Systems with Respect to Signal Perturbations: Finding Minimal Counterexamples Using Fault Injection. IEEE Trans. Dependable Secur. Comput. 11(1): 45-58 (2014) - [c92]Sudip Roy, Srijan Kumar, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya, Krishnendu Chakrabarty
:
Demand-Driven Mixture Preparation and Droplet Streaming using Digital Microfluidic Biochips. DAC 2014: 144:1-144:6 - [c91]Rajorshee Raha, Aritra Hazra, Akash Mondal, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta:
Synthesis of sampling modes for adaptive control. ICCSCE 2014: 294-299 - [i1]Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. CoRR abs/1401.5852 (2014) - 2013
- [j76]Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, P. P. Chakrabarti, Pallab Dasgupta:
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications. IEEE Embed. Syst. Lett. 5(1): 8-11 (2013) - [j75]Satya Gautam Vadlamudi, Sandip Aine, P. P. Chakrabarti:
Incremental Beam search. Inf. Process. Lett. 113(22-24): 888-893 (2013) - [c90]M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Handling fault detection latencies in automata-based scheduling for embedded control software. CACSD 2013: 1-6 - [c89]Srijan Kumar, Sudip Roy, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya, Krishnendu Chakrabarty
:
Efficient mixture preparation on digital microfluidic biochips. DDECS 2013: 205-210 - [c88]Anshul Gupta, Aurosish Mishra, Satya Gautam Vadlamudi, P. P. Chakrabarti, Sudeshna Sarkar
, Tridib Mukherjee, Nathan Gnanasambandam:
A Mobility Simulation Framework Of Humans With Group Behavior Modeling. ICDM 2013: 1067-1072 - [c87]Priyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract. IJCAI 2013: 3156-3160 - [c86]Sudip Roy, Partha Pratim Chakrabarti, Srijan Kumar, Bhargab B. Bhattacharya, Krishnendu Chakrabarty
:
Routing-aware resource allocation for mixture preparation in digital microfluidic biochips. ISVLSI 2013: 165-170 - [c85]Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta:
Ordered Solution Generation for Implicit AND/OR Search Spaces. PReMI 2013: 581-586 - [c84]Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti:
Anytime Pack Heuristic Search. PReMI 2013: 628-634 - [c83]Sunandita Patra, Satya Gautam Vadlamudi, Partha Pratim Chakrabarti:
Anytime Contract Search. SGAI Conf. 2013: 139-155 - [c82]Saptarshi Roy, Amit Patra, Partha Pratim Chakrabarti, Purnendu Sinha, Dipankar Das:
Prediction Schemes for Compensating Variable Delay for Improving Performance of Real-Time Control Tasks. VLSI Design 2013: 19-24 - 2012
- [j74]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti:
Cohesive Coverage Management: Simulation Meets Formal Methods. J. Electron. Test. 28(4): 449-468 (2012) - [j73]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
SAT based timing analysis for fixed and rise/fall gate delay models. Integr. 45(4): 357-364 (2012) - [j72]Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. J. Artif. Intell. Res. 44: 275-333 (2012) - [j71]Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan:
A dynamic assertion-based verification platform for validation of UML designs. ACM SIGSOFT Softw. Eng. Notes 37(1): 1-14 (2012) - [j70]Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta:
Symbolic-Event-Propagation-Based Minimal Test Set Generation for Robust Path Delay Faults. ACM Trans. Design Autom. Electr. Syst. 17(4): 47:1-47:20 (2012) - [j69]Pravanjan Choudhury, P. P. Chakrabarti, Rajeev Kumar:
Online Scheduling of Dynamic Task Graphs with Communication and Contention for Multiprocessors. IEEE Trans. Parallel Distributed Syst. 23(1): 126-133 (2012) - [c81]Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta:
Anytime Algorithms for Biobjective Heuristic Search. Australasian Conference on Artificial Intelligence 2012: 230-241 - [c80]Satya Gautam Vadlamudi, Piyush Gaurav, Sandip Aine, Partha Pratim Chakrabarti:
Anytime Column Search. Australasian Conference on Artificial Intelligence 2012: 254-265 - [c79]Satya Gautam Vadlamudi, Partha Pratim Chakrabarti, Sudeshna Sarkar:
Anytime Algorithms for Mining Groups with Maximum Coverage. AusDM 2012: 209-220 - [c78]Vishal Shrivastav, Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha:
Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults. ISED 2012: 167-171 - [c77]Sudip Roy, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya:
Algorithms for On-Chip Solution Preparation Using Digital Microfluidic Biochips. ISVLSI 2012: 7-8 - [c76]Priyankar Ghosh, P. P. Chakrabarti, Pallab Dasgupta:
Execution Ordering in AND/OR Graphs with Failure Probabilities. SOCS 2012 - [c75]Sathyam K. Pattanam, P. P. Chakrabarti, Mahesh Mahendale, Srikanth Jadcherla, Seer Akademi, Vikas Gautham, Raju Bala Showry Pudota:
Panel Discussion: SoC Realization - A Bridge to New Horizons or a Bridge to Nowhere? VLSI Design 2012: 38 - 2011
- [j68]Arnab Sarkar, A. Shanker, Sujoy Ghose, P. P. Chakrabarti:
A Low-Overhead Partition-Oriented ERfair Scheduler for Hard Real-Time Embedded Systems. IEEE Embed. Syst. Lett. 3(1): 5-8 (2011) - [j67]Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti:
Sticky-ERfair: a task-processor affinity aware proportional fair scheduler. Real Time Syst. 47(4): 356-377 (2011) - [j66]Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti:
A Corrigendum to: "Sticky-ERfair: a task-processor affinity aware proportional fair scheduler". Real Time Syst. 47(4): 382-385 (2011) - [j65]Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti:
$\hbox {MAWA}^{\ast }$ - A Memory-Bounded Anytime Heuristic-Search Algorithm. IEEE Trans. Syst. Man Cybern. Part B 41(3): 725-735 (2011) - [c74]Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha:
A framework for early stage quality-fault tolerance analysis of embedded control systems. DSN 2011: 315-322 - [c73]Dipankar Das, P. P. Chakrabarti, Purnendu Sinha:
Robust embedded software design through early analysis of quality faults. ISEC 2011: 31-40 - [c72]Sudip Roy, Bhargab B. Bhattacharya, Partha Pratim Chakrabarti, Krishnendu Chakrabarty
:
Layout-Aware Solution Preparation for Biochemical Analysis on a Digital Microfluidic Biochip. VLSI Design 2011: 171-176 - 2010
- [j64]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
Heuristic search under contract. Comput. Intell. 26(4): 386-419 (2010) - [j63]Arnab Sarkar, P. P. Chakrabarti, Sujoy Ghose:
Partition oriented frame based fair scheduler. J. Parallel Distributed Comput. 70(7): 707-718 (2010) - [j62]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Bounded delay timing analysis and power estimation using SAT. Microelectron. J. 41(5): 317-324 (2010) - [j61]Dipankar Das, P. P. Chakrabarti, Rajeev Kumar:
Thermal analysis of multiprocessor SoC applications by simulation and verification. ACM Trans. Design Autom. Electr. Syst. 15(2): 15:1-15:52 (2010) - [c71]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
Contract Search: Heuristic Search under Node Expansion Constraints. ECAI 2010: 733-738 - [c70]Sandip Aine, P. P. Chakrabarti:
An analysis of breadth-first beam search using uniform cost trees. ISAIM 2010 - [c69]Arnab Sarkar, Rahul Nanda, Sujoy Ghose, P. P. Chakrabarti:
Safe-ERfair. VLSI Design 2010: 128-133 - [c68]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti:
Coverage Management with Inline Assertions and Formal Test Points. VLSI Design 2010: 140-145 - [c67]Arijit Mondal, Partha Pratim Chakrabarti, Pallab Dasgupta:
Accelerating Synchronous Sequential Circuits Using an Adaptive Clock. VLSI Design 2010: 176-181
2000 – 2009
- 2009
- [j60]Sandip Aine, Rajeev Kumar, P. P. Chakrabarti:
Adaptive parameter control of evolutionary algorithms to improve quality-time trade-off. Appl. Soft Comput. 9(2): 527-540 (2009) - [j59]Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti:
Design intent coverage revisited. ACM Trans. Design Autom. Electr. Syst. 14(1): 9:1-9:32 (2009) - [j58]Dipankar Das, P. P. Chakrabarti, Rajeev Kumar:
Scenario-based timing verification of multiprocessor embedded applications. ACM Trans. Design Autom. Electr. Syst. 14(3): 37:1-37:58 (2009) - [c66]Arnab Sarkar, Sarthak Swaroop, Sujoy Ghose, Partha Pratim Chakrabarti:
ERfair Scheduler with Processor Shutdown. HiPC 2009: 4-12 - [c65]Partha Pratim Chakrabarti, Sandip Aine:
New Approaches to Design and Control of Time Limited Search Algorithms. PReMI 2009: 1-6 - [c64]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti:
Inline Assertions - Embedding Formal Properties in a Test Bench. VLSI Design 2009: 71-76 - 2008
- [j57]Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
Auxiliary state machines + context-triggered properties in verification. ACM Trans. Design Autom. Electr. Syst. 13(4): 62:1-62:31 (2008) - [j56]Subrat Kumar Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar:
Simulation-based verification using Temporally Attributed Boolean Logic. ACM Trans. Design Autom. Electr. Syst. 13(4): 63:1-63:52 (2008) - [j55]Pravanjan Choudhury, Rajeev Kumar, P. P. Chakrabarti:
Hybrid Scheduling of Dynamic Task Graphs with Selective Duplication for Multiprocessors under Memory and Time Constraints. IEEE Trans. Parallel Distributed Syst. 19(7): 967-980 (2008) - [j54]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Satisfiability Models for Maximum Transition Power. IEEE Trans. Very Large Scale Integr. Syst. 16(8): 941-951 (2008) - [c63]Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan:
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. ATVA 2008: 222-227 - [c62]Partha Pratim Chakrabarti:
Approaches to Design Intent Verification. ICIIS 2008: 1 - [c61]Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan:
Cohesive Coverage Management for Simulation and Formal Property Verification. ISVLSI 2008: 251-256 - 2007
- [j53]Arijit Mondal, Partha Pratim Chakrabarti, Pallab Dasgupta:
Statistical static timing analysis using symbolic event propagation. IET Circuits Devices Syst. 1(4): 283-291 (2007) - [j52]Bhaskar Pal, Arnab Sinha, Pallab Dasgupta, P. P. Chakrabarti, Kaushik De:
Hardware accelerated constrained random test generation. IET Comput. Digit. Tech. 1(4): 423-433 (2007) - [j51]Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
BUSpec: A framework for generation of verification aids for standard bus protocol specifications. Integr. 40(3): 285-304 (2007) - [j50]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
An Automated Meta-Level Control Framework for Optimizing the Quality-Time Tradeoff of VLSI Algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(11): 1992-2008 (2007) - [j49]Abhishek Somani, P. P. Chakrabarti, Amit Patra:
An Evolutionary Algorithm-Based Approach to Automated Design of Analog and RF Circuits Using Adaptive Normalized Cost Functions. IEEE Trans. Evol. Comput. 11(3): 336-353 (2007) - [j48]Tathagato Rai Dastidar, P. P. Chakrabarti:
A verification system for transient response of analog circuits. ACM Trans. Design Autom. Electr. Syst. 12(3): 31:1-31:39 (2007) - [j47]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Event propagation for accurate circuit delay calculation using SAT. ACM Trans. Design Autom. Electr. Syst. 12(3): 36:1-36:23 (2007) - [j46]Dipankar Das, P. P. Chakrabarti, Rajeev Kumar:
Functional verification of task partitioning for multiprocessor embedded systems. ACM Trans. Design Autom. Electr. Syst. 12(4): 44 (2007) - [c60]Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta:
Timing Analysis of Sequential Circuits Using Symbolic Event Propagation. ICCTA 2007: 151-157 - [c59]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
AWA* - A Window Constrained Anytime Heuristic Search Algorithm. IJCAI 2007: 2250-2255 - [c58]Subrat Kumar Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar:
Simulation Based Verification using Temporally Attributed Boolean Logic. VLSI Design 2007: 57-62 - [c57]Pravanjan Choudhury, P. P. Chakrabarti, Rajeev Kumar:
Online Dynamic Voltage Scaling using Task Graph Mapping Analysis for Multiprocessors. VLSI Design 2007: 89-94 - [c56]Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti:
A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis. VLSI Design 2007: 95-102 - [c55]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Bounded Delay Timing Analysis Using Boolean Satisfiability. VLSI Design 2007: 295-302 - 2006
- [j45]Arnab Sarkar, P. P. Chakrabarti, Rajeev Kumar:
Frame-Based Proportional Round-Robin. IEEE Trans. Computers 55(9): 1121-1129 (2006) - [j44]Arijit Mondal, P. P. Chakrabarti:
Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(9): 1793-1814 (2006) - [j43]Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni:
Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(10): 1922-1934 (2006) - [c54]Dipankar Das, Rajeev Kumar, P. P. Chakrabarti:
Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications. APSEC 2006: 199-208 - [c53]Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti:
Discovering the input assumptions in specification refinement coverage. ASP-DAC 2006: 13-18 - [c52]Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti:
Synthesis of system verilog assertions. DATE Designers' Forum 2006: 70-75 - [c51]Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti:
What lies between design intent coverage and model checking? DATE 2006: 1217-1222 - [c50]Rajeev Kumar, Rahul Chaudhry, Dipankar Das, Vibha Rathi, Subrat Kumar Panda, P. P. Chakrabarti:
SystemC Modeling and Validation of A RISC Processor System. FDL 2006: 189-197 - [c49]Abhishek Somani, P. P. Chakrabarti, Amit Patra:
A model-based hybrid evolutionary algorithm for fast yield-inclusive design space exploration of analog circuits. ISCAS 2006 - [c48]Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
Formal methods for checking realizability of coalitions in 3-party systems. MEMOCODE 2006: 198 - [c47]