Manoranjan Satpathy

According to our database, Manoranjan Satpathy authored at least 58 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

GPU Acceleration of a Conjugate Exponential Model for Cancer Tissue Heterogeneity.

Anik Chaudhuri, Anwoy Kumar Mohanty, Manoranjan Satpathy

ACM Trans. Comput. Heal., April, 2024

2023

Formal Modeling and Verification of Security Properties of a Ransomware-Resistant SSD.

Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Madhu Mutyam

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

2022

Effect of Migrant Labourer Inflow on the Early Spread of Covid-19 in Odisha: A Case Study.

Shreetam Behera, Debi Prosad Dogra, Manoranjan Satpathy

ACM Trans. Spatial Algorithms Syst., 2022

A Parallelizable Model for Analyzing Cancer Tissue Heterogeneity.

Anik Chaudhuri, Anwoy Kumar Mohanty, Manoranjan Satpathy

IEEE ACM Trans. Comput. Biol. Bioinform., 2022

SSD internal cache management policies: A survey.

Shivani Tripathy, Manoranjan Satpathy

J. Syst. Archit., 2022

2021

LocalityGuru: A PTX Analyzer for Extracting Thread Block-level Locality in GPGPUs.

Devashree Tripathy, AmirAli Abdolrashidi, Quan Fan, Daniel Wong, Manoranjan Satpathy

Proceedings of the IEEE International Conference on Networking, Architecture and Storage, 2021

A Report on the PhD Symposium at ISEC 2021.

Venkatesh Choppella, Manoranjan Satpathy

Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

An Anomaly Free Distributed Firewall System for SDN.

Mitali Sinha, Padmalochan Bera, Manoranjan Satpathy

Proceedings of the International Conference on Cyber Situational Awareness, 2021

2020

Slumber: static-power management for GPGPU register files.

Devashree Tripathy, Hadi Zamani, Debiprasanna Sahoo, Laxmi N. Bhuyan, Manoranjan Satpathy

Proceedings of the ISLPED '20: ACM/IEEE International Symposium on Low Power Electronics and Design, 2020

Fuzzy fairness controller for NVMe SSDs.

Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Madhu Mutyam

Proceedings of the ICS '20: 2020 International Conference on Supercomputing, 2020

2019

Formal Modeling and Verification of a Victim DRAM Cache.

Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, S. Ramesh, Partha S. Roop

ACM Trans. Design Autom. Electr. Syst., 2019

Multidimensional Grid Aware Address Prediction for GPGPU.

Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy

Proceedings of the 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, 2019

Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations.

Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Post-Model Validation of Victim DRAM Caches.

Debiprasanna Sahoo, Shivani Tripathy, Manoranjan Satpathy, Madhu Mutyam

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2018

Formal Modeling and Verification of Controllers for a Family of DRAM Caches.

Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, S. Ramesh, Partha S. Roop

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

ReDRAM: A Reconfigurable DRAM Cache for GPGPUs.

Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam

IEEE Comput. Archit. Lett., 2018

DRAM cache access optimization leveraging line locking in tag cache: work-in-progress.

Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy

Proceedings of the International Conference on Compilers, 2018

CAMO: A novel cache management organization for GPGPUs.

Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, Laxmi Narayan Bhuyan

Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

2017

An Experimental Study on Dynamic Bank Partitioning of DRAM in Chip Multiprocessors.

Debiprasanna Sahoo, Manoranjan Satpathy, Madhu Mutyam

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017

2016

MSimDRAM: Formal Model Driven Development of a DRAM Simulator.

Debiprasanna Sahoo, Manoranjan Satpathy

Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

Sensors in Your Clothes: Design and Development of a Prototype.

Kristine Sundt Lorentzen, Tor-Morten Grønli, Gheorghita Ghinea, Muhammad Younas, Manoranjan Satpathy

Proceedings of the Mobile Web and Intelligent Information Systems, 2016

2015

Inferring State Models Using Feedback Directed Random Testing.

Srihari Sukumaran, Manoranjan Satpathy, S. K. Kolluru, Rajib Mall

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2013

A regression test selection technique for embedded software.

Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy

ACM Trans. Embed. Comput. Syst., 2013

Systematic Development of Control Designs via Formal Refinement.

Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

A mixed approach to rigorous development of control designs.

Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael J. Butler

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

2012

Efficient coverage of parallel and hierarchical stateflow models for test case generation.

Manoranjan Satpathy, Anand Yeolekar, Prakash Mohan Peranandam, S. Ramesh

Softw. Test. Verification Reliab., 2012

SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage.

Sachin Raviram, Prakash Mohan Peranandam, Manoranjan Satpathy, S. Ramesh

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.

Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Software Developers in India and Norway: Professional or National Cultures?

