Manoranjan Satpathy

According to our database1, Manoranjan Satpathy authored at least 41 papers between 1995 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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. 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

2012
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

2011
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

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

2009
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

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.
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

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

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

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.
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

2002
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

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

Optimizing Register Spills for Eager Functional Languages.
Proceedings of the Computational Science - ICCS 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.
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

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...