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 Meta
Thread modularity at many levels: a pearl in compositional verification 2017  2017   Jochen Hoenicke, Rupak Majumdar, Andreas Podelski  Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)
Hitting Families of Schedules for Asynchronous Programs 2016  2016   Dmitry Chistikov, Rupak Majumdar, Filip Niksic  Proc. of the 28th International Conference on Computer Aided Verification (CAV 2016)
Symbolic Model Checking for Factored Probabilistic Models 2016  2016   David Deininger, Rayna Dimitrova, Rupak Majumdar  Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)
Probabilistic CTL*: The Deductive Way 2016  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)
Model Checking Population Protocols 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
Partial Order Reduction for Event-Driven Multi-threaded Programs 2016  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)
Safety Verification of Continuous-Space Pure Jump Markov Processes 2016  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)
Approximate Counting in SMT and Value Estimation for Probabilistic Programs 2015  2015   Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar  Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 15)
Quantifying Conformance Using the Skorokhod Metric 2015  2015   Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu  Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs 2015  2015   Rayna Dimitrova, Rupak Majumdar  Proceedings of 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015)
Model Checking Parameterized Asynchronous Shared-Memory Systems 2015  2015   Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar  Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
Rely/Guarantee Reasoning for Asynchronous Programs 2015  2015   Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis  Proceedings of the 26th International Conference on Concurrency Theory (CONCUR '15)
Asynchronous Liquid Separation Types 2015  2015   Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis  Proceedings of the 29th European Conference on Object-Oriented Programming (ECOOP'16)
Computing the Skorokhod distance between polygonal traces 2015  2015   Rupak Majumdar, Vinayak S. Prabhu  Proc. of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)
Bbs: A Phase-Bounded Model Checker for Asynchronous Programs 2015  2015   Rupak Majumdar, Zilong Wang  Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
Dynamic scheduling for networked control systems 2015  2015   Indranil Saha, Sanjoy Baruah, Rupak Majumdar  Proc. of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)
Synthesis of Geometry Proof Problems 2014  2014   Christopher Alvin, Sumit Gulwani, Supratik Mukhopadhyay, Rupak Majumdar  Proc. of the 28th Conference of Artificial Intelligence (AAAI 2014)
Edit Distance for Timed Automata 2014  2014   Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar  Proc. of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014)
Unary Pushdown Automata and Straight-Line Programs 2014  2014   Dmitry Chistikov, Rupak Majumdar  Proc. of the 41st International Colloquium on Automata, Languages and Programming (ICALP 2014)
Deductive control synthesis for alternating-time logics 2014  2014   Rayna Dimitrova, Rupak Majumdar  Proc. of the International Conference on Embedded Software (EMSOFT 2014)
Dynamic package interfaces 2014  2014   Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey  Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014)
An SMT-based Approach to Coverability Analysis 2014  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)
Regression Test Selection for Distributed Software Histories 2014  2014   Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov  Proc. of the 26th International Conference on Computer Aided Verification (CAV 2014)
Bounds on mobility 2014  2014   Reiner Hüchting, Rupak Majumdar, Roland Meyer  Proc. of the 25th International Conference on Concurrency Theory (CONCUR 2014)
Race Detection for Android Applications 2014  2014   Pallavi Maiya, Aditya Kanade, Rupak Majumdar  Proc. of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014)
Kuai: A model checker for software-defined networks 2014  2014   Rupak Majumdar, Sai Deep Tetali, Zilong Wang  Proc. of Formal Methods in Computer-Aided Design (FMCAD 2014)
A Theory of Partitioned Global Address Spaces 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)
A Uniformization Theorem for Nested Word to Word Transductions 2013  2013   Dmitry Chistikov, Rupak Majumdar  Proc. of the 18th International Conference on Implementation and Application of Automata (CIAA 2013)
Synthesis of fixed-point programs 2013  2013   Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha  Proc. of the International Conference on Embedded Software (EMSOFT 2013)
Parameterized verification of asynchronous shared-memory systems 2013  2013   Javier Esparza, Pierre Ganty, Rupak Majumdar  Proc. of the 25th International Conference on Computer Aided Verification (CAV 2013)
Model Checking Database Applications 2013  2013   Milos Gligoric, Rupak Majumdar  Proc. of the 20th International Symposium on Static Analysis (SAS 2013)
A Theory of Name Boundedness 2013  2013   Reiner Hüchting, Rupak Majumdar, Roland Meyer  Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013)
Supervisor Synthesis for Controller Upgrades 2013  2013   Johannes Kloos, Rupak Majumdar  Proc. of the Conference on Design, Automation and Test in Europe (DATE 2013)
Incremental Inductive Coverability 2013  2013   Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac  Proc. of the 25th International Conference on Computer Aided Verification (CAV 2013)
Static Provenance Verification for Message Passing Programs 2013  2013   Rupak Majumdar, Roland Meyer, Zilong Wang  Proc. of the 20th International Symposium on Static Analysis (SAS 2013)
Compositional Equivalence Checking for Models and Code of Control Systems 2013  2013   Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel  Proc. of the 52nd IEEE Conference on Decision and Control (CDC 2013)
Expand, Enlarge, and Check for Branching Vector Addition Systems 2013  2013   Rupak Majumdar, Zilong Wang  Proc. of the 24th International Conference on Concurrency Theory (CONCUR 2013)
MrCrypt: Static Analysis for Secure Cloud Computations 2013  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)
Bisimilar finite abstractions of stochastic control systems 2013  2013   Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros  Proc. of the 52nd IEEE Conference on Decision and Control (CDC 2013)
Scalable Testing of File System Checkers 2012  2012   João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar  Proc. of the 7th ACM European Conference on Computer Systems (EuroSys 2012)
Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games 2012  2012   Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar  Proc. of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012)
A Perfect Model for Bounded Verification 2012  2012   Javier Esparza, Pierre Ganty, Rupak Majumdar  Proc. of the 27th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2012)
Engage: A Deployment Management System 2012  2012   Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali  Proc. of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2012)
Algorithmic Verification of Asynchronous Programs 2012  2012   Pierre Ganty, Rupak Majumdar
Efficient May Happen in Parallel Analysis for Async-finish Parallelism 2012  2012   Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong  Proc. of the 19th International Symposium on Static Analysis (SAS 2012)
Language-Theoretic Abstraction Refinement 2012  2012   Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer  Proc. of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012)
CLSE: Closed-Loop Symbolic Execution 2012  2012   Rupak Majumdar, Indranil Saha, K C Shashidhar, Zilong Wang  Proc. of the 4th International Symposium on NASA Formal Methods (NFM 2012)
Synthesis of minimal-error control software 2012  2012   Rupak Majumdar, Indranil Saha, Majid Zamani  Proc. of the International Conference on Embedded Software (EMSOFT 2012)
Approximately Bisimilar Symbolic Models for Digital Control Systems 2012  2012   Rupak Majumdar, Majid Zamani  Proc. of the 24th International Conference on Computer Aided Verification (CAV 2012)
Trigger memoization in self-triggered control 2012  2012   Indranil Saha, Rupak Majumdar  Proc. of the International Conference on Embedded Software (EMSOFT 2012)
Input-Output stability for discrete systems 2012  2012   Paulo Tabuada, Ayca Balkan, Sina Yamac Caliskan, Yasser Shoukry, Rupak Majumdar  Proc. of the International Conference on Embedded Software (EMSOFT 2012)
Minimum Attention Controller Synthesis for Omega-regular Objectives 2011  2011   Krishnendu Chatterjee, Rupak Majumdar  Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11)
HMC: Verifying Functional Programs Using Abstract Interpreters 2011  2011   Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko  Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011)
Bug-Assist: Assisting Fault Localization in ANSI-C Programs 2011  2011   Manu Jose, Rupak Majumdar  Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011)
Cause Clue Clauses: Error Localization Using Maximum Satisfiability 2011  2011   Manu Jose, Rupak Majumdar  Proc. of the 32rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011)
Robust Discrete Synthesis Against Unspecified Disturbances 2011  2011   Rupak Majumdar, Elaine Render, Paulo Tabuada  Proc. of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011)
Performance-aware Scheduler Synthesis for Control Systems 2011  2011   Rupak Majumdar, Indranil Saha, Majid Zamani  Proc. of the International Conference on Embedded Software (EMSOFT 2011)
Pessoa 2.0: A Controller Synthesis Tool for Cyber-physical Systems 2011  2011   Pritam Roy, Paulo Tabuada, Rupak Majumdar  Proc. of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011)
A Lyapunov approach in incremental stability 2011  2011   Majid Zamani, Rupak Majumdar  50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)