Gheorghita Ghinea, Bendik Bygstad, Manoranjan Satpathy

J. Inf. Technol. Res., 2011

Regression Test Selection Techniques: A Survey.

Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy, Srihari Sukumaran

Informatica (Slovenia), 2011

Task Dependency Analysis for Regression Test Selection of Embedded Programs.

Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy

IEEE Embed. Syst. Lett., 2011

Cross-layer analysis, testing and verification of automotive control software.

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Extracting State Models for Black-Box Software Components.

Rajiv Ranjan Suman, Rajib Mall, Srihari Sukumaran, Manoranjan Satpathy

J. Object Technol., 2010

2009

A model-based regression test selection approach for embedded applications.

Swarnendu Biswas, Rajib Mall, Manoranjan Satpathy, Srihari Sukumaran

ACM SIGSOFT Softw. Eng. Notes, 2009

Model Based Testing of a Network-on-Chip Component.

Leonidas Tsiopoulos, Manoranjan Satpathy

Proceedings of Fifth Workshop on Model Based Testing, 2009

2008

Randomized directed testing (REDIRECT) for Simulink/Stateflow models.

Manoranjan Satpathy, Anand Yeolekar, S. Ramesh

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

2007

Measuring user's role to assess organisation preparedness in a systems acquisition life cycle: a cognitive framework.

Harekrishna Misra, Manoranjan Satpathy, Brajaraj Mohanty

Int. J. Inf. Commun. Technol., 2007

Automatic Testing from Formal Specifications.

Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh

Proceedings of the Tests and Proofs - 1st International Conference, 2007

Test case generation from formal models through abstraction refinement and model checking.

Manoranjan Satpathy, S. Ramesh

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

A Formal Model of Context-Awareness and Context-Dependency.

Mats Neovius, Kaisa Sere, Lu Yan, Manoranjan Satpathy

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Synthesis of Scenario Based Test Cases from B Models.

Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2004

ProTest: An Automatic Test Environment for B Specifications.

Manoranjan Satpathy, Michael Leuschel, Michael J. Butler

Proceedings of the Workshop on Model Based Testing, 2004

Effective Software Project Management Education through Simulation Models: An Externally Replicated Experiment.

Daniel Rodríguez, Manoranjan Satpathy, Dietmar Pfahl

Proceedings of the Product Focused Software Process Improvement, 2004

Assertions in Object Oriented Software Maintenance: Analysis and a Case Study.

Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez

Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Organisation Preparedness and Information Technology Acquisition Success: An Assessment Model.

Harekrishna Misra, Manoranjan Satpathy, Brajaraj Mohanty

Proceedings of the 10th Americas Conference on Information Systems, 2004

2003

Latitudinal and longitudinal process diversity.

Nils T. Siebel, Stephen Cook, Manoranjan Satpathy, Daniel Rodríguez

J. Softw. Maintenance Res. Pract., 2003

High Performance Code Generation through Lazy Activation Records.

Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth Choudhuri, Sachin V. Chitnis

Proceedings of the 7th Annual Workshop on Interaction between Compilers and Computer Architecture (INTERACT-7 2003), 2003

2002

Optimizing register spills for eager functional languages.

Sounaka Mishra, Kripasindhu Sikdar, Manoranjan Satpathy

Future Gener. Comput. Syst., 2002

A Generic Model and Tool Support for Assessing and Improving Web Processes.

Daniel Rodríguez, Rachel Harrison, Manoranjan Satpathy

Proceedings of the 8th IEEE International Software Metrics Symposium (METRICS 2002), 2002

Maintenance of Object Oriented Systems through Re-Engineering: A Case Study.

Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

A Typed Generic Process Model for Product Focused Process Improvement.

Manoranjan Satpathy, Rachel Harrison

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

An Investigation of Prediction Models for Project Management.

Daniel Rodríguez, Rachel Harrison, Manoranjan Satpathy, José Javier Dolado

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software.

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

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

2000

A Generic Model for Assessing Process Quality.

Manoranjan Satpathy, Rachel Harrison, Colin F. Snook, Michael J. Butler

Proceedings of the New Approaches in Software Measurement, 10th International Workshop, 2000

1998

Improved Register Usage for Functional Programs through Multiple Function Versions.

Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh

J. Funct. Log. Program., 1998

Some Decidability Results for Duration Calculus under Synchronous Interpretation.

Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1995

Rationalized Three Instruction Machine.

Sachin V. Chitnis, Manoranjan Satpathy, Sundeep Oberoi

Proceedings of the Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), 1995

An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness.

Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh

Proceedings of the Algorithms, 1995