by Sampath, Prahladavaradan
Published in Formal aspects of computing (01.07.2014)

by Hagiescu, Andrei, Bordoloi, Unmesh D., Chakraborty, Samarjit, Sampath, Prahladavaradan, Ganesan, P. Vignesh V., Ramesh, S.
Published in 2007 44th ACM/IEEE Design Automation Conference (04.06.2007)

by Sampath, Prahladavaradan, Rajeev, A. C., Ramesh, S.
Published in 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2014)

by Divakaran, Sumesh, D’Souza, Deepak, Kushwah, Anirudh, Sampath, Prahladavaradan, Sridhar, Nigamanth, Woodcock, Jim
Published in Formal Methods and Software Engineering (2015)

by Sampath, P., Rajeev, A.C., Ramesh, S., Shashidhar, K.C.
Published in 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07) (01.04.2007)

by Sampath, Prahladavaradan
Year of Publication 21.09.2006

by Sampath, Prahladavaradan, Sivaramakrishnan, Janaki, Mestchian, Ebrahim Mehran, Manoj Gangadhar, Dixit, Aldrich, William J
Year of Publication 12.10.2021

by Sampath, Prahladavaradan, Margoor, Amogh, Manoj Gangadhar, Dixit, Aldrich, William J
Year of Publication 20.08.2019

by Sampath, Prahladavaradan
Year of Publication 2000

by Arora, S., Sampath, P., Ramesh, S.
Published in 2012 20th IEEE International Requirements Engineering Conference (RE) (01.09.2012)

by SAMPATH PRAHLADAVARADAN, SETHU RAMESH
Year of Publication 21.02.2012

by Sampath, Prahladavaradan, Sethu, Ramesh
Year of Publication 21.02.2012

by Sampath, Prahladavaradan
Published in arXiv.org (21.09.2006)

by SAMPATH, PRAHLADAVARADAN, SETHU, RAMESH
Year of Publication 19.08.2010

by SAMPATH PRAHLADAVARADAN, SETHU RAMESH
Year of Publication 17.06.2010

by SAMPATH, PRAHLADAVARADAN, SETHU, RAMESH
Year of Publication 17.06.2010

by Sampath, P., Arora, S., Ramesh, S.
Published in 2011 IEEE 19th International Requirements Engineering Conference (01.08.2011)

by SAMPATH PRAHLADAVARADAN, MANOJ GANGADHAR DIXIT, ALDRICH WILLIAM J, MARGOOR AMOGH
Year of Publication 05.05.2016

by Sivaramakrishnan Janaki, Mestchian Ebrahim Mehran, Sampath Prahladavaradan, Aldrich William J, MANOJ GANGADHAR Dixit
Year of Publication 07.12.2017

by D'Souza, Deepak, Gopinathan, Madhu, Ramesh, S., Sampath, Prahladavaradan
Published in 2009 IEEE International Conference on Automation Science and Engineering (01.08.2009)