An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. - Manoranjan Satpathy; Amitabha Sanyal; G. Venkatesh (ASIAN, 1995)

Rationalized Three Instruction Machine. - Sachin V. Chitnis; Manoranjan Satpathy; Sundeep Oberoi (Intermediate Representations Workshop, 1995)

Some Decidability Results for Duration Calculus under Synchronous Interpretation. - Manoranjan Satpathy; Dang Van Hung; Paritosh K. Pandya (FTRTFT, 1998)

Improved Register Usage for Functional Programs through Multiple Function Versions. - Manoranjan Satpathy; Amitabha Sanyal; G. Venkatesh (J. Funct. Log. Program., 1998)

A Generic Model for Assessing Process Quality. - Manoranjan Satpathy; Rachel Harrison; Colin F. Snook; Michael J. Butler (IWSM, 2000)

SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software. - José Cristóbal Riquelme Santos; Isabel Ramos 002; 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; et al. (JISBD, 2001)

An Investigation of Prediction Models for Project Management. - Daniel Rodríguez 001; Rachel Harrison; Manoranjan Satpathy; José Javier Dolado (COMPSAC, 2002)

A Typed Generic Process Model for Product Focused Process Improvement. - Manoranjan Satpathy; Rachel Harrison (COMPSAC, 2002)

Maintenance of Object Oriented Systems through Re-Engineering: A Case Study. - Manoranjan Satpathy; Nils T. Siebel; Daniel Rodríguez 001 (ICSM, 2002)

A Generic Model and Tool Support for Assessing and Improving Web Processes. - Daniel Rodríguez 001; Rachel Harrison; Manoranjan Satpathy (IEEE METRICS, 2002)

Optimizing register spills for eager functional languages. - Sounaka Mishra; Kripasindhu Sikdar; Manoranjan Satpathy (Future Gener. Comput. Syst., 2002)

High Performance Code Generation through Lazy Activation Records. - Manoranjan Satpathy; Rabi N. Mahapatra; Siddharth Choudhuri; Sachin V. Chitnis (Interaction between Compilers and Computer Architectures, 2003)

Latitudinal and longitudinal process diversity. - Nils T. Siebel; Stephen Cook 002; Manoranjan Satpathy; Daniel Rodríguez 001 (J. Softw. Maintenance Res. Pract., 2003)

Organisation Preparedness and Information Technology Acquisition Success: An Assessment Model. - Harekrishna Misra; Manoranjan Satpathy; Brajaraj Mohanty (AMCIS, 2004)

Assertions in Object Oriented Software Maintenance: Analysis and a Case Study. - Manoranjan Satpathy; Nils T. Siebel; Daniel Rodríguez 001 (ICSM, 2004)

Effective Software Project Management Education through Simulation Models: An Externally Replicated Experiment. - Daniel Rodríguez 001; Manoranjan Satpathy; Dietmar Pfahl (PROFES, 2004)

ProTest: An Automatic Test Environment for B Specifications. - Manoranjan Satpathy; Michael Leuschel; Michael J. Butler (MBT, 2004)

Synthesis of Scenario Based Test Cases from B Models. - Manoranjan Satpathy; Qaisar A. Malik; Johan Lilius (FATES/RV, 2006)

A Formal Model of Context-Awareness and Context-Dependency. - Mats Neovius; Kaisa Sere; Lu Yan; Manoranjan Satpathy (SEFM, 2006)

Test case generation from formal models through abstraction refinement and model checking. - Manoranjan Satpathy; S. Ramesh 002 (A-MOST, 2007)

Automatic Testing from Formal Specifications. - Manoranjan Satpathy; Michael J. Butler; Michael Leuschel; S. Ramesh 002 (TAP, 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)

Randomized directed testing (REDIRECT) for Simulink/Stateflow models. - Manoranjan Satpathy; Anand Yeolekar; S. Ramesh 002 (EMSOFT, 2008)

Model Based Testing of a Network-on-Chip Component. - Leonidas Tsiopoulos; Manoranjan Satpathy (MBT@ETAPS, 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)

Extracting State Models for Black-Box Software Components. - Rajiv Ranjan Suman; Rajib Mall; Srihari Sukumaran; Manoranjan Satpathy (J. Object Technol., 2010)

Cross-layer analysis, testing and verification of automotive control software. - Manfred Broy; Samarjit Chakraborty; Dip Goswami; S. Ramesh 002; Manoranjan Satpathy; Stefan Resmerita; Wolfgang Pree (EMSOFT, 2011)

Task Dependency Analysis for Regression Test Selection of Embedded Programs. - Swarnendu Biswas; Rajib Mall; Manoranjan Satpathy (IEEE Embed. Syst. Lett., 2011)

Regression Test Selection Techniques: A Survey. - Swarnendu Biswas; Rajib Mall; Manoranjan Satpathy; Srihari Sukumaran (Informatica (Slovenia), 2011)

Software Developers in India and Norway: Professional or National Cultures? - Gheorghita Ghinea; Bendik Bygstad; Manoranjan Satpathy (J. Inf. Technol. Res., 2011)

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 002 (DATE, 2012)

SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. - Sachin Raviram; Prakash Mohan Peranandam; Manoranjan Satpathy; S. Ramesh 002 (ICTAC, 2012)

Efficient coverage of parallel and hierarchical stateflow models for test case generation. - Manoranjan Satpathy; Anand Yeolekar; Prakash Mohan Peranandam; S. Ramesh 002 (Softw. Test. Verification Reliab., 2012)

