Manoranjan Satpathy

According to our database1, Manoranjan Satpathy authored at least 46 papers between 1995 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 




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 2019 18th International Conference on Embedded Systems, 2019

Formal Modeling and Verification of Controllers for a Family of DRAM Caches.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

ReDRAM: A Reconfigurable DRAM Cache for GPGPUs.
Computer Architecture Letters, 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

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

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

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

A regression test selection technique for embedded software.
ACM Trans. Embedded 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

Efficient coverage of parallel and hierarchical stateflow models for test case generation.
Softw. Test., Verif. 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

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

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

Task Dependency Analysis for Regression Test Selection of Embedded Programs.
Embedded Systems Letters, 2011

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

Extracting State Models for Black-Box Software Components.
Journal of Object Technology, 2010

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

Model Based Testing of a Network-on-Chip Component.
Electr. Notes Theor. Comput. Sci., 2009

Randomized directed testing (REDIRECT) for Simulink/Stateflow models.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

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

Automatic Testing from Formal Specifications.
Proceedings of the Tests and Proofs, First 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

Synthesis of Scenario Based Test Cases from B Models.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

ProTest: An Automatic Test Environment for B Specifications.
Electr. Notes Theor. Comput. Sci., 2005

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

Latitudinal and longitudinal process diversity.
Journal of Software Maintenance, 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

Optimizing register spills for eager functional languages.
Future Generation Comp. 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

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

Optimizing Register Spills for Eager Functional Languages.
Proceedings of the Computational Science - ICCS 2001, 2001

A Generic Model for Assessing Process Quality.
Proceedings of the New Approaches in Software Measurement, 10th International Workshop, 2000

Improved Register Usage for Functional Programs through Multiple Function Versions.
Journal of Functional and Logic Programming, 1998

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

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