Rupak Majumdar

发表

Deborah Estrin, Todd Millstein, Eddie Kohler, 2006 .
Rajesh Gupta, Rupak Majumdar, Houssam Abbas, 2018, EMSOFT.
Krishnendu Chatterjee, Rupak Majumdar, Luca de Alfaro, 2008, APLAS.
Sanjoy K. Baruah, Rupak Majumdar, Indranil Saha, 2015, HSCC.
Rupak Majumdar, Rayna Dimitrova, 2016, Acta Informatica.
Rupak Majumdar, Roland Meyer, Zilong Wang, 2013, SAS.
Rupak Majumdar, Roman Manevich, Michael Emmi, 2010, PLDI '10.
Rupak Majumdar, Jeffrey Fischer, 2007, ASE '07.
Rupak Majumdar, R. K. Shyamasundar, 1996, ASIAN.
Rupak Majumdar, Holger Hermanns, Luis María Ferrer Fioriti, 2016, TACAS.
Rupak Majumdar, Indranil Saha, Zilong Wang, 2010, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Rupak Majumdar, Sadegh Soudjani, Kaushik Mallik, 2016 .
Rupak Majumdar, Thomas Wies, Damien Zufferey, 2014, FASE.
Rupak Majumdar, Sadegh Soudjani, R. Majumdar, 2018, ADHS.
Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani, 2017, HSCC.
Rupak Majumdar, Damien Zufferey, Kaushik Mallik, 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Rupak Majumdar, Adam Meyerson, Gunes Ercal, 2008, SAGT.
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck, 2020, HSCC.
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey, 2019, European Conference on Object-Oriented Programming.
Rupak Majumdar, Sadegh Soudjani, Kaushik Mallik, 2020, HSCC.
Rupak Majumdar, Ru-Gang Xu, R. Majumdar, 2009 .
Rupak Majumdar, Jean-François Raskin, R. Majumdar, 2018, Handbook of Model Checking.
Yu Hu, Rupak Majumdar, Lei He, 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.
Rupak Majumdar, Nikitas Liogkas, Rafit Izhak-Ratzin, 2009, 2009 Proceedings of 18th International Conference on Computer Communications and Networks.
Viktor Kuncak, Rupak Majumdar, Indranil Saha, 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).
Rupak Majumdar, Carlos Ocampo-Martinez, Sadegh Esmaeil Zadeh Soudjani, 2017 .
Rupak Majumdar, Jeffrey Fischer, R. Majumdar, 2017, LPAR.
Sumit Gulwani, Supratik Mukhopadhyay, Rupak Majumdar, 2014, AAAI.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2003, Verification: Theory and Practice.
Rupak Majumdar, Benjamin Monmege, Pierre Ganty, 2010, CAV.
Rupak Majumdar, Vinayak S. Prabhu, 2016, HSCC.
Krishnendu Chatterjee, Rupak Majumdar, Luca de Alfaro, 2013, Int. J. Found. Comput. Sci..
Krishnendu Chatterjee, Rupak Majumdar, 2012, Int. J. Found. Comput. Sci..
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2015, Formal Methods Syst. Des..
Rupak Majumdar, Michael Emmi, 2006, HSCC.
Rupak Majumdar, Georg Zetzsche, Pascal Baumann, 2020, Proc. ACM Program. Lang..
Rupak Majumdar, Rayna Dimitrova, Vinayak S. Prabhu, 2018, CREST@ETAPS.
Thomas A. Henzinger, Rajeev Alur, Radu Grosu, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Ezio Bartocci, Rupak Majumdar, 2017, Formal Methods Syst. Des..
Yu Hu, Minming Li, Rupak Majumdar, 2010, 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC).
Rupak Majumdar, Javier Esparza, 1997, Lecture Notes in Computer Science.
Rupak Majumdar, Roland Meyer, Zilong Wang, 2013, RP.
Rupak Majumdar, Rayna Dimitrova, R. Majumdar, 2014, 2014 International Conference on Embedded Software (EMSOFT).
Rupak Majumdar, Ranjit Jhala, Ru-Gang Xu, 2007, TACAS.
George Candea, Rupak Majumdar, Rodrigo Rodrigues, 2012, EuroSys '12.
Rupak Majumdar, Darko Marinov, Milos Gligoric, 2014, CAV.
Rupak Majumdar, Zilong Wang, Sai Deep Tetali, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Rupak Majumdar, Carlos Ocampo-Martinez, Sadegh Esmaeil Zadeh Soudjani, 2018, Journal of Process Control.
Rupak Majumdar, Alessandro Abate, Sadegh Esmaeil Zadeh Soudjani, 2015, CONCUR.
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, 2018, ArXiv.
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2007, VMCAI.
Rupak Majumdar, Pierre Ganty, R. Majumdar, 2010, TOPL.
Rupak Majumdar, Alessandro Abate, Sadegh Esmaeil Zadeh Soudjani, 2016, TACAS.
Rupak Majumdar, Ru-Gang Xu, R. Majumdar, 2009, CAV.
Krishnendu Chatterjee, Thomas A. Henzinger, Rupak Majumdar, 2008, HSCC.
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2013, CAV.
Rupak Majumdar, Milos Gligoric, R. Majumdar, 2013, TACAS.
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2007, International Journal on Software Tools for Technology Transfer.
Thomas A. Henzinger, Rupak Majumdar, Ashutosh Gupta, 2008, POPL '08.
Krishnendu Chatterjee, Rupak Majumdar, Luca de Alfaro, 2008, Log. Methods Comput. Sci..
Thomas A. Henzinger, Rupak Majumdar, Luca de Alfaro, 2003, CONCUR.
Rupak Majumdar, Vinayak S. Prabhu, 2015, HSCC.
Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani, Vinayak S. Prabhu, 2017, 2017 American Control Conference (ACC).
Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar, 2014, Dagstuhl Reports.
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, 2018, ATVA.
Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani, Rayna Dimitrova, 2017, CONCUR.
Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu, 2005, FORMATS.
John Lygeros, Rupak Majumdar, Alessandro Abate, 2013, 52nd IEEE Conference on Decision and Control.
Rupak Majumdar, 2012, VSTTE.
Rupak Majumdar, Jeffrey Fischer, 2008, 2008 IEEE International Conference on Web Services.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2005, SPIN.
Thomas A. Henzinger, Rupak Majumdar, 2003 .
Rupak Majumdar, Michael Emmi, 2010 .
Thomas A. Henzinger, Rupak Majumdar, 2000, TACAS.
Rupak Majumdar, Roland Meyer, Egor Derevenetc, 2013, FSTTCS.
Krishnendu Chatterjee, Thomas A. Henzinger, Rupak Majumdar, 2005, UAI.
Rupak Majumdar, R. Majumdar, 2015 .
Rupak Majumdar, Min Gao, Lei He, 2016, 2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM).
Rupak Majumdar, Ru-Gang Xu, R. Majumdar, 2007, ASE.
Paulo Tabuada, Rupak Majumdar, Indranil Saha, 2010, EMSOFT '10.
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2018, CONCUR.
Rupak Majumdar, Ranjit Jhala, Michael Emmi, 2007 .
Thomas A. Henzinger, Rupak Majumdar, Howard Wong-Toi, 2000, HSCC.
Jens Palsberg, Rupak Majumdar, Klaus Havelund, 2008 .
Rupak Majumdar, Lei He, Yu Hu, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Paulo Tabuada, Rupak Majumdar, Matthias Rungger, 2014, IEEE Transactions on Automatic Control.
Rupak Majumdar, Indranil Saha, Majid Zamani, 2012, EMSOFT '12.
Rupak Majumdar, Ashutosh Gupta, Andrey Rybalchenko, 2012, International Journal on Software Tools for Technology Transfer.
Rupak Majumdar, Javier Esparza, Philipp J. Meyer, 2014, CAV.
Rupak Majumdar, Indranil Saha, Majid Zamani, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Rupak Majumdar, Ranjit Jhala, Ranjit Jhala, 2005, PLDI '05.
Rupak Majumdar, Ashutosh Gupta, Andrey Rybalchenko, 2009, TACAS.
Rupak Majumdar, Ranjit Jhala, Ru-Gang Xu, 2006, SAS.
Krishnendu Chatterjee, Rupak Majumdar, Martin Chmelik, 2012, ATVA.
Calogero G. Zarba, Rupak Majumdar, Deepak Kapur, 2006, SIGSOFT '06/FSE-14.
Rupak Majumdar, Yu Hu, Manu Jose, 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Rupak Majumdar, Ranjit Jhala, 2006, SIGSOFT '06/FSE-14.
Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani, Tigran Nagapetyan, 2017, QEST.
Rupak Majumdar, Manu Jose, Manu Jose, 2010, PLDI '11.
Paulo Tabuada, Rupak Majumdar, Elaine Render, 2011, ArXiv.
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2004, Proceedings. 26th International Conference on Software Engineering.
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2016, J. ACM.
Rupak Majumdar, Indranil Saha, K. C. Shashidhar, 2012, NASA Formal Methods.
Rupak Majumdar, Johannes Kloos, R. Majumdar, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Jochen Hoenicke, Andreas Podelski, Rupak Majumdar, 2017, POPL.
Rupak Majumdar, Philipp Rümmer, Anthony Widjaja Lin, 2017, TACAS.
Rupak Majumdar, Ru-Gang Xu, R. Majumdar, 2007, ESEC-FSE companion '07.
Sumit Gulwani, Supratik Mukhopadhyay, Rupak Majumdar, 2017, FLAIRS Conference.
Ruzica Piskac, Rupak Majumdar, Filip Niksic, 2013, CAV.
Krishnendu Chatterjee, Rupak Majumdar, Luca de Alfaro, 2008, FSTTCS.
Rupak Majumdar, Luca de Alfaro, L. D. Alfaro, 2001, STOC '01.
Rupak Majumdar, Raimund Dachselt, Stefan Gumhold, 2018, CHI Extended Abstracts.
Krishnendu Chatterjee, Thomas A. Henzinger, Rupak Majumdar, 2005, CHARME.
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2015, CONCUR.
Thomas Moor, Rupak Majumdar, Anne-Kathrin Schmuck, 2020, Discret. Event Dyn. Syst..
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2004, POPL.
John Lygeros, Rupak Majumdar, Alessandro Abate, 2013, IEEE Transactions on Automatic Control.
Rupak Majumdar, Indranil Saha, 2009, 2009 30th IEEE Real-Time Systems Symposium.
Rupak Majumdar, Ranjit Jhala, Michael Emmi, 2007 .
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Rupak Majumdar, Rayna Dimitrova, Dmitry Chistikov, 2015, TACAS.
Rupak Majumdar, Tandra Ghose, Aman Shankar Mathur, 2018 .
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2004, Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004..
Rupak Majumdar, Jyotirmoy V. Deshmukh, Vinayak S. Prabhu, 2015, CAV.
Rupak Majumdar, Marcin Jurdziński, Vasant K. Prabhu, 2003 .
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2004, PEPM.
Yu Hu, Rupak Majumdar, Lei He, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2004, SAS.
Rupak Majumdar, Eva Darulova, Sadegh Soudjani, 2019, ACM Trans. Embed. Comput. Syst..
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2004, PLDI '04.
Rupak Majumdar, Luca de Alfaro, L. D. Alfaro, 2004, J. Comput. Syst. Sci..
Rupak Majumdar, Damien Zufferey, Marcus Pirron, 2019, ArXiv.
Rupak Majumdar, Burcu Kulahcioglu Ozkan, Aman Shankar Mathur, 2018, Erlang Workshop.
Calin Belta, Rupak Majumdar, Majid Zamani, 2017, Dagstuhl Reports.
Rupak Majumdar, Sadegh Soudjani, Kaushik Mallik, 2016, IEEE Transactions on Automatic Control.
Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Rupak Majumdar, Benjamin Monmege, Pierre Ganty, 2008, Formal Methods Syst. Des..
Rupak Majumdar, Filip Niksic, R. Majumdar, 2017, Proc. ACM Program. Lang..
Rupak Majumdar, Constantin Enea, Filip Niksic, 2020, Proc. ACM Program. Lang..
Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin, 2000, SAS.
Rupak Majumdar, Jeffrey Fischer, Shahram Esmaeilsabzali, 2012, PLDI '12.
Rupak Majumdar, Jyotirmoy V. Deshmukh, Vinayak S. Prabhu, 2015, ArXiv.
Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani, Vinayak S. Prabhu, 2017, IEEE Transactions on Automatic Control.
Rupak Majumdar, Xiaoqing Jin, Jyotirmoy V. Deshmukh, 2017, ACM Trans. Embed. Comput. Syst..
Rupak Majumdar, 2014, Software Systems Safety.
Rupak Majumdar, Todd D. Millstein, Jeffrey Fischer, 2007, PEPM '07.
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2005, FASE.
Rupak Majumdar, Xiaoqing Jin, Jyotirmoy V. Deshmukh, 2018, 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2004, SIGP.
Paulo Tabuada, Rupak Majumdar, Pritam Roy, 2011, HSCC '11.
Rupak Majumdar, Georg Zetzsche, Ramanathan S. Thinniyam, 2021, TACAS.
Rupak Majumdar, Roland Meyer, Reiner Hüchting, 2014, CONCUR.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2002, POPL '02.
Yu Hu, Rupak Majumdar, Lei He, 2009, 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.
Thomas A. Henzinger, Rupak Majumdar, Luca de Alfaro, 2005, Theor. Comput. Sci..
Rupak Majumdar, Rahul Gupta, Aditya Kanade, 2016, TACAS.
Rupak Majumdar, Dmitry Chistikov, R. Majumdar, 2013, CIAA.
Rupak Majumdar, Filip Niksic, Dmitry Chistikov, 2016, CAV.
Thomas A. Henzinger, Rupak Majumdar, Luca de Alfaro, 2005, Theoretical Computer Science.
Thomas A. Henzinger, Rupak Majumdar, Orna Kupferman, 2006, Theor. Comput. Sci..
Rupak Majumdar, Javier Esparza, R. Majumdar, 2010, Lecture Notes in Computer Science.
Rupak Majumdar, Ranjit Jhala, Jeffrey Fischer, 2005, ESEC/FSE-13.
Rupak Majumdar, Sylvain Conchon, Amit Goel, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).
Eddie Kohler, Rupak Majumdar, Ranjit Jhala, 2009, TACAS.
Rupak Majumdar, Ru-Gang Xu, R. Majumdar, 2007, ESEC-FSE '07.
Thomas A. Henzinger, Rupak Majumdar, Benjamin Horowitz, 1999, CONCUR.
Thomas A. Henzinger, Rupak Majumdar, Luca de Alfaro, 2001, CONCUR.
Rupak Majumdar, Indranil Saha, Ivan Gavran, 2017, ACM Trans. Embed. Comput. Syst..
Rupak Majumdar, Majid Zamani, R. Majumdar, 2012, CAV.
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, 2018, HSCC.
Rupak Majumdar, R. Majumdar, 2012, Software Safety and Security.
Rupak Majumdar, Francesco Sorrentino, Jeffrey Fischer, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Thomas A. Henzinger, Rupak Majumdar, Luca de Alfaro, 2003, ICALP.
Rupak Majumdar, Rayna Dimitrova, Dmitry Chistikov, 2014, Acta Informatica.
Rupak Majumdar, Pierre Ganty, 2009, FORMATS.
Rupak Majumdar, Georg Zetzsche, Pascal Baumann, 2020, ICALP.
Paulo Tabuada, Rupak Majumdar, Yasser Shoukry, 2012 .
Rupak Majumdar, Viktor Vafeiadis, Johannes Kloos, 2015, ECOOP.
Sumit Gulwani, Supratik Mukhopadhyay, Rupak Majumdar, 2015, ArXiv.
Rupak Majumdar, Georg Weissenbacher, Mitra Tabaei Befrouei, 2018, Proc. ACM Program. Lang..
Nathan van de Wouw, Rupak Majumdar, Majid Zamani, 2012, Syst. Control. Lett..
Yu Hu, Rupak Majumdar, Lei He, 2010, Design Automation Conference.
Paulo Tabuada, Rupak Majumdar, Elaine Render, 2013, TECS.
Miodrag Potkonjak, Rupak Majumdar, Jennifer L. Wong, 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Yu Hu, Rupak Majumdar, Lei He, 2009, 2009 10th International Symposium on Quality Electronic Design.
Rupak Majumdar, Rayna Dimitrova, David Deininger, 2016, ATVA.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2003, CAV.
Paulo Tabuada, Rupak Majumdar, Elaine Render, 2011, HSCC '11.
Krishnendu Chatterjee, Rupak Majumdar, K. Chatterjee, 2011, FORMATS.
Thomas A. Henzinger, Rupak Majumdar, Luca de Alfaro, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Rupak Majumdar, Jyotirmoy V. Deshmukh, Vinayak S. Prabhu, 2015, CAV.
Rupak Majumdar, Rafit Izhak-Ratzin, Mihaela Van-Der Schaar, 2010 .
Joël Ouaknine, James Worrell, Rupak Majumdar, 2020, CONCUR.
Yu Hu, Rupak Majumdar, Lei He, 2008, 2008 45th ACM/IEEE Design Automation Conference.
Rupak Majumdar, Luca de Alfaro, Marco Faella, 2005, Formal Methods Syst. Des..
Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin, 2000, TOCL.
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2016, Acta Informatica.
Rupak Majumdar, Thomas Wies, Damien Zufferey, 2013, ArXiv.
Rupak Majumdar, Eva Darulova, Brendon Boldt, 2018, ArXiv.
Rupak Majumdar, Adam Meyerson, Gunes Ercal, 2011, Int. J. Distributed Sens. Networks.
Rupak Majumdar, Philipp Rümmer, Anthony Widjaja Lin, 2020, ArXiv.
Rupak Majumdar, Darko Marinov, Milos Gligoric, 2014 .
Todd Millstein, Rupak Majumdar, Jeffrey Fischer, 2006 .
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2004, PPDP '04.
Rupak Majumdar, Luca de Alfaro, Mariëlle Stoelinga, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani, 2001, PLDI '01.
Krishnendu Chatterjee, Thomas A. Henzinger, Rupak Majumdar, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Viktor Kuncak, Rupak Majumdar, 2017, Lecture Notes in Computer Science.
Rupak Majumdar, Sadegh Soudjani, Mahmoud Salamati, 2019, ArXiv.
Rupak Majumdar, Damien Zufferey, Marcus Pirron, 2019, ICCPS.
Krishnendu Chatterjee, Rupak Majumdar, Luca de Alfaro, 2008, FSTTCS.
Rupak Majumdar, Thomas Wies, Damien Zufferey, 2013, ArXiv.
Rupak Majumdar, Rahul Gupta, Aditya Kanade, 2015, ArXiv.
Krishnendu Chatterjee, Rupak Majumdar, 2010, GANDALF.
Rupak Majumdar, Majid Zamani, 2011, ArXiv.
Rupak Majumdar, Sadegh Soudjani, Mahmoud Salamati, 2020, ICALP.
Rupak Majumdar, Heiko Becker, Eva Darulova, 2021, CPP.
Rupak Majumdar, Koushik Sen, Koushik Sen, 2007, 29th International Conference on Software Engineering (ICSE'07).
Jens Palsberg, Rupak Majumdar, Hong Hong, 2012, SAS.
Rupak Majumdar, Dirk Beyer, Damien Zufferey, 2008, CAV.
Thomas A. Henzinger, Rupak Majumdar, 2000, STACS.
Jens Palsberg, Krishnendu Chatterjee, Thomas A. Henzinger, 2004, Inf. Comput..
Rupak Majumdar, Krishnendu Chatterjee, Rasmus Ibsen-Jensen, 2014, HSCC.
Todd Millstein, Rupak Majumdar, Sriram K. Rajamani, 2001, PLDI '01.
Rupak Majumdar, Damien Zufferey, Kaushik Mallik, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).
Rupak Majumdar, Indranil Saha, R. Majumdar, 2013 .
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2003, ICALP.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2003, SPIN.
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2007, PLDI '07.
Thomas A. Henzinger, Rupak Majumdar, Ranjit Jhala, 2005, ESEC/FSE-13.
George C. Necula, Thomas A. Henzinger, Rupak Majumdar, 2002, CAV.
Rupak Majumdar, Benjamin Monmege, Pierre Ganty, 2008, ArXiv.
Rupak Majumdar, Deepak Kapur, Darko Stefanovic, 2010, VMCAI.
Rupak Majumdar, Ranjit Jhala, Michael Emmi, 2007, POPL '07.
Rupak Majumdar, Jennifer L. Wong, R. Majumdar, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Nikolaj Bjørner, Rupak Majumdar, Krishnendu Chatterjee, 2012, Dagstuhl Reports.
Rupak Majumdar, Simin Oraee, Burcu Kulahcioglu Ozkan, 2019, Proc. ACM Program. Lang..
Rupak Majumdar, Majid Zamani, 2011, IEEE Conference on Decision and Control and European Control Conference.
Rupak Majumdar, Ranjit Jhala, Andrey Rybalchenko, 2011, CAV.
Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck, 2019, TACAS.
Rupak Majumdar, Indranil Saha, Hakan Yazarel, 2013, 52nd IEEE Conference on Decision and Control.
Rupak Majumdar, Daniel Marino, Todd D. Millstein, 2009, ECOOP.
Rupak Majumdar, 2011, Ershov Memorial Conference.
Rupak Majumdar, Johannes Kloos, Frank McCabe, 2017, Haifa Verification Conference.
Rupak Majumdar, Jeffrey M. Fischer, R. Majumdar, 2019, ICCPS.
Rupak Majumdar, Koushik Sen, Rupak Majumdar, 2007 .
Rupak Majumdar, Alessandro Abate, Sadegh Esmaeil Zadeh Soudjani, 2017, Acta Informatica.
Rupak Majumdar, Zhenyue Long, Roland Meyer, 2012, FASE.
Rupak Majumdar, Viktor Vafeiadis, Aditya Kanade, 2015, CONCUR.
Rupak Majumdar, Fernando Rosa-Velardo, Pierre Ganty, 2015, ESOP.
Rupak Majumdar, Jeffrey M. Fischer, R. Majumdar, 2008 .
Krishnendu Chatterjee, Rupak Majumdar, Luca de Alfaro, 2013, Formal Methods Syst. Des..
Paulo Tabuada, Rupak Majumdar, Yasser Shoukry, 2012, EMSOFT '12.
Rupak Majumdar, Indranil Saha, R. Majumdar, 2012, EMSOFT '12.
Thomas A. Henzinger, Rupak Majumdar, Dirk Beyer, 2007 .
Rupak Majumdar, Philipp Rümmer, Anthony Widjaja Lin, 2017, ArXiv.
Thomas A. Henzinger, Rupak Majumdar, Krishnendu Chatterjee, 2006, STACS.
Rupak Majumdar, Manu Jose, Manu Jose, 2011, CAV.
Sumit Gulwani, Supratik Mukhopadhyay, Rupak Majumdar, 2017, AIED.
Rupak Majumdar, Patrice Godefroid, Ru-Gang Xu, 2008, ISSTA '08.
Rupak Majumdar, Luca de Alfaro, Mariëlle Stoelinga, 2008, Log. Methods Comput. Sci..
Thomas A. Henzinger, Rupak Majumdar, Christoph M. Kirsch, 2002, EMSOFT.
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2016, FSTTCS.
Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski, 2004, CSL.
Krishnendu Chatterjee, Thomas A. Henzinger, Rupak Majumdar, 2008, Int. J. Game Theory.
Rupak Majumdar, Aditya Kanade, Pallavi Maiya, 2014, PLDI.
Yu Hu, Rupak Majumdar, Lei He, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.
Swarat Chaudhuri, Michael Wooldridge, Sampath Kannan, 2017, Dagstuhl Reports.
Rupak Majumdar, R. Majumdar, 2016, TACAS.
Rupak Majumdar, Koushik Sen, Michael Emmi, 2007, ISSTA '07.
Todd Millstein, Shane Markstrum, Roy Shea, 2005 .
Rupak Majumdar, Pierre Ganty, Andrey Rybalchenko, 2009, POPL '09.
Rupak Majumdar, Rajesh Gupta, Houssam Abbas, 2018, 2018 International Conference on Embedded Software (EMSOFT).
Rupak Majumdar, Ghaith Bilbeisi, Sheraz Ahmed, 2020, ICONIP.
Rupak Majumdar, Sadegh Soudjani, Mahmoud Salamati, 2018, QEST.
Rupak Majumdar, Filip Niksic, Burcu Kulahcioglu Ozkan, 2019, PPoPP.
Paulo Tabuada, Rupak Majumdar, Pritam Roy, 2010, ArXiv.
Rupak Majumdar, Michael Emmi, 2007, VMCAI.
Thomas A. Henzinger, Rupak Majumdar, Orna Kupferman, 2003, TACAS.
Jens Palsberg, Krishnendu Chatterjee, Thomas A. Henzinger, 2003, SAS.
Rupak Majumdar, Anne-Kathrin Schmuck, Adrian Leva, 2015, Discrete Event Dynamic Systems.
Rupak Majumdar, Sadegh Soudjani, Mahmoud Salamati, 2019, ArXiv.
Rupak Majumdar, Todd D. Millstein, Mohsen Lesani, 2013, OOPSLA.
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, 2018, 2018 IEEE Conference on Decision and Control (CDC).
Rupak Majumdar, Vinayak S. Prabhu, R. Majumdar, 2014, ArXiv.
Rupak Majumdar, Pierre Ganty, Javier Esparza, 2015, CAV.
Rupak Majumdar, Dmitry Chistikov, 2014, ICALP.
Rupak Majumdar, Roland Meyer, Reiner Hüchting, 2013, CONCUR.
Rupak Majumdar, Sadegh Soudjani, Mahmoud Salamati, 2020, ACM Trans. Model. Perform. Evaluation Comput. Syst..
Rupak Majumdar, Ranjit Jhala, Ranjit Jhala, 2009, CSUR.
Rupak Majumdar, Sadegh Soudjani, Kaushik Mallik, 2021, ArXiv.
Rupak Majumdar, Ranjit Jhala, Ranjit Jhala, 2007, POPL '07.
Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani, Kaushik Mallik, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Rupak Majumdar, Damien Zufferey, Nobuko Yoshida, 2020, Proc. ACM Program. Lang..
Rupak Majumdar, Adish Singla, Jiarui Gan, 2021, ArXiv.
Christel Baier, Rupak Majumdar, Clemens Dubslaff, 2021, ICALP.
Christel Baier, Rupak Majumdar, Florian Funke, 2021, AAAI.
Rupak Majumdar, Sadegh Soudjani, Kaushik Mallik, 2021, ICCPS.
Rupak Majumdar, Anne-Kathrin Schmuck, 2022, IEEE Transactions on Automatic Control.
Rupak Majumdar, Georg Zetzsche, Moses Ganardi, 2021, ArXiv.
Christel Baier, Rupak Majumdar, Clemens Dubslaff, 2021, ICALP.
Rupak Majumdar, Sadegh Soudjani, Kaushik Mallik, 2021, ADHS.
Christel Baier, Rupak Majumdar, Florian Funke, 2021, IJCAI.
Rupak Majumdar, Jörg Hoffmann, Wheeler Ruml, 2021, AAAI.
Rupak Majumdar, Damien Zufferey, Marcus Pirron, 2021, FASE.
Rupak Majumdar, Georg Zetzsche, Ramanathan S. Thinniyam, 2021, Proc. ACM Program. Lang..
Joël Ouaknine, James Worrell, Rupak Majumdar, 2021, MFCS.
Rupak Majumdar, Sadegh Soudjani, 2021, HSCC.
Rupak Majumdar, Dmitry Chistikov, Philipp Schepper, 2021, Proc. ACM Program. Lang..
Rupak Majumdar, Madhavan Mukund, Damien Zufferey, 2021, CONCUR.
Jochen Hoenicke, Andreas Podelski, Rupak Majumdar, 2017, POPL.
Todd Millstein, Shane Markstrum, Roy Shea, 2006 .