A mixed approach to rigorous development of control designs. - Manoranjan Satpathy; S. Ramesh 002; Colin F. Snook; Neeraj Kumar Singh 001; Michael J. Butler (CACSD, 2013)

Systematic Development of Control Designs via Formal Refinement. - Manoranjan Satpathy; Colin F. Snook; Silky Arora; S. Ramesh 002; Michael J. Butler (MODELSWARD, 2013)

A regression test selection technique for embedded software. - Swarnendu Biswas; Rajib Mall; Manoranjan Satpathy (ACM Trans. Embed. Comput. Syst., 2013)

Inferring State Models Using Feedback Directed Random Testing. - Srihari Sukumaran; Manoranjan Satpathy; S. K. Kolluru; Rajib Mall (APSEC, 2015)

Sensors in Your Clothes: Design and Development of a Prototype. - Kristine Sundt Lorentzen; Tor-Morten Grønli; Gheorghita Ghinea; Muhammad Younas 001; Manoranjan Satpathy (MobiWIS, 2016)

MSimDRAM: Formal Model Driven Development of a DRAM Simulator. - Debiprasanna Sahoo; Manoranjan Satpathy (VLSID, 2016)

An Experimental Study on Dynamic Bank Partitioning of DRAM in Chip Multiprocessors. - Debiprasanna Sahoo; Manoranjan Satpathy; Madhu Mutyam (VLSID, 2017)

CAMO: A novel cache management organization for GPGPUs. - Debiprasanna Sahoo; Swaraj Sha; Manoranjan Satpathy; Madhu Mutyam; Laxmi Narayan Bhuyan (ASP-DAC, 2018)

DRAM cache access optimization leveraging line locking in tag cache: work-in-progress. - Shivani Tripathy; Debiprasanna Sahoo; Manoranjan Satpathy (CASES, 2018)

ReDRAM: A Reconfigurable DRAM Cache for GPGPUs. - Debiprasanna Sahoo; Swaraj Sha; Manoranjan Satpathy; Madhu Mutyam (IEEE Comput. Archit. Lett., 2018)

Formal Modeling and Verification of Controllers for a Family of DRAM Caches. - Debiprasanna Sahoo; Swaraj Sha; Manoranjan Satpathy; Madhu Mutyam; S. Ramesh 002; Partha S. Roop (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Post-Model Validation of Victim DRAM Caches. - Debiprasanna Sahoo; Shivani Tripathy; Manoranjan Satpathy; Madhu Mutyam (ICCD, 2019)

Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. - Shivani Tripathy; Debiprasanna Sahoo; Manoranjan Satpathy; Srinivas Pinisetty (ICCD, 2019)

Multidimensional Grid Aware Address Prediction for GPGPU. - Shivani Tripathy; Debiprasanna Sahoo; Manoranjan Satpathy (VLSID, 2019)

Formal Modeling and Verification of a Victim DRAM Cache. - Debiprasanna Sahoo; Swaraj Sha; Manoranjan Satpathy; Madhu Mutyam; S. Ramesh 002; Partha S. Roop (ACM Trans. Design Autom. Electr. Syst., 2019)

Fuzzy fairness controller for NVMe SSDs. - Shivani Tripathy; Debiprasanna Sahoo; Manoranjan Satpathy; Madhu Mutyam (ICS, 2020)

Slumber: static-power management for GPGPU register files. - Devashree Tripathy; Hadi Zamani 001; Debiprasanna Sahoo; Laxmi N. Bhuyan; Manoranjan Satpathy (ISLPED, 2020)

An Anomaly Free Distributed Firewall System for SDN. - Mitali Sinha; Padmalochan Bera; Manoranjan Satpathy (CyberSA, 2021)

A Report on the PhD Symposium at ISEC 2021. - Venkatesh Choppella; Manoranjan Satpathy (ISEC, 2021)

LocalityGuru: A PTX Analyzer for Extracting Thread Block-level Locality in GPGPUs. - Devashree Tripathy; AmirAli Abdolrashidi; Quan Fan; Daniel Wong 001; Manoranjan Satpathy (NAS, 2021)

SSD internal cache management policies: A survey. - Shivani Tripathy; Manoranjan Satpathy (J. Syst. Archit., 2022)

A Parallelizable Model for Analyzing Cancer Tissue Heterogeneity. - Anik Chaudhuri; Anwoy Kumar Mohanty; Manoranjan Satpathy (IEEE ACM Trans. Comput. Biol. Bioinform., 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)

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)

GPU Acceleration of a Conjugate Exponential Model for Cancer Tissue Heterogeneity. - Anik Chaudhuri; Anwoy Kumar Mohanty; Manoranjan Satpathy (ACM Trans. Comput. Heal., 2024)

SYN-Monitor: An Energy Efficient Defense System against TCP-SYN Flooding Attacks in SDN. - Mitali Sinha; Padmalochan Bera; Manoranjan Satpathy (ICDCN, 2025)

DDoSBlocker: Enhancing SDN security with time-based address mapping and AI-driven approach. - Mitali Sinha; Padmalochan Bera; Manoranjan Satpathy; Kshira Sagar Sahoo; Joel J. P. C. Rodrigues (Comput. Networks, 2025)

SynFloWatch: An Entropy-Based Live Defense System against SYN Spoofing DDoS Attacks in Hybrid SDN. - Mitali Sinha; Joy Chandra Mukherjee; Padmalochan Bera; Manoranjan Satpathy (J. Netw. Syst. Manag., 2025)