Rajeev Alur

发表

Rajeev Alur, Rastislav Bodik, Garvit Juniwal, 2013, FMCAD 2013.
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2005, Theor. Comput. Sci..
Antoine Girard, George J. Pappas, Rajeev Alur, 2006, EMSOFT '06.
Rajeev Alur, 2003, Verification: Theory and Practice.
Thomas A. Henzinger, Rajeev Alur, Tomás Feder, 1991, JACM.
Rajeev Alur, Ashutosh Trivedi, R. Alur, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Rajeev Alur, Gera Weiss, 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.
Pavol Cerný, Arjun Radhakrishna, Rajeev Alur, 2015, CAV.
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2016, SYNT@CAV.
Rajeev Alur, Zijiang Yang, 2004, FMCAD.
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, 2020, NeurIPS.
Rajeev Alur, Salvatore La Torre, P. Madhusudan, 2005, HSCC.
Rajeev Alur, Mihalis Yannakakis, M. Yannakakis, 1998, TOPL.
Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, 1997, Proceedings of the (19th) International Conference on Software Engineering.
Paulo Tabuada, Insup Lee, Nathan Michael, 2013, HiCoNS '13.
Rajeev Alur, Salvatore La Torre, R. Alur, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Sumit Gulwani, Rajeev Alur, Björn Hartmann, 2015, ACM Trans. Comput. Hum. Interact..
Rajeev Alur, Gera Weiss, R. Alur, 2007, HSCC.
Vijay Kumar, Calin Belta, George J. Pappas, 2002, Comput. Sci. Eng..
Mahesh Viswanathan, Rajeev Alur, P. Madhusudan, 2005, ICALP.
Rajeev Alur, Milo M. K. Martin, Sela Mador-Haim, 2010 .
Rajeev Alur, Abhishek Udupa, Jyotirmoy V. Deshmukh, 2013, PLDI.
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2018, Commun. ACM.
Pavol Cerný, Rajeev Alur, 2009, CAV.
Rajeev Alur, Arun Chandrashekharapuram, 2007, J. Comput. Syst. Sci..
Yifei Yuan, Ankit Mishra, Rajeev Alur, 2017, SIGCOMM.
Rajeev Alur, Andrei BroderMonika Henzinger, 1999, LICS 1999.
Rajeev Alur, Allen D. Malony, 1998, Euro-Par.
Rajeev Alur, Caleb Stanford, Filip Niksic, 2020, Proc. ACM Program. Lang..
Pavol Cerný, Rajeev Alur, P. Madhusudan, 2005, POPL '05.
Rajeev Alur, Radu Grosu, R. Alur, 2004, TOPL.
Rajeev Alur, Mukund Raghothaman, Adam Freilich, 2014, CSL-LICS.
Rajeev Alur, Gadi Taubenfeld, 1993, Proceedings of 1993 5th IEEE Symposium on Parallel and Distributed Processing.
Swarat Chaudhuri, Rajeev Alur, P. Madhusudan, 2011, TOPL.
Wojciech Penczek, Rajeev Alur, Doron A. Peled, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Rajeev Alur, Thao Dang, Franjo Ivancic, 2002, HSCC.
Rajeev Alur, R. Alur, Junfeng Sun, 1999, CAV.
George J. Pappas, Rajeev Alur, Salvatore La Torre, 2001, HSCC.
Calin Belta, Rajeev Alur, Franjo Ivancic, 2001, HSCC.
Thomas A. Henzinger, Rajeev Alur, 1999, Formal Methods Syst. Des..
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin, 2006 .
Rajeev Alur, Kousha Etessami, Doron A. Peled, 2001, TOCL.
Sumit Gulwani, Rajeev Alur, Loris D'Antoni, 2013, IJCAI.
Insup Lee, Rajeev Alur, 2005, TECS.
Rajeev Alur, Thao Dang, Franjo Ivancic, 2006, Theor. Comput. Sci..
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2001, TOPL.
Rajeev Alur, Mukund Raghothaman, Abhishek Udupa, 2015, CAV.
Thomas A. Henzinger, Rajeev Alur, Tomás Feder, 1991, PODC '91.
Rajeev Alur, Joseph Devietti, Nimit Singhania, 2018, SAS.
Rajeev Alur, Garvit Juniwal, Milo M. K. Martin, 2013, 2013 Formal Methods in Computer-Aided Design.
Rajeev Alur, Caleb Stanford, Konstantinos Mamouras, 2019, Proc. ACM Program. Lang..
Thomas A. Henzinger, Rajeev Alur, Radu Grosu, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, 2020, AISTATS.
Rajeev Alur, Loris D'Antoni, R. Alur, 2011, ICALP.
Rajeev Alur, Carl A. Gunter, Michael McDougall, 2004, EMSOFT '04.
Thomas A. Henzinger, Rajeev Alur, T. Henzinger, 1995, CAV.
Rajeev Alur, Milo M. K. Martin, Sela Mador-Haim, 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Thomas A. Henzinger, Rajeev Alur, 1999, Formal Methods Syst. Des..
Rajeev Alur, Mihalis Yannakakis, Costas Courcoubetis, 1995, STOC '95.
Rajeev Alur, Gadi Taubenfeld, 1996, Distributed Computing.
Rajeev Alur, Joseph Devietti, Nimit Singhania, 2017, CAV.
Rajeev Alur, Franjo Ivancic, R. Alur, 2003 .
Pavol Cerný, Rajeev Alur, Steve Zdancewic, 2006, ICALP.
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 2002, JACM.
Rajeev Alur, Sebastian Fischmeister, Madhukar Anand, 2009, HSCC.
Rajeev Alur, David L. Dill, Costas Courcoubetis, 1991, REX Workshop.
Pavol Cerný, Rajeev Alur, Scott Weinstein, 2009, CSL.
Thomas A. Henzinger, Nicolas Halbwachs, Joseph Sifakis, 1995, Theor. Comput. Sci..
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin, 2007 .
Rajeev Alur, Kousha Etessami, P. Madhusudan, 2004, TACAS.
Rajeev Alur, P. Madhusudan, Wonhong Nam, 2008, Formal Methods Syst. Des..
Rajeev Alur, David L. Dill, Costas Courcoubetis, 1993, Inf. Comput..
Sampath Kannan, Rajeev Alur, Salvatore La Torre, 1999, HSCC.
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2005, Theor. Comput. Sci..
Rajeev Alur, Carl A. Gunter, Alwyn E. Goodloe, 2002, CASES '02.
Rajeev Alur, Mukund Raghothaman, 2013, ICALP.
Rajeev Alur, P. Madhusudan, R. Alur, 2004, STOC '04.
Thomas A. Henzinger, Rajeev Alur, T. Henzinger, 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
Rajeev Alur, 2008, AMAST.
Insup Lee, Rajeev Alur, Oleg Sokolsky, 2019, MEMOCODE.
Rajeev Alur, M. Oliver, 2001 .
Thomas A. Henzinger, Rajeev Alur, Limor Fix, 1999, Theor. Comput. Sci..
Sampath Kannan, Rajeev Alur, Salvatore La Torre, 2004, Formal Methods Syst. Des..
Thomas A. Henzinger, Rajeev Alur, Limor Fix, 1994, CAV.
Thomas A. Henzinger, Rajeev Alur, Pei-Hsin Ho, 1993, 1993 Proceedings Real-Time Systems Symposium.
Rajeev Alur, Wonhong Nam, R. Alur, 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).
Thomas A. Henzinger, Rajeev Alur, T. Henzinger, 1994, International Journal on Software Tools for Technology Transfer.
Rajeev Alur, Val Tannen, Caleb Stanford, 2018, Principles of Modeling.
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2003, IEEE Trans. Software Eng..
Rajeev Alur, Gerard J. Holzmann, Doron A. Peled, 1996, TACAS.
Nicolas Halbwachs, Rajeev Alur, David L. Dill, 1992, [1992] Proceedings Real-Time Systems Symposium.
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 1998, CONCUR.
Rajeev Alur, Ashutosh Trivedi, Vojtech Forejt, 2013, HSCC '13.
Rajeev Alur, Doron A. Peled, Kenneth L. McMillan, 2005, Formal Methods Syst. Des..
Thomas A. Henzinger, Rajeev Alur, Costas Courcoubetis, 1992, Hybrid Systems.
Rajeev Alur, Houssam Abbas, Rahul Mangharam, 2018, Proceedings of the IEEE.
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin, 2007, PLDI '07.
Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak, 2012, HSCC '12.
Rajeev Alur, Mukund Raghothaman, Dana Fisman, 2020, Theor. Comput. Sci..
Rajeev Alur, Arun Chandrashekharapuram, 2005, 11th IEEE Real Time and Embedded Technology and Applications Symposium.
Rajeev Alur, Radu Grosu, R. Alur, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Rajeev Alur, Val Tannen, Caleb Stanford, 2019, PLDI.
Rajeev Alur, P. Madhusudan, Mikhail Bernadsky, 2004, ICALP.
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Rajeev Alur, Robert P. Kurshan, R. Alur, 1996, Hybrid Systems.
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin, 2005, VMCAI.
Karl Henrik Johansson, George J. Pappas, Rajeev Alur, 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.
Rajeev Alur, Ashutosh Trivedi, Vojtech Forejt, 2017, ACM Trans. Embed. Comput. Syst..
Rajeev Alur, Carl A. Gunter, Michael Mcdougall, 2005 .
Sampath Kannan, Rajeev Alur, Marco Faella, 2016, CSL.
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2001, CAV.
Rajeev Alur, David L. Dill, R. Alur, 1991, REX Workshop.
Rajeev Alur, Mikhail Bernadsky, 2007, HSCC.
Rajeev Alur, Hagit Attiya, Gadi Taubenfeld, 1997, SIAM J. Comput..
Rajeev Alur, Radu Grosu, Bow-Yaw Wang, 2000, CAV 2000.
Rajeev Alur, Doron A. Peled, R. Alur, 1999, Inf. Process. Lett..
Swarat Chaudhuri, Pavol Cerný, Arjun Radhakrishna, 2010, CAV.
Rajeev Alur, R. Alur, 1996, CSUR.
Thomas A. Henzinger, Rajeev Alur, Costas Courcoubetis, 1993, CAV.
Rajeev Alur, David L. Dill, R. Alur, 1994, Theor. Comput. Sci..
Insup Lee, Rajeev Alur, Oleg Sokolsky, 2020, 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Rajeev Alur, Milo M. K. Martin, Abhishek Udupa, 2013, PLDI.
Rajeev Alur, Loris D'Antoni, 2012, ICALP.
Rajeev Alur, P. Madhusudan, R. Alur, 2004, SFM.
Thomas A. Henzinger, Rajeev Alur, Eduardo D. Sontag, 1995, Lecture Notes in Computer Science.
Rajeev Alur, 2011, WoLLIC.
Rajeev Alur, Radu Grosu, Michael McDougall, 2000, CAV.
Rajeev Alur, Salvatore La Torre, P. Madhusudan, 2003, Theor. Comput. Sci..
Sriram Sankaranarayanan, Rajeev Alur, Aditya Kanade, 2009, CAV.
Rajeev Alur, Jyotirmoy V. Deshmukh, 2011, ICALP.
Rajeev Alur, Pavol Cerny, R. Alur, 2009 .
Mahesh Viswanathan, Rajeev Alur, Robert P. Kurshan, 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
Ufuk Topcu, Rajeev Alur, Salar Moarref, 2018, Inf. Comput..
Rajeev Alur, Aditya Kanade, S. Ramesh, 2008, EMSOFT '08.
Rajeev Alur, Mukund Raghothaman, Loris D'Antoni, 2015, POPL.
Pavol Cerný, Rajeev Alur, 2010, FSTTCS.
Vijay Kumar, Insup Lee, George J. Pappas, 2001, EMSOFT.
Rajeev Alur, Aditya Kanade, Gera Weiss, 2008, CAV.
Vijay Kumar, Gregory Z. Grudic, Insup Lee, 2000, International Symposium on Experimental Robotics.
Rajeev Alur, 2013, 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Antoine Girard, George J. Pappas, Rajeev Alur, 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).
Rajeev Alur, Thao Dang, Franjo Ivancic, 2006, TECS.
Insup Lee, Rajeev Alur, Radu Grosu, 2006, J. Log. Algebraic Methods Program..
Insup Lee, Rajeev Alur, Elsa L. Gunter, 2003, International Journal on Software Tools for Technology Transfer.
Sampath Kannan, Rajeev Alur, Mihalis Yannakakis, 1999, ICALP.
Thomas A. Henzinger, Rajeev Alur, Moshe Y. Vardi, 1993, STOC.
Rajeev Alur, Ashutosh Trivedi, Emmanuel Filiot, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Vijay Kumar, Insup Lee, Rajeev Alur, 1999, World Congress on Formal Methods.
Rajeev Alur, Zhihao Jiang, Miroslav Pajic, 2014, International Journal on Software Tools for Technology Transfer.
Rajeev Alur, David L. Dill, Costas Courcoubetis, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Rajeev Alur, Gadi Taubenfeld, R. Alur, 1994, PODC '94.
Rajeev Alur, Nimit Singhania, 2014, 2014 International Conference on Embedded Software (EMSOFT).
George J. Pappas, Rajeev Alur, Salvatore La Torre, 2001, HSCC.
Rajeev Alur, 2015 .
Swarat Chaudhuri, Rajeev Alur, Swarat Chaudhuri, 2010, VMCAI.
Rajeev Alur, Abhishek Udupa, Dana Fisman, 2019, ArXiv.
Yifei Yuan, Rajeev Alur, Boon Thau Loo, 2013, 2013 Formal Methods in Computer-Aided Design.
Alon Itai, Rajeev Alur, Mihalis Yannakakis, 1992, CAV.
Rajeev Alur, Klaus Havelund, Gerard Holzmann, 2006, ASE.
Thomas A. Henzinger, Rajeev Alur, Pei-Hsin Ho, 1996, IEEE Trans. Software Eng..
Yifei Yuan, Sampath Kannan, Rajeev Alur, 2013, LATA.
Rajeev Alur, Gerard J. Holzmann, Doron Peled, 1996, Softw. Concepts Tools.
Ufuk Topcu, Rajeev Alur, Salar Moarref, 2016, HSCC.
Swarat Chaudhuri, Rajeev Alur, P. Madhusudan, 2006, POPL '06.
Rajeev Alur, Doron A. Peled, Kenneth L. McMillan, 1998, Formal Methods Syst. Des..
Rajeev Alur, 2007, CSR.
Arjun Radhakrishna, Rajeev Alur, Abhishek Udupa, 2017, TACAS.
Rajeev Alur, Doron A. Peled, Kenneth L. McMillan, 2000, Inf. Comput..
Rajeev Alur, R. Alur, 2005, CONCUR.
Vijay Kumar, Gregory Z. Grudic, Insup Lee, 2000, ISER.
Rajeev Alur, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Rajeev Alur, 2011, FORMATS.
George J. Pappas, Rajeev Alur, 2004, Lecture Notes in Computer Science.
Rajeev Alur, David L. Dill, Costas Courcoubetis, 1991, ICALP.
Vijay Kumar, Insup Lee, George J. Pappas, 2003, Proc. IEEE.
Rajeev Alur, Alessio Lomuscio, Moshe Y. Vardi, 2016 .
Rajeev Alur, Mikhail Bernadsky, Raman Sharykin, 2004, FORMATS/FTRTFT.
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2017, SYNT@CAV.
Rajeev Alur, Thao Dang, Franjo Ivancic, 2003, Theor. Comput. Sci..
Rajeev Alur, Salvatore La Torre, 2004, TOCL.
Robert K. Brayton, Thomas A. Henzinger, Rajeev Alur, 2001, Formal Methods Syst. Des..
Rajeev Alur, Stavros Tripakis, R. Alur, 2017, SIGA.
Rajeev Alur, Zhihao Jiang, Miroslav Pajic, 2012, TACAS.
Rajeev Alur, Gadi Taubenfeld, 1996, Inf. Comput..
Rajeev Alur, Salvatore La Torre, P. Madhusudan, 2003, CONCUR.
Rajeev Alur, Doron A. Peled, Kenneth L. McMillan, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Rajeev Alur, Yu Chen, Kishor Jothimurugan, 2020, LICS.
Kim G. Larsen, Marius Mikucionis, Thomas A. Henzinger, 2019, Computing and Software Science.
Thomas A. Henzinger, Rajeev Alur, Moshe Y. Vardi, 2012, Formal Methods Syst. Des..
Rajeev Alur, Radu Grosu, 2000, POPL '00.
Rajeev Alur, Milo M. K. Martin, Sela Mador-Haim, 2010, CAV.
Rajeev Alur, Bow-Yaw Wang, R. Alur, 1999, CONCUR.
Karl Henrik Johansson, George J. Pappas, Rajeev Alur, 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
Rajeev Alur, Mihalis Yannakakis, M. Yannakakis, 2001, SIGSOFT '98/FSE-6.
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2015, SYNT.
Rajeev Alur, R. Alur, 2015 .
Swarat Chaudhuri, Rajeev Alur, 2006, FSTTCS.
Swarat Chaudhuri, Rajeev Alur, Kousha Etessami, 2005, TACAS.
Rajeev Alur, R. Alur, 2008, 25 Years of Model Checking.
Rajeev Alur, Boon Thau Loo, Yahui Li, 2020, ArXiv.
Rajeev Alur, Aditya Kanade, Jay Thakkar, 2013, FMOODS/FORTE.
Swarat Chaudhuri, Sudipto Guha, Rajeev Alur, 2003, CONCUR.
Rajeev Alur, P. Madhusudan, Wonhong Nam, 2005, CAV.
Thomas A. Henzinger, Rajeev Alur, Sriram K. Rajamani, 1998, TACAS.
Neil Immerman, Rajeev Alur, Kousha Etessami, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Thomas A. Henzinger, Rajeev Alur, T. Henzinger, 1991, REX Workshop.
Thomas A. Henzinger, Rajeev Alur, Eduardo D. Sontag, 1996 .
Rajeev Alur, Kousha Etessami, Doron A. Peled, 1999, ICALP.
Rajeev Alur, Gera Weiss, Oded Maler, 2009, FoSSaCS.
Rajeev Alur, Mihalis Yannakakis, Robert P. Kurshan, 1992, Inf. Comput..
Thomas A. Henzinger, Rajeev Alur, Serdar Tasiran, 1998, CAV.
Rajeev Alur, Ashutosh Trivedi, Antoine Durand-Gasselin, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Vijay Kumar, Insup Lee, Rajeev Alur, 2000, HSCC.
Thomas A. Henzinger, Rajeev Alur, 1993, Inf. Comput..
Karl Henrik Johansson, George J. Pappas, Rajeev Alur, 2009, 2009 IEEE International Conference on Automation Science and Engineering.
Rajeev Alur, Konstantinos Mamouras, 2017, Dependable Software Systems Engineering.
Rajeev Alur, 2013, Commun. ACM.
Rajeev Alur, Gera Weiss, R. Alur, 2008, EMSOFT '08.
Thomas A. Henzinger, Rajeev Alur, T. Henzinger, 1997, CONCUR.
Rajeev Alur, Mukund Raghothaman, Dana Fisman, 2016, ESOP.
Thomas A. Henzinger, Rajeev Alur, Costas Courcoubetis, 1994, CONCUR.
Rajeev Alur, Milo M. K. Martin, Jade Alglave, 2012, CAV.
Thomas A. Henzinger, Rajeev Alur, Moshe Y. Vardi, 2015, SIGL.
Rajeev Alur, Mukund Raghothaman, Loris D'Antoni, 2011, ArXiv.
Rajeev Alur, Zijiang Yang, Michael McDougall, 2002, CAV.
Insup Lee, Rajeev Alur, Radu Grosu, 2001, HSCC.
Rajeev Alur, Milo M. K. Martin, Abhishek Udupa, 2012 .
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, 2014, Haifa Verification Conference.
George J. Pappas, Rajeev Alur, R. Alur, 2008, Formal Methods Syst. Des..
Thomas A. Henzinger, Rajeev Alur, T. Henzinger, 1989, 30th Annual Symposium on Foundations of Computer Science.
Rajeev Alur, Loris D'Antoni, Alexander Weinert, 2015, Bull. EATCS.
Rajeev Alur, Hagit Attiya, Gadi Taubenfeld, 1994, STOC '94.
Thomas A. Henzinger, Rajeev Alur, 1999, Formal Methods Syst. Des..
Insup Lee, Rajeev Alur, Oleg Sokolsky, 2003, LCTES '03.
Sumit Gulwani, Rajeev Alur, Armando Solar-Lezama, 2020, ArXiv.
Joseph Sifakis, Rajeev Alur, Orna Grumberg, 2012, Formal Methods Syst. Des..
Rajeev Alur, Boon Thau Loo, Harsh Verma, 2018, IEEE/ACM Transactions on Networking.
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 1999 .
Rajeev Alur, P. Madhusudan, Wonhong Nam, 2003, Electron. Notes Theor. Comput. Sci..
Neil Immerman, Rajeev Alur, Kousha Etessami, 2007, LICS 2007.
Rajeev Alur, Mukund Raghothaman, Loris D'Antoni, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 1997, COMPOS.
Insup Lee, Rajeev Alur, Oleg Sokolsky, 2003 .
Thomas A. Henzinger, Rajeev Alur, 1994, JACM.
Rajeev Alur, Mihalis Yannakakis, M. Yannakakis, 1999, CONCUR.
Rajeev Alur, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Rajeev Alur, Houssam Abbas, Rahul Mangharam, 2018, 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS).
Rajeev Alur, Radu Grosu, Bow-Yaw Wang, 2000, FMCAD.
Ufuk Topcu, Rajeev Alur, Salar Moarref, 2016, CAV.
Rajeev Alur, Salvatore La Torre, P. Madhusudan, 2003, CAV.
Rajeev Alur, R. Alur, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Ufuk Topcu, Rajeev Alur, Salar Moarref, 2013, 2013 Formal Methods in Computer-Aided Design.
Rajeev Alur, Aditya Kanade, Sriram K. Rajamani, 2010, FSE '10.
Robert K. Brayton, Rajeev Alur, Serdar Tasiran, 1996, CONCUR.
Rajeev Alur, Caleb Stanford, Konstantinos Mamouras, 2017, ICALP.
Rajeev Alur, David L. Dill, Costas Courcoubetis, 1992, CONCUR.
Thomas A. Henzinger, Rajeev Alur, Luca de Alfaro, 1999, CONCUR.
Robert K. Brayton, Thomas A. Henzinger, Rajeev Alur, 1997, CAV.
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin, 2006, CAV.
Rajeev Alur, Shaull Almagor, Suguman Bansal, 2018, ArXiv.
Yifei Yuan, Rajeev Alur, Boon Thau Loo, 2014, HotNets.
Yifei Yuan, Rajeev Alur, Dong Lin, 2015, CoNEXT.
Thomas A. Henzinger, Rajeev Alur, 1998, TOPL.
Swarat Chaudhuri, Rajeev Alur, P. Madhusudan, 2006, CAV.
Thomas A. Henzinger, Rajeev Alur, T. Henzinger, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Rajeev Alur, M. Oliver Möller, R. Alur, 2000, CHARME.
Thomas A. Henzinger, Rajeev Alur, T. Henzinger, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Swarat Chaudhuri, Rajeev Alur, 2007, SPIN.
Rajeev Alur, Dana Fisman, R. Alur, 2016, Formal Methods in System Design.
Rajeev Alur, Dogan Ulus, Konstantinos Mamouras, 2017, Models, Algorithms, Logics and Tools.
Rajeev Alur, Javier Esparza, Ahmed Bouajjani, 2018, Handbook of Model Checking.
Gregory D. Hager, Shwetak N. Patel, Klara Nahrstedt, 2016, ArXiv.
Swarat Chaudhuri, Pavol Cerný, Rajeev Alur, 2007, TACAS.
Rajeev Alur, R. Alur, 2007, CSR.
Thomas A. Henzinger, Rajeev Alur, Costas Courcoubetis, 1993, Formal Methods Syst. Des..
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
Rajeev Alur, Salvatore La Torre, P. Madhusudan, 2006, Theor. Comput. Sci..
Rajeev Alur, Loris D'Antoni, 2014, CAV.
Thomas A. Henzinger, Rajeev Alur, T. Henzinger, 1998, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Rajeev Alur, Mukund Raghothaman, Mayur Naik, 2021, PLDI.
Rajeev Alur, Val Tannen, Caleb Stanford, 2021, PODS.
Rajeev Alur, Caleb Stanford, Filip Niksic, 2021, PPoPP.
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, 2021, AISTATS.
Rajeev Alur, Boon Thau Loo, Yuepeng Wang, 2021, ArXiv.
Rajeev Alur, Osbert Bastani, Suguman Bansal, 2021, ArXiv.
Rajeev Alur, Osbert Bastani, Suguman Bansal, 2021, NeurIPS.
Rajeev Alur, Joseph Devietti, Nimit Singhania, 2021, Formal Methods in System Design.
Rajeev Alur, Mukund Raghothaman, Mayur Naik, 2021, Artifact Digital Object Group.
Rajeev Alur, Caleb Stanford, Filip Niksic, 2022, PPoPP.
Rajeev Alur, Boon Thau Loo, Lei Shi, 2021, TACAS.
Rajeev Alur, Boon Thau Loo, Yuepeng Wang, 2021, 2110.06303.
Rajeev Alur, Bow-Yaw Wang, R. Alur, 1999 .
Thomas A. Henzinger, Rajeev Alur, Luca de Alfaro, 1999 .