Manoranjan Satpathy

64 papers A 3B 4C 6Misc 9Journal 22Unranked 20

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