The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manoranjan Satpathy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Sachin V. Chitnis, Manoranjan Satpathy, Sundeep Oberoi
    Rationalized Three Instruction Machine. [Citation Graph (0, 0)][DBLP]
    Intermediate Representations Workshop, 1995, pp:94-102 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Manoranjan Satpathy, Michael Butler, Michael Leuschel, S. Ramesh
    Automatic Testing from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:95-113 [Conf]

  20. Randomized directed testing (REDIRECT) for Simulink/Stateflow models. [Citation Graph (, )][DBLP]


  21. Test case generation from formal models through abstraction refinement and model checking. [Citation Graph (, )][DBLP]


  22. Model Based Testing of a Network-on-Chip Component. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002