default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRupak Majumdar
Person information
- affiliation: Max Planck Institute for Software Systems, Kaiserslautern, Germany
- affiliation (PhD 2003): University of California, Berkeley, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2025
[j67]Rupak Majumdar
, V. R. Sathiyanarayana:
Sound and Complete Proof Rules for Probabilistic Termination. Proc. ACM Program. Lang. 9(POPL): 1871-1902 (2025)- [j66]Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar:
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification. IEEE Trans. Software Eng. 51(6): 1801-1817 (2025) - 2024
- [j65]Rupak Majumdar, V. R. Sathiyanarayana, Sadegh Soudjani:
Necessary and Sufficient Certificates for Almost Sure Reachability. IEEE Control. Syst. Lett. 8: 2703-2708 (2024) - [j64]Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, Rupak Majumdar:
Model Checking Distributed Protocols in Must. Proc. ACM Program. Lang. 8(OOPSLA2): 1900-1927 (2024) - [j63]Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra:
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems. Proc. ACM Program. Lang. 8(OOPSLA2): 1928-1954 (2024) - [j62]A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
Reachability in Continuous Pushdown VASS. Proc. ACM Program. Lang. 8(POPL): 90-114 (2024) - [j61]Rupak Majumdar, V. R. Sathiyanarayana:
Positive Almost-Sure Termination: Complexity and Proof Rules. Proc. ACM Program. Lang. 8(POPL): 1089-1117 (2024) - 2023
- [j60]Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
Context-Bounded Verification of Context-Free Specifications. Proc. ACM Program. Lang. 7(POPL): 2141-2170 (2023) - [j59]Rupak Majumdar, Anne-Kathrin Schmuck:
Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game. IEEE Trans. Autom. Control. 68(1): 385-392 (2023) - [j58]Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani:
Neural Abstraction-Based Controller Synthesis and Deployment. ACM Trans. Embed. Comput. Syst. 22(5s): 141:1-141:25 (2023) - [j57]Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS 2 (2023) - 2022
- [j56]Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. Log. Methods Comput. Sci. 18(4) (2022) - [j55]Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
Context-bounded verification of thread pools. Proc. ACM Program. Lang. 6(POPL): 1-28 (2022) - [j54]Dmitry Chistikov, Rupak Majumdar, Philipp Schepper:
Subcubic certificates for CFL reachability. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022) - 2021
- [j53]Anthony W. Lin, Rupak Majumdar:
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Log. Methods Comput. Sci. 17(4) (2021) - [j52]Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
Context-bounded verification of liveness properties for multithreaded shared-memory programs. Proc. ACM Program. Lang. 5(POPL): 1-31 (2021) - [j51]Natsuki Urabe, Rupak Majumdar:
Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(9): 1934-1946 (2021) - 2020
- [j50]Anne-Kathrin Schmuck, Thomas Moor, Rupak Majumdar:
On the relation between reactive synthesis and supervisory control of non-terminating processes. Discret. Event Dyn. Syst. 30(1): 81-124 (2020) - [j49]Rupak Majumdar, Nobuko Yoshida, Damien Zufferey:
Multiparty motion coordination: from choreographies to robotics programs. Proc. ACM Program. Lang. 4(OOPSLA): 134:1-134:30 (2020) - [j48]Ivan Gavran, Eva Darulova, Rupak Majumdar:
Interactive synthesis of temporal specifications from examples and natural language. Proc. ACM Program. Lang. 4(OOPSLA): 201:1-201:26 (2020) - [j47]Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic:
Testing consensus implementations using communication closure. Proc. ACM Program. Lang. 4(OOPSLA): 210:1-210:29 (2020) - [j46]Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey:
Assume-Guarantee Distributed Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3215-3226 (2020) - [j45]Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs. ACM Trans. Model. Perform. Evaluation Comput. Syst. 5(1): 2:1-2:29 (2020) - 2019
- [j44]Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee:
Trace aware random testing for distributed systems. Proc. ACM Program. Lang. 3(OOPSLA): 180:1-180:29 (2019) - [j43]Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar:
Compositional Synthesis of Finite-State Abstractions. IEEE Trans. Autom. Control. 64(6): 2629-2636 (2019) - [j42]Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Soudjani:
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances. IEEE Trans. Autom. Control. 64(8): 3324-3331 (2019) - [j41]Mahmoud Salamati, Rocco Salvia, Eva Darulova, Sadegh Soudjani, Rupak Majumdar:
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. ACM Trans. Embed. Comput. Syst. 18(5s): 100:1-100:19 (2019) - 2018
- [j40]Rayna Dimitrova, Rupak Majumdar:
Reachability analysis of reversal-bounded automata on series-parallel graphs. Acta Informatica 55(2): 153-189 (2018) - [j39]Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher:
Randomized testing of distributed systems with probabilistic guarantees. Proc. ACM Program. Lang. 2(OOPSLA): 160:1-160:28 (2018) - [j38]Rupak Majumdar, Filip Niksic:
Why is random testing effective for partition tolerance bugs? Proc. ACM Program. Lang. 2(POPL): 46:1-46:24 (2018) - 2017
- [j37]Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar:
Verification of population protocols. Acta Informatica 54(2): 191-215 (2017) - [j36]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica 54(2): 217-242 (2017) - [j35]Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar:
Approximate counting in SMT and value estimation for probabilistic programs. Acta Informatica 54(8): 729-764 (2017) - [j34]Anne-Kathrin Schmuck, Rupak Majumdar, Adrian Leva:
Dynamic hierarchical reactive controller synthesis. Discret. Event Dyn. Syst. 27(2): 261-299 (2017) - [j33]Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar:
Model checking parameterized asynchronous shared-memory systems. Formal Methods Syst. Des. 50(2-3): 140-167 (2017) - [j32]Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu:
Quantifying conformance using the Skorokhod metric. Formal Methods Syst. Des. 50(2-3): 168-206 (2017) - [j31]Ezio Bartocci, Rupak Majumdar:
Introduction to the special issue on runtime verification. Formal Methods Syst. Des. 51(1): 1-4 (2017) - [j30]Jyotirmoy V. Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu:
Testing Cyber-Physical Systems through Bayesian Optimization. ACM Trans. Embed. Comput. Syst. 16(5s): 170:1-170:18 (2017) - [j29]Ivan Gavran, Rupak Majumdar, Indranil Saha:
Antlab: A Multi-Robot Task Server. ACM Trans. Embed. Comput. Syst. 16(5s): 190:1-190:19 (2017) - 2016
- [j28]Javier Esparza, Pierre Ganty, Rupak Majumdar:
Parameterized Verification of Asynchronous Shared-Memory Systems. J. ACM 63(1): 10:1-10:48 (2016) - 2014
- [j27]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan:
Abstractions from proofs. ACM SIGPLAN Notices 49(4S): 79-91 (2014) - [j26]Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros:
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. IEEE Trans. Autom. Control. 59(12): 3135-3150 (2014) - [j25]Paulo Tabuada, Sina Yamac Caliskan, Matthias Rungger, Rupak Majumdar:
Towards Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. 59(12): 3151-3163 (2014) - 2013
- [j24]Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman:
Code aware resource management. Formal Methods Syst. Des. 42(2): 146-174 (2013) - [j23]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
The Complexity of Coverage. Int. J. Found. Comput. Sci. 24(2): 165-186 (2013) - [j22]Majid Zamani, Nathan van de Wouw, Rupak Majumdar:
Backstepping controller synthesis and characterizations of incremental stability. Syst. Control. Lett. 62(10): 949-962 (2013) - [j21]Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko:
From tests to proofs. Int. J. Softw. Tools Technol. Transf. 15(4): 291-303 (2013) - [j20]Rupak Majumdar, Elaine Render, Paulo Tabuada:
A theory of robust omega-regular software synthesis. ACM Trans. Embed. Comput. Syst. 13(3): 48:1-48:27 (2013) - 2012
- [j19]Pierre Ganty, Rupak Majumdar, Benjamin Monmege:
Bounded underapproximations. Formal Methods Syst. Des. 40(2): 206-231 (2012) - [j18]Krishnendu Chatterjee, Rupak Majumdar:
Discounting and Averaging in Games across Time scales. Int. J. Found. Comput. Sci. 23(3): 609-625 (2012) - [j17]Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani:
Automatic predicate abstraction of C programs. ACM SIGPLAN Notices 47(4a): 37-47 (2012) - [j16]Pierre Ganty, Rupak Majumdar:
Algorithmic verification of asynchronous programs. ACM Trans. Program. Lang. Syst. 34(1): 6:1-6:48 (2012) - 2011
- [j15]Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson:
VCG with Communities on Random Ad Hoc Networks. Int. J. Distributed Sens. Networks 7(1) (2011) - 2010
- [j14]Rupak Majumdar:
Paul Ammann and Jeff OffuttIntroduction to Software Testing. Cambridge University Press(2008). ISBN: 978-0-521-88038-1, 322 pp. Hardcover. Comput. J. 53(5): 615 (2010) - [j13]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman:
Algorithms for Game Metrics (Full Version). Log. Methods Comput. Sci. 6(3) (2010) - [j12]Jason Cong, Bin Liu, Rupak Majumdar, Zhiru Zhang:
Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis. ACM Trans. Design Autom. Electr. Syst. 16(1): 4:1-4:29 (2010) - 2009
- [j11]Ranjit Jhala, Rupak Majumdar:
Software model checking. ACM Comput. Surv. 41(4): 21:1-21:54 (2009) - 2008
- [j10]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Stochastic limit-average games are in EXPTIME. Int. J. Game Theory 37(2): 219-234 (2008) - [j9]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga:
Game Refinement Relations and Metrics. Log. Methods Comput. Sci. 4(3) (2008) - [j8]Yu Hu, Victor Shih, Rupak Majumdar, Lei He:
Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(10): 1751-1760 (2008) - 2007
- [j7]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The software model checker Blast. Int. J. Softw. Tools Technol. Transf. 9(5-6): 505-525 (2007) - 2006
- [j6]Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar:
On the universal and existential fragments of the mu-calculus. Theor. Comput. Sci. 354(2): 173-186 (2006) - 2005
- [j5]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Model checking discounted temporal properties. Theor. Comput. Sci. 345(1): 139-170 (2005) - [j4]Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin:
A classification of symbolic transition systems. ACM Trans. Comput. Log. 6(1): 1-32 (2005) - 2004
- [j3]Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg:
Stack size analysis for interrupt-driven programs. Inf. Comput. 194(2): 144-174 (2004) - [j2]Luca de Alfaro, Rupak Majumdar:
Quantitative solution of omega-regular games. J. Comput. Syst. Sci. 68(2): 374-397 (2004) - [j1]Jennifer L. Wong, Rupak Majumdar, Miodrag Potkonjak:
Fair watermarking using combinatorial isolation lemmas. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(11): 1566-1574 (2004)
Conference and Workshop Papers
- 2025
- [c240]Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya:
Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. CONCUR 2025: 24:1-24:24 - [c239]Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar, Srinidhi Nagendra:
Optimal Concolic Dynamic Partial Order Reduction. CONCUR 2025: 26:1-26:22 - [c238]Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani:
Analyzing Metastable Failures. HotOS 2025: 172-178 - [c237]Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik:
Integrated Task and Path Planning for Collaborative Multi-Robot Systems. ICCPS 2025: 27:1-27:12 - 2024
- [c236]Rupak Majumdar, V. R. Sathiyanarayana:
Sound and Complete Techniques for Reasoning About Termination. Principles of Verification (1) 2024: 41-72 - [c235]Rupak Majumdar:
Challenges and Opportunities in Model Checking Large-scale Distributed Systems. ICSE 2024: 1:1-1:2 - [c234]Rupak Majumdar:
Fine-Grained Complexity of Program Analysis (Invited Talk). MFCS 2024: 5:1-5:1 - [c233]Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis:
Enhancing GenMC's Usability and Performance. TACAS (2) 2024: 66-84 - [c232]Rupak Majumdar, Irmak Saglam, K. S. Thejaswini:
Rabin Games and Colourful Universal Trees. TACAS (3) 2024: 213-231 - 2023
- [c231]Debmalya Mandal, Goran Radanovic, Jiarui Gan, Adish Singla, Rupak Majumdar:
Online Reinforcement Learning with Uncertain Episode Lengths. AAAI 2023: 9064-9071 - [c230]Jiarui Gan, Annika Hennes, Rupak Majumdar, Debmalya Mandal, Goran Radanovic:
Markov Decision Processes with Time-Varying Geometric Discounting. AAAI 2023: 11980-11988 - [c229]Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani:
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. CAV (3) 2023: 3-15 - [c228]Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka:
Solving String Constraints Using SAT. CAV (2) 2023: 187-208 - [c227]Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar:
Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CAV (3) 2023: 437-458 - [c226]Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya:
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CONCUR 2023: 23:1-23:18 - [c225]Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. EDM 2023 - [c224]Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche:
Counter Machines with Infrequent Reversals. FSTTCS 2023: 42:1-42:17 - [c223]Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani:
Poster Abstract: A Toolchain for Accelerated Symbolic Control. HSCC 2023: 28:1-28:2 - [c222]Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
Context-Bounded Analysis of Concurrent Programs (Invited Talk). ICALP 2023: 3:1-3:16 - [c221]Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
Checking Refinement of Asynchronous Programs Against Context-Free Specifications. ICALP 2023: 110:1-110:20 - [c220]Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. ICER (2) 2023: 41-42 - 2022
- [c219]Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla:
Bayesian Persuasion in Sequential Decision-Making. AAAI 2022: 5025-5033 - [c218]Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla:
Sequential Decision Making With Information Asymmetry (Invited Talk). CONCUR 2022: 4:1-4:18 - [c217]Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche:
Reachability in Bidirected Pushdown VASS. ICALP 2022: 124:1-124:20 - [c216]Moses Ganardi, Rupak Majumdar, Georg Zetzsche:
The Complexity of Bidirected Reachability in Valence Systems. LICS 2022: 26:1-26:15 - [c215]Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell:
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. MFCS 2022: 40:1-40:13 - [c214]Jiarui Gan, Rupak Majumdar, Adish Singla, Goran Radanovic:
Envy-free Policy Teaching to Multiple Agents. NeurIPS 2022 - [c213]Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. TACAS (2) 2022: 81-98 - 2021
- [c212]Christel Baier, Florian Funke, Rupak Majumdar:
Responsibility Attribution in Parameterized Markovian Models. AAAI 2021: 11734-11743 - [c211]Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml:
Choosing the Initial State for Online Replanning. AAAI 2021: 12311-12319 - [c210]Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. ADHS 2021: 127-132 - [c209]Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey:
Generalising Projection in Asynchronous Multiparty Session Types. CONCUR 2021: 35:1-35:24 - [c208]Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar:
Lassie: HOL4 tactics by example. CPP 2021: 212-223 - [c207]Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey:
Paracosm: A Test Framework for Autonomous Driving Simulations. FASE 2021: 172-195 - [c206]Rupak Majumdar, Sadegh Soudjani:
The computability of LQR and LQG control. HSCC 2021: 5:1-5:7 - [c205]Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek:
From Verification to Causality-Based Explications (Invited Talk). ICALP 2021: 1:1-1:20 - [c204]Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian:
Symbolic reach-avoid control of multi-agent systems. ICCPS 2021: 209-220 - [c203]Christel Baier, Florian Funke, Rupak Majumdar:
A Game-Theoretic Account of Responsibility Allocation. IJCAI 2021: 1773-1779 - [c202]Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell:
The Pseudo-Skolem Problem is Decidable. MFCS 2021: 34:1-34:21 - [c201]Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. TACAS (1) 2021: 449-467 - 2020
- [c200]Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu:
Joint Inference of Reward Machines and Policies for Reinforcement Learning. ICAPS 2020: 590-598 - [c199]Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell:
Algebraic Invariants for Linear Hybrid Automata. CONCUR 2020: 32:1-32:17 - [c198]Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani:
Symbolic controller synthesis for Büchi specifications on stochastic systems. HSCC 2020: 14:1-14:11 - [c197]Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck:
On abstraction-based controller design with output feedback. HSCC 2020: 15:1-15:11 - [c196]Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
The Complexity of Bounded Context Switching with Dynamic Thread Creation. ICALP 2020: 111:1-111:16 - [c195]Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani:
On Decidability of Time-Bounded Reachability in CTMDPs. ICALP 2020: 133:1-133:19 - [c194]Ghaith Bilbeisi, Sheraz Ahmed, Rupak Majumdar:
DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation. ICONIP (5) 2020: 324-332 - 2019
- [c193]Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
Lazy Abstraction-Based Controller Synthesis. ATVA 2019: 23-47 - [c192]Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer:
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). CAV (1) 2019: 455-474 - [c191]Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar:
Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment. CDC 2019: 6261-6268 - [c190]Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey:
Motion Session Types for Robotic Interactions (Brave New Idea Paper). ECOOP 2019: 28:1-28:27 - [c189]Arpan Gujarati, Mitra Nasri, Rupak Majumdar, Björn B. Brandenburg:
From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems. ECRTS 2019: 9:1-9:23 - [c188]Gregor B. Banusic, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck, Damien Zufferey:
PGCD: robot programming and verification with geometry, concurrency, and dynamics. ICCPS 2019: 57-66 - [c187]Jeffrey M. Fischer, Rupak Majumdar:
Programming event processors with thingflow. ICCPS 2019: 67-76 - [c186]Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic:
Checking linearizability using hitting families. PPoPP 2019: 366-377 - [c185]Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck:
Environmentally-Friendly GR(1) Synthesis. TACAS (2) 2019: 229-246 - 2018
- [c184]Sadegh Soudjani, Rupak Majumdar:
Concentration of Measure for Chance-Constrained Optimization. ADHS 2018: 277-282 - [c183]Anthony W. Lin, Rupak Majumdar:
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. ATVA 2018: 352-369 - [c182]Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
Lazy Abstraction-Based Control for Safety Specifications. CDC 2018: 4902-4907 - [c181]Patrick Reipschläger, Burcu Kulahcioglu Ozkan, Aman Shankar Mathur, Stefan Gumhold, Rupak Majumdar, Raimund Dachselt:
DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems. CHI Extended Abstracts 2018 - [c180]Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy:
Verification of Immediate Observation Population Protocols. CONCUR 2018: 31:1-31:16 - [c179]Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus:
Embedded software for robotics: challenges and future directions: special session. EMSOFT 2018: 10 - [c178]Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, Rupak Majumdar:
iDeA: an immersive debugger for actors. Erlang Workshop 2018: 1-12 - [c177]Rupak Majumdar:
Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper). FSTTCS 2018: 1:1-1:1 - [c176]Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. HSCC 2018: 120-129 - [c175]Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu:
Parameter optimization in control software using statistical fault localization techniques. ICCPS 2018: 220-231 - [c174]Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. QEST 2018: 389-406 - [c173]Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu:
Causality Analysis for Concurrent Reactive Systems (Extended Abstract). CREST@ETAPS 2018: 31-33 - 2017
- [c172]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Problems for Shaded Area Geometry Reasoning. AIED 2017: 455-458 - [c171]Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani:
Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications. ACC 2017: 1740-1746 - [c170]Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar:
Compositional construction of finite state abstractions for stochastic control systems. CDC 2017: 550-557 - [c169]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani:
Compositional abstractions of interconnected discrete-time stochastic control systems. CDC 2017: 3551-3556 - [c168]Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani:
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CONCUR 2017: 13:1-13:17 - [c167]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Solutions for Shaded Area Geometry Problems. FLAIRS 2017: 14-19 - [c166]Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux:
FAR-Cubicle - A new reachability algorithm for Cubicle. FMCAD 2017: 172-175 - [c165]Johannes Kloos, Rupak Majumdar, Frank McCabe:
Deferrability Analysis for JavaScript. Haifa Verification Conference 2017: 35-50 - [c164]Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar:
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. HSCC 2017: 45-54 - [c163]Jeffrey Fischer, Rupak Majumdar:
Programming by Composing Filters. LPAR 2017: 1-13 - [c162]Jochen Hoenicke, Rupak Majumdar, Andreas Podelski:
Thread modularity at many levels: a pearl in compositional verification. POPL 2017: 473-485 - [c161]Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan:
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. QEST 2017: 351-367 - [c160]Ondrej Lengál, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rümmer:
Fair Termination for Parameterized Probabilistic Concurrent Systems. TACAS (1) 2017: 499-517 - 2016
- [c159]David Deininger, Rayna Dimitrova, Rupak Majumdar:
Symbolic Model Checking for Factored Probabilistic Models. ATVA 2016: 444-460 - [c158]Dmitry Chistikov, Rupak Majumdar, Filip Niksic:
Hitting Families of Schedules for Asynchronous Programs. CAV (2) 2016: 157-176 - [c157]Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar:
Model Checking Population Protocols. FSTTCS 2016: 27:1-27:14 - [c156]Rupak Majumdar, Vinayak S. Prabhu:
Computing Distances between Reach Flowpipes. HSCC 2016: 267-276 - [c155]Min Gao, Lei He, Rupak Majumdar, Zilong Wang:
LLSPLAT: Improving Concolic Testing by Bounded Model Checking. SCAM 2016: 127-136 - [c154]Rupak Majumdar:
Robots at the Edge of the Cloud. TACAS 2016: 3-13 - [c153]Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate:
Safety Verification of Continuous-Space Pure Jump Markov Processes. TACAS 2016: 147-163 - [c152]Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar:
Probabilistic CTL*: The Deductive Way. TACAS 2016: 280-296 - [c151]Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar:
Partial Order Reduction for Event-Driven Multi-threaded Programs. TACAS 2016: 680-697 - 2015
- [c150]Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar:
Model Checking Parameterized Asynchronous Shared-Memory Systems. CAV (1) 2015: 67-84 - [c149]Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu:
Quantifying Conformance Using the Skorokhod Metric. CAV (2) 2015: 234-250 - [c148]Rupak Majumdar, Zilong Wang:
Bbs: A Phase-Bounded Model Checker for Asynchronous Programs. CAV (1) 2015: 496-503 - [c147]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CONCUR 2015: 169-183 - [c146]Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar:
Verification of Population Protocols. CONCUR 2015: 470-482 - [c145]Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis:
Rely/Guarantee Reasoning for Asynchronous Programs. CONCUR 2015: 483-496 - [c144]Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis:
Asynchronous Liquid Separation Types. ECOOP 2015: 396-420 - [c143]Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo:
Analysis of Asynchronous Programs with Event-Based Synchronization. ESOP 2015: 535-559 - [c142]Indranil Saha, Sanjoy K. Baruah, Rupak Majumdar:
Dynamic scheduling for networked control systems. HSCC 2015: 98-107 - [c141]Rupak Majumdar, Vinayak S. Prabhu:
Computing the Skorokhod distance between polygonal traces. HSCC 2015: 199-208 - [c140]Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar:
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. TACAS 2015: 320-334 - [c139]Rayna Dimitrova, Rupak Majumdar:
Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. GandALF 2015: 100-114 - 2014
- [c138]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Geometry Proof Problems. AAAI 2014: 245-252 - [c137]Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov:
Regression Test Selection for Distributed Software Histories. CAV 2014: 293-309 - [c136]Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic:
An SMT-Based Approach to Coverability Analysis. CAV 2014: 603-619 - [c135]Reiner Hüchting, Rupak Majumdar, Roland Meyer:
Bounds on Mobility. CONCUR 2014: 357-371 - [c134]Rayna Dimitrova, Rupak Majumdar:
Deductive control synthesis for alternating-time logics. EMSOFT 2014: 14:1-14:10 - [c133]Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey:
Dynamic Package Interfaces. FASE 2014: 261-275 - [c132]Rupak Majumdar, Sai Deep Tetali, Zilong Wang:
Kuai: A model checker for software-defined networks. FMCAD 2014: 163-170 - [c131]Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar:
Edit distance for timed automata. HSCC 2014: 303-312 - [c130]Dmitry Chistikov, Rupak Majumdar:
Unary Pushdown Automata and Straight-Line Programs. ICALP (2) 2014: 146-157 - [c129]Pallavi Maiya, Aditya Kanade, Rupak Majumdar:
Race detection for Android applications. PLDI 2014: 316-325 - 2013
- [c128]Javier Esparza, Pierre Ganty, Rupak Majumdar:
Parameterized Verification of Asynchronous Shared-Memory Systems. CAV 2013: 124-140 - [c127]Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac:
Incremental, Inductive Coverability. CAV 2013: 158-173 - [c126]Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith:
The first workshop on language support for privacy-enhancing technologies (PETShop'13). CCS 2013: 1485-1486 - [c125]Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel:
Compositional equivalence checking for models and code of control systems. CDC 2013: 1564-1571 - [c124]Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros:
Bisimilar finite abstractions of stochastic control systems. CDC 2013: 3926-3931 - [c123]Rupak Majumdar, Zilong Wang:
Expand, Enlarge, and Check for Branching Vector Addition Systems. CONCUR 2013: 152-166 - [c122]Reiner Hüchting, Rupak Majumdar, Roland Meyer:
A Theory of Name Boundedness. CONCUR 2013: 182-196 - [c121]Johannes Kloos, Rupak Majumdar:
Supervisor synthesis for controller upgrades. DATE 2013: 1105-1110 - [c120]Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha:
Synthesis of fixed-point programs. EMSOFT 2013: 22:1-22:10 - [c119]Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer:
A Theory of Partitioned Global Address Spaces. FSTTCS 2013: 127-139 - [c118]Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein:
MrCrypt: static analysis for secure cloud computations. OOPSLA 2013: 271-286 - [c117]Rupak Majumdar, Roland Meyer, Zilong Wang:
Provenance Verification. RP 2013: 21-22 - [c116]Rupak Majumdar, Roland Meyer, Zilong Wang:
Static Provenance Verification for Message Passing Programs. SAS 2013: 366-387 - [c115]Milos Gligoric, Rupak Majumdar:
Model Checking Database Applications. TACAS 2013: 549-564 - [c114]Dmitry Chistikov, Rupak Majumdar:
A Uniformization Theorem for Nested Word to Word Transductions. CIAA 2013: 97-108 - 2012
- [c113]Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar:
Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. ATVA 2012: 385-399 - [c112]Rupak Majumdar, Majid Zamani:
Approximately Bisimilar Symbolic Models for Digital Control Systems. CAV 2012: 362-377 - [c111]Indranil Saha, Rupak Majumdar:
Trigger memoization in self-triggered control. EMSOFT 2012: 103-112 - [c110]Rupak Majumdar, Indranil Saha, Majid Zamani:
Synthesis of minimal-error control software. EMSOFT 2012: 123-132 - [c109]Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar:
Input-output robustness for discrete systems. EMSOFT 2012: 217-226 - [c108]João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar:
Scalable testing of file system checkers. EuroSys 2012: 239-252 - [c107]Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer:
Language-Theoretic Abstraction Refinement. FASE 2012: 362-376 - [c106]Javier Esparza, Pierre Ganty, Rupak Majumdar:
A Perfect Model for Bounded Verification. LICS 2012: 285-294 - [c105]Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang:
CLSE: Closed-Loop Symbolic Execution. NASA Formal Methods 2012: 356-370 - [c104]Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali:
Engage: a deployment management system. PLDI 2012: 263-274 - [c103]Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong:
Efficient May Happen in Parallel Analysis for Async-Finish Parallelism. SAS 2012: 5-23 - [c102]Rupak Majumdar:
The Marriage of Exploration and Deduction. VSTTE 2012: 162 - 2011
- [c101]Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko:
HMC: Verifying Functional Programs Using Abstract Interpreters. CAV 2011: 470-485 - [c100]Manu Jose, Rupak Majumdar:
Bug-Assist: Assisting Fault Localization in ANSI-C Programs. CAV 2011: 504-509 - [c99]Majid Zamani, Rupak Majumdar:
A Lyapunov approach in incremental stability. CDC/ECC 2011: 302-307 - [c98]Rupak Majumdar, Indranil Saha, Majid Zamani:
Performance-aware scheduler synthesis for control systems. EMSOFT 2011: 299-308 - [c97]Rupak Majumdar:
End-to-End Guarantees in Embedded Control Systems - (Abstract). Ershov Memorial Conference 2011: 40 - [c96]Krishnendu Chatterjee, Rupak Majumdar:
Minimum Attention Controller Synthesis for Omega-Regular Objectives. FORMATS 2011: 145-159 - [c95]Rupak Majumdar, Elaine Render, Paulo Tabuada:
Robust discrete synthesis against unspecified disturbances. HSCC 2011: 211-220 - [c94]Pritam Roy, Paulo Tabuada, Rupak Majumdar:
Pessoa 2.0: a controller synthesis tool for cyber-physical systems. HSCC 2011: 315-316 - [c93]Manu Jose, Rupak Majumdar:
Cause clue clauses: error localization using maximum satisfiability. PLDI 2011: 437-446 - 2010
- [c92]Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He, Minming Li:
Fault-tolerant resynthesis with dual-output LUTs. ASP-DAC 2010: 325-330 - [c91]Pierre Ganty, Rupak Majumdar, Benjamin Monmege:
Bounded Underapproximations. CAV 2010: 600-614 - [c90]Manu Jose, Yu Hu, Rupak Majumdar, Lei He:
Rewiring for robustness. DAC 2010: 469-474 - [c89]Samuel B. Luckenbill, Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He:
RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications. DATE 2010: 783-788 - [c88]Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada:
Automatic verification of control system implementations. EMSOFT 2010: 9-18 - [c87]Manu Jose, Yu Hu, Rupak Majumdar:
On power and fault-tolerance optimization in FPGA physical synthesis. ICCAD 2010: 224-229 - [c86]Rupak Majumdar, Indranil Saha, Zilong Wang:
Systematic testing for control applications. MEMOCODE 2010: 1-10 - [c85]Michael Emmi, Rupak Majumdar, Roman Manevich:
Parameterized verification of transactional memories. PLDI 2010: 134-145 - [c84]Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur:
Shape Analysis with Reference Set Relations. VMCAI 2010: 247-262 - [c83]Krishnendu Chatterjee, Rupak Majumdar:
Discounting in Games across Time Scales. GANDALF 2010: 22-29 - 2009
- [c82]Rupak Majumdar, Ru-Gang Xu:
Reducing Test Inputs Using Information Partitions. CAV 2009: 555-569 - [c81]Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein:
Fine-Grained Access Control with Object-Sensitive Roles. ECOOP 2009: 173-194 - [c80]Pierre Ganty, Rupak Majumdar:
Analyzing Real-Time Event-Driven Programs. FORMATS 2009: 164-178 - [c79]Zhe Feng, Yu Hu, Lei He, Rupak Majumdar:
IPR: In-Place Reconfiguration for FPGA fault tolerance. ICCAD 2009: 105-108 - [c78]Rafit Izhak-Ratzin, Nikitas Liogkas, Rupak Majumdar:
Team Incentives in BitTorrent Systems. ICCCN 2009: 1-8 - [c77]Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He:
Simultaneous test pattern compaction, ordering and X-filling for testing power reduction. ISQED 2009: 702-707 - [c76]Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko:
Verifying liveness for asynchronous programs. POPL 2009: 102-113 - [c75]Rupak Majumdar, Indranil Saha:
Symbolic Robustness Analysis. RTSS 2009: 355-363 - [c74]Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko:
From Tests to Proofs. TACAS 2009: 262-276 - [c73]Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar:
Verifying Reference Counting Implementations. TACAS 2009: 352-367 - 2008
- [c72]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
The Complexity of Coverage. APLAS 2008: 91-106 - [c71]Dirk Beyer, Damien Zufferey, Rupak Majumdar:
CSIsat: Interpolation for LA+EUF. CAV 2008: 304-308 - [c70]Yu Hu, Victor Shih, Rupak Majumdar, Lei He:
FPGA area reduction by multi-output function based sequential resynthesis. DAC 2008: 24-29 - [c69]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman:
Algorithms for Game Metrics. FSTTCS 2008: 107-118 - [c68]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Controller Synthesis with Budget Constraints. HSCC 2008: 72-86 - [c67]Yu Hu, Zhe Feng, Lei He, Rupak Majumdar:
Robust FPGA resynthesis based on fault-tolerant Boolean matching. ICCAD 2008: 706-713 - [c66]Jeffrey Fischer, Rupak Majumdar:
A Theory of Role Composition. ICWS 2008: 320-328 - [c65]Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar:
Testing for buffer overflows with length abstraction. ISSTA 2008: 27-38 - [c64]Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino:
The Consistency of Web Conversations. ASE 2008: 415-418 - [c63]Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu:
Proving non-termination. POPL 2008: 147-158 - [c62]Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson:
Frugal Routing on Wireless Ad-Hoc Networks. SAGT 2008: 133-144 - 2007
- [c61]Yu Hu, Victor Shih, Rupak Majumdar, Lei He:
Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping. ICCAD 2007: 350-353 - [c60]Rupak Majumdar, Koushik Sen:
Hybrid Concolic Testing. ICSE 2007: 416-426 - [c59]Michael Emmi, Rupak Majumdar, Koushik Sen:
Dynamic test input generation for database applications. ISSTA 2007: 151-162 - [c58]Jeffrey Fischer, Rupak Majumdar:
Ensuring consistency in long running transactions. ASE 2007: 54-63 - [c57]Rupak Majumdar, Ru-Gang Xu:
Directed test generation using symbolic grammars. ASE 2007: 134-143 - [c56]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga:
Game Relations and Metrics. LICS 2007: 99-108 - [c55]Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein:
Tasks: language support for event-driven programming. PEPM 2007: 134-143 - [c54]Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko:
Path invariants. PLDI 2007: 300-309 - [c53]Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar:
Lock allocation. POPL 2007: 291-296 - [c52]Ranjit Jhala, Rupak Majumdar:
Interprocedural analysis of asynchronous programs. POPL 2007: 339-350 - [c51]Rupak Majumdar, Ru-Gang Xu:
Directed test generation using symbolic grammars. ESEC/SIGSOFT FSE 2007: 553-556 - [c50]Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu:
State of the Union: Type Inference Via Craig Interpolation. TACAS 2007: 553-567 - [c49]Michael Emmi, Rupak Majumdar:
Verifying Compensating Transactions. VMCAI 2007: 29-43 - [c48]Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko:
Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394 - 2006
- [c47]Michael Emmi, Rupak Majumdar:
Decision Problems for the Verification of Real-Time Software. HSCC 2006: 200-211 - [c46]Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Compositional Quantitative Reasoning. QEST 2006: 179-188 - [c45]Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu:
Structural Invariants. SAS 2006: 71-87 - [c44]Deepak Kapur, Rupak Majumdar, Calogero G. Zarba:
Interpolation for data structures. SIGSOFT FSE 2006: 105-116 - [c43]Ranjit Jhala, Rupak Majumdar:
Bit level types for high level reasoning. SIGSOFT FSE 2006: 128-140 - [c42]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Markov Decision Processes with Multiple Objectives. STACS 2006: 325-336 - 2005
- [c41]Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar:
Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64 - [c40]Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar:
Code aware resource management. EMSOFT 2005: 191-202 - [c39]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Checking Memory Safety with Blast. FASE 2005: 2-18 - [c38]Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu:
Quantifying Similarities Between Timed Systems. FORMATS 2005: 226-241 - [c37]Ranjit Jhala, Rupak Majumdar:
Path slicing. PLDI 2005: 38-47 - [c36]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40 - [c35]Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar:
Joining dataflow with predicates. ESEC/SIGSOFT FSE 2005: 227-236 - [c34]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The BLAST Software Verification System. SPIN 2005: 25-26 - [c33]Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-guided Planning. UAI 2005: 104-111 - 2004
- [c32]Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski:
On Nash Equilibria in Stochastic Games. CSL 2004: 26-40 - [c31]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Generating Tests from Counterexamples. ICSE 2004: 326-335 - [c30]Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255 - [c29]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification. PEPM 2004: 201-202 - [c28]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Race checking by context inference. PLDI 2004: 1-13 - [c27]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan:
Abstractions from proofs. POPL 2004: 232-244 - [c26]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Invited talk: the blast query language for software verification. PPDP 2004: 1-2 - [c25]Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The Blast Query Language for Software Verification.. SAS 2004: 2-18 - [c24]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Model Checking Discounted Temporal Properties. TACAS 2004: 77-92 - 2003
- [c23]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido:
Extreme Model Checking. Verification: Theory and Practice 2003: 332-358 - [c22]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer:
Thread-Modular Abstraction Refinement. CAV 2003: 262-274 - [c21]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
The Element of Surprise in Timed Games. CONCUR 2003: 142-156 - [c20]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-Guided Control. ICALP 2003: 886-902 - [c19]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
Discounting the Future in Systems Theory. ICALP 2003: 1022-1037 - [c18]Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg:
Stack Size Analysis for Interrupt-Driven Programs. SAS 2003: 109-126 - [c17]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre:
Software Verification with BLAST. SPIN 2003: 235-239 - [c16]Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar:
On the Universal and Existential Fragments of the µ-Calculus. TACAS 2003: 49-64 - 2002
- [c15]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer:
Temporal-Safety Proofs for Systems Code. CAV 2002: 526-538 - [c14]Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic:
Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92 - [c13]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre:
Lazy abstraction. POPL 2002: 58-70 - 2001
- [c12]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550 - [c11]Rupak Majumdar, Jennifer L. Wong:
Watermarking of SAT using Combinatorial Isolation Lemmas. DAC 2001: 480-485 - [c10]Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang:
JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE 2001: 835-836 - [c9]Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS 2001: 279-290 - [c8]Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani:
Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213 - [c7]Luca de Alfaro, Rupak Majumdar:
Quantitative solution of omega-regular games. STOC 2001: 675-683 - 2000
- [c6]Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi:
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC 2000: 130-144 - [c5]Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin:
Abstract Interpretation of Game Properties. SAS 2000: 220-239 - [c4]Thomas A. Henzinger, Rupak Majumdar:
A Classification of Symbolic Transition Systems. STACS 2000: 13-34 - [c3]Thomas A. Henzinger, Rupak Majumdar:
Symbolic Model Checking for Rectangular Hybrid Systems. TACAS 2000: 142-156 - 1999
- [c2]Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar:
Rectangular Hybrid Games. CONCUR 1999: 320-335 - 1996
- [c1]Rupak Majumdar, R. K. Shyamasundar:
Design of Controllers for Linear Hybrid Systems. ASIAN 1996: 309-320
Parts in Books or Collections
- 2018
- [p3]Rupak Majumdar, Jean-François Raskin:
Symbolic Model Checking in Non-Boolean Domains. Handbook of Model Checking 2018: 1111-1147 - 2014
- [p2]Rupak Majumdar:
Foundations of Infinite-State Verification. Software Systems Safety 2014: 191-222 - 2012
- [p1]Rupak Majumdar:
Lecture Notes on Software Model Checking. Software Safety and Security 2012: 182-204
Editorship
- 2024
- [e11]Rupak Majumdar, Alexandra Silva:
35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada. LIPIcs 311, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-339-3 [contents] - 2022
- [e10]Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar:
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13660, Springer 2022, ISBN 978-3-031-22336-5 [contents] - 2021
- [e9]Chryssis Georgiou, Rupak Majumdar:
Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings. Lecture Notes in Computer Science 12129, Springer 2021, ISBN 978-3-030-67086-3 [contents] - 2017
- [e8]Rupak Majumdar, Viktor Kuncak:
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10426, Springer 2017, ISBN 978-3-319-63386-2 [contents] - [e7]Rupak Majumdar, Viktor Kuncak:
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10427, Springer 2017, ISBN 978-3-319-63389-3 [contents] - 2016
- [e6]Rastislav Bodík, Rupak Majumdar:
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. ACM 2016, ISBN 978-1-4503-3549-2 [contents] - 2015
- [e5]Ezio Bartocci, Rupak Majumdar:
Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. Lecture Notes in Computer Science 9333, Springer 2015, ISBN 978-3-319-23819-7 [contents] - 2013
- [e4]Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith:
PETShop'13, Proceedings of the 2013 ACM Workshop on Language Support for Privacy-Enhancing Technologies, Co-located with CCS 2013, November 4, 2013, Berlin, Germany. ACM 2013, ISBN 978-1-4503-2489-2 [contents] - 2010
- [e3]Javier Esparza, Rupak Majumdar:
Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Lecture Notes in Computer Science 6015, Springer 2010, ISBN 978-3-642-12001-5 [contents] - 2009
- [e2]Rupak Majumdar, Paulo Tabuada:
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings. Lecture Notes in Computer Science 5469, Springer 2009, ISBN 978-3-642-00601-2 [contents] - 2008
- [e1]Klaus Havelund, Rupak Majumdar, Jens Palsberg:
Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Lecture Notes in Computer Science 5156, Springer 2008, ISBN 978-3-540-85113-4 [contents]
Data and Artifacts
- 2023
- [d2]Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis:
Extending GenMC's Usability and Performance (Replication Package). Zenodo, 2023
- 2020
- [d1]Rupak Majumdar, Nobuko Yoshida, Damien Zufferey:
Multiparty Motion Coordination: From Choreographies to Robotics Programs (Artifact). Zenodo, 2020
Informal and Other Publications
- 2025
- [i98]Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork:
Model Checking Linear Temporal Logic with Standpoint Modalities. CoRR abs/2502.20193 (2025) - [i97]Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar:
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification. CoRR abs/2505.09963 (2025) - [i96]Jiarui Gan, Rupak Majumdar:
Value-Set Iteration: Computing Optimal Correlated Equilibria in Infinite-Horizon Multi-Player Stochastic Games. CoRR abs/2506.07186 (2025) - 2024
- [i95]Rupak Majumdar, Irmak Saglam, K. S. Thejaswini:
Rabin Games and Colourful Universal Trees. CoRR abs/2401.07548 (2024) - [i94]Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik:
Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery. CoRR abs/2403.01277 (2024) - [i93]Rupak Majumdar, V. R. Sathiyanarayana:
Sound and Complete Proof Rules for Probabilistic Termination. CoRR abs/2404.19724 (2024) - [i92]Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra:
Reward Augmentation in Reinforcement Learning for Testing Distributed Systems. CoRR abs/2409.02137 (2024) - [i91]Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Srinidhi Nagendra:
Model-guided Fuzzing of Distributed Systems. CoRR abs/2410.02307 (2024) - [i90]Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani:
Regret-Free Reinforcement Learning for LTL Specifications. CoRR abs/2411.12019 (2024) - 2023
- [i89]Debmalya Mandal, Goran Radanovic, Jiarui Gan, Adish Singla, Rupak Majumdar:
Online Reinforcement Learning with Uncertain Episode Lengths. CoRR abs/2302.03608 (2023) - [i88]Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. CoRR abs/2302.04662 (2023) - [i87]Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar:
Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CoRR abs/2305.11813 (2023) - [i86]Jiarui Gan, Rupak Majumdar, Debmalya Mandal, Goran Radanovic:
Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. CoRR abs/2306.03832 (2023) - [i85]Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
Checking Refinement of Asynchronous Programs against Context-Free Specifications. CoRR abs/2306.13058 (2023) - [i84]Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares:
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. CoRR abs/2306.17156 (2023) - [i83]Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani:
Neural Abstraction-Based Controller Synthesis and Deployment. CoRR abs/2307.03783 (2023) - [i82]Jiarui Gan, Annika Hennes, Rupak Majumdar, Debmalya Mandal, Goran Radanovic:
Markov Decision Processes with Time-Varying Geometric Discounting. CoRR abs/2307.10491 (2023) - [i81]Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya:
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CoRR abs/2309.00386 (2023) - [i80]Rupak Majumdar, V. R. Sathiyanarayana:
Positive Almost-Sure Termination - Complexity and Proof Rules. CoRR abs/2310.16145 (2023) - [i79]A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
Reachability in Continuous Pushdown VASS. CoRR abs/2310.16798 (2023) - 2022
- [i78]Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. CoRR abs/2202.07480 (2022) - [i77]Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche:
Reachability in Bidirected Pushdown VASS. CoRR abs/2204.11799 (2022) - [i76]Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding:
Data-Driven Abstraction-Based Control Synthesis. CoRR abs/2206.08069 (2022) - 2021
- [i75]Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
Symbolic Control for Stochastic Systems via Parity Games. CoRR abs/2101.00834 (2021) - [i74]Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar:
Lassie: HOL4 Tactics by Example. CoRR abs/2101.00930 (2021) - [i73]Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. CoRR abs/2101.08611 (2021) - [i72]Dmitry Chistikov, Rupak Majumdar, Philipp Schepper:
Subcubic Certificates for CFL Reachability. CoRR abs/2102.13095 (2021) - [i71]Christel Baier, Florian Funke, Rupak Majumdar:
A Game-Theoretic Account of Responsibility Allocation. CoRR abs/2105.09129 (2021) - [i70]Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek:
From Verification to Causality-based Explications. CoRR abs/2105.09533 (2021) - [i69]Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla:
Bayesian Persuasion in Sequential Decision-Making. CoRR abs/2106.05137 (2021) - [i68]Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey:
Generalising Projection in Asynchronous Multiparty Session Types. CoRR abs/2107.03984 (2021) - [i67]Moses Ganardi, Rupak Majumdar, Georg Zetzsche:
The complexity of bidirected reachability in valence systems. CoRR abs/2110.03654 (2021) - [i66]Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
Context-Bounded Verification of Thread Pools. CoRR abs/2111.09022 (2021) - 2020
- [i65]Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck:
On Abstraction-Based Controller Design With Output Feedback. CoRR abs/2002.02687 (2020) - [i64]Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani:
On Decidability of Time-bounded Reachability in CTMDPs. CoRR abs/2006.05498 (2020) - [i63]Rupak Majumdar, Anne-Kathrin Schmuck:
Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. CoRR abs/2007.01773 (2020) - [i62]Anthony W. Lin, Rupak Majumdar:
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. CoRR abs/2007.15478 (2020) - [i61]Rupak Majumdar, Nobuko Yoshida, Damien Zufferey:
Multiparty Motion Coordination: From Choreographies to Robotics Programs. CoRR abs/2010.05484 (2020) - [i60]Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer:
Probabilistic Bisimulation for Parameterized Systems (Technical Report). CoRR abs/2011.02413 (2020) - [i59]Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs. CoRR abs/2011.04581 (2020) - [i58]Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche:
The complexity of bounded context switching with dynamic thread creation. CoRR abs/2011.05825 (2020) - 2019
- [i57]Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
Perception-in-the-Loop Adversarial Examples. CoRR abs/1901.06834 (2019) - [i56]Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey:
Paracosm: A Language and Tool for Testing Autonomous Driving Systems. CoRR abs/1902.01084 (2019) - [i55]Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck:
Environmentally-friendly GR(1) Synthesis. CoRR abs/1902.05629 (2019) - [i54]Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell:
Algebraic Invariants for Linear Hybrid Automata. CoRR abs/1902.10452 (2019) - [i53]Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu:
Joint Inference of Reward Machines and Policies for Reinforcement Learning. CoRR abs/1909.05912 (2019) - [i52]Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs. CoRR abs/1909.06112 (2019) - [i51]Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani:
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems. CoRR abs/1910.12137 (2019) - 2018
- [i50]Brendon Boldt, Ivan Gavran, Eva Darulova, Rupak Majumdar:
Precise but Natural Specification for Robot Tasks. CoRR abs/1803.02238 (2018) - [i49]Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
Lazy Abstraction-Based Control for Safety Specifications. CoRR abs/1804.02666 (2018) - [i48]Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
Lazy Abstraction-Based Control for Reachability. CoRR abs/1804.02722 (2018) - [i47]Anthony W. Lin, Rupak Majumdar:
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. CoRR abs/1805.06701 (2018) - [i46]Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy:
Verification of Immediate Observation Population Protocols. CoRR abs/1807.06071 (2018) - [i45]Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux:
FAR-Cubicle - A new reachability algorithm for Cubicle. CoRR abs/1811.08131 (2018) - 2017
- [i44]Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani:
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CoRR abs/1704.05303 (2017) - [i43]Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani:
Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. CoRR abs/1705.02152 (2017) - [i42]Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan:
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. CoRR abs/1706.08270 (2017) - [i41]Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar:
Compositional Construction of Finite State Abstractions for Stochastic Control Systems. CoRR abs/1709.09546 (2017) - [i40]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani:
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. CoRR abs/1709.10312 (2017) - [i39]Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu:
Parameter Optimization in Control Software using Statistical Fault Localization Techniques. CoRR abs/1710.02073 (2017) - [i38]Ondrej Lengál, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer:
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). CoRR abs/1710.10756 (2017) - [i37]Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, Michael J. Wooldridge:
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111). Dagstuhl Reports 7(3): 27-32 (2017) - [i36]Calin Belta, Rupak Majumdar, Majid Zamani, Matthias Rungger:
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). Dagstuhl Reports 7(5): 84-96 (2017) - 2016
- [i35]Rupak Majumdar, Vinayak S. Prabhu:
Computing Distances between Reach Flowpipes. CoRR abs/1602.03266 (2016) - [i34]Dmitry Chistikov, Rupak Majumdar, Filip Niksic:
Hitting Families of Schedules for Asynchronous Programs. CoRR abs/1602.03755 (2016) - [i33]Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck:
Compositional Synthesis of Finite State Abstractions. CoRR abs/1612.08515 (2016) - 2015
- [i32]Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu:
Quantifying Conformance using the Skorokhod Metric (full version). CoRR abs/1505.05832 (2015) - [i31]Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar:
Model Checking Parameterized Asynchronous Shared-Memory Systems. CoRR abs/1505.06588 (2015) - [i30]Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CoRR abs/1507.00509 (2015) - [i29]Anne-Kathrin Schmuck, Rupak Majumdar:
Dynamic Hierarchical Reactive Controller Synthesis. CoRR abs/1510.07246 (2015) - [i28]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. CoRR abs/1510.08525 (2015) - [i27]Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar:
A Partial Order Reduction Technique for Event-driven Multi-threaded Programs. CoRR abs/1511.03213 (2015) - 2014
- [i26]Dmitry Chistikov, Rupak Majumdar:
Unary Pushdown Automata and Straight-Line Programs. CoRR abs/1403.0509 (2014) - [i25]Rupak Majumdar, Vinayak S. Prabhu:
Computing the Skorokhod Distance between Polygonal Traces (Full Paper). CoRR abs/1410.6075 (2014) - [i24]Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar:
Approximate Counting in SMT and Value Estimation for Probabilistic Programs. CoRR abs/1411.0659 (2014) - [i23]Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar:
Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122). Dagstuhl Reports 4(3): 85-102 (2014) - 2013
- [i22]Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac:
Incremental, Inductive Coverability. CoRR abs/1301.7321 (2013) - [i21]Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros:
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. CoRR abs/1302.3868 (2013) - [i20]Javier Esparza, Pierre Ganty, Rupak Majumdar:
Parameterized Verification of Asynchronous Shared-Memory Systems. CoRR abs/1304.1185 (2013) - [i19]Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer:
A Theory of Partitioned Global Address Spaces. CoRR abs/1307.6590 (2013) - [i18]Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey:
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. CoRR abs/1311.4615 (2013) - [i17]Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey:
Dynamic Package Interfaces - Extended Version. CoRR abs/1311.4934 (2013) - 2012
- [i16]Javier Esparza, Pierre Ganty, Rupak Majumdar:
A Perfect Model for Bounded Verification. CoRR abs/1201.3194 (2012) - [i15]Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar:
Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games. CoRR abs/1202.4140 (2012) - [i14]Rupak Majumdar, Indranil Saha, Majid Zamani:
Synthesis of Minimal Error Control Software. CoRR abs/1204.2857 (2012) - [i13]Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
Counterexample-guided Planning. CoRR abs/1207.1373 (2012) - [i12]Nikolaj S. Bjørner, Krishnendu Chatterjee, Laura Kovács, Rupak Majumdar:
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461). Dagstuhl Reports 2(11): 45-65 (2012) - 2011
- [i11]Majid Zamani, Rupak Majumdar:
Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011) - [i10]Rupak Majumdar, Elaine Render, Paulo Tabuada:
A theory of robust software synthesis. CoRR abs/1108.3540 (2011) - 2010
- [i9]Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko:
Refinement type inference via abstract interpretation. CoRR abs/1004.2884 (2010) - [i8]Pritam Roy, Paulo Tabuada, Rupak Majumdar:
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems. CoRR abs/1010.5665 (2010) - [i7]Pierre Ganty, Rupak Majumdar:
Algorithmic Verification of Asynchronous Programs. CoRR abs/1011.0551 (2010) - [i6]Manu Jose, Rupak Majumdar:
Cause Clue Clauses: Error Localization using Maximum Satisfiability. CoRR abs/1011.1589 (2010) - 2008
- [i5]Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
The Complexity of Coverage. CoRR abs/0804.4525 (2008) - [i4]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Stochastic Limit-Average Games are in EXPTIME. CoRR abs/0805.2622 (2008) - [i3]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga:
Game Refinement Relations and Metrics. CoRR abs/0806.4956 (2008) - [i2]Pierre Ganty, Rupak Majumdar, Benjamin Monmege:
Parikh-Equivalent Bounded Underapproximations. CoRR abs/0809.1236 (2008) - 2001
- [i1]Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin:
A Classification of Symbolic Transition Systems. CoRR cs.LO/0101013 (2001)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-08-19 02:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
