Edit Profile (opens in new tab) Majumdar, Rupak Compute Distance To: Compute Author ID: majumdar.rupak Published as: Majumdar, Rupak External Links: MGP Documents Indexed: 113 Publications since 1998 7 Contributions as Editor Co-Authors: 105 Co-Authors with 119 Joint Publications 2,030 Co-Co-Authors all top 5 Co-Authors 0 single-authored 31 Henzinger, Thomas A. 16 Chatterjee, Krishnendu 12 de Alfaro, Luca 12 Ganty, Pierre 12 Jhala, Ranjit 10 Esparza, Javier 7 Dimitrova, Rayna 7 Prabhu, Vinayak S. 6 Esmaeil Zadeh Soudjani, Sadegh 6 Schmuck, Anne-Kathrin 5 Chistikov, Dmitry V. 4 Abate, Alessandro 4 Emmi, Michael 4 Faella, Marco 4 Mallik, Kaushik 4 Raman, Vishwanath 4 Stoelinga, Mariëlle 3 Kupferman, Orna 3 Leroux, Jérôme 3 Meyer, Roland 3 Niksic, Filip 3 Palsberg, Jens 3 Raskin, Jean-François 3 Rybalchenko, Andrey 3 Soudjani, Sadegh 3 Sutre, Grégoire 3 Tabuada, Paulo 3 Xu, Ru-Gang 2 Beyer, Dirk 2 Deshmukh, Jyotirmoy V. 2 Durand-Gasselin, Antoine 2 Gavran, Ivan 2 Horowitz, Benjamin 2 Hsu, Kyle 2 Hüchting, Reiner 2 Kuncak, Viktor 2 Lin, Anthony Widjaja 2 Ma, Di 2 Thinniyam, Ramanathan S. 2 Zamani, Majid 2 Zetzsche, Georg 2 Zhao, Tian 1 Baran, Asit 1 Bartocci, Ezio 1 Baruah, Sanjoy K. 1 Bodik, Rastislav 1 Brandenburg, Björn B. 1 Calin, Georgel 1 Caliskan, Sina Yamac 1 Chakrabarti, Arindam 1 Chlipala, Adam J. 1 Chmelík, Martin 1 Deininger, David 1 Derevenetc, Egor 1 Ercal, Gunes 1 Farahani, Samira S. 1 Ferrer Fioriti, Luis María 1 Fischer, Jeffrey M. 1 Gligorić, Miloš V. 1 Gujarati, Arpan 1 Gupta, Ashutosh 1 Havelund, Klaus 1 Hermanns, Holger 1 Hoenicke, Jochen 1 Ibsen-Jensen, Rasmus 1 Izhak-Ratzin, Rafit 1 Jurdziński, Marcin 1 Kanade, Aditya 1 Kapur, Deepak 1 Kirsch, Christoph M. 1 Kohler, Eddie 1 Ledesma Garza, Ruslán 1 Lengál, Ondřej 1 Leva, Adrian 1 Lygeros, John 1 Mang, Freddy Y. C. 1 Marron, Mark 1 Matic, Slobodan 1 McMillan, Kenneth L. 1 Meyer, Philipp J. 1 Meyerson, Adam 1 Mohajerin Esfahani, Peyman 1 Monmege, Benjamin 1 Moor, Thomas 1 Nagapetyan, Tigran 1 Nasri, Mitra 1 Necula, George C. 1 Ouaknine, Joel O. 1 Ozay, Necmiye 1 Podelski, Andreas 1 Pouly, Amaury 1 Qadeer, Shaz 1 Render, Elaine 1 Rosa-Velardo, Fernando 1 Rümmer, Philipp 1 Rungger, Matthias 1 Saha, Indranil 1 Sanvido, Marco A. A. 1 Stefanovic, Darko 1 Vafeiadis, Viktor ...and 6 more Co-Authors all top 5 Serials 5 Formal Methods in System Design 5 Lecture Notes in Computer Science 4 Acta Informatica 4 IEEE Transactions on Automatic Control 4 Logical Methods in Computer Science 2 Theoretical Computer Science 2 International Journal of Foundations of Computer Science 2 Discrete Event Dynamic Systems 1 International Journal of Game Theory 1 Journal of Computer and System Sciences 1 The Journal of the Indian Academy of Mathematics 1 Systems & Control Letters 1 Information and Computation 1 Journal of the ACM 1 ACM Transactions on Computational Logic all top 5 Fields 104 Computer science (68-XX) 23 Systems theory; control (93-XX) 19 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 12 Mathematical logic and foundations (03-XX) 7 General and overarching topics; collections (00-XX) 4 Operations research, mathematical programming (90-XX) 3 Probability theory and stochastic processes (60-XX) 1 Special functions (33-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 93 Publications have been cited 684 times in 529 Documents Cited by ▼ Year ▼ Lazy abstraction. Zbl 1323.68374Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 65 2002 Abstractions from proofs. Zbl 1325.68147Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L. 56 2004 Discounting the future in systems theory. Zbl 1039.68087de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak 30 2003 On Nash equilibria in stochastic games. Zbl 1095.91001Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin 28 2004 Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John 22 2014 Model checking discounted temporal properties. Zbl 1079.68062de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 21 2005 The element of surprise in timed games. Zbl 1262.68141de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 18 2003 Game refinement relations and metrics. Zbl 1147.68056de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle 18 2008 Markov decision processes with multiple objectives. Zbl 1136.90498Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 17 2006 Invariant synthesis for combined theories. Zbl 1132.68333Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 17 2007 Proving non-termination. Zbl 1295.68158Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang 15 2008 Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard 15 2000 Symbolic algorithms for infinite-state games. Zbl 1006.68095de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak 14 2001 Quantifying similarities between timed systems. Zbl 1175.68281Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S. 14 2005 Software verification with BLAST. Zbl 1023.68532Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 13 2003 Rectangular hybrid games. Zbl 0937.91005Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak 13 1999 Thread-modular abstraction refinement. Zbl 1278.68175Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz 13 2003 Verification of population protocols. Zbl 1364.68081Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 12 2017 Compositional synthesis of finite-state abstractions. Zbl 1482.93263Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak 11 2019 Quantitative solution of omega-regular games. Zbl 1093.91001de Alfaro, Luca; Majumdar, Rupak 11 2004 A classification of symbolic transition systems. Zbl 1367.68193Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François 11 2005 Stochastic limit-average games are in EXPTIME. Zbl 1154.91004Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 11 2008 The Blast query language for software verification. Zbl 1104.68408Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 10 2004 Temporal-safety proofs for systems code. Zbl 1010.68507Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley 10 2002 Towards robustness for cyber-physical systems. Zbl 1360.93524Tabuada, Paulo; Caliskan, Sina Yamac; Rungger, Matthias; Majumdar, Rupak 9 2014 A perfect model for bounded verification. Zbl 1362.68168Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 9 2012 Interprocedural analysis of asynchronous programs. Zbl 1295.68086Jhala, Ranjit; Majumdar, Rupak 8 2007 Abstract interpretation of game properties. Zbl 0966.68150Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François 7 2000 Counterexample-guided control. Zbl 1039.68555Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 7 2003 Decision problems for the verification of real-time software. Zbl 1178.68340Emmi, Michael; Majumdar, Rupak 7 2006 Code aware resource management. Zbl 1291.68137Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath 7 2013 Verification of population protocols. Zbl 1374.68326Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 6 2015 Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 6 2017 Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 5 2016 Model checking population protocols. Zbl 1391.68078Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 5 2016 Quantitative solution of \(\omega\)-regular games. Zbl 1323.68417de Alfaro, Luca; Majumdar, Rupak 5 2001 Bounds on mobility. Zbl 1417.68132Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland 5 2014 Verifying quantitative properties using bound functions. Zbl 1159.68313Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak 5 2005 A theory of name boundedness. Zbl 1390.68474Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland 5 2013 Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances. Zbl 1482.93346Farahani, Samira S.; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh 4 2019 Verifying liveness for asynchronous programs. Zbl 1315.68064Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey 4 2009 Multi-layered abstraction-based controller synthesis for continuous-time systems. Zbl 1417.93061Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin 4 2018 Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas 4 2017 Algorithms for game metrics. Zbl 1214.68245Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath 4 2010 State of the union: Type inference via Craig interpolation. Zbl 1186.68114Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang 4 2007 Controller synthesis with budget constraints. Zbl 1144.93312Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 4 2008 Quantifying conformance using the Skorokhod metric. Zbl 1360.68629Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. 4 2017 Robust discrete synthesis against unspecified disturbances. Zbl 1362.68175Majumdar, Rupak; Render, Elaine; Tabuada, Paulo 4 2011 Backstepping controller synthesis and characterizations of incremental stability. Zbl 1281.93088Zamani, Majid; van de Wouw, Nathan; Majumdar, Rupak 4 2013 Fair termination for parameterized probabilistic concurrent systems. Zbl 1452.68127Lengál, Ondřej; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp 3 2017 Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak 3 2015 Stack size analysis for interrupt-driven programs. Zbl 1067.68539Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 3 2003 A classification of symbolic transition systems. Zbl 0959.68093Henzinger, Thomas A.; Majumdar, Rupak 3 2000 Symbolic model checking for rectangular hybrid systems. Zbl 0960.68117Henzinger, Thomas A.; Majumdar, Rupak 3 2000 Extreme model checking. Zbl 1274.68190Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A. 3 2003 On the universal and existential fragments of the \(\mu\)-calculus. Zbl 1088.68106Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak 3 2006 Model checking discounted temporal properties. Zbl 1126.68465Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 3 2004 Analyzing real-time event-driven programs. Zbl 1262.68038Ganty, Pierre; Majumdar, Rupak 3 2009 Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak 3 2017 Unary pushdown automata and straight-line programs. Zbl 1409.68156Chistikov, Dmitry; Majumdar, Rupak 3 2014 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 3 2015 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 2 2017 Quantifying conformance using the Skorokhod metric. Zbl 1381.68156Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. 2 2015 Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 2 2015 Controller synthesis for reward collecting Markov processes in continuous space. Zbl 1369.93715Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak 2 2017 An SMT-based approach to coverability analysis. Zbl 1487.68156Esparza, Javier; Ledesma-Garza, Ruslán; Majumdar, Rupak; Meyer, Philipp; Niksic, Filip 2 2014 Algorithms for game metrics. Zbl 1248.68349Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath 2 2008 Stack size analysis for interrupt-driven programs. Zbl 1090.68024Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 2 2004 Bounded underapproximations. Zbl 1247.68140Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin 2 2012 Minimum attention controller synthesis for omega-regular objectives. Zbl 1348.68096Chatterjee, Krishnendu; Majumdar, Rupak 2 2011 Model checking database applications. Zbl 1381.68163Gligoric, Milos; Majumdar, Rupak 2 2013 A uniformization theorem for nested word to word transductions. Zbl 1298.68128Chistikov, Dmitry; Majumdar, Rupak 2 2013 Verifying reference counting implementations. Zbl 1234.68254Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak 2 2009 Dynamic scheduling for networked control systems. Zbl 1364.68124Saha, Indranil; Baruah, Sanjoy; Majumdar, Rupak 2 2015 Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245Majumdar, Rupak; Prabhu, Vinayak S. 2 2015 Symbolic controller synthesis for Büchi specifications on stochastic systems. Zbl 07300855Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh 2 2020 Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility. Zbl 07471664Lin, Anthony W.; Majumdar, Rupak 2 2021 Symbolic model checking for factored probabilistic models. Zbl 1398.68338Deininger, David; Dimitrova, Rayna; Majumdar, Rupak 1 2016 General decidability results for asynchronous shared-memory programs: higher-order and beyond. Zbl 1467.68040Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg 1 2021 Verification of immediate observation population protocols. Zbl 07378575Esparza, Javier; Ganty, Pierre; Majumdar, Rupak; Weil-Kennedy, Chana 1 2018 Symbolic model checking in non-Boolean domains. Zbl 1392.68259Majumdar, Rupak; Raskin, Jean-François 1 2018 Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385Dimitrova, Rayna; Majumdar, Rupak 1 2018 Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando 1 2015 On the relation between reactive synthesis and supervisory control of non-terminating processes. Zbl 1441.93173Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak 1 2020 Rely/guarantee reasoning for asynchronous programs. Zbl 1374.68104Gavran, Ivan; Niksic, Filip; Kanade, Aditya; Majumdar, Rupak; Vafeiadis, Viktor 1 2015 Time-safety checking for embedded programs. Zbl 1027.68827Henzinger, Thomas A.; Kirsch, Christoph M.; Majumdar, Rupak; Matic, Slobodan 1 2002 Extension of bilateral generating functions. I. Zbl 0928.33004Baran, Asit; Majumdar 1 1998 The complexity of coverage. Zbl 1286.68310Chatterjee, Krishnendu; De Alfaro, Luca; Majumdar, Rupak 1 2013 Expand, enlarge, and check for branching vector addition systems. Zbl 1390.68481Majumdar, Rupak; Wang, Zilong 1 2013 Hybrid systems: computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Zbl 1161.93001 1 2009 Frugal routing on wireless ad-hoc networks. Zbl 1136.68324Ercal, Gunes; Izhak-Ratzin, Rafit; Majumdar, Rupak; Meyerson, Adam 1 2008 Edit distance for timed automata. Zbl 1360.68544Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak 1 2014 Multilevel Monte Carlo method for statistical model checking of hybrid systems. Zbl 1420.68126Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Nagapetyan, Tigran 1 2017 Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility. Zbl 07471664Lin, Anthony W.; Majumdar, Rupak 2 2021 General decidability results for asynchronous shared-memory programs: higher-order and beyond. Zbl 1467.68040Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg 1 2021 Symbolic controller synthesis for Büchi specifications on stochastic systems. Zbl 07300855Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh 2 2020 On the relation between reactive synthesis and supervisory control of non-terminating processes. Zbl 1441.93173Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak 1 2020 Compositional synthesis of finite-state abstractions. Zbl 1482.93263Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak 11 2019 Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances. Zbl 1482.93346Farahani, Samira S.; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh 4 2019 Multi-layered abstraction-based controller synthesis for continuous-time systems. Zbl 1417.93061Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin 4 2018 Verification of immediate observation population protocols. Zbl 07378575Esparza, Javier; Ganty, Pierre; Majumdar, Rupak; Weil-Kennedy, Chana 1 2018 Symbolic model checking in non-Boolean domains. Zbl 1392.68259Majumdar, Rupak; Raskin, Jean-François 1 2018 Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385Dimitrova, Rayna; Majumdar, Rupak 1 2018 Verification of population protocols. Zbl 1364.68081Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 12 2017 Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 6 2017 Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas 4 2017 Quantifying conformance using the Skorokhod metric. Zbl 1360.68629Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. 4 2017 Fair termination for parameterized probabilistic concurrent systems. Zbl 1452.68127Lengál, Ondřej; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp 3 2017 Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak 3 2017 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 2 2017 Controller synthesis for reward collecting Markov processes in continuous space. Zbl 1369.93715Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak 2 2017 Multilevel Monte Carlo method for statistical model checking of hybrid systems. Zbl 1420.68126Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Nagapetyan, Tigran 1 2017 Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 5 2016 Model checking population protocols. Zbl 1391.68078Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 5 2016 Symbolic model checking for factored probabilistic models. Zbl 1398.68338Deininger, David; Dimitrova, Rayna; Majumdar, Rupak 1 2016 Verification of population protocols. Zbl 1374.68326Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 6 2015 Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak 3 2015 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 3 2015 Quantifying conformance using the Skorokhod metric. Zbl 1381.68156Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. 2 2015 Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 2 2015 Dynamic scheduling for networked control systems. Zbl 1364.68124Saha, Indranil; Baruah, Sanjoy; Majumdar, Rupak 2 2015 Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245Majumdar, Rupak; Prabhu, Vinayak S. 2 2015 Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando 1 2015 Rely/guarantee reasoning for asynchronous programs. Zbl 1374.68104Gavran, Ivan; Niksic, Filip; Kanade, Aditya; Majumdar, Rupak; Vafeiadis, Viktor 1 2015 Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John 22 2014 Towards robustness for cyber-physical systems. Zbl 1360.93524Tabuada, Paulo; Caliskan, Sina Yamac; Rungger, Matthias; Majumdar, Rupak 9 2014 Bounds on mobility. Zbl 1417.68132Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland 5 2014 Unary pushdown automata and straight-line programs. Zbl 1409.68156Chistikov, Dmitry; Majumdar, Rupak 3 2014 An SMT-based approach to coverability analysis. Zbl 1487.68156Esparza, Javier; Ledesma-Garza, Ruslán; Majumdar, Rupak; Meyer, Philipp; Niksic, Filip 2 2014 Edit distance for timed automata. Zbl 1360.68544Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak 1 2014 Code aware resource management. Zbl 1291.68137Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath 7 2013 A theory of name boundedness. Zbl 1390.68474Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland 5 2013 Backstepping controller synthesis and characterizations of incremental stability. Zbl 1281.93088Zamani, Majid; van de Wouw, Nathan; Majumdar, Rupak 4 2013 Model checking database applications. Zbl 1381.68163Gligoric, Milos; Majumdar, Rupak 2 2013 A uniformization theorem for nested word to word transductions. Zbl 1298.68128Chistikov, Dmitry; Majumdar, Rupak 2 2013 The complexity of coverage. Zbl 1286.68310Chatterjee, Krishnendu; De Alfaro, Luca; Majumdar, Rupak 1 2013 Expand, enlarge, and check for branching vector addition systems. Zbl 1390.68481Majumdar, Rupak; Wang, Zilong 1 2013 A perfect model for bounded verification. Zbl 1362.68168Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 9 2012 Bounded underapproximations. Zbl 1247.68140Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin 2 2012 Robust discrete synthesis against unspecified disturbances. Zbl 1362.68175Majumdar, Rupak; Render, Elaine; Tabuada, Paulo 4 2011 Minimum attention controller synthesis for omega-regular objectives. Zbl 1348.68096Chatterjee, Krishnendu; Majumdar, Rupak 2 2011 Algorithms for game metrics. Zbl 1214.68245Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath 4 2010 Verifying liveness for asynchronous programs. Zbl 1315.68064Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey 4 2009 Analyzing real-time event-driven programs. Zbl 1262.68038Ganty, Pierre; Majumdar, Rupak 3 2009 Verifying reference counting implementations. Zbl 1234.68254Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak 2 2009 Hybrid systems: computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Zbl 1161.93001 1 2009 Game refinement relations and metrics. Zbl 1147.68056de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle 18 2008 Proving non-termination. Zbl 1295.68158Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang 15 2008 Stochastic limit-average games are in EXPTIME. Zbl 1154.91004Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 11 2008 Controller synthesis with budget constraints. Zbl 1144.93312Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 4 2008 Algorithms for game metrics. Zbl 1248.68349Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath 2 2008 Frugal routing on wireless ad-hoc networks. Zbl 1136.68324Ercal, Gunes; Izhak-Ratzin, Rafit; Majumdar, Rupak; Meyerson, Adam 1 2008 Invariant synthesis for combined theories. Zbl 1132.68333Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 17 2007 Interprocedural analysis of asynchronous programs. Zbl 1295.68086Jhala, Ranjit; Majumdar, Rupak 8 2007 State of the union: Type inference via Craig interpolation. Zbl 1186.68114Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang 4 2007 Markov decision processes with multiple objectives. Zbl 1136.90498Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 17 2006 Decision problems for the verification of real-time software. Zbl 1178.68340Emmi, Michael; Majumdar, Rupak 7 2006 On the universal and existential fragments of the \(\mu\)-calculus. Zbl 1088.68106Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak 3 2006 Model checking discounted temporal properties. Zbl 1079.68062de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 21 2005 Quantifying similarities between timed systems. Zbl 1175.68281Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S. 14 2005 A classification of symbolic transition systems. Zbl 1367.68193Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François 11 2005 Verifying quantitative properties using bound functions. Zbl 1159.68313Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak 5 2005 Abstractions from proofs. Zbl 1325.68147Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L. 56 2004 On Nash equilibria in stochastic games. Zbl 1095.91001Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin 28 2004 Quantitative solution of omega-regular games. Zbl 1093.91001de Alfaro, Luca; Majumdar, Rupak 11 2004 The Blast query language for software verification. Zbl 1104.68408Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 10 2004 Model checking discounted temporal properties. Zbl 1126.68465Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 3 2004 Stack size analysis for interrupt-driven programs. Zbl 1090.68024Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 2 2004 Discounting the future in systems theory. Zbl 1039.68087de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak 30 2003 The element of surprise in timed games. Zbl 1262.68141de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 18 2003 Software verification with BLAST. Zbl 1023.68532Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 13 2003 Thread-modular abstraction refinement. Zbl 1278.68175Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz 13 2003 Counterexample-guided control. Zbl 1039.68555Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 7 2003 Stack size analysis for interrupt-driven programs. Zbl 1067.68539Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 3 2003 Extreme model checking. Zbl 1274.68190Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A. 3 2003 Lazy abstraction. Zbl 1323.68374Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 65 2002 Temporal-safety proofs for systems code. Zbl 1010.68507Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley 10 2002 Time-safety checking for embedded programs. Zbl 1027.68827Henzinger, Thomas A.; Kirsch, Christoph M.; Majumdar, Rupak; Matic, Slobodan 1 2002 Symbolic algorithms for infinite-state games. Zbl 1006.68095de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak 14 2001 Quantitative solution of \(\omega\)-regular games. Zbl 1323.68417de Alfaro, Luca; Majumdar, Rupak 5 2001 Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard 15 2000 Abstract interpretation of game properties. Zbl 0966.68150Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François 7 2000 A classification of symbolic transition systems. Zbl 0959.68093Henzinger, Thomas A.; Majumdar, Rupak 3 2000 Symbolic model checking for rectangular hybrid systems. Zbl 0960.68117Henzinger, Thomas A.; Majumdar, Rupak 3 2000 Rectangular hybrid games. Zbl 0937.91005Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak 13 1999 Extension of bilateral generating functions. I. Zbl 0928.33004Baran, Asit; Majumdar 1 1998 all cited Publications top 5 cited Publications all top 5 Cited by 923 Authors 25 Chatterjee, Krishnendu 22 Henzinger, Thomas A. 17 Majumdar, Rupak 17 Zamani, Majid 16 Kupferman, Orna 11 Avni, Guy 11 Larsen, Kim Guldstrand 10 Fahrenberg, Uli 10 Legay, Axel 9 Esparza, Javier 9 Finkel, Alain 9 Podelski, Andreas 8 Bouyer, Patricia 7 Abate, Alessandro 7 Rybalchenko, Andrey 7 Soudjani, Sadegh 7 Tini, Simone 6 Doyen, Laurent 6 Faella, Marco 6 Hoenicke, Jochen 6 Ibsen-Jensen, Rasmus 6 Kröning, Daniel 6 Kwiatkowska, Marta Z. 6 Lavaei, Abolfazl 6 Raskin, Jean-François 6 Worrell, James B. 5 Blondin, Michael 5 Bozzelli, Laura 5 Cao, Yongzhi 5 de Alfaro, Luca 5 Forejt, Vojtěch 5 Girard, Antoine 5 Jobstmann, Barbara 5 Loreti, Michele 5 Neider, Daniel 5 Norman, Gethin 5 Pan, Haiyu 5 Sharygina, Natasha 5 van Breugel, Franck 5 Zimmermann, Martín G. 4 Abdulla, Parosh Aziz 4 Alur, Rajeev 4 Bonacina, Maria Paola 4 Brihaye, Thomas 4 Bruttomesso, Roberto 4 Castiglioni, Valentina 4 Černý, Pavol 4 Chmelík, Martin 4 Cimatti, Alessandro 4 Dimitrova, Rayna 4 Droste, Manfred 4 Eggers, Andreas 4 Ganty, Pierre 4 Griggio, Alberto 4 Guha, Shibashis 4 La Torre, Salvatore 4 Li, Yongming 4 Lime, Didier 4 Markey, Nicolas 4 McMillan, Kenneth L. 4 Rahonis, George 4 Thrane, Claus R. 4 Viswanathan, Mahesh 4 Weinert, Alexander 3 Atig, Mohamed Faouzi 3 Baier, Christel 3 Bernardo, Marco 3 Bertrand, Nathalie 3 Bloem, Roderick 3 Bouajjani, Ahmed 3 Clarke, Edmund Melson jun. 3 De Nicola, Rocco 3 Delzanno, Giorgio 3 Duan, Zhenhua 3 Esmaeil Zadeh Soudjani, Sadegh 3 Fränzle, Martin 3 Frehse, Goran 3 Fribourg, Laurent 3 Ghilardi, Silvio 3 Gimbert, Hugo 3 Grumberg, Orna 3 Heizmann, Matthias 3 Iosif, Radu 3 Jamroga, Wojciech 3 Johansson, Moa 3 Kapur, Deepak 3 Katoen, Joost-Pieter 3 Kovács, Laura Ildikó 3 Křetínský, Jan 3 Kucera, Antonin 3 Lanotte, Ruggero 3 Leroux, Jérôme 3 Liu, Siyuan 3 Majzik, Istvan 3 Meyer, Roland 3 Murano, Aniello 3 Peron, Adriano 3 Prabhakar, Pavithra 3 Prabhu, Vinayak S. 3 Qadeer, Shaz ...and 823 more Authors all top 5 Cited in 62 Serials 50 Theoretical Computer Science 40 Formal Methods in System Design 32 Information and Computation 22 Automatica 14 Acta Informatica 14 Formal Aspects of Computing 13 Nonlinear Analysis. Hybrid Systems 12 Journal of Computer and System Sciences 12 Journal of Automated Reasoning 12 Logical Methods in Computer Science 7 Artificial Intelligence 6 Information Processing Letters 6 International Journal of Approximate Reasoning 6 Discrete Event Dynamic Systems 5 Journal of Logical and Algebraic Methods in Programming 4 The Journal of Logic and Algebraic Programming 3 Journal of the Franklin Institute 3 Programming and Computer Software 3 Science of Computer Programming 3 Journal of Symbolic Computation 3 Theory of Computing Systems 3 Journal of the ACM 3 ACM Transactions on Computational Logic 2 Fuzzy Sets and Systems 2 Mathematics of Operations Research 2 Systems & Control Letters 2 Real-Time Systems 2 Distributed Computing 2 Annals of Mathematics and Artificial Intelligence 2 European Journal of Control 2 International Journal of Applied Mathematics and Computer Science 2 Dynamic Games and Applications 1 ACM Computing Surveys 1 Discrete Applied Mathematics 1 International Journal of Control 1 International Journal of General Systems 1 Journal of Multivariate Analysis 1 SIAM Journal on Computing 1 SIAM Journal on Control and Optimization 1 Annals of Pure and Applied Logic 1 Journal of Computer Science and Technology 1 International Journal of Parallel Programming 1 Computers & Operations Research 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Numerical Algorithms 1 Games and Economic Behavior 1 Proceedings of the National Academy of Sciences of the United States of America 1 Cybernetics and Systems Analysis 1 Economic Theory 1 Mathematical Problems in Engineering 1 Soft Computing 1 Mathematical Methods of Operations Research 1 Fundamenta Informaticae 1 Journal of Systems Science and Complexity 1 Theory and Practice of Logic Programming 1 Computer Languages, Systems & Structures 1 Mathematics in Computer Science 1 Science China. Information Sciences 1 Games 1 Computer Science Review 1 Journal of Dynamics and Games all top 5 Cited in 21 Fields 442 Computer science (68-XX) 101 Mathematical logic and foundations (03-XX) 89 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 66 Systems theory; control (93-XX) 28 Operations research, mathematical programming (90-XX) 9 Probability theory and stochastic processes (60-XX) 8 Information and communication theory, circuits (94-XX) 6 Combinatorics (05-XX) 6 Numerical analysis (65-XX) 4 Ordinary differential equations (34-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Statistics (62-XX) 3 Biology and other natural sciences (92-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX) Citations by Year