Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Rupak Majumdar

Rupak Majumdar (Professor)
 
 Paul-Ehrlich-Strasse | 67663 Kaiserslautern | 414

Publications:

Title Date Date
 2017
POPL
2017
 Jochen Hoenicke, Rupak Majumdar, Andreas Podelski
 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)
 2016
CAV
2016
 Dmitry Chistikov, Rupak Majumdar, Filip Niksic
 Proc. of the 28th International Conference on Computer Aided Verification (CAV 2016)
 2016
ATVA
2016
 David Deininger, Rayna Dimitrova, Rupak Majumdar
 Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)
 2016
TACAS
2016
 Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
 Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16)
 2016
2016
 Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar
 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India
 2016
TACAS
2016
 Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar
 Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16)
 2016
TACAS
2016
 Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate
 Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16)
 2015
TACAS
2015
 Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
 Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 15)
 2015
CAV
2015
 Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
 Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
 2015
2015
 Rayna Dimitrova, Rupak Majumdar
 Proceedings of 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015)
 2015
CAV
2015
 Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
 Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
 2015
CONCUR
2015
 Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis
 Proceedings of the 26th International Conference on Concurrency Theory (CONCUR '15)
 2015
ECOOP
2015
 Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis
 Proceedings of the 29th European Conference on Object-Oriented Programming (ECOOP'16)
 2015
2015
 Rupak Majumdar, Vinayak S. Prabhu
 Proc. of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)
 2015
CAV
2015
 Rupak Majumdar, Zilong Wang
 Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
 2015
2015
 Indranil Saha, Sanjoy Baruah, Rupak Majumdar
 Proc. of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)
 2014
AAAI
2014
 Christopher Alvin, Sumit Gulwani, Supratik Mukhopadhyay, Rupak Majumdar
 Proc. of the 28th Conference of Artificial Intelligence (AAAI 2014)
 2014
2014
 Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar
 Proc. of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014)
 2014
ICALP
2014
 Dmitry Chistikov, Rupak Majumdar
 Proc. of the 41st International Colloquium on Automata, Languages and Programming (ICALP 2014)
 2014
EMSOFT
2014
 Rayna Dimitrova, Rupak Majumdar
 Proc. of the International Conference on Embedded Software (EMSOFT 2014)
 2014
2014
 Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
 Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014)
 2014
CAV
2014
 Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic
 Proc. of the 26th International Conference on Computer Aided Verification (CAV 2014)
 2014
CAV
2014
 Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov
 Proc. of the 26th International Conference on Computer Aided Verification (CAV 2014)
 2014
CONCUR
2014
 Reiner Hüchting, Rupak Majumdar, Roland Meyer
 Proc. of the 25th International Conference on Concurrency Theory (CONCUR 2014)
 2014
PLDI
2014
 Pallavi Maiya, Aditya Kanade, Rupak Majumdar
 Proc. of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014)
 2014
2014
 Rupak Majumdar, Sai Deep Tetali, Zilong Wang
 Proc. of Formal Methods in Computer-Aided Design (FMCAD 2014)
 2013
2013
 Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer
 Proc. of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)
 2013
2013
 Dmitry Chistikov, Rupak Majumdar
 Proc. of the 18th International Conference on Implementation and Application of Automata (CIAA 2013)
 2013
EMSOFT
2013
 Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha
 Proc. of the International Conference on Embedded Software (EMSOFT 2013)
 2013
CAV
2013
 Javier Esparza, Pierre Ganty, Rupak Majumdar
 Proc. of the 25th International Conference on Computer Aided Verification (CAV 2013)
 2013
SAS
2013
 Milos Gligoric, Rupak Majumdar
 Proc. of the 20th International Symposium on Static Analysis (SAS 2013)
 2013
CONCUR
2013
 Reiner Hüchting, Rupak Majumdar, Roland Meyer
 Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013)
 2013
2013
 Johannes Kloos, Rupak Majumdar
 Proc. of the Conference on Design, Automation and Test in Europe (DATE 2013)
 2013
CAV
2013
 Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
 Proc. of the 25th International Conference on Computer Aided Verification (CAV 2013)
 2013
SAS
2013
 Rupak Majumdar, Roland Meyer, Zilong Wang
 Proc. of the 20th International Symposium on Static Analysis (SAS 2013)
 2013
CDC
2013
 Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel
 Proc. of the 52nd IEEE Conference on Decision and Control (CDC 2013)
 2013
CONCUR
2013
 Rupak Majumdar, Zilong Wang
 Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013)
 2013
OOPSLA
2013
 Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd Millstein
 Proc. of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA 2013)
 2013
CDC
2013
 Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
 Proc. of the 52nd IEEE Conference on Decision and Control (CDC 2013)
 2012
EuroSys
2012
 João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar
 Proc. of the 7th ACM European Conference on Computer Systems (EuroSys 2012)
 2012
ATVA
2012
 Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar
 Proc. of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012)
 2012
LICS
2012
 Javier Esparza, Pierre Ganty, Rupak Majumdar
 Proc. of the 27th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2012)
 2012
PLDI
2012
 Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali
 Proc. of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2012)
 2012
2012
 Pierre Ganty, Rupak Majumdar
 ACM Transactions on Programming Languages and Systems
 2012
SAS
2012
 Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong
 Proc. of the 19th International Symposium on Static Analysis (SAS 2012)
 2012
2012
 Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer
 Proc. of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012)
 2012
2012
 Rupak Majumdar, Indranil Saha, K C Shashidhar, Zilong Wang
 Proc. of the 4th International Symposium on NASA Formal Methods (NFM 2012)
 2012
EMSOFT
2012
 Rupak Majumdar, Indranil Saha, Majid Zamani
 Proc. of the International Conference on Embedded Software (EMSOFT 2012)
 2012
CAV
2012
 Rupak Majumdar, Majid Zamani
 Proc. of the 24th International Conference on Computer Aided Verification (CAV 2012)
 2012
EMSOFT
2012
 Indranil Saha, Rupak Majumdar
 Proc. of the International Conference on Embedded Software (EMSOFT 2012)
 2012
EMSOFT
2012
 Paulo Tabuada, Ayca Balkan, Sina Yamac Caliskan, Yasser Shoukry, Rupak Majumdar
 Proc. of the International Conference on Embedded Software (EMSOFT 2012)
 2011
2011
 Krishnendu Chatterjee, Rupak Majumdar
 Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11)
 2011
CAV
2011
 Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko
 Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011)
 2011
CAV
2011
 Manu Jose, Rupak Majumdar
 Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011)
 2011
PLDI
2011
 Manu Jose, Rupak Majumdar
 Proc. of the 32rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011)
 2011
2011
 Rupak Majumdar, Elaine Render, Paulo Tabuada
 Proc. of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011)
 2011
EMSOFT
2011
 Rupak Majumdar, Indranil Saha, Majid Zamani
 Proc. of the International Conference on Embedded Software (EMSOFT 2011)
 2011
2011
 Pritam Roy, Paulo Tabuada, Rupak Majumdar
 Proc. of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011)
 2011
CDC
2011
 Majid Zamani, Rupak Majumdar
 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)