Manoranjan Satpathy

Orcid: 0000-0002-9237-0978

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
GPU Acceleration of a Conjugate Exponential Model for Cancer Tissue Heterogeneity.
ACM Trans. Comput. Heal., April, 2024

2023
Formal Modeling and Verification of Security Properties of a Ransomware-Resistant SSD.
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.
ACM Trans. Spatial Algorithms Syst., 2022

A Parallelizable Model for Analyzing Cancer Tissue Heterogeneity.
IEEE ACM Trans. Comput. Biol. Bioinform., 2022

SSD internal cache management policies: A survey.
J. Syst. Archit., 2022

2021
LocalityGuru: A PTX Analyzer for Extracting Thread Block-level Locality in GPGPUs.
Proceedings of the IEEE International Conference on Networking, Architecture and Storage, 2021

A Report on the PhD Symposium at ISEC 2021.
Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

An Anomaly Free Distributed Firewall System for SDN.
Proceedings of the International Conference on Cyber Situational Awareness, 2021

2020
Slumber: static-power management for GPGPU register files.
Proceedings of the ISLPED '20: ACM/IEEE International Symposium on Low Power Electronics and Design, 2020

Fuzzy fairness controller for NVMe SSDs.
Proceedings of the ICS '20: 2020 International Conference on Supercomputing, 2020

2019
Formal Modeling and Verification of a Victim DRAM Cache.
ACM Trans. Design Autom. Electr. Syst., 2019

Multidimensional Grid Aware Address Prediction for GPGPU.
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.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Post-Model Validation of Victim DRAM Caches.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2018
Formal Modeling and Verification of Controllers for a Family of DRAM Caches.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

ReDRAM: A Reconfigurable DRAM Cache for GPGPUs.
IEEE Comput. Archit. Lett., 2018

DRAM cache access optimization leveraging line locking in tag cache: work-in-progress.
Proceedings of the International Conference on Compilers, 2018

CAMO: A novel cache management organization for GPGPUs.
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.
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.
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.
Proceedings of the Mobile Web and Intelligent Information Systems, 2016

2015
Inferring State Models Using Feedback Directed Random Testing.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2013
A regression test selection technique for embedded software.
ACM Trans. Embed. Comput. Syst., 2013

Systematic Development of Control Designs via Formal Refinement.
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.
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.
Softw. Test. Verification Reliab., 2012

SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Software Developers in India and Norway: Professional or National Cultures?
J. Inf. Technol. Res., 2011

Regression Test Selection Techniques: A Survey.
Informatica (Slovenia), 2011

Task Dependency Analysis for Regression Test Selection of Embedded Programs.
IEEE Embed. Syst. Lett., 2011

Cross-layer analysis, testing and verification of automotive control software.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Extracting State Models for Black-Box Software Components.
J. Object Technol., 2010

2009
A model-based regression test selection approach for embedded applications.
ACM SIGSOFT Softw. Eng. Notes, 2009

Model Based Testing of a Network-on-Chip Component.
Proceedings of Fifth Workshop on Model Based Testing, 2009

2008
Randomized directed testing (REDIRECT) for Simulink/Stateflow models.
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.
Int. J. Inf. Commun. Technol., 2007

Automatic Testing from Formal Specifications.
Proceedings of the Tests and Proofs - 1st International Conference, 2007

Test case generation from formal models through abstraction refinement and model checking.
Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006
A Formal Model of Context-Awareness and Context-Dependency.
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.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2004
ProTest: An Automatic Test Environment for B Specifications.
Proceedings of the Workshop on Model Based Testing, 2004

Effective Software Project Management Education through Simulation Models: An Externally Replicated Experiment.
Proceedings of the Product Focused Software Process Improvement, 2004

Assertions in Object Oriented Software Maintenance: Analysis and a Case Study.
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Organisation Preparedness and Information Technology Acquisition Success: An Assessment Model.
Proceedings of the 10th Americas Conference on Information Systems, 2004

2003
Latitudinal and longitudinal process diversity.
J. Softw. Maintenance Res. Pract., 2003

High Performance Code Generation through Lazy Activation Records.
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.
Future Gener. Comput. Syst., 2002

A Generic Model and Tool Support for Assessing and Improving Web Processes.
Proceedings of the 8th IEEE International Software Metrics Symposium (METRICS 2002), 2002

Maintenance of Object Oriented Systems through Re-Engineering: A Case Study.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

A Typed Generic Process Model for Product Focused Process Improvement.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

An Investigation of Prediction Models for Project Management.
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.
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.
Proceedings of the New Approaches in Software Measurement, 10th International Workshop, 2000

1998
Improved Register Usage for Functional Programs through Multiple Function Versions.
J. Funct. Log. Program., 1998

Some Decidability Results for Duration Calculus under Synchronous Interpretation.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1995
Rationalized Three Instruction Machine.
Proceedings of the Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), 1995

An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness.
Proceedings of the Algorithms, 1995


  Loading...