Manoranjan Satpathy

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 22

Top Topics

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Anik Chaudhuri, Anwoy Kumar Mohanty, Manoranjan Satpathy
GPU Acceleration of a Conjugate Exponential Model for Cancer Tissue Heterogeneity. CoRR (2024)
Anik Chaudhuri, Anwoy Kumar Mohanty, Manoranjan Satpathy
GPU Acceleration of a Conjugate Exponential Model for Cancer Tissue Heterogeneity. ACM Trans. Comput. Heal. 5 (2) (2024)
Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Madhu Mutyam
Formal Modeling and Verification of Security Properties of a Ransomware-Resistant SSD. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (8) (2023)
Shreetam Behera, Debi Prosad Dogra, Manoranjan Satpathy
Effect of Migrant Labourer Inflow on the Early Spread of Covid-19 in Odisha: A Case Study. ACM Trans. Spatial Algorithms Syst. 8 (4) (2022)
Shivani Tripathy, Manoranjan Satpathy
SSD internal cache management policies: A survey. J. Syst. Archit. 122 (2022)
Anik Chaudhuri, Anwoy Kumar Mohanty, Manoranjan Satpathy
A Parallelizable Model for Analyzing Cancer Tissue Heterogeneity. IEEE ACM Trans. Comput. Biol. Bioinform. 19 (4) (2022)
Devashree Tripathy, AmirAli Abdolrashidi, Quan Fan, Daniel Wong, Manoranjan Satpathy
LocalityGuru: A PTX Analyzer for Extracting Thread Block-level Locality in GPGPUs. NAS (2021)
Venkatesh Choppella, Manoranjan Satpathy
A Report on the PhD Symposium at ISEC 2021. ISEC (2021)
Mitali Sinha, Padmalochan Bera, Manoranjan Satpathy
An Anomaly Free Distributed Firewall System for SDN. CyberSA (2021)
Devashree Tripathy, Hadi Zamani, Debiprasanna Sahoo, Laxmi N. Bhuyan, Manoranjan Satpathy
Slumber: static-power management for GPGPU register files. ISLPED (2020)
Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Madhu Mutyam
Fuzzy fairness controller for NVMe SSDs. ICS (2020)
Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, S. Ramesh, Partha S. Roop
Formal Modeling and Verification of a Victim DRAM Cache. ACM Trans. Design Autom. Electr. Syst. 24 (2) (2019)
Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy
Multidimensional Grid Aware Address Prediction for GPGPU. VLSI Design (2019)
Debiprasanna Sahoo, Shivani Tripathy, Manoranjan Satpathy, Madhu Mutyam
Post-Model Validation of Victim DRAM Caches. ICCD (2019)
Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty
Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. ICCD (2019)
Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam
ReDRAM: A Reconfigurable DRAM Cache for GPGPUs. IEEE Comput. Archit. Lett. 17 (2) (2018)
Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy
DRAM cache access optimization leveraging line locking in tag cache: work-in-progress. CASES (2018)
Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, S. Ramesh, Partha S. Roop
Formal Modeling and Verification of Controllers for a Family of DRAM Caches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, Laxmi Narayan Bhuyan
CAMO: A novel cache management organization for GPGPUs. ASP-DAC (2018)
Debiprasanna Sahoo, Manoranjan Satpathy, Madhu Mutyam
An Experimental Study on Dynamic Bank Partitioning of DRAM in Chip Multiprocessors. VLSI Design (2017)
Kristine Sundt Lorentzen, Tor-Morten Grønli, Gheorghita Ghinea, Muhammad Younas, Manoranjan Satpathy
Sensors in Your Clothes: Design and Development of a Prototype. MobiWIS (2016)
Debiprasanna Sahoo, Manoranjan Satpathy
MSimDRAM: Formal Model Driven Development of a DRAM Simulator. VLSI Design (2016)
Srihari Sukumaran, Manoranjan Satpathy, S. K. Kolluru, Rajib Mall
Inferring State Models Using Feedback Directed Random Testing. APSEC (2015)
Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler
Systematic Development of Control Designs via Formal Refinement. MODELSWARD (2013)
Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy
A regression test selection technique for embedded software. ACM Trans. Embed. Comput. Syst. 13 (3) (2013)
Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael J. Butler
A mixed approach to rigorous development of control designs. CACSD (2013)
Manoranjan Satpathy, Anand Yeolekar, Prakash Peranandam, S. Ramesh
Efficient coverage of parallel and hierarchical stateflow models for test case generation. Softw. Test. Verification Reliab. 22 (7) (2012)
Sachin Raviram, Prakash Peranandam, Manoranjan Satpathy, S. Ramesh
SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. ICTAC (2012)
Prakash Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models. DATE (2012)
Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy, Srihari Sukumaran
Regression Test Selection Techniques: A Survey. Informatica (Slovenia) 35 (3) (2011)
Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree
Cross-layer analysis, testing and verification of automotive control software. EMSOFT (2011)
Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy
Task Dependency Analysis for Regression Test Selection of Embedded Programs. IEEE Embed. Syst. Lett. 3 (4) (2011)
Gheorghita Ghinea, Bendik Bygstad, Manoranjan Satpathy
Software Developers in India and Norway: Professional or National Cultures? J. Inf. Technol. Res. 4 (3) (2011)
Rajiv Ranjan Suman, Rajib Mall, Srihari Sukumaran, Manoranjan Satpathy
Extracting State Models for Black-Box Software Components. J. Object Technol. 9 (3) (2010)
Leonidas Tsiopoulos, Manoranjan Satpathy
Model Based Testing of a Network-on-Chip Component. Electron. Notes Theor. Comput. Sci. 253 (2) (2009)
Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy, Srihari Sukumaran
A model-based regression test selection approach for embedded applications. ACM SIGSOFT Softw. Eng. Notes 34 (4) (2009)
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
Randomized directed testing (REDIRECT) for Simulink/Stateflow models. EMSOFT (2008)
Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh
Automatic Testing from Formal Specifications. TAP (2007)
Harekrishna Misra, Manoranjan Satpathy, Brajaraj Mohanty
Measuring user's role to assess organisation preparedness in a systems acquisition life cycle: a cognitive framework. Int. J. Inf. Commun. Technol. 1 (1) (2007)
Manoranjan Satpathy, S. Ramesh
Test case generation from formal models through abstraction refinement and model checking. A-MOST (2007)
Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius
Synthesis of Scenario Based Test Cases from B Models. FATES/RV (2006)
Manoranjan Satpathy, Michael Leuschel, Michael J. Butler
ProTest: An Automatic Test Environment for B Specifications. Electron. Notes Theor. Comput. Sci. 111 (2005)
Harekrishna Misra, Manoranjan Satpathy, Brajaraj Mohanty
Organisation Preparedness and Information Technology Acquisition Success: An Assessment Model. AMCIS (2004)
Daniel Rodríguez, Manoranjan Satpathy, Dietmar Pfahl
Effective Software Project Management Education through Simulation Models: An Externally Replicated Experiment. PROFES (2004)
Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez
Assertions in Object Oriented Software Maintenance: Analysis and a Case Study. ICSM (2004)
Nils T. Siebel, Stephen Cook, Manoranjan Satpathy, Daniel Rodríguez
Latitudinal and longitudinal process diversity. J. Softw. Maintenance Res. Pract. 15 (1) (2003)
Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth Choudhuri, Sachin V. Chitnis
High Performance Code Generation through Lazy Activation Records. Interaction between Compilers and Computer Architectures (2003)
Manoranjan Satpathy, Rachel Harrison
A Typed Generic Process Model for Product Focused Process Improvement. COMPSAC (2002)
Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez
Maintenance of Object Oriented Systems through Re-Engineering: A Case Study. ICSM (2002)
Sounaka Mishra, Kripasindhu Sikdar, Manoranjan Satpathy
Optimizing register spills for eager functional languages. Future Gener. Comput. Syst. 18 (5) (2002)
Daniel Rodríguez, Rachel Harrison, Manoranjan Satpathy
A Generic Model and Tool Support for Assessing and Improving Web Processes. IEEE METRICS (2002)
Daniel Rodríguez, Rachel Harrison, Manoranjan Satpathy, José Javier Dolado
An Investigation of Prediction Models for Project Management. COMPSAC (2002)
Sounaka Mishra, Kripasindhu Sikdar, Manoranjan Satpathy
Optimizing Register Spills for Eager Functional Languages. International Conference on Computational Science (2) (2001)
José Cristóbal Riquelme Santos, Isabel Ramos, Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano, Miguel Toro, José Javier Dolado, A. Ruiz de Infante, Javier Tuya, P. Fernández, M. A. Prieto, Mercedes Ruiz Carreira, Daniel Rodríguez-García, Manoranjan Satpathy, Rachel Harrison, R. Matilla, M. A. Álvarez
SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software. JISBD (2001)
Manoranjan Satpathy, Rachel Harrison, Colin F. Snook, Michael J. Butler
A Generic Model for Assessing Process Quality. IWSM (2000)
Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya
Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT (1998)
Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh
Improved Register Usage for Functional Programs through Multiple Function Versions. J. Funct. Log. Program. 1998 (7) (1998)
Sachin V. Chitnis, Manoranjan Satpathy, Sundeep Oberoi
Rationalized Three Instruction Machine. Intermediate Representations Workshop (1995)
Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. ASIAN (1995)