Stop the war!Остановите войну!
for scientists:
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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j59]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)- [j58]Rupak Majumdar, Anne-Kathrin Schmuck:
Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game. IEEE Trans. Autom. Control. 68(1): 385-392 (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) - [c229]Debmalya Mandal, Goran Radanovic, Jiarui Gan, Adish Singla, Rupak Majumdar:
Online Reinforcement Learning with Uncertain Episode Lengths. AAAI 2023: 9064-9071 - [c228]Jiarui Gan, Annika Hennes, Rupak Majumdar, Debmalya Mandal, Goran Radanovic:
Markov Decision Processes with Time-Varying Geometric Discounting. AAAI 2023: 11980-11988 - [c227]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 - [c226]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 - [c225]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 - [c224]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 - [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 - [i87]Debmalya Mandal, Goran Radanovic, Jiarui Gan, Adish Singla, Rupak Majumdar:
Online Reinforcement Learning with Uncertain Episode Lengths. CoRR abs/2302.03608 (2023) - [i86]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) - [i85]Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar:
Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CoRR abs/2305.11813 (2023) - [i84]Jiarui Gan, Rupak Majumdar, Debmalya Mandal, Goran Radanovic:
Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning. CoRR abs/2306.03832 (2023) - [i83]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) - [i82]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) - [i81]Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani:
Neural Abstraction-Based Controller Synthesis and Deployment. CoRR abs/2307.03783 (2023) - [i80]Jiarui Gan, Annika Hennes, Rupak Majumdar, Debmalya Mandal, Goran Radanovic:
Markov Decision Processes with Time-Varying Geometric Discounting. CoRR abs/2307.10491 (2023) - [i79]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) - 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) - [c220]Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla:
Bayesian Persuasion in Sequential Decision-Making. AAAI 2022: 5025-5033 - [c219]Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla:
Sequential Decision Making With Information Asymmetry (Invited Talk). CONCUR 2022: 4:1-4:18 - [c218]Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche:
Reachability in Bidirected Pushdown VASS. ICALP 2022: 124:1-124:20 - [c217]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) 2022: 41-42 - [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 - [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] - [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
- [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) - [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 - [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] - [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
- [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) - [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 - [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)
2010 – 2019
- 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) - [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 - [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
- [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) - [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 - [p3]