Rupak Majumdar

435 papers A* 64A 34B 50C 7Misc 11Journal 176Unranked 83

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	General Decidability Results for Systems with Continuous Counters. Proc. ACM Program. Lang. A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2026	—	`conf`	MightyPPL: Model Checking MITL with Past and Pnueli Modalities. TACAS (1) Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2026	J	`jnl`	Solving Qualitative Multi-Objective Stochastic Games. CoRR Moritz Graf, Anthony W. Lin, Rupak Majumdar
2026	J	`jnl`	Verifying Almost-Sure Termination for Randomized Distributed Algorithms. Proc. ACM Program. Lang. Constantin Enea, Rupak Majumdar, Harshit Jitendra Motwani, V. R. Sathiyanarayana
2025	A	`conf`	Analyzing Metastable Failures. HotOS Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani
2025	B	`conf`	Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. CONCUR Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2025	J	`jnl`	Formal Analysis of Metastable Failures in Software Systems. CoRR Peter Alvaro, Rebecca Isaacs, Rupak Majumdar, Kiran-Kumar Muniswamy-Reddy, Mahmoud Salamati, Sadegh Soudjani
2025	J	`jnl`	General Decidability Results for Systems with Continuous Counters. CoRR A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2025	—	`conf`	Integrated Task and Path Planning for Collaborative Multi-Robot Systems. ICCPS Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik
2025	J	`jnl`	MightyPPL: Verification of MITL with Past and Pnueli Modalities. CoRR Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2025	A*	`conf`	Model Checking Linear Temporal Logic with Standpoint Modalities. KR Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
2025	J	`jnl`	Model Checking Linear Temporal Logic with Standpoint Modalities. CoRR Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork
2025	J	`jnl`	Model-Guided Fuzzing of Distributed Systems. Proc. ACM Program. Lang. Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Srinidhi Nagendra
2025	J	`jnl`	On Certificates for Almost Sure Reachability in Stochastic Systems. CoRR Arash Bahari Kordabad, Rupak Majumdar, Harshit J. Motwani, Sadegh Soudjani
2025	B	`conf`	Optimal Concolic Dynamic Partial Order Reduction. CONCUR Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar, Srinidhi Nagendra
2025	J	`jnl`	Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification. CoRR Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar
2025	J	`jnl`	Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification. IEEE Trans. Software Eng. Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar
2025	A*	`conf`	Pushdown Model Checking above the Cubic Bottleneck. LICS A. R. Balasubramanian, Dmitry Chistikov, Rupak Majumdar
2025	A*	`conf`	Regret-Free Reinforcement Learning for Temporal Logic Specifications. ICML Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2025	—	`conf`	Regret-Optimal Supervisory Control of Partially-Known Discrete-Event Systems. CDC Jianing Zhao, Bohan Cui, Dimos V. Dimarogonas, Rupak Majumdar, Xiang Yin
2025	J	`jnl`	Sound and Complete Proof Rules for Probabilistic Termination. Proc. ACM Program. Lang. Rupak Majumdar, V. R. Sathiyanarayana
2025	J	`jnl`	State Space Estimation for DPOR-based Model Checkers. CoRR A. R. Balasubramanian, Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar, Umang Mathur, Minjian Zhang
2025	J	`jnl`	Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems. CoRR Arash Bahari Kordabad, Rupak Majumdar, Sadegh Soudjani
2025	J	`jnl`	Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics. CoRR Jianing Zhao, Bowen Ye, Xinyi Yu, Rupak Majumdar, Xiang Yin
2025	J	`jnl`	Value-Set Iteration: Computing Optimal Correlated Equilibria in Infinite-Horizon Multi-Player Stochastic Games. CoRR Jiarui Gan, Rupak Majumdar
2024	B	`ed.`	35th International Conference on Concurrency Theory, CONCUR 2024, Calgary, Canada, September 9-13, 2024 CONCUR Rupak Majumdar, Alexandra Silva
2024	A*	`conf`	Challenges and Opportunities in Model Checking Large-scale Distributed Systems. ICSE Rupak Majumdar
2024	—	`conf`	Enhancing GenMC's Usability and Performance. TACAS (2) Michalis Kokologiannakis, Rupak Majumdar, Viktor Vafeiadis
2024	B	`conf`	Fine-Grained Complexity of Program Analysis (Invited Talk). MFCS Rupak Majumdar
2024	J	`jnl`	Model Checking Distributed Protocols in Must. Proc. ACM Program. Lang. Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, Rupak Majumdar
2024	J	`jnl`	Model-guided Fuzzing of Distributed Systems. CoRR Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Srinidhi Nagendra
2024	J	`jnl`	Necessary and Sufficient Certificates for Almost Sure Reachability. IEEE Control. Syst. Lett. Rupak Majumdar, V. R. Sathiyanarayana, Sadegh Soudjani
2024	J	`jnl`	Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery. CoRR Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik
2024	J	`jnl`	Positive Almost-Sure Termination: Complexity and Proof Rules. Proc. ACM Program. Lang. Rupak Majumdar, V. R. Sathiyanarayana
2024	—	`conf`	Rabin Games and Colourful Universal Trees. TACAS (3) Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
2024	J	`jnl`	Rabin Games and Colourful Universal Trees. CoRR Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
2024	J	`jnl`	Reachability in Continuous Pushdown VASS. Proc. ACM Program. Lang. A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2024	J	`jnl`	Regret-Free Reinforcement Learning for LTL Specifications. CoRR Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2024	J	`jnl`	Reward Augmentation in Reinforcement Learning for Testing Distributed Systems. CoRR Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra
2024	J	`jnl`	Reward Augmentation in Reinforcement Learning for Testing Distributed Systems. Proc. ACM Program. Lang. Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra
2024	J	`jnl`	Sound and Complete Proof Rules for Probabilistic Termination. CoRR Rupak Majumdar, V. R. Sathiyanarayana
2024	—	`conf`	Sound and Complete Techniques for Reasoning About Termination. Principles of Verification (1) Rupak Majumdar, V. R. Sathiyanarayana
2023	—	`conf`	A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. CAV (3) Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
2023	A*	`conf`	Checking Refinement of Asynchronous Programs Against Context-Free Specifications. ICALP Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023	J	`jnl`	Checking Refinement of Asynchronous Programs against Context-Free Specifications. CoRR Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023	A*	`conf`	Context-Bounded Analysis of Concurrent Programs (Invited Talk). ICALP Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023	J	`jnl`	Context-Bounded Verification of Context-Free Specifications. Proc. ACM Program. Lang. Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023	—	`conf`	Counter Machines with Infrequent Reversals. FSTTCS Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche
2023	J	`jnl`	Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2023	B	`conf`	Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. EDM Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
2023	J	`jnl`	Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. CoRR Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
2023	—	`conf`	Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. ICER (2) Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
2023	J	`jnl`	Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. CoRR Tung Phung, Victor-Alexandru Padurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares
2023	J	`jnl`	Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CoRR Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
2023	—	`conf`	Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CAV (3) Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
2023	A*	`conf`	Markov Decision Processes with Time-Varying Geometric Discounting. AAAI Jiarui Gan, Annika Hennes, Rupak Majumdar, Debmalya Mandal, Goran Radanovic
2023	J	`jnl`	Markov Decision Processes with Time-Varying Geometric Discounting. CoRR Jiarui Gan, Annika Hennes, Rupak Majumdar, Debmalya Mandal, Goran Radanovic
2023	J	`jnl`	Neural Abstraction-Based Controller Synthesis and Deployment. CoRR Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2023	J	`jnl`	Neural Abstraction-Based Controller Synthesis and Deployment. ACM Trans. Embed. Comput. Syst. Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2023	A*	`conf`	Online Reinforcement Learning with Uncertain Episode Lengths. AAAI Debmalya Mandal, Goran Radanovic, Jiarui Gan, Adish Singla, Rupak Majumdar
2023	J	`jnl`	Online Reinforcement Learning with Uncertain Episode Lengths. CoRR Debmalya Mandal, Goran Radanovic, Jiarui Gan, Adish Singla, Rupak Majumdar
2023	J	`jnl`	Positive Almost-Sure Termination - Complexity and Proof Rules. CoRR Rupak Majumdar, V. R. Sathiyanarayana
2023	—	`conf`	Poster Abstract: A Toolchain for Accelerated Symbolic Control. HSCC Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani
2023	J	`jnl`	Reachability in Continuous Pushdown VASS. CoRR A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2023	B	`conf`	Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CONCUR Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
2023	J	`jnl`	Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CoRR Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya
2023	J	`jnl`	Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. CoRR Jiarui Gan, Rupak Majumdar, Debmalya Mandal, Goran Radanovic
2023	—	`conf`	Solving String Constraints Using SAT. CAV (2) Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka
2023	J	`jnl`	Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game. IEEE Trans. Autom. Control. Rupak Majumdar, Anne-Kathrin Schmuck
2022	—	`conf`	A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. TACAS (2) Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2022	A*	`conf`	Bayesian Persuasion in Sequential Decision-Making. AAAI Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla
2022	J	`jnl`	Context-bounded verification of thread pools. Proc. ACM Program. Lang. Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2022	J	`jnl`	Data-Driven Abstraction-Based Control Synthesis. CoRR Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
2022	A*	`conf`	Envy-free Policy Teaching to Multiple Agents. NeurIPS Jiarui Gan, Rupak Majumdar, Adish Singla, Goran Radanovic
2022	J	`jnl`	Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. CoRR Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2022	J	`jnl`	General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. Log. Methods Comput. Sci. Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2022	—	`ed.`	Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday Principles of Systems Design Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar
2022	A*	`conf`	Reachability in Bidirected Pushdown VASS. ICALP Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche
2022	J	`jnl`	Reachability in Bidirected Pushdown VASS. CoRR Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche
2022	B	`conf`	Sequential Decision Making With Information Asymmetry (Invited Talk). CONCUR Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla
2022	J	`jnl`	Subcubic certificates for CFL reachability. Proc. ACM Program. Lang. Dmitry Chistikov, Rupak Majumdar, Philipp Schepper
2022	A*	`conf`	The Complexity of Bidirected Reachability in Valence Systems. LICS Moses Ganardi, Rupak Majumdar, Georg Zetzsche
2022	B	`conf`	The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. MFCS Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, James Worrell
2021	A*	`conf`	A Game-Theoretic Account of Responsibility Allocation. IJCAI Christel Baier, Florian Funke, Rupak Majumdar
2021	J	`jnl`	A Game-Theoretic Account of Responsibility Allocation. CoRR Christel Baier, Florian Funke, Rupak Majumdar
2021	J	`jnl`	Bayesian Persuasion in Sequential Decision-Making. CoRR Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla
2021	A*	`conf`	Choosing the Initial State for Online Replanning. AAAI Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml
2021	J	`jnl`	Context-Bounded Verification of Thread Pools. CoRR Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2021	J	`jnl`	Context-bounded verification of liveness properties for multithreaded shared-memory programs. Proc. ACM Program. Lang. Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2021	A*	`conf`	From Verification to Causality-Based Explications (Invited Talk). ICALP Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
2021	J	`jnl`	From Verification to Causality-based Explications. CoRR Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
2021	—	`conf`	General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. TACAS (1) Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2021	J	`jnl`	General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. CoRR Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2021	B	`conf`	Generalising Projection in Asynchronous Multiparty Session Types. CONCUR Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
2021	J	`jnl`	Generalising Projection in Asynchronous Multiparty Session Types. CoRR Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
2021	J	`jnl`	Lassie: HOL4 Tactics by Example. CoRR Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
2021	B	`conf`	Lassie: HOL4 tactics by example. CPP Heiko Becker, Nathaniel Bos, Ivan Gavran, Eva Darulova, Rupak Majumdar
2021	—	`ed.`	Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings NETYS Chryssis Georgiou, Rupak Majumdar
2021	B	`conf`	Paracosm: A Test Framework for Autonomous Driving Simulations. FASE Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey
2021	J	`jnl`	Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Log. Methods Comput. Sci. Anthony W. Lin, Rupak Majumdar
2021	A*	`conf`	Responsibility Attribution in Parameterized Markovian Models. AAAI Christel Baier, Florian Funke, Rupak Majumdar
2021	J	`jnl`	Subcubic Certificates for CFL Reachability. CoRR Dmitry Chistikov, Rupak Majumdar, Philipp Schepper
2021	J	`jnl`	Symbolic Control for Stochastic Systems via Parity Games. CoRR Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2021	—	`conf`	Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. ADHS Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
2021	—	`conf`	Symbolic reach-avoid control of multi-agent systems. ICCPS Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian
2021	B	`conf`	The Pseudo-Skolem Problem is Decidable. MFCS Julian D'Costa, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Mahmoud Salamati, Sadegh Soudjani, James Worrell
2021	J	`jnl`	The complexity of bidirected reachability in valence systems. CoRR Moses Ganardi, Rupak Majumdar, Georg Zetzsche
2021	—	`conf`	The computability of LQR and LQG control. HSCC Rupak Majumdar, Sadegh Soudjani
2021	J	`jnl`	Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Natsuki Urabe, Rupak Majumdar
2020	J	`jnl`	A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs. ACM Trans. Model. Perform. Evaluation Comput. Syst. Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
2020	B	`conf`	Algebraic Invariants for Linear Hybrid Automata. CONCUR Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
2020	J	`jnl`	Assume-Guarantee Distributed Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey
2020	J	`jnl`	Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs. CoRR Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2020	—	`conf`	DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation. ICONIP (5) Ghaith Bilbeisi, Sheraz Ahmed, Rupak Majumdar
2020	J	`jnl`	Interactive synthesis of temporal specifications from examples and natural language. Proc. ACM Program. Lang. Ivan Gavran, Eva Darulova, Rupak Majumdar
2020	A*	`conf`	Joint Inference of Reward Machines and Policies for Reinforcement Learning. ICAPS Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
2020	J	`jnl`	Multiparty Motion Coordination: From Choreographies to Robotics Programs. CoRR Rupak Majumdar, Nobuko Yoshida, Damien Zufferey
2020	J	`jnl`	Multiparty motion coordination: from choreographies to robotics programs. Proc. ACM Program. Lang. Rupak Majumdar, Nobuko Yoshida, Damien Zufferey
2020	J	`jnl`	On Abstraction-Based Controller Design With Output Feedback. CoRR Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
2020	A*	`conf`	On Decidability of Time-Bounded Reachability in CTMDPs. ICALP Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2020	J	`jnl`	On Decidability of Time-bounded Reachability in CTMDPs. CoRR Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
2020	—	`conf`	On abstraction-based controller design with output feedback. HSCC Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
2020	J	`jnl`	On the relation between reactive synthesis and supervisory control of non-terminating processes. Discret. Event Dyn. Syst. Anne-Kathrin Schmuck, Thomas Moor, Rupak Majumdar
2020	J	`jnl`	Probabilistic Bisimulation for Parameterized Systems (Technical Report). CoRR Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
2020	J	`jnl`	Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. CoRR Anthony W. Lin, Rupak Majumdar
2020	J	`jnl`	Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. CoRR Rupak Majumdar, Anne-Kathrin Schmuck
2020	—	`conf`	Symbolic controller synthesis for Büchi specifications on stochastic systems. HSCC Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
2020	J	`jnl`	Testing consensus implementations using communication closure. Proc. ACM Program. Lang. Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
2020	A*	`conf`	The Complexity of Bounded Context Switching with Dynamic Thread Creation. ICALP Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2020	J	`jnl`	The complexity of bounded context switching with dynamic thread creation. CoRR Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2019	J	`jnl`	Algebraic Invariants for Linear Hybrid Automata. CoRR Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell
2019	B	`conf`	Checking linearizability using hitting families. PPoPP Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
2019	J	`jnl`	Compositional Synthesis of Finite-State Abstractions. IEEE Trans. Autom. Control. Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar
2019	—	`conf`	Environmentally-Friendly GR(1) Synthesis. TACAS (2) Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
2019	J	`jnl`	Environmentally-friendly GR(1) Synthesis. CoRR Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
2019	B	`conf`	From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems. ECRTS Arpan Gujarati, Mitra Nasri, Rupak Majumdar, Björn B. Brandenburg
2019	J	`jnl`	Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs. CoRR Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
2019	—	`conf`	Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment. CDC Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar
2019	J	`jnl`	Joint Inference of Reward Machines and Policies for Reinforcement Learning. CoRR Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
2019	B	`conf`	Lazy Abstraction-Based Controller Synthesis. ATVA Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2019	J	`jnl`	Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. ACM Trans. Embed. Comput. Syst. Mahmoud Salamati, Rocco Salvia, Eva Darulova, Sadegh Soudjani, Rupak Majumdar
2019	A	`conf`	Motion Session Types for Robotic Interactions (Brave New Idea Paper). ECOOP Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey
2019	—	`conf`	PGCD: robot programming and verification with geometry, concurrency, and dynamics. ICCPS Gregor B. Banusic, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck, Damien Zufferey
2019	J	`jnl`	Paracosm: A Language and Tool for Testing Autonomous Driving Systems. CoRR Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey
2019	J	`jnl`	Perception-in-the-Loop Adversarial Examples. CoRR Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
2019	—	`conf`	Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). CAV (1) Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
2019	—	`conf`	Programming event processors with thingflow. ICCPS Jeffrey M. Fischer, Rupak Majumdar
2019	J	`jnl`	Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances. IEEE Trans. Autom. Control. Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Soudjani
2019	J	`jnl`	Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems. CoRR Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
2019	J	`jnl`	Trace aware random testing for distributed systems. Proc. ACM Program. Lang. Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee
2018	—	`conf`	Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. QEST Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
2018	—	`conf`	Causality Analysis for Concurrent Reactive Systems (Extended Abstract). CREST Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu
2018	—	`conf`	Concentration of Measure for Chance-Constrained Optimization. ADHS Sadegh Soudjani, Rupak Majumdar
2018	—	`conf`	DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems. CHI Extended Abstracts Patrick Reipschläger, Burcu Kulahcioglu Ozkan, Aman Shankar Mathur, Stefan Gumhold, Rupak Majumdar, Raimund Dachselt
2018	Misc	`conf`	Embedded software for robotics: challenges and future directions: special session. EMSOFT Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus
2018	J	`jnl`	FAR-Cubicle - A new reachability algorithm for Cubicle. CoRR Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
2018	J	`jnl`	Lazy Abstraction-Based Control for Reachability. CoRR Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2018	—	`conf`	Lazy Abstraction-Based Control for Safety Specifications. CDC Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2018	J	`jnl`	Lazy Abstraction-Based Control for Safety Specifications. CoRR Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2018	—	`conf`	Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. HSCC Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2018	—	`conf`	Parameter optimization in control software using statistical fault localization techniques. ICCPS Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
2018	J	`jnl`	Precise but Natural Specification for Robot Tasks. CoRR Brendon Boldt, Ivan Gavran, Eva Darulova, Rupak Majumdar
2018	B	`conf`	Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. ATVA Anthony W. Lin, Rupak Majumdar
2018	J	`jnl`	Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. CoRR Anthony W. Lin, Rupak Majumdar
2018	—	`conf`	Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper). FSTTCS Rupak Majumdar
2018	J	`jnl`	Randomized testing of distributed systems with probabilistic guarantees. Proc. ACM Program. Lang. Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher
2018	J	`jnl`	Reachability analysis of reversal-bounded automata on series-parallel graphs. Acta Informatica Rayna Dimitrova, Rupak Majumdar
2018	—	`ch.`	Symbolic Model Checking in Non-Boolean Domains. Handbook of Model Checking Rupak Majumdar, Jean-François Raskin
2018	B	`conf`	Verification of Immediate Observation Population Protocols. CONCUR Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy
2018	J	`jnl`	Verification of Immediate Observation Population Protocols. CoRR Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy
2018	J	`jnl`	Why is random testing effective for partition tolerance bugs? Proc. ACM Program. Lang. Rupak Majumdar, Filip Niksic
2018	—	`conf`	iDeA: an immersive debugger for actors. Erlang Workshop Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, Rupak Majumdar
2017	J	`jnl`	Antlab: A Multi-Robot Task Server. ACM Trans. Embed. Comput. Syst. Ivan Gavran, Rupak Majumdar, Indranil Saha
2017	J	`jnl`	Approximate counting in SMT and value estimation for probabilistic programs. Acta Informatica Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
2017	J	`jnl`	Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. CoRR Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
2017	J	`jnl`	Compositional Construction of Finite State Abstractions for Stochastic Control Systems. CoRR Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
2017	—	`conf`	Compositional abstractions of interconnected discrete-time stochastic control systems. CDC Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
2017	—	`conf`	Compositional construction of finite state abstractions for stochastic control systems. CDC Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar
2017	—	`ed.`	Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I CAV (1) Rupak Majumdar, Viktor Kuncak
2017	—	`ed.`	Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II CAV (2) Rupak Majumdar, Viktor Kuncak
2017	—	`conf`	Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. HSCC Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar
2017	—	`conf`	Deferrability Analysis for JavaScript. Haifa Verification Conference Johannes Kloos, Rupak Majumdar, Frank McCabe
2017	J	`jnl`	Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Informatica Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
2017	J	`jnl`	Dynamic hierarchical reactive controller synthesis. Discret. Event Dyn. Syst. Anne-Kathrin Schmuck, Rupak Majumdar, Adrian Leva
2017	B	`conf`	FAR-Cubicle - A new reachability algorithm for Cubicle. FMCAD Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
2017	J	`jnl`	Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). CoRR Ondrej Lengál, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
2017	—	`conf`	Fair Termination for Parameterized Probabilistic Concurrent Systems. TACAS (1) Ondrej Lengál, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rümmer
2017	J	`jnl`	Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). Dagstuhl Reports Calin Belta, Rupak Majumdar, Majid Zamani, Matthias Rungger
2017	J	`jnl`	Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111). Dagstuhl Reports Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, Michael J. Wooldridge
2017	J	`jnl`	Introduction to the special issue on runtime verification. Formal Methods Syst. Des. Ezio Bartocci, Rupak Majumdar
2017	J	`jnl`	Model checking parameterized asynchronous shared-memory systems. Formal Methods Syst. Des. Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
2017	—	`conf`	Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. QEST Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan
2017	J	`jnl`	Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. CoRR Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan
2017	J	`jnl`	Parameter Optimization in Control Software using Statistical Fault Localization Techniques. CoRR Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
2017	B	`conf`	Programming by Composing Filters. LPAR Jeffrey Fischer, Rupak Majumdar
2017	J	`jnl`	Quantifying conformance using the Skorokhod metric. Formal Methods Syst. Des. Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
2017	J	`jnl`	Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. CoRR Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
2017	C	`conf`	Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications. ACC Samira S. Farahani, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
2017	A	`conf`	Synthesis of Problems for Shaded Area Geometry Reasoning. AIED Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2017	Misc	`conf`	Synthesis of Solutions for Shaded Area Geometry Problems. FLAIRS Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2017	J	`jnl`	Testing Cyber-Physical Systems through Bayesian Optimization. ACM Trans. Embed. Comput. Syst. Jyotirmoy V. Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu
2017	B	`conf`	The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CONCUR Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
2017	J	`jnl`	The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. CoRR Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
2017	A*	`conf`	Thread modularity at many levels: a pearl in compositional verification. POPL Jochen Hoenicke, Rupak Majumdar, Andreas Podelski
2017	J	`jnl`	Verification of population protocols. Acta Informatica Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar
2016	J	`jnl`	Compositional Synthesis of Finite State Abstractions. CoRR Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
2016	—	`conf`	Computing Distances between Reach Flowpipes. HSCC Rupak Majumdar, Vinayak S. Prabhu
2016	J	`jnl`	Computing Distances between Reach Flowpipes. CoRR Rupak Majumdar, Vinayak S. Prabhu
2016	—	`conf`	Hitting Families of Schedules for Asynchronous Programs. CAV (2) Dmitry Chistikov, Rupak Majumdar, Filip Niksic
2016	J	`jnl`	Hitting Families of Schedules for Asynchronous Programs. CoRR Dmitry Chistikov, Rupak Majumdar, Filip Niksic
2016	C	`conf`	LLSPLAT: Improving Concolic Testing by Bounded Model Checking. SCAM Min Gao, Lei He, Rupak Majumdar, Zilong Wang
2016	—	`conf`	Model Checking Population Protocols. FSTTCS Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar
2016	J	`jnl`	Parameterized Verification of Asynchronous Shared-Memory Systems. J. ACM Javier Esparza, Pierre Ganty, Rupak Majumdar
2016	A	`conf`	Partial Order Reduction for Event-Driven Multi-threaded Programs. TACAS Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar
2016	A	`conf`	Probabilistic CTL TACAS Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
2016	A*	`ed.`	Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 POPL Rastislav Bodík, Rupak Majumdar
2016	A	`conf`	Robots at the Edge of the Cloud. TACAS Rupak Majumdar
2016	A	`conf`	Safety Verification of Continuous-Space Pure Jump Markov Processes. TACAS Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate
2016	B	`conf`	Symbolic Model Checking for Factored Probabilistic Models. ATVA David Deininger, Rayna Dimitrova, Rupak Majumdar
2015	J	`jnl`	A Partial Order Reduction Technique for Event-driven Multi-threaded Programs. CoRR Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar
2015	A	`conf`	Analysis of Asynchronous Programs with Event-Based Synchronization. ESOP Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo
2015	A	`conf`	Approximate Counting in SMT and Value Estimation for Probabilistic Programs. TACAS Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
2015	A	`conf`	Asynchronous Liquid Separation Types. ECOOP Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis
2015	J	`jnl`	Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. CoRR Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2015	—	`conf`	Bbs: A Phase-Bounded Model Checker for Asynchronous Programs. CAV (1) Rupak Majumdar, Zilong Wang
2015	—	`conf`	Computing the Skorokhod distance between polygonal traces. HSCC Rupak Majumdar, Vinayak S. Prabhu
2015	B	`conf`	Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CONCUR Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
2015	J	`jnl`	Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. CoRR Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
2015	J	`jnl`	Dynamic Hierarchical Reactive Controller Synthesis. CoRR Anne-Kathrin Schmuck, Rupak Majumdar
2015	—	`conf`	Dynamic scheduling for networked control systems. HSCC Indranil Saha, Sanjoy K. Baruah, Rupak Majumdar
2015	—	`conf`	Model Checking Parameterized Asynchronous Shared-Memory Systems. CAV (1) Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
2015	J	`jnl`	Model Checking Parameterized Asynchronous Shared-Memory Systems. CoRR Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar
2015	—	`conf`	Quantifying Conformance Using the Skorokhod Metric. CAV (2) Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
2015	J	`jnl`	Quantifying Conformance using the Skorokhod Metric (full version). CoRR Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
2015	—	`conf`	Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. GandALF Rayna Dimitrova, Rupak Majumdar
2015	B	`conf`	Rely/Guarantee Reasoning for Asynchronous Programs. CONCUR Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis
2015	B	`ed.`	Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings RV Ezio Bartocci, Rupak Majumdar
2015	B	`conf`	Verification of Population Protocols. CONCUR Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar
2014	J	`jnl`	Abstractions from proofs. ACM SIGPLAN Notices Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan
2014	A*	`conf`	An SMT-Based Approach to Coverability Analysis. CAV Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic
2014	J	`jnl`	Approximate Counting in SMT and Value Estimation for Probabilistic Programs. CoRR Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
2014	B	`conf`	Bounds on Mobility. CONCUR Reiner Hüchting, Rupak Majumdar, Roland Meyer
2014	J	`jnl`	Computing the Skorokhod Distance between Polygonal Traces (Full Paper). CoRR Rupak Majumdar, Vinayak S. Prabhu
2014	Misc	`conf`	Deductive control synthesis for alternating-time logics. EMSOFT Rayna Dimitrova, Rupak Majumdar
2014	B	`conf`	Dynamic Package Interfaces. FASE Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
2014	—	`conf`	Edit distance for timed automata. HSCC Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Rupak Majumdar
2014	—	`ch.`	Foundations of Infinite-State Verification. Software Systems Safety Rupak Majumdar
2014	B	`conf`	Kuai: A model checker for software-defined networks. FMCAD Rupak Majumdar, Sai Deep Tetali, Zilong Wang
2014	A*	`conf`	Race detection for Android applications. PLDI Pallavi Maiya, Aditya Kanade, Rupak Majumdar
2014	A*	`conf`	Regression Test Selection for Distributed Software Histories. CAV Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov
2014	J	`jnl`	Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. IEEE Trans. Autom. Control. Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
2014	A*	`conf`	Synthesis of Geometry Proof Problems. AAAI Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2014	J	`jnl`	Towards Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. Paulo Tabuada, Sina Yamac Caliskan, Matthias Rungger, Rupak Majumdar
2014	—	`conf`	Unary Pushdown Automata and Straight-Line Programs. ICALP (2) Dmitry Chistikov, Rupak Majumdar
2014	J	`jnl`	Unary Pushdown Automata and Straight-Line Programs. CoRR Dmitry Chistikov, Rupak Majumdar
2014	J	`jnl`	Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122). Dagstuhl Reports Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar
2013	J	`jnl`	A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. CoRR Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
2013	B	`conf`	A Theory of Name Boundedness. CONCUR Reiner Hüchting, Rupak Majumdar, Roland Meyer
2013	—	`conf`	A Theory of Partitioned Global Address Spaces. FSTTCS Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer
2013	J	`jnl`	A Theory of Partitioned Global Address Spaces. CoRR Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer
2013	C	`conf`	A Uniformization Theorem for Nested Word to Word Transductions. CIAA Dmitry Chistikov, Rupak Majumdar
2013	J	`jnl`	A theory of robust omega-regular software synthesis. ACM Trans. Embed. Comput. Syst. Rupak Majumdar, Elaine Render, Paulo Tabuada
2013	J	`jnl`	Backstepping controller synthesis and characterizations of incremental stability. Syst. Control. Lett. Majid Zamani, Nathan van de Wouw, Rupak Majumdar
2013	—	`conf`	Bisimilar finite abstractions of stochastic control systems. CDC Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
2013	J	`jnl`	Code aware resource management. Formal Methods Syst. Des. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman
2013	—	`conf`	Compositional equivalence checking for models and code of control systems. CDC Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel
2013	J	`jnl`	Dynamic Package Interfaces - Extended Version. CoRR Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
2013	B	`conf`	Expand, Enlarge, and Check for Branching Vector Addition Systems. CONCUR Rupak Majumdar, Zilong Wang
2013	J	`jnl`	From tests to proofs. Int. J. Softw. Tools Technol. Transf. Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
2013	J	`jnl`	Incremental, Inductive Coverability CoRR Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
2013	A*	`conf`	Incremental, Inductive Coverability. CAV Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
2013	A	`conf`	Model Checking Database Applications. TACAS Milos Gligoric, Rupak Majumdar
2013	A	`conf`	MrCrypt: static analysis for secure cloud computations. OOPSLA Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein
2013	—	`ed.`	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 PETShop@CCS Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith
2013	J	`jnl`	Parameterized Verification of Asynchronous Shared-Memory Systems CoRR Javier Esparza, Pierre Ganty, Rupak Majumdar
2013	A*	`conf`	Parameterized Verification of Asynchronous Shared-Memory Systems. CAV Javier Esparza, Pierre Ganty, Rupak Majumdar
2013	—	`conf`	Provenance Verification. RP Rupak Majumdar, Roland Meyer, Zilong Wang
2013	B	`conf`	Static Provenance Verification for Message Passing Programs. SAS Rupak Majumdar, Roland Meyer, Zilong Wang
2013	A	`conf`	Supervisor synthesis for controller upgrades. DATE Johannes Kloos, Rupak Majumdar
2013	J	`jnl`	Symbolic control of stochastic systems via approximately bisimilar finite abstractions CoRR Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
2013	Misc	`conf`	Synthesis of fixed-point programs. EMSOFT Eva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha
2013	J	`jnl`	The Complexity of Coverage. Int. J. Found. Comput. Sci. Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
2013	A*	`conf`	The first workshop on language support for privacy-enhancing technologies (PETShop'13). CCS Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith
2012	J	`jnl`	A Perfect Model for Bounded Verification CoRR Javier Esparza, Pierre Ganty, Rupak Majumdar
2012	A*	`conf`	A Perfect Model for Bounded Verification. LICS Javier Esparza, Pierre Ganty, Rupak Majumdar
2012	J	`jnl`	Algorithmic verification of asynchronous programs. ACM Trans. Program. Lang. Syst. Pierre Ganty, Rupak Majumdar
2012	A*	`conf`	Approximately Bisimilar Symbolic Models for Digital Control Systems. CAV Rupak Majumdar, Majid Zamani
2012	J	`jnl`	Automatic predicate abstraction of C programs. ACM SIGPLAN Notices Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
2012	J	`jnl`	Bounded underapproximations. Formal Methods Syst. Des. Pierre Ganty, Rupak Majumdar, Benjamin Monmege
2012	—	`conf`	CLSE: Closed-Loop Symbolic Execution. NASA Formal Methods Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang
2012	J	`jnl`	Counterexample-guided Planning CoRR Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2012	J	`jnl`	Discounting and Averaging in Games across Time scales. Int. J. Found. Comput. Sci. Krishnendu Chatterjee, Rupak Majumdar
2012	B	`conf`	Efficient May Happen in Parallel Analysis for Async-Finish Parallelism. SAS Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong
2012	A*	`conf`	Engage: a deployment management system. PLDI Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali
2012	B	`conf`	Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. ATVA Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar
2012	J	`jnl`	Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games CoRR Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar
2012	J	`jnl`	Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461). Dagstuhl Reports Nikolaj S. Bjørner, Krishnendu Chatterjee, Laura Kovács, Rupak Majumdar
2012	Misc	`conf`	Input-output robustness for discrete systems. EMSOFT Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar
2012	B	`conf`	Language-Theoretic Abstraction Refinement. FASE Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer
2012	—	`ch.`	Lecture Notes on Software Model Checking. Software Safety and Security Rupak Majumdar
2012	A	`conf`	Scalable testing of file system checkers. EuroSys João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar
2012	J	`jnl`	Synthesis of Minimal Error Control Software CoRR Rupak Majumdar, Indranil Saha, Majid Zamani
2012	Misc	`conf`	Synthesis of minimal-error control software. EMSOFT Rupak Majumdar, Indranil Saha, Majid Zamani
2012	—	`conf`	The Marriage of Exploration and Deduction. VSTTE Rupak Majumdar
2012	Misc	`conf`	Trigger memoization in self-triggered control. EMSOFT Indranil Saha, Rupak Majumdar
2011	—	`conf`	A Lyapunov approach in incremental stability. CDC/ECC Majid Zamani, Rupak Majumdar
2011	J	`jnl`	A theory of robust software synthesis CoRR Rupak Majumdar, Elaine Render, Paulo Tabuada
2011	A*	`conf`	Bug-Assist: Assisting Fault Localization in ANSI-C Programs. CAV Manu Jose, Rupak Majumdar
2011	A*	`conf`	Cause clue clauses: error localization using maximum satisfiability. PLDI Manu Jose, Rupak Majumdar
2011	J	`jnl`	Coordinate-invariant incremental Lyapunov functions CoRR Majid Zamani, Rupak Majumdar
2011	—	`conf`	End-to-End Guarantees in Embedded Control Systems - (Abstract). Ershov Memorial Conference Rupak Majumdar
2011	A*	`conf`	HMC: Verifying Functional Programs Using Abstract Interpreters. CAV Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko
2011	—	`conf`	Minimum Attention Controller Synthesis for Omega-Regular Objectives. FORMATS Krishnendu Chatterjee, Rupak Majumdar
2011	Misc	`conf`	Performance-aware scheduler synthesis for control systems. EMSOFT Rupak Majumdar, Indranil Saha, Majid Zamani
2011	—	`conf`	Pessoa 2.0: a controller synthesis tool for cyber-physical systems. HSCC Pritam Roy, Paulo Tabuada, Rupak Majumdar
2011	—	`conf`	Robust discrete synthesis against unspecified disturbances. HSCC Rupak Majumdar, Elaine Render, Paulo Tabuada
2011	J	`jnl`	VCG with Communities on Random Ad Hoc Networks. Int. J. Distributed Sens. Networks Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson
2010	J	`jnl`	Algorithmic Verification of Asynchronous Programs CoRR Pierre Ganty, Rupak Majumdar
2010	J	`jnl`	Algorithms for Game Metrics (Full Version) Log. Methods Comput. Sci. Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
2010	Misc	`conf`	Automatic verification of control system implementations. EMSOFT Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada
2010	J	`jnl`	Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis. ACM Trans. Design Autom. Electr. Syst. Jason Cong, Bin Liu, Rupak Majumdar, Zhiru Zhang
2010	A*	`conf`	Bounded Underapproximations. CAV Pierre Ganty, Rupak Majumdar, Benjamin Monmege
2010	J	`jnl`	Cause Clue Clauses: Error Localization using Maximum Satisfiability CoRR Manu Jose, Rupak Majumdar
2010	—	`conf`	Discounting in Games across Time Scales GANDALF Krishnendu Chatterjee, Rupak Majumdar
2010	—	`conf`	Fault-tolerant resynthesis with dual-output LUTs. ASP-DAC Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He, Minming Li
2010	A	`conf`	On power and fault-tolerance optimization in FPGA physical synthesis. ICCAD Manu Jose, Yu Hu, Rupak Majumdar
2010	A*	`conf`	Parameterized verification of transactional memories. PLDI Michael Emmi, Rupak Majumdar, Roman Manevich
2010	J	`jnl`	Paul Ammann and Jeff Offutt Comput. J. Rupak Majumdar
2010	A	`conf`	RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications. DATE Samuel B. Luckenbill, Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He
2010	J	`jnl`	Refinement type inference via abstract interpretation CoRR Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko
2010	A*	`conf`	Rewiring for robustness. DAC Manu Jose, Yu Hu, Rupak Majumdar, Lei He
2010	J	`jnl`	Safety-Guarantee Controller Synthesis for Cyber-Physical Systems CoRR Pritam Roy, Paulo Tabuada, Rupak Majumdar
2010	B	`conf`	Shape Analysis with Reference Set Relations. VMCAI Mark Marron, Rupak Majumdar, Darko Stefanovic, Deepak Kapur
2010	C	`conf`	Systematic testing for control applications. MEMOCODE Rupak Majumdar, Indranil Saha, Zilong Wang
2010	A	`ed.`	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 TACAS Javier Esparza, Rupak Majumdar
2009	—	`conf`	Analyzing Real-Time Event-Driven Programs. FORMATS Pierre Ganty, Rupak Majumdar
2009	A	`conf`	Fine-Grained Access Control with Object-Sensitive Roles. ECOOP Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein
2009	A	`conf`	From Tests to Proofs. TACAS Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
2009	—	`ed.`	Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings HSCC Rupak Majumdar, Paulo Tabuada
2009	A	`conf`	IPR: In-Place Reconfiguration for FPGA fault tolerance. ICCAD Zhe Feng, Yu Hu, Lei He, Rupak Majumdar
2009	A*	`conf`	Reducing Test Inputs Using Information Partitions. CAV Rupak Majumdar, Ru-Gang Xu
2009	—	`conf`	Simultaneous test pattern compaction, ordering and X-filling for testing power reduction. ISQED Ju-Yueh Lee, Yu Hu, Rupak Majumdar, Lei He
2009	J	`jnl`	Software model checking. ACM Comput. Surv. Ranjit Jhala, Rupak Majumdar
2009	A	`conf`	Symbolic Robustness Analysis. RTSS Rupak Majumdar, Indranil Saha
2009	B	`conf`	Team Incentives in BitTorrent Systems. ICCCN Rafit Izhak-Ratzin, Nikitas Liogkas, Rupak Majumdar
2009	A	`conf`	Verifying Reference Counting Implementations. TACAS Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar
2009	A*	`conf`	Verifying liveness for asynchronous programs. POPL Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko
2008	A	`conf`	A Theory of Role Composition. ICWS Jeffrey Fischer, Rupak Majumdar
2008	—	`conf`	Algorithms for Game Metrics. FSTTCS Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
2008	A*	`conf`	CSIsat: Interpolation for LA+EUF. CAV Dirk Beyer, Damien Zufferey, Rupak Majumdar
2008	—	`conf`	Controller Synthesis with Budget Constraints. HSCC Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
2008	J	`jnl`	Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yu Hu, Victor Shih, Rupak Majumdar, Lei He
2008	A*	`conf`	FPGA area reduction by multi-output function based sequential resynthesis. DAC Yu Hu, Victor Shih, Rupak Majumdar, Lei He
2008	B	`conf`	Frugal Routing on Wireless Ad-Hoc Networks. SAGT Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson
2008	J	`jnl`	Game Refinement Relations and Metrics CoRR Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
2008	J	`jnl`	Game Refinement Relations and Metrics. Log. Methods Comput. Sci. Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
2008	—	`ed.`	Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings SPIN Klaus Havelund, Rupak Majumdar, Jens Palsberg
2008	J	`jnl`	Parikh-Equivalent Bounded Underapproximations CoRR Pierre Ganty, Rupak Majumdar, Benjamin Monmege
2008	A*	`conf`	Proving non-termination. POPL Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu
2008	A	`conf`	Robust FPGA resynthesis based on fault-tolerant Boolean matching. ICCAD Yu Hu, Zhe Feng, Lei He, Rupak Majumdar
2008	J	`jnl`	Stochastic Limit-Average Games are in EXPTIME CoRR Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
2008	J	`jnl`	Stochastic limit-average games are in EXPTIME. Int. J. Game Theory Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
2008	A	`conf`	Testing for buffer overflows with length abstraction. ISSTA Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar
2008	J	`jnl`	The Complexity of Coverage CoRR Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
2008	B	`conf`	The Complexity of Coverage. APLAS Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
2008	A*	`conf`	The Consistency of Web Conversations. ASE Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino
2007	A*	`conf`	Directed test generation using symbolic grammars. ASE Rupak Majumdar, Ru-Gang Xu
2007	—	`conf`	Directed test generation using symbolic grammars. ESEC/SIGSOFT FSE Rupak Majumdar, Ru-Gang Xu
2007	A	`conf`	Dynamic test input generation for database applications. ISSTA Michael Emmi, Rupak Majumdar, Koushik Sen
2007	A*	`conf`	Ensuring consistency in long running transactions. ASE Jeffrey Fischer, Rupak Majumdar
2007	A	`conf`	Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping. ICCAD Yu Hu, Victor Shih, Rupak Majumdar, Lei He
2007	A*	`conf`	Game Relations and Metrics. LICS Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
2007	A*	`conf`	Hybrid Concolic Testing. ICSE Rupak Majumdar, Koushik Sen
2007	A*	`conf`	Interprocedural analysis of asynchronous programs. POPL Ranjit Jhala, Rupak Majumdar
2007	B	`conf`	Invariant Synthesis for Combined Theories. VMCAI Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
2007	A*	`conf`	Lock allocation. POPL Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar
2007	A*	`conf`	Path invariants. PLDI Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
2007	A	`conf`	State of the Union: Type Inference Via Craig Interpolation. TACAS Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
2007	C	`conf`	Tasks: language support for event-driven programming. PEPM Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein
2007	J	`jnl`	The software model checker Blast. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2007	B	`conf`	Verifying Compensating Transactions. VMCAI Michael Emmi, Rupak Majumdar
2006	—	`conf`	Bit level types for high level reasoning. SIGSOFT FSE Ranjit Jhala, Rupak Majumdar
2006	—	`conf`	Compositional Quantitative Reasoning. QEST Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2006	—	`conf`	Decision Problems for the Verification of Real-Time Software. HSCC Michael Emmi, Rupak Majumdar
2006	—	`conf`	Interpolation for data structures. SIGSOFT FSE Deepak Kapur, Rupak Majumdar, Calogero G. Zarba
2006	A	`conf`	Markov Decision Processes with Multiple Objectives. STACS Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
2006	J	`jnl`	On the universal and existential fragments of the Theor. Comput. Sci. Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
2006	B	`conf`	Structural Invariants. SAS Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
2005	J	`jnl`	A classification of symbolic transition systems. ACM Trans. Comput. Log. Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin
2005	B	`conf`	Checking Memory Safety with Blast. FASE Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2005	Misc	`conf`	Code aware resource management. EMSOFT Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar
2005	A	`conf`	Counterexample-guided Planning. UAI Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2005	—	`conf`	Joining dataflow with predicates. ESEC/SIGSOFT FSE Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar
2005	J	`jnl`	Model checking discounted temporal properties. Theor. Comput. Sci. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2005	A*	`conf`	Path slicing. PLDI Ranjit Jhala, Rupak Majumdar
2005	—	`conf`	Permissive interfaces. ESEC/SIGSOFT FSE Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2005	—	`conf`	Quantifying Similarities Between Timed Systems. FORMATS Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu
2005	—	`conf`	The BLAST Software Verification System. SPIN Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2005	—	`conf`	Verifying Quantitative Properties Using Bound Functions. CHARME Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
2004	A*	`conf`	Abstractions from proofs. POPL Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan
2004	—	`conf`	An Eclipse Plug-in for Model Checking. IWPC Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2004	J	`jnl`	Fair watermarking using combinatorial isolation lemmas. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jennifer L. Wong, Rupak Majumdar, Miodrag Potkonjak
2004	A*	`conf`	Generating Tests from Counterexamples. ICSE Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2004	C	`conf`	Invited talk: the blast query language for software verification. PEPM Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2004	C	`conf`	Invited talk: the blast query language for software verification. PPDP Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2004	A	`conf`	Model Checking Discounted Temporal Properties. TACAS Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2004	B	`conf`	On Nash Equilibria in Stochastic Games. CSL Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski
2004	J	`jnl`	Quantitative solution of omega-regular games. J. Comput. Syst. Sci. Luca de Alfaro, Rupak Majumdar
2004	A*	`conf`	Race checking by context inference. PLDI Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2004	J	`jnl`	Stack size analysis for interrupt-driven programs. Inf. Comput. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
2004	B	`conf`	The Blast Query Language for Software Verification.. SAS Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2003	A*	`conf`	Counterexample-Guided Control. ICALP Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
2003	A*	`conf`	Discounting the Future in Systems Theory. ICALP Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
2003	—	`conf`	Extreme Model Checking. Verification: Theory and Practice Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido
2003	A	`conf`	On the Universal and Existential Fragments of the µ-Calculus. TACAS Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
2003	—	`conf`	Software Verification with BLAST. SPIN Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
2003	B	`conf`	Stack Size Analysis for Interrupt-Driven Programs. SAS Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
2003	B	`conf`	The Element of Surprise in Timed Games. CONCUR Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2003	A*	`conf`	Thread-Modular Abstraction Refinement. CAV Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
2002	A*	`conf`	Lazy abstraction. POPL Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
2002	A*	`conf`	Temporal-Safety Proofs for Systems Code. CAV Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
2002	Misc	`conf`	Time-Safety Checking for Embedded Programs. EMSOFT Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic
2001	J	`jnl`	A Classification of Symbolic Transition Systems CoRR Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin
2001	A*	`conf`	Automatic Predicate Abstraction of C Programs. PLDI Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
2001	A*	`conf`	From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
2001	A*	`conf`	JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang
2001	A*	`conf`	Quantitative solution of omega-regular games. STOC Luca de Alfaro, Rupak Majumdar
2001	B	`conf`	Symbolic Algorithms for Infinite-State Games. CONCUR Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
2001	A*	`conf`	Watermarking of SAT using Combinatorial Isolation Lemmas. DAC Rupak Majumdar, Jennifer L. Wong
2000	A	`conf`	A Classification of Symbolic Transition Systems. STACS Thomas A. Henzinger, Rupak Majumdar
2000	B	`conf`	Abstract Interpretation of Game Properties. SAS Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin
2000	—	`conf`	Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi
2000	A	`conf`	Symbolic Model Checking for Rectangular Hybrid Systems. TACAS Thomas A. Henzinger, Rupak Majumdar
1999	B	`conf`	Rectangular Hybrid Games. CONCUR Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar
1996	—	`conf`	Design of Controllers for Linear Hybrid Systems. ASIAN Rupak Majumdar, R. K. Shyamasundar