Ketan Dixit

According to our database¹, Ketan Dixit authored at least 3 papers between 2010 and 2012.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2012

Software monitoring with controllable overhead.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

InterAspect: aspect-oriented instrumentation with GCC.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2012

2010

Aspect-Oriented Instrumentation with GCC.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

Ketan Dixit

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...