Quicklinks

Portrait of Person: Rupak Majumdar

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

Publications:

Title Date Date
 2011
CDC
2011
 Majid Zamani, Rupak Majumdar
 NRA2
 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)
 2012
LICS
2012
 Javier Esparza, Pierre Ganty, Rupak Majumdar
 NRA2
 Proc. of the 27th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2012)
 2013
CONCUR
2013
 Reiner Hüchting, Rupak Majumdar, Roland Meyer
 NRA2
 Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013)
 2013
2013
 Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer
 NRA2
 Proc. of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)
 2013
2013
 Dmitry Chistikov, Rupak Majumdar
 NRA2
 Proc. of the 18th International Conference on Implementation and Application of Automata (CIAA 2013)
 2012
2012
 Pierre Ganty, Rupak Majumdar
 NRA2
 ACM Transactions on Programming Languages and Systems
 2014
CAV
2014
 Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic
 
 Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
 2014
CAV
2014
 Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic
 NRA2
 Proc. of the 26th International Conference on Computer Aided Verification (CAV 2014)
 2015
2015
 Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo
 
 Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings
 2015
TACAS
2015
 Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
 NRA2
 Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 15)
 2015
2015
 Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
 
 Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings
 2012
CAV
2012
 Rupak Majumdar, Majid Zamani
 NRA2
 Proc. of the 24th International Conference on Computer Aided Verification (CAV 2012)
 2015
ECOOP
2015
 Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis
 NRA2
 Proceedings of the 29th European Conference on Object-Oriented Programming (ECOOP'16)
 2015
CAV
2015
 Rupak Majumdar, Zilong Wang
 NRA2
 Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
 2013
CDC
2013
 Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
 NRA2
 Proc. of the 52nd IEEE Conference on Decision and Control (CDC 2013)
 2014
CONCUR
2014
 Reiner Hüchting, Rupak Majumdar, Roland Meyer
 
 CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
 2014
CONCUR
2014
 Reiner Hüchting, Rupak Majumdar, Roland Meyer
 NRA2
 Proc. of the 25th International Conference on Concurrency Theory (CONCUR 2014)
 2011
CAV
2011
 Manu Jose, Rupak Majumdar
 NRA2
 Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011)
 2012
2012
 Rupak Majumdar, Indranil Saha, K C Shashidhar, Zilong Wang
 NRA2
 Proc. of the 4th International Symposium on NASA Formal Methods (NFM 2012)
 2011
PLDI
2011
 Manu Jose, Rupak Majumdar
 NRA2
 Proc. of the 32rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011)
 2013
CDC
2013
 Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel
 NRA2
 Proc. of the 52nd IEEE Conference on Decision and Control (CDC 2013)
 2017
CDC
2017
 Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
 
 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017
 2016
2016
 Rupak Majumdar, Vinayak S. Prabhu
 
 Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016
 2015
2015
 Rupak Majumdar, Vinayak S. Prabhu
 NRA2
 Proc. of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)
 2015
2015
 Rupak Majumdar, Vinayak S. Prabhu
 
 Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015
 2017
2017
 Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar
 
 Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017
 2014
EMSOFT
2014
 Rayna Dimitrova, Rupak Majumdar
 NRA2
 Proc. of the International Conference on Embedded Software (EMSOFT 2014)
 2017
2017
 Johannes Kloos, Rupak Majumdar, Frank McCabe
 
 Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
 2014
2014
 Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
 NRA2
 Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014)
 2015
2015
 Indranil Saha, Sanjoy Baruah, Rupak Majumdar
 NRA2
 Proc. of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)
 2014
2014
 Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar
 NRA2
 Proc. of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014)
 2012
SAS
2012
 Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong
 NRA2
 Proc. of the 19th International Symposium on Static Analysis (SAS 2012)
 2012
PLDI
2012
 Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali
 NRA2
 Proc. of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2012)
 2012
ATVA
2012
 Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar
 NRA2
 Proc. of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012)
 2013
CONCUR
2013
 Rupak Majumdar, Zilong Wang
 NRA2
 Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013)
 2017
2017
 Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
 
 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017
 2017
2017
 Ondrej Lengál, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rümmer
 
 Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings,
 2011
CAV
2011
 Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko
 NRA2
 Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011)
 2016
CAV
2016
 Dmitry Chistikov, Rupak Majumdar, Filip Niksic
 NRA2
 Proc. of the 28th International Conference on Computer Aided Verification (CAV 2016)
 2013
CAV
2013
 Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
 NRA2
 Proc. of the 25th International Conference on Computer Aided Verification (CAV 2013)
 2012
EMSOFT
2012
 Paulo Tabuada, Ayca Balkan, Sina Yamac Caliskan, Yasser Shoukry, Rupak Majumdar
 NRA2
 Proc. of the International Conference on Embedded Software (EMSOFT 2012)
 2014
2014
 Rupak Majumdar, Sai Deep Tetali, Zilong Wang
 NRA2
 Proc. of Formal Methods in Computer-Aided Design (FMCAD 2014)
 2016
2016
 Min Gao, Lei He, Rupak Majumdar, Zilong Wang
 
 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, NC, USA, October 2-3, 2016
 2012
2012
 Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer
 NRA2
 Proc. of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012)
 2011
2011
 Krishnendu Chatterjee, Rupak Majumdar
 NRA2
 Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11)
 2013
SAS
2013
 Milos Gligoric, Rupak Majumdar
 NRA2
 Proc. of the 20th International Symposium on Static Analysis (SAS 2013)
 2015
CAV
2015
 Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
 NRA2
 Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
 2015
CAV
2015
 Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
 
 Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
 2016
2016
 Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar
 NRA2
 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India
 2013
OOPSLA
2013
 Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd Millstein
 NRA2
 Proc. of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA 2013)
 2017
2017
 Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan
 
 Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
 2013
CAV
2013
 Javier Esparza, Pierre Ganty, Rupak Majumdar
 NRA2
 Proc. of the 25th International Conference on Computer Aided Verification (CAV 2013)
 2016
TACAS
2016
 Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar
 NRA2
 Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16)
 2011
EMSOFT
2011
 Rupak Majumdar, Indranil Saha, Majid Zamani
 NRA2
 Proc. of the International Conference on Embedded Software (EMSOFT 2011)
 2011
2011
 Pritam Roy, Paulo Tabuada, Rupak Majumdar
 NRA2
 Proc. of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011)
 2016
TACAS
2016
 Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
 NRA2
 Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16)
 2017
2017
 Jeffrey Fischer, Rupak Majumdar
 
 LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017
 2015
CAV
2015
 Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
 NRA2
 Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
 2015
CAV
2015
 Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
 
 Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
 2014
PLDI
2014
 Pallavi Maiya, Aditya Kanade, Rupak Majumdar
 NRA2
 Proc. of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014)
 2015
2015
 Rayna Dimitrova, Rupak Majumdar
 NRA2
 Proceedings of 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015)
 2015
2015
 Rayna Dimitrova, Rupak Majumdar
 
 Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015.
 2014
CAV
2014
 Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov
 NRA2
 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
 
 Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
 2015
CONCUR
2015
 Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis
 NRA2
 Proceedings of the 26th International Conference on Concurrency Theory (CONCUR '15)
 2016
TACAS
2016
 Rupak Majumdar
 
 Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proc
 2011
2011
 Rupak Majumdar, Elaine Render, Paulo Tabuada
 NRA2
 Proc. of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011)
 2016
TACAS
2016
 Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate
 NRA2
 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
 
 Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proc
 2012
EuroSys
2012
 João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar
 NRA2
 Proc. of the 7th ACM European Conference on Computer Systems (EuroSys 2012)
 2017
2017
 Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
 
 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017
 2013
SAS
2013
 Rupak Majumdar, Roland Meyer, Zilong Wang
 NRA2
 Proc. of the 20th International Symposium on Static Analysis (SAS 2013)
 2013
2013
 Johannes Kloos, Rupak Majumdar
 NRA2
 Proc. of the Conference on Design, Automation and Test in Europe (DATE 2013)
 2016
ATVA
2016
 David Deininger, Rayna Dimitrova, Rupak Majumdar
 NRA2
 Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)
 2014
AAAI
2014
 Christopher Alvin, Sumit Gulwani, Supratik Mukhopadhyay, Rupak Majumdar
 NRA2
 Proc. of the 28th Conference of Artificial Intelligence (AAAI 2014)
 2014
AAAI
2014
 Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
 
 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada.
 2017
2017
 Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
 
 Artificial Intelligence in Education - 18th International Conference, AIED 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings
 2017
2017
 Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
 
 Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017.
 2013
EMSOFT
2013
 Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha
 NRA2
 Proc. of the International Conference on Embedded Software (EMSOFT 2013)
 2012
EMSOFT
2012
 Rupak Majumdar, Indranil Saha, Majid Zamani
 NRA2
 Proc. of the International Conference on Embedded Software (EMSOFT 2012)
 2017
CONCUR
2017
 Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
 
 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany
 2017
POPL
2017
 Jochen Hoenicke, Rupak Majumdar, Andreas Podelski
 NRA2
 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)
 2012
EMSOFT
2012
 Indranil Saha, Rupak Majumdar
 NRA2
 Proc. of the International Conference on Embedded Software (EMSOFT 2012)
 2014
ICALP
2014
 Dmitry Chistikov, Rupak Majumdar
 NRA2
 Proc. of the 41st International Colloquium on Automata, Languages and Programming (ICALP 2014)
 2015
CONCUR
2015
 Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar
 
 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015