|
Search the dblp DataBase
Manoranjan Satpathy:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth Choudhuri, Sachin V. Chitnis
High Performance Code Generation through Lazy Activation Records. [Citation Graph (0, 0)][DBLP] Interaction between Compilers and Computer Architectures, 2003, pp:37-50 [Conf]
- Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. [Citation Graph (0, 0)][DBLP] ASIAN, 1995, pp:88-102 [Conf]
- Daniel Rodríguez, Rachel Harrison, Manoranjan Satpathy, José Javier Dolado
An Investigation of Prediction Models for Project Management. [Citation Graph (0, 0)][DBLP] COMPSAC, 2002, pp:779-784 [Conf]
- Manoranjan Satpathy, Rachel Harrison
A Typed Generic Process Model for Product Focused Process Improvement. [Citation Graph (0, 0)][DBLP] COMPSAC, 2002, pp:379-384 [Conf]
- Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius
Synthesis of Scenario Based Test Cases from B Models. [Citation Graph (0, 0)][DBLP] FATES/RV, 2006, pp:133-147 [Conf]
- Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya
Some Decidability Results for Duration Calculus under Synchronous Interpretation. [Citation Graph (0, 0)][DBLP] FTRTFT, 1998, pp:186-197 [Conf]
- Sounaka Mishra, Kripasindhu Sikdar, Manoranjan Satpathy
Optimizing Register Spills for Eager Functional Languages. [Citation Graph (0, 0)][DBLP] International Conference on Computational Science (2), 2001, pp:128-137 [Conf]
- Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez
Maintenance of Object Oriented Systems through Re-Engineering: A Case Study. [Citation Graph (0, 0)][DBLP] ICSM, 2002, pp:540-549 [Conf]
- Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez
Assertions in Object Oriented Software Maintenance: Analysis and a Case Study. [Citation Graph (0, 0)][DBLP] ICSM, 2004, pp:124-135 [Conf]
- Sachin V. Chitnis, Manoranjan Satpathy, Sundeep Oberoi
Rationalized Three Instruction Machine. [Citation Graph (0, 0)][DBLP] Intermediate Representations Workshop, 1995, pp:94-102 [Conf]
- Manoranjan Satpathy, Rachel Harrison, Colin F. Snook, Michael J. Butler
A Generic Model for Assessing Process Quality. [Citation Graph (0, 0)][DBLP] IWSM, 2000, pp:94-110 [Conf]
- 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, D. Rodriguez-García, Manoranjan Satpathy, Rachel Harrison, R. Matilla, M. A. Álvarez
SEGESOFT: Entorno de Entrenamiento para la Gestión de Proyectos Software. [Citation Graph (0, 0)][DBLP] JISBD, 2001, pp:131-144 [Conf]
- Daniel Rodríguez, Rachel Harrison, Manoranjan Satpathy
A Generic Model and Tool Support for Assessing and Improving Web Processes. [Citation Graph (0, 0)][DBLP] IEEE METRICS, 2002, pp:141-151 [Conf]
- Daniel Rodríguez, Manoranjan Satpathy, Dietmar Pfahl
Effective Software Project Management Education through Simulation Models: An Externally Replicated Experiment. [Citation Graph (0, 0)][DBLP] PROFES, 2004, pp:287-301 [Conf]
- Manoranjan Satpathy, Michael Leuschel, Michael J. Butler
ProTest: An Automatic Test Environment for B Specifications. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:111, n:, pp:113-136 [Journal]
- Sounaka Mishra, Kripasindhu Sikdar, Manoranjan Satpathy
Optimizing register spills for eager functional languages. [Citation Graph (0, 0)][DBLP] Future Generation Comp. Syst., 2002, v:18, n:5, pp:699-708 [Journal]
- Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh
Improved Register Usage for Functional Programs through Multiple Function Versions. [Citation Graph (0, 0)][DBLP] Journal of Functional and Logic Programming, 1998, v:1998, n:7, pp:- [Journal]
- Nils T. Siebel, Stephen Cook 0002, Manoranjan Satpathy, Daniel Rodríguez
Latitudinal and longitudinal process diversity. [Citation Graph (0, 0)][DBLP] Journal of Software Maintenance, 2003, v:15, n:1, pp:9-25 [Journal]
- Manoranjan Satpathy, Michael Butler, Michael Leuschel, S. Ramesh
Automatic Testing from Formal Specifications. [Citation Graph (0, 0)][DBLP] TAP, 2007, pp:95-113 [Conf]
Randomized directed testing (REDIRECT) for Simulink/Stateflow models. [Citation Graph (, )][DBLP]
Test case generation from formal models through abstraction refinement and model checking. [Citation Graph (, )][DBLP]
Model Based Testing of a Network-on-Chip Component. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.326secs
|