( en | de | ru )

 

Disambiguation of "Komondoor, Raghavan"

Author of the publication

copydeleteadd this publication to your clipboard
Semantics-based reverse engineering of object-oriented data models.

, , , and . ICSE, page 192-201. ACM, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Raghavan Vallur

Sarada Raghavan

Raghavan Chinnadurai

 

Other publications of authors with the same name

Static Analysis of File-Processing Programs using File Format Specifications., , and . CoRR, (2015)Semantics-Preserving Procedure Extraction., and . POPL, page 155-169. ACM, (2000)Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation.. SAS, volume 7935 of Lecture Notes in Computer Science, page 259-282. Springer, (2013)GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces., , and . ESEC/SIGSOFT FSE, page 1585-1589. ACM, (2021)Recovering Data Models via Guarded Dependences., and . WCRE, page 110-119. IEEE Computer Society, (2007)Eliminating duplication in source code via procedure extraction, and . Technical Report 1461, UW-Madison Dept. of Computer Sciences, (December 2002)Packet flow analysis in IP networks via abstract interpretation, , , and . CoRR, (2011)Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis., , and . FM, volume 8442 of Lecture Notes in Computer Science, page 335-350. Springer, (2014)Towards Efficient Controller Synthesis Techniques for Logical LTL Games., , and . CoRR, (2023)A case study in matching service descriptions to implementations in an existing system., , , and . ICSM, page 1-10. IEEE Computer Society, (2010)