Manoranjan Satpathy

2008
21	EE	Manoranjan Satpathy, Anand Yeolekar, S. Ramesh: Randomized directed testing (REDIRECT) for Simulink/Stateflow models. EMSOFT 2008: 217-226
2007
20	EE	Manoranjan Satpathy, S. Ramesh: Test case generation from formal models through abstraction refinement and model checking. A-MOST 2007: 85-94
19	EE	Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh: Automatic Testing from Formal Specifications. TAP 2007: 95-113
2006
18	EE	Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius: Synthesis of Scenario Based Test Cases from B Models. FATES/RV 2006: 133-147
2005
17	EE	Manoranjan Satpathy, Michael Leuschel, Michael J. Butler: ProTest: An Automatic Test Environment for B Specifications. Electr. Notes Theor. Comput. Sci. 111: 113-136 (2005)
2004
16	EE	Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez: Assertions in Object Oriented Software Maintenance: Analysis and a Case Study. ICSM 2004: 124-135
15	EE	Daniel Rodríguez, Manoranjan Satpathy, Dietmar Pfahl: Effective Software Project Management Education through Simulation Models: An Externally Replicated Experiment. PROFES 2004: 287-301
2003
14	EE	Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth Choudhuri, Sachin V. Chitnis: High Performance Code Generation through Lazy Activation Records. Interaction between Compilers and Computer Architectures 2003: 37-50
13	EE	Nils T. Siebel, Stephen Cook, Manoranjan Satpathy, Daniel Rodríguez: Latitudinal and longitudinal process diversity. Journal of Software Maintenance 15(1): 9-25 (2003)
2002
12	EE	Manoranjan Satpathy, Rachel Harrison: A Typed Generic Process Model for Product Focused Process Improvement. COMPSAC 2002: 379-384
11	EE	Daniel Rodríguez, Rachel Harrison, Manoranjan Satpathy, José Javier Dolado: An Investigation of Prediction Models for Project Management. COMPSAC 2002: 779-784
10	EE	Manoranjan Satpathy, Nils T. Siebel, Daniel Rodríguez: Maintenance of Object Oriented Systems through Re-Engineering: A Case Study. ICSM 2002: 540-549
9	EE	Daniel Rodríguez, Rachel Harrison, Manoranjan Satpathy: A Generic Model and Tool Support for Assessing and Improving Web Processes. IEEE METRICS 2002: 141-151
8	EE	Sounaka Mishra, Kripasindhu Sikdar, Manoranjan Satpathy: Optimizing register spills for eager functional languages. Future Generation Comp. Syst. 18(5): 699-708 (2002)
2001
7	EE	Sounaka Mishra, Kripasindhu Sikdar, Manoranjan Satpathy: Optimizing Register Spills for Eager Functional Languages. International Conference on Computational Science (2) 2001: 128-137
6		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. JISBD 2001: 131-144
2000
5	EE	Manoranjan Satpathy, Rachel Harrison, Colin F. Snook, Michael J. Butler: A Generic Model for Assessing Process Quality. IWSM 2000: 94-110
1998
4	EE	Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya: Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT 1998: 186-197
3		Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh: Improved Register Usage for Functional Programs through Multiple Function Versions. Journal of Functional and Logic Programming 1998(7): (1998)
1995
2		Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh: An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. ASIAN 1995: 88-102
1		Sachin V. Chitnis, Manoranjan Satpathy, Sundeep Oberoi: Rationalized Three Instruction Machine. Intermediate Representations Workshop 1995: 94-102

Coauthor Index

1	Jesús S. Aguilar-Ruiz	[6]
2	M. A. Álvarez	[6]
3	Michael J. Butler	[5] [17] [19]
4	Mercedes Ruiz Carreira	[6]
5	Sachin V. Chitnis	[1] [14]
6	Siddharth Choudhuri	[14]
7	Stephen Cook	[13]
8	José Javier Dolado	[6] [11]
9	P. Fernández	[6]
10	Francisco J. Ferrer-Troyano	[6]
11	Rachel Harrison	[5] [6] [9] [11] [12]
12	Dang Van Hung	[4]
13	A. Ruiz de Infante	[6]
14	Michael Leuschel	[17] [19]
15	Johan Lilius	[18]
16	Rabi N. Mahapatra	[14]
17	Qaisar A. Malik	[18]
18	R. Matilla	[6]
19	Sounaka Mishra	[7] [8]
20	Sundeep Oberoi	[1]
21	Paritosh K. Pandya	[4]
22	Dietmar Pfahl	[15]
23	M. A. Prieto	[6]
24	S. Ramesh (Sethu Ramesh)	[19] [20] [21]
25	Isabel Ramos	[6]
26	Daniel Rodríguez	[9] [10] [11] [13] [15] [16]
27	D. Rodriguez-García	[6]
28	José Cristóbal Riquelme Santos	[6]
29	Amitabha Sanyal	[2] [3]
30	Nils T. Siebel	[10] [13] [16]
31	Kripasindhu Sikdar	[7] [8]
32	Colin F. Snook	[5]
33	Miguel Toro	[6]
34	Javier Tuya	[6]
35	G. Venkatesh	[2] [3]
36	Anand Yeolekar	[21]

Colors in the list of coauthors