Browse by Fellow

Vadlamudi, Satya Gautam ; Chakrabarti, Partha Pratim (2014) Robustness Analysis of Embedded Control Systems with Respect to Signal Perturbations: Finding Minimal Counterexamples Using Fault Injection IEEE Transactions on Dependable and Secure Computing, 11 (1). pp. 45-58. ISSN 1545-5971

Hazra, Aritra ; Ghosh, Priyankar ; Vadlamudi, S. G. ; Chakrabarti, P. P. ; Dasgupta, Pallab (2013) Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications IEEE Embedded Systems Letters, 5 (1). pp. 8-11. ISSN 1943-0663

Vadlamudi, S.G. ; Aine, Sandip ; Chakrabarti, P.P. (2013) Incremental Beam search Information Processing Letters, 113 (22-24). pp. 888-893. ISSN 00200190

Ghosh, P. ; Sharma, A. ; Chakrabarti, P.P. ; Dasgupta, P. (2012) Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures Journal of Artificial Intelligence Research, 44 . pp. 275-333. ISSN 1076-9757

Hazra, Aritra ; Ghosh, Priyankar ; Dasgupta, Pallab ; Chakrabarti, Partha Pratim (2012) Cohesive Coverage Management: Simulation Meets Formal Methods Journal of Electronic Testing, 28 (4). pp. 449-468. ISSN 0923-8174

Choudhury, P. ; Chakrabarti, P. P. ; Kumar, R. (2012) Online Scheduling of Dynamic Task Graphs with Communication and Contention for Multiprocessors IEEE Transactions on Parallel and Distributed Systems, 23 (1). pp. 126-133. ISSN 1045-9219

Roy, Suchismita ; Chakrabarti, P.P. ; Dasgupta, Pallab (2012) SAT based timing analysis for fixed and rise/fall gate delay models Integration, 45 (4). pp. 357-364. ISSN 01679260

Mondal, Arijit ; Chakrabarti, P. P. ; Dasgupta, Pallab (2012) Symbolic-Event-Propagation-Based Minimal Test Set Generation for Robust Path Delay Faults ACM Transactions on Design Automation of Electronic Systems, 17 (4). pp. 1-20. ISSN 1084-4309

Banerjee, A. ; Ray, S. ; Dasgupta, P. ; Chakrabarti, P. P. ; Ramesh, S. ; Vignesh, P. ; Ganesan, V. (2012) A dynamic assertion-based verification platform for validation of UML designs ACM SIGSOFT Software Engineering Notes, 37 (1). pp. 1-14. ISSN 0163-5948

Sarkar, Arnab ; Ghose, Sujoy ; Chakrabarti, P. P. (2011) A Corrigendum to: “Sticky-ERfair: a task-processor affinity aware proportional fair scheduler” Real-Time Systems, 47 (4). pp. 382-385. ISSN 0922-6443

Sarkar, Arnab ; Shanker, Amit ; Ghose, Sujoy ; Chakrabarti, P. P. (2011) A Low-Overhead Partition-Oriented ERfair Scheduler for Hard Real-Time Embedded Systems IEEE Embedded Systems Letters, 3 (1). pp. 5-8. ISSN 1943-0663

Sarkar, Arnab ; Ghose, Sujoy ; Chakrabarti, P. P. (2011) Sticky-ERfair: a task-processor affinity aware proportional fair scheduler Real-Time Systems, 47 (4). pp. 356-377. ISSN 0922-6443

Roy, Suchismita ; Chakrabarti, P.P. ; Dasgupta, Pallab (2010) Bounded delay timing analysis and power estimation using SAT Microelectronics Journal, 41 (5). pp. 317-324. ISSN 00262692

Aine, Sandip ; Chakrabarti, P.P. ; Kumar, Rajeev (2010) HEURISTIC SEARCH UNDER CONTRACT Computational Intelligence, 26 (4). pp. 386-419. ISSN 08247935

Sarkar, Arnab ; Chakrabarti, P.P. ; Ghose, Sujoy (2010) Partition oriented frame based fair scheduler Journal of Parallel and Distributed Computing, 70 (7). pp. 707-718. ISSN 07437315

Sarkar, Arnab ; Nanda, Rahul ; Ghose, Sujoy ; Chakrabarti, P. P. (2010) Safe-ERfair Proceedings-IEEE International Conference on VLSI Design . pp. 128-133. ISSN 1063-9667

Das, Dipankar ; Chakrabarti, P. P. ; Kumar, Rajeev (2010) Thermal analysis of multiprocessor SoC applications by simulation and verification ACM Transactions on Design Automation of Electronic Systems, 15 (2). pp. 1-52. ISSN 1084-4309

Aine, Sandip ; Kumar, Rajeev ; Chakrabarti, P.P. (2009) Adaptive parameter control of evolutionary algorithms to improve quality-time trade-off Applied Soft Computing, 9 (2). pp. 527-540. ISSN 15684946

Sinha, Arnab ; Dasgupta, Pallab ; Pal, Bhaskar ; Das, Sayantan ; Basu, Prasenjit ; Chakrabarti, P. P. (2009) Design intent coverage revisited ACM Transactions on Design Automation of Electronic Systems, 14 (1). pp. 1-32. ISSN 1084-4309

Aine, Sandip ; Chakrabarti, P. P. (2009) New approaches to design and control of time limited search algorithms Lecture Notes in Computer Science, 5909 . pp. 1-6. ISSN 0302-9743

Das, Dipankar ; Chakrabarti, P. P. ; Kumar, Rajeev (2009) Scenario-based timing verification of multiprocessor embedded applications ACM Transactions on Design Automation of Electronic Systems, 14 (3). pp. 1-58. ISSN 1084-4309

Choudhury, Pravanjan ; Kumar, Rajeev ; Chakrabarti, P. P. (2008) Hybrid scheduling of dynamic task graphs with selective duplication for multiprocessors under memory and time constraints IEEE Transactions on Parallel and Distributed Systems, 19 (7). pp. 967-980. ISSN 1045-9219

Banerjee, Ansuman ; Dasgupta, Pallab ; Chakrabarti, P. P. (2008) Auxiliary state machines + context-triggered properties in verification ACM Transactions on Design Automation of Electronic Systems, 13 (4). pp. 1-31. ISSN 1084-4309

Roy, S. ; Chakrabarti, P.P. ; Dasgupta, P. (2008) Satisfiability Models for Maximum Transition Power IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 16 (8). pp. 941-951. ISSN 1063-8210

Panda, S. K. ; Roy, Arnab ; Chakrabarti, P. P. ; Kumar, Rajeev (2008) Simulation-based verification using Temporally Attributed Boolean Logic ACM Transactions on Design Automation of Electronic Systems, 13 (4). pp. 1-52. ISSN 1084-4309

Aine, S. ; Chakrabarti, P. P. ; Kumar, P. (2007) An automated meta-level control framework for optimizing the quality-time tradeoff of VLSI algorithms IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 26 (11). pp. 1992-2008. ISSN 0278-0070

Das, Dipankar ; Chakrabarti, P. P. ; Kumar, Rajeev (2007) Functional verification of task partitioning for multiprocessor embedded systems ACM Transactions on Design Automation of Electronic Systems, 12 (4). No pp. given.. ISSN 1084-4309

Roy, Suchismita ; Chakrabarti, P. P. ; Dasgupta, Pallab (2007) Event propagation for accurate circuit delay calculation using SAT ACM Transactions on Design Automation of Electronic Systems, 12 (3). No pp. given.. ISSN 1084-4309

Somani, A. ; Chakrabarti, P. P. ; Patra, A. (2007) An evolutionary algorithm-based approach to automated design of analog and RF circuits using adaptive normalized cost functions IEEE Transactions on Evolutionary Computation, 11 (3). pp. 336-353. ISSN 1089-778X

Aine, Sandip ; Chakrabarti, P. P. ; Kumar, Rajeev (2007) AWA - a window constrained anytime heuristic search algorithm International Joint Conference on Artificial Intelligence . pp. 2250-2255. ISSN 1045-0823

Das, D. ; Kumar, R. ; Chakrabarti, P. P. (2006) Timing verification of UML activity diagram based code block level models for real time multiprocessor system-on-chip applications Software Engineering Conference . pp. 199-208. ISSN 1530-1362

Sarkar, Arnab ; Chakrabarti, Partha P. ; Kumar, Rajeev (2006) Frame-based proportional round-robin IEEE Transactions on Computers, 55 (9). pp. 1121-1129. ISSN 0018-9340

Mondal, A. ; Chakrabarti, P. P. (2006) Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25 (9). pp. 1793-1814. ISSN 0278-0070

Vijayabaskar, V. ; Gupta, Rakesh ; Chakrabarti, P. P. ; Bhowmick, Anil K. (2006) Prediction of properties of rubber by using artificial neural networks Journal of Applied Polymer Science, 100 (3). pp. 2227-2237. ISSN 0021-8995

Das, Sayantan ; Basu, Prasenjit ; Dasgupta, Pallab ; Chakrabarti, P. P. (2006) What lies between design intent coverage and model checking? Design, Automation and Test in Europe Conference and Exhibition . pp. 1217-1222. ISSN 1530-1591

Basu, Prasenjit ; Das, Sayantan ; Dasgupta, Pallab ; Chakrabarti, P. P. (2006) Discovering the input assumptions in specification refinement coverage Asia and South Pacific Design Automation Conference . pp. 13-18.

Kumar, Rajeev ; Gupta, Amit ; Pankaj, B. S. ; Ghosh, Mrinmoy ; Chakrabarti, P. P. (2005) Post-compilation optimization for multiple gains with pattern matching ACM SIGPLAN Notices, 40 (12). pp. 14-23. ISSN 0362-1340

Roy, Arnab ; Panda, S. K. ; Kumar, Rajeev ; Chakrabarti, P. P. (2005) A framework for systematic validation and debugging of pipeline simulators ACM Transactions on Design Automation of Electronic Systems, 10 (3). pp. 462-491. ISSN 1084-4309

Roy, Suchismita ; Das, Sayantan ; Basu, Prasenjit ; Dasgupta, Pallab ; Chakrabarti, P. P. (2005) SAT based solutions for consistency problems in formal property specifications for open systems International Conference on Computer Aided Design . pp. 885-888.

Dastidar, T. R. ; Chakrabarti, P. P. ; Ray, P. (2005) A synthesis system for analog circuits based on evolutionary search and topological reuse IEEE Transactions on Evolutionary Computation, 9 (2). pp. 211-224. ISSN 1089-778X

Somani, Abhishek ; Patra, Amit ; Chakrabarti, P. P. (2005) Mixing global and local competition in genetic optimization based design space exploration of analog circuits Design, Automation and Test in Europe Conference and Exhibition, 2 . pp. 1064-1069. ISSN 1530-1591

Das, Dipankar ; Kumar, Rajeev ; Chakrabarti, P. P. (2005) Dictionary based code compression for variable length instruction encodings Proceedings-IEEE International Conference on VLSI Design . pp. 545-550. ISSN 1063-9667

Dastidar, Tathagato Rai ; Chakrabarti, P. P. (2005) A verification system for transient response of analog circuits using model checking IEEE Transactions on Very Large Scale Integration (VLSI) Systems . pp. 195-200. ISSN 1063-8210

Chatterjee, Krishnendu ; Dasgupta, Pallab ; Chakrabarti, P. P. (2005) Complexity of compositional model checking of computation tree logic on simple structures Lecture Notes in Computer Science, 3326 . pp. 89-102. ISSN 0302-9743

Kumar, Rajeev ; Singh, P. K. ; Chakrabarti, P. P. (2005) Distributed evolutionary algorithm search for multiobjective spanning tree problem Lecture Notes in Computer Science, 3326 . pp. 103-120. ISSN 0302-9743

Kumar, Rajeev ; Singh, P. K. ; Chakrabarti, P. P. (2005) Improved quality of solutions for multiobjective spanning tree problem using distributed evolutionary algorithm Lecture Notes in Computer Science, 3296 . pp. 97-112. ISSN 0302-9743

Kumar, Rajeev ; Singh, P. K. ; Chakrabarti, P. P. (2005) Multiobjective EA approach for improved quality of solutions for spanning tree problem Lecture Notes in Computer Science, 3410 . pp. 811-825. ISSN 0302-9743

Aine, Sandip ; Kumar, Rajeev ; Chakrabarti, P. P. (2005) An adaptive framework for solving multiple hard problems under time constraints Lecture Notes in Computer Science, 3801 . pp. 57-64. ISSN 0302-9743

Das, A. ; Basu, P. ; Banerjee, A. ; Dasgupta, P. ; Chakrabarti, P. P. ; Rama Mohan, C. ; Fix, L. ; Armoni, R. (2004) Formal verification coverage: computing the coverage gap between temporal specifications Digest of Technical Papers - IEEE/ACM International Conference on Computer-Aided Design . pp. 198-203. ISSN 1092-3152

Banerjee, A. ; Dasgupta, P. ; Chakrabarti, P. P. (2004) Formal verification of modules under real time environment constraints Proceedings - IEEE International Conference on VLSI Design . pp. 103-108. ISSN 1063-9667

Chakrabarti, P. P. ; Kumar, Rajeev ; Singh, P. K. (2004) Multiobjective genetic search for spanning tree problem Lecture Notes in Computer Science, 3316 . pp. 218-223. ISSN 0302-9743

Chatterjee, Krishnendu ; Dasgupta, Pallab ; Chakrabarti, P. P. (2003) A branching time temporal framework for quantitative reasoning Journal of Automated Reasoning, 30 (2). pp. 205-232. ISSN 0168-7433

Patthak, A. C. ; Bhattacharya, I. ; Dasgupta, A. ; Dasgupta, Pallab ; Chakrabarti, P. P. (2002) Quantified computation tree logic Information Processing Letters, 82 (3). pp. 123-129. ISSN 0020-0190

Dasgupta, P. ; Chakrabarti, P. P. ; Dey, A. ; Ghose, S. ; Bibel, W. (2002) Solving constraint optimization problems from CLP-style specifications using Heuristic search techniques IEEE Transactions on Knowledge and Data Engineering, 14 (2). pp. 353-368. ISSN 1041-4347

Chakrabarti, Arindam ; Dasgupta, Pallab ; Chakrabarti, P. P. ; Banerjee, Ansuman (2002) Formal verification of module interfaces against real time specifications Proceedings-Design Automation Conference . pp. 141-145. ISSN 0738-100X

Chakrabarti, P. P. ; Dasgupta, P. ; Chakrabarti, A. (2002) Open computation tree logic for formal verification of modules Asia and South Pacific Design Automation Conference . pp. 735-740.

Dasgupta, Pallab ; Chakrabarti, P. P. ; Deka, Jatindra Kumar ; Sankaranarayanan, Sriram (2001) Min-max computation tree logic Artificial Intelligence, 127 (1). pp. 137-162. ISSN 0004-3702

Mandal, C. ; Chakrabarti, P. P. ; Ghose, S. (2000) GABIND: a GA approach to allocation and binding for the high-level synthesis of data paths IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 8 (6). pp. 747-750. ISSN 1063-8210

Dasgupta, P. ; Deka, J. K. ; Chakrabarti, P. P. (2000) Model checking on timed-event structures IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 19 (5). pp. 601-611. ISSN 0278-0070

Chakrabarti, P. P. (1999) Partial precedence constrained scheduling IEEE Transactions on Computers, 48 (10). pp. 1127-1130. ISSN 0018-9340

Mandal, C. A. ; Chakrabarti, P. P. ; Ghose, S. (1999) A design space exploration scheme for data-path synthesis IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 7 (3). pp. 331-338. ISSN 1063-8210

Sarkar, S. ; Chakrabarti, P. P. ; Ghose, S. (1998) Learning while solving problems in best first search IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 28 (4). 535 541. ISSN 1083-4427

Sarkar, S. ; Chakrabarti, P. P. ; Ghose, S. (1998) A framework for learning in search-based systems IEEE Transactions on Knowledge and Data Engineering, 10 (4). pp. 563-575. ISSN 1041-4347

Dasgupta, Pallab ; Chakrabarti, P. P. ; DeSarkar, S. C. (1996) Searching game trees under a partial order Artificial Intelligence, 82 (1-2). pp. 237-257. ISSN 0004-3702

Dasgupta, Pallab ; Chakrabarti, P. P. ; DeSarkar, S. C. (1996) Multiobjective heuristic search in AND/OR graphs Journal of Algorithms, 20 (2). pp. 282-311. ISSN 0196-6774

Dasgupta, Pallab ; Chakrabarti, P. P. ; DeSarkar, S. C. (1995) Utility of pathmax in partial order heuristic search Information Processing Letters, 55 (6). pp. 317-322. ISSN 0020-0190

Dasgupta, Pallab ; Chakrabarti, P. P. ; DeSarkar, S. C. (1994) Agent searching in a tree and the optimality of iterative deepening Artificial Intelligence, 71 (1). pp. 195-208. ISSN 0004-3702

Chakrabarti, P. P. (1994) Algorithms for searching explicit AND/OR graphs and their applications to problem reduction search Artificial Intelligence, 65 (2). pp. 329-345. ISSN 0004-3702

Dasgupta, P. ; Mitra, P. ; Chakrabarti, P. P. ; DeSarkar, S. C. (1994) Multiobjective search in VLSI design Proceedings - IEEE International Conference on VLSI Design . pp. 395-400. ISSN 1063-9667

Sarkar, U. K. ; Chakrabarti, P. P. ; Ghose, S. ; Desarkar, S. C. (1994) Improving greedy algorithms by lookahead-search Journal of Algorithms, 16 (1). pp. 1-23. ISSN 0196-6774

Chakrabarti, P. P. ; Ghose, S. (1992) A general best first search algorithm in AND/OR graphs Journal of Algorithms, 13 (2). pp. 177-187. ISSN 0196-6774

Sarkar, U. K. ; Chakrabarti, P. P. ; Ghose, S. ; De Sarkar, S. C. (1992) A simple 0.5-bounded greedy algorithm for the 0/1 knapsack problem Information Processing Letters, 42 (3). pp. 173-177. ISSN 0020-0190

Sarkar, U. K. ; Chakrabarti, P. P. ; Ghose, S. ; De Sarkar, S. C. (1992) Effective use of memory in iterative deepening search Information Processing Letters, 42 (1). pp. 47-52. ISSN 0020-0190

Gupta, P. ; Chakrabarti, P. P. ; Ghose, S. (1992) The towers of hanoi: generalizations, specializations and algorithms International Journal of Computer Mathematics, 46 (3-4). pp. 149-161. ISSN 0020-7160

Sarkar, U. K. ; Chakrabarti, P. P. ; Ghose, S. ; De Sarkar, S. C. (1991) Reducing reexpansions in iterative-deepening search by controlling cutoff bounds Artificial Intelligence, 50 (2). pp. 207-221. ISSN 0004-3702

Sarkar, U. K. ; Chakrabarti, P. P. ; Ghose, S. ; De Sarkar, S. C. (1991) Multiple stack branch and bound Information Processing Letters, 37 (1). pp. 43-48. ISSN 0020-0190

Chakrabarti, P. P. ; Ghose, S. ; Acharya, A. ; De Sarkar, S. C. (1989) Heuristic search in restricted memory Artificial Intelligence, 41 (2). pp. 197-221. ISSN 0004-3702

Ghose, S. ; DeSarkar, S. C. ; Chakrabarti, P. P. (1988) Best first search in and/or graphs ACM Annual Computer Science Conference . pp. 256-261.

Chakrabarti, P. P. ; Ghose, S. ; DeSarkar, S. C. (1987) Admissibility of AO* when heuristics overestimate Artificial Intelligence, 34 (1). pp. 97-113. ISSN 0004-3702

Chakrabarti, P. P. ; Ghose, S. ; DeSarkar, S. C. (1986) Heuristic search through islands Artificial Intelligence, 29 (3). pp. 339-347. ISSN 0004-3702