☰

Rupak Majumdar - Publications

Affiliations: 
Computer Science University of California, Los Angeles, Los Angeles, CA 
Area:
formal verification and control of systems; software verification and programming languages; game theoretic problems in verification; logic and automata theory
Tree Info Similar researchers PubMed Report error

42 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Schmuck A, Moor T, Majumdar R. On the relation between reactive synthesis and supervisory control of non-terminating processes Discrete Event Dynamic Systems. 30: 81-124. DOI: 10.1007/S10626-019-00299-5  0.376
2019 Farahani SS, Majumdar R, Prabhu VS, Soudjani S. Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances Ieee Transactions On Automatic Control. 64: 3324-3331. DOI: 10.1109/Tac.2018.2880651  0.37
2019 Mallik K, Schmuck A, Soudjani S, Majumdar R. Compositional Synthesis of Finite-State Abstractions Ieee Transactions On Automatic Control. 64: 2629-2636. DOI: 10.1109/Tac.2018.2869740  0.368
2018 Farahani SS, Soudjani SEZ, Majumdar R, Ocampo-Martinez C. Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study Journal of Process Control. 69: 179-191. DOI: 10.1016/J.Jprocont.2018.05.011  0.394
2018 Soudjani S, Majumdar R. Concentration of Measure for Chance-Constrained Optimization Ifac-Papersonline. 51: 277-282. DOI: 10.1016/J.Ifacol.2018.08.047  0.3
2018 Schmuck A, Moor T, Majumdar R. On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours Ifac-Papersonline. 51: 31-38. DOI: 10.1016/J.Ifacol.2018.06.275  0.353
2018 Dimitrova R, Majumdar R. Reachability analysis of reversal-bounded automata on series–parallel graphs Acta Informatica. 55: 100-114. DOI: 10.1007/S00236-016-0290-1  0.338
2017 Deshmukh J, Horvat M, Jin X, Majumdar R, Prabhu VS. Testing Cyber-Physical Systems through Bayesian Optimization Acm Transactions in Embedded Computing Systems. 16: 170. DOI: 10.1145/3126521  0.33
2017 Gavran I, Majumdar R, Saha I. Antlab: A Multi-Robot Task Server Acm Transactions in Embedded Computing Systems. 16: 190. DOI: 10.1145/3126513  0.488
2017 Farahani SS, Soudjani SEZ, Majumdar R, Ocampo-Martinez C. Robust model predictive control with signal temporal logic constraints for Barcelona wastewater system Ifac-Papersonline. 50: 6594-6600. DOI: 10.1016/J.Ifacol.2017.08.618  0.369
2017 Schmuck A, Majumdar R, Leva A. Dynamic hierarchical reactive controller synthesis Discrete Event Dynamic Systems. 27: 261-299. DOI: 10.1007/S10626-017-0239-8  0.374
2017 Soudjani SEZ, Abate A, Majumdar R. Dynamic Bayesian networks for formal verification of structured stochastic processes Acta Informatica. 54: 217-242. DOI: 10.1007/S00236-016-0287-9  0.348
2015 Saha I, Baruah S, Majumdar R. Dynamic scheduling for networked control systems Proceedings of the 18th International Conference On Hybrid Systems: Computation and Control, Hscc 2015. 98-107. DOI: 10.1145/2728606.2728636  0.482
2015 Zamani M, Esfahani PM, Majumdar R, Abate A, Lygeros J. Symbolic control of stochastic systems via approximately bisimilar finite abstractions Ieee Transactions On Automatic Control. 59: 3135-3150. DOI: 10.1109/Tac.2014.2351652  0.376
2015 Tabuada P, Caliskan SY, Rungger M, Majumdar R. Towards robustness for cyber-physical systems Ieee Transactions On Automatic Control. 59: 3151-3163. DOI: 10.1109/Tac.2014.2351632  0.389
2015 Chistikov D, Dimitrova R, Majumdar R. Approximate counting in SMT and value estimation for probabilistic programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9035: 320-334. DOI: 10.1007/S00236-017-0297-2  0.359
2015 Esparza J, Ganty P, Leroux J, Majumdar R. Verification of population protocols Leibniz International Proceedings in Informatics, Lipics. 42: 470-482. DOI: 10.1007/S00236-016-0272-3  0.321
2013 Esparza J, Ganty P, Majumdar R. Parameterized verification of asynchronous shared-memory systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8044: 124-140. DOI: 10.1145/2842603  0.305
2013 Majumdar R, Render E, Tabuada P. A theory of robust omega-regular software synthesis Transactions On Embedded Computing Systems. 13. DOI: 10.1145/2539036.2539044  0.407
2013 Chatterjee K, Alfaro LD, Majumdar R. The complexity of coverage International Journal of Foundations of Computer Science. 24: 165-185. DOI: 10.1142/S0129054113400066  0.344
2013 Darulova E, Kuncak V, Majumdar R, Saha I. Synthesis of fixed-point programs 2013 Proceedings of the International Conference On Embedded Software, Emsoft 2013. DOI: 10.1109/EMSOFT.2013.6658600  0.491
2013 Majumdar R, Saha I, Ueda K, Yazarel H. Compositional equivalence checking for models and code of control systems Proceedings of the Ieee Conference On Decision and Control. 1564-1571. DOI: 10.1109/CDC.2013.6760105  0.465
2013 Zamani M, Van De Wouw N, Majumdar R. Backstepping controller synthesis and characterizations of incremental stability Systems and Control Letters. 62: 949-962. DOI: 10.1016/J.Sysconle.2013.07.002  0.373
2013 Gupta AK, Majumdar R, Rybalchenko A. From tests to proofs International Journal On Software Tools For Technology Transfer. 15: 291-303. DOI: 10.1007/S10009-012-0267-5  0.344
2012 Majumdar R, Saha I, Zamani M. Synthesis of minimal-error control software Emsoft'12 - Proceedings of the 10th Acm International Conference On Embedded Software 2012, Co-Located With Esweek. 123-132. DOI: 10.1145/2380356.2380380  0.536
2012 Saha I, Majumdar R. Trigger memoization in self-triggered control Emsoft'12 - Proceedings of the 10th Acm International Conference On Embedded Software 2012, Co-Located With Esweek. 103-112. DOI: 10.1145/2380356.2380378  0.488
2012 Ganty P, Majumdar R. Algorithmic verification of asynchronous programs Acm Transactions On Programming Languages and Systems. 34. DOI: 10.1145/2160910.2160915  0.33
2012 Majumdar R, Saha I, Shashidhar KC, Wang Z. CLSE: Closed-loop symbolic execution Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7226: 356-370. DOI: 10.1007/978-3-642-28891-3_33  0.503
2011 Ercal G, Izhak-Ratzin R, Majumdar R, Meyerson A. VCG with communities on random Ad hoc networks International Journal of Distributed Sensor Networks. 2011. DOI: 10.1155/2011/895398  0.666
2011 Majumdar R, Saha I, Zamani M. Performance-aware scheduler synthesis for control systems Embedded Systems Week 2011, Esweek 2011 - Proceedings of the 9th Acm International Conference On Embedded Software, Emsoft'11. 299-308. DOI: 10.1145/2038642.2038689  0.531
2010 Chatterjee K, de Alfaro L, Majumdar R, Raman V. Algorithms for game metrics Logical Methods in Computer Science. 6: 1-27. DOI: 10.2168/Lmcs-6(3:13)2010  0.32
2010 Anta A, Majumdar R, Saha I, Tabuada P. Automatic verification of control system implementations Embedded Systems Week 2010 - Proceedings of the 10th Acm International Conference On Compilers, Architecture and Synthesis For Embedded Systems, Emsoft'10. 9-18. DOI: 10.1145/1879021.1879024  0.539
2010 Cong J, Liu B, Majumdar R, Zhang Z. Behavior-level observability analysis for operation gating in low-power behavioral synthesis Acm Transactions On Design Automation of Electronic Systems. 16. DOI: 10.1145/1870109.1870113  0.318
2010 Majumdar R, Saha I, Wang Z. Systematic testing for control applications 8th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2010. 1-10. DOI: 10.1109/MEMCOD.2010.5558629  0.529
2009 Majumdar R, Saha I. Symbolic robustness analysis Proceedings - Real-Time Systems Symposium. 355-363. DOI: 10.1109/RTSS.2009.17  0.438
2009 Izhak-Ratzin R, Liogkas N, Majumdar R. Team incentives in bittorrent systems Proceedings - International Conference On Computer Communications and Networks, Icccn. DOI: 10.1109/ICCCN.2009.5235266  0.683
2008 Hu Y, Shih V, Majumdar R, He L. Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 1751-1760. DOI: 10.1109/Tcad.2008.2003272  0.32
2007 Beyer D, Henzinger TA, Jhala R, Majumdar R. The software model checker Blast: Applications to software engineering International Journal On Software Tools For Technology Transfer. 9: 505-525. DOI: 10.1007/S10009-007-0044-Z  0.321
2005 Henzinger TA, Majumdar R, Raskin J. A classification of symbolic transition systems Acm Transactions On Computational Logic. 6: 1-32. DOI: 10.1145/1042038.1042039  0.317
2005 Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. Verifying quantitative properties using bound functions Lecture Notes in Computer Science. 50-64. DOI: 10.1007/11560548_7  0.347
2004 Alfaro Ld, Majumdar R. Quantitative solution of omega-regular games Journal of Computer and System Sciences. 68: 374-397. DOI: 10.1016/J.Jcss.2003.07.009  0.3
2003 Henzinger TA, Jhala R, Majumdar R, Sanvido MAA. Extreme Model Checking Lecture Notes in Computer Science. 332-358. DOI: 10.1007/978-3-540-39910-0_16  0.34
Show low-probability matches.