by Deng, Chaoqiang, Namjoshi, Kedar S.
Published in Formal methods in system design (01.10.2018)

by Emerson, E. Allen, Namjoshi, Kedar S
Year of Publication 2005

by Namjoshi, Kedar S, Yoneda, Tomohiro, Higashino, Teruo
Year of Publication 2007

by Klein, Uri, Namjoshi, Kedar S.
Published in Computer Aided Verification (2011)

by Cohen, Ariel, Namjoshi, Kedar S.
Published in Formal methods in system design (01.04.2009)

by Namjoshi, Kedar S.
Published in Electronic proceedings in theoretical computer science (01.01.2013)

by Koppol, Pramod, Namjoshi, Kedar S., Stathopoulos, Thanos, Wilfong, Gordon T.
Published in Bell Labs technical journal (01.09.2012)

by Dams, Dennis, Namjoshi, Kedar S.
Published in Lecture notes in computer science (01.01.2005)

by Zhang, Ruoxi, Trefler, Richard, Namjoshi, Kedar S.
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)

by Dams, Dennis R., Namjoshi, Kedar S.
Published in Formal Methods for Components and Objects (2006)

by Carroll, Martin, Namjoshi, Kedar S., Segall, Itai
Published in 2021 IEEE International Conference on Robotics and Automation (ICRA) (30.05.2021)

by Arlein, Robert M., Dams, Dennis R., Hull, Richard B., Letourneau, John, Namjoshi, Kedar S.
Published in Bell Labs technical journal (01.09.2009)

by Conway, Christopher L., Namjoshi, Kedar S., Dams, Dennis, Edwards, Stephen A.
Published in Computer Aided Verification (2005)

by Dams, D., Namjoshi, K.S.
Published in Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004 (2004)

by Bansal, Suguman, Namjoshi, Kedar S., Sa'ar, Yaniv
Published in Proceedings of ACM on programming languages (01.01.2020)

by Namjoshi, Kedar S., Xue, Anton
Published in Verification, Model Checking, and Abstract Interpretation (2021)

by Namjoshi, Kedar S., Trefler, Richard J.
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Namjoshi, Kedar S., Tabajara, Lucas M.
Published in Verification, Model Checking, and Abstract Interpretation (2020)

by Namjoshi, Kedar S., Pavlinovic, Zvonimir
Published in Static Analysis (2018)

by Namjoshi, Kedar S., Trefler, Richard J.
Published in Formal Techniques for Distributed Objects, Components, and Systems (2015)