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: 109 Publications since 1998 7 Contributions as Editor Co-Authors: 97 Co-Authors with 115 Joint Publications 1,863 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 9 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 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 Niksic, Filip 2 Zamani, Majid 2 Zhao, Tian 1 Baran, Asit 1 Bartocci, Ezio 1 Baruah, Sanjoy K. 1 Bodik, Rastislav 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 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 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 Meyerson, Adam 1 Mohajerin Esfahani, Peyman 1 Monmege, Benjamin 1 Moor, Thomas 1 Nagapetyan, Tigran 1 Necula, George C. 1 Ozay, Necmiye 1 Podelski, Andreas 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 Thinniyam, Ramanathan S. 1 Vafeiadis, Viktor 1 van de Wouw, Nathan 1 Wang, Zilong 1 Weil-Kennedy, Chana 1 Weimer, Westley 1 Wong-Toi, Howard 1 Zetzsche, Georg 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 3 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 100 Computer science (68-XX) 23 Systems theory; control (93-XX) 19 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 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 87 Publications have been cited 614 times in 477 Documents Cited by ▼ Year ▼ Lazy abstraction. Zbl 1323.68374Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 64 2002 Abstractions from proofs. Zbl 1325.68147Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L. 52 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 25 2004 Model checking discounted temporal properties. Zbl 1079.68062de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 21 2005 Game refinement relations and metrics. Zbl 1147.68056de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle 18 2008 Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John 18 2014 The element of surprise in timed games. Zbl 1262.68141de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 16 2003 Markov decision processes with multiple objectives. Zbl 1136.90498Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 16 2006 Invariant synthesis for combined theories. Zbl 1132.68333Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 15 2007 Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard 15 2000 Quantifying similarities between timed systems. Zbl 1175.68281Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S. 14 2005 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 12 2003 Proving non-termination. Zbl 1295.68158Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang 12 2008 Software verification with BLAST. Zbl 1023.68532Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 12 2003 Stochastic limit-average games are in EXPTIME. Zbl 1154.91004Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 11 2008 A classification of symbolic transition systems. Zbl 1367.68193Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François 11 2005 Quantitative solution of omega-regular games. Zbl 1093.91001de Alfaro, Luca; Majumdar, Rupak 10 2004 The Blast query language for software verification. Zbl 1104.68408Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 10 2004 Symbolic algorithms for infinite-state games. Zbl 1006.68095de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak 10 2001 Verification of population protocols. Zbl 1364.68081Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 10 2017 Compositional synthesis of finite-state abstractions. Zbl 1482.93263Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak 10 2019 Temporal-safety proofs for systems code. Zbl 1010.68507Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley 9 2002 Decision problems for the verification of real-time software. Zbl 1178.68340Emmi, Michael; Majumdar, Rupak 7 2006 Interprocedural analysis of asynchronous programs. Zbl 1295.68086Jhala, Ranjit; Majumdar, Rupak 7 2007 Abstract interpretation of game properties. Zbl 0966.68150Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François 7 2000 A perfect model for bounded verification. Zbl 1362.68168Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 7 2012 Counterexample-guided control. Zbl 1039.68555Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 7 2003 Code aware resource management. Zbl 1291.68137Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath 6 2013 Towards robustness for cyber-physical systems. Zbl 1360.93524Tabuada, Paulo; Caliskan, Sina Yamac; Rungger, Matthias; Majumdar, Rupak 6 2014 Verifying quantitative properties using bound functions. Zbl 1159.68313Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak 5 2005 Quantitative solution of \(\omega\)-regular games. Zbl 1323.68417de Alfaro, Luca; Majumdar, Rupak 5 2001 Verification of population protocols. Zbl 1374.68326Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 5 2015 Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 5 2017 Model checking population protocols. Zbl 1391.68078Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 5 2016 A theory of name boundedness. Zbl 1390.68474Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland 4 2013 Backstepping controller synthesis and characterizations of incremental stability. Zbl 1281.93088Zamani, Majid; van de Wouw, Nathan; Majumdar, Rupak 4 2013 Algorithms for game metrics. Zbl 1214.68245Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath 4 2010 Bounds on mobility. Zbl 1417.68132Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland 4 2014 Controller synthesis with budget constraints. Zbl 1144.93312Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 4 2008 Verifying liveness for asynchronous programs. Zbl 1315.68064Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey 4 2009 State of the union: Type inference via Craig interpolation. Zbl 1186.68114Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang 3 2007 Model checking discounted temporal properties. Zbl 1126.68465Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 3 2004 On the universal and existential fragments of the \(\mu\)-calculus. Zbl 1088.68106Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak 3 2006 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 Unary pushdown automata and straight-line programs. Zbl 1409.68156Chistikov, Dmitry; Majumdar, Rupak 3 2014 Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak 3 2017 Robust discrete synthesis against unspecified disturbances. Zbl 1362.68175Majumdar, Rupak; Render, Elaine; Tabuada, Paulo 3 2011 Stack size analysis for interrupt-driven programs. Zbl 1067.68539Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 3 2003 Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 3 2016 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 3 2015 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 Extreme model checking. Zbl 1274.68190Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A. 2 2003 Minimum attention controller synthesis for omega-regular objectives. Zbl 1348.68096Chatterjee, Krishnendu; Majumdar, Rupak 2 2011 Bounded underapproximations. Zbl 1247.68140Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin 2 2012 Algorithms for game metrics. Zbl 1248.68349Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath 2 2008 Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak 2 2015 Fair termination for parameterized probabilistic concurrent systems. Zbl 1452.68127Lengál, Ondřej; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp 2 2017 Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas 2 2017 Quantifying conformance using the Skorokhod metric. Zbl 1360.68629Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. 2 2017 Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245Majumdar, Rupak; Prabhu, Vinayak S. 2 2015 Controller synthesis for reward collecting Markov processes in continuous space. Zbl 1369.93715Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak 2 2017 Verifying reference counting implementations. Zbl 1234.68254Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak 2 2009 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 Multi-layered abstraction-based controller synthesis for continuous-time systems. Zbl 1417.93061Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin 2 2018 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 2 2019 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 Analyzing real-time event-driven programs. Zbl 1262.68038Ganty, Pierre; Majumdar, Rupak 1 2009 Stack size analysis for interrupt-driven programs. Zbl 1090.68024Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 1 2004 Extension of bilateral generating functions. I. Zbl 0928.33004Baran, Asit; Majumdar 1 1998 Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando 1 2015 General decidability results for asynchronous shared-memory programs: higher-order and beyond. Zbl 1467.68040Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg 1 2021 Rely/guarantee reasoning for asynchronous programs. Zbl 1374.68104Gavran, Ivan; Niksic, Filip; Kanade, Aditya; Majumdar, Rupak; Vafeiadis, Viktor 1 2015 Symbolic controller synthesis for Büchi specifications on stochastic systems. Zbl 07300855Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh 1 2020 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 1 2017 Edit distance for timed automata. Zbl 1360.68544Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak 1 2014 Dynamic scheduling for networked control systems. Zbl 1364.68124Saha, Indranil; Baruah, Sanjoy; Majumdar, Rupak 1 2015 Hybrid systems: computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Zbl 1161.93001 1 2009 Time-safety checking for embedded programs. Zbl 1027.68827Henzinger, Thomas A.; Kirsch, Christoph M.; Majumdar, Rupak; Matic, Slobodan 1 2002 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 Multilevel Monte Carlo method for statistical model checking of hybrid systems. Zbl 1420.68126Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Nagapetyan, Tigran 1 2017 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 1 2020 Compositional synthesis of finite-state abstractions. Zbl 1482.93263Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak 10 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 2 2019 Multi-layered abstraction-based controller synthesis for continuous-time systems. Zbl 1417.93061Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin 2 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 10 2017 Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 5 2017 Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak 3 2017 Fair termination for parameterized probabilistic concurrent systems. Zbl 1452.68127Lengál, Ondřej; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp 2 2017 Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas 2 2017 Quantifying conformance using the Skorokhod metric. Zbl 1360.68629Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S. 2 2017 Controller synthesis for reward collecting Markov processes in continuous space. Zbl 1369.93715Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak 2 2017 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 1 2017 Multilevel Monte Carlo method for statistical model checking of hybrid systems. Zbl 1420.68126Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Nagapetyan, Tigran 1 2017 Model checking population protocols. Zbl 1391.68078Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 5 2016 Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169Esparza, Javier; Ganty, Pierre; Majumdar, Rupak 3 2016 Verification of population protocols. Zbl 1374.68326Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 5 2015 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 3 2015 Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak 2 2015 Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245Majumdar, Rupak; Prabhu, Vinayak S. 2 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 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 Dynamic scheduling for networked control systems. Zbl 1364.68124Saha, Indranil; Baruah, Sanjoy; Majumdar, Rupak 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 18 2014 Towards robustness for cyber-physical systems. Zbl 1360.93524Tabuada, Paulo; Caliskan, Sina Yamac; Rungger, Matthias; Majumdar, Rupak 6 2014 Bounds on mobility. Zbl 1417.68132Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland 4 2014 Unary pushdown automata and straight-line programs. Zbl 1409.68156Chistikov, Dmitry; Majumdar, Rupak 3 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 6 2013 A theory of name boundedness. Zbl 1390.68474Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland 4 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 7 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 3 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 Verifying reference counting implementations. Zbl 1234.68254Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak 2 2009 Analyzing real-time event-driven programs. Zbl 1262.68038Ganty, Pierre; Majumdar, Rupak 1 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 12 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 Invariant synthesis for combined theories. Zbl 1132.68333Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 15 2007 Interprocedural analysis of asynchronous programs. Zbl 1295.68086Jhala, Ranjit; Majumdar, Rupak 7 2007 State of the union: Type inference via Craig interpolation. Zbl 1186.68114Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang 3 2007 Markov decision processes with multiple objectives. Zbl 1136.90498Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 16 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. 52 2004 On Nash equilibria in stochastic games. Zbl 1095.91001Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin 25 2004 Quantitative solution of omega-regular games. Zbl 1093.91001de Alfaro, Luca; Majumdar, Rupak 10 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 1 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 16 2003 Thread-modular abstraction refinement. Zbl 1278.68175Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz 12 2003 Software verification with BLAST. Zbl 1023.68532Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 12 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. 2 2003 Lazy abstraction. Zbl 1323.68374Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 64 2002 Temporal-safety proofs for systems code. Zbl 1010.68507Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley 9 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 10 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 829 Authors 25 Chatterjee, Krishnendu 22 Henzinger, Thomas A. 15 Kupferman, Orna 15 Majumdar, Rupak 15 Zamani, Majid 11 Larsen, Kim Guldstrand 10 Avni, Guy 10 Fahrenberg, Uli 10 Legay, Axel 9 Esparza, Javier 8 Podelski, Andreas 7 Bouyer, Patricia 7 Finkel, Alain 7 Rybalchenko, Andrey 6 Abate, Alessandro 6 Doyen, Laurent 6 Faella, Marco 6 Hoenicke, Jochen 6 Ibsen-Jensen, Rasmus 6 Kröning, Daniel 6 Soudjani, Sadegh 6 Tini, Simone 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 Kwiatkowska, Marta Z. 5 Pan, Haiyu 5 Raskin, Jean-François 5 Sharygina, Natasha 5 van Breugel, Franck 4 Alur, Rajeev 4 Bonacina, Maria Paola 4 Bruttomesso, Roberto 4 Černý, Pavol 4 Chmelík, Martin 4 Dimitrova, Rayna 4 Droste, Manfred 4 Eggers, Andreas 4 La Torre, Salvatore 4 Lavaei, Abolfazl 4 Li, Yongming 4 Loreti, Michele 4 Markey, Nicolas 4 McMillan, Kenneth L. 4 Norman, Gethin 4 Rahonis, George 4 Thrane, Claus R. 4 Viswanathan, Mahesh 3 Abdulla, Parosh Aziz 3 Bernardo, Marco 3 Bertrand, Nathalie 3 Bloem, Roderick 3 Bouajjani, Ahmed 3 Brihaye, Thomas 3 Castiglioni, Valentina 3 Cimatti, Alessandro 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 Fribourg, Laurent 3 Ganty, Pierre 3 Ghilardi, Silvio 3 Gimbert, Hugo 3 Griggio, Alberto 3 Grumberg, Orna 3 Guha, Shibashis 3 Heizmann, Matthias 3 Iosif, Radu 3 Jamroga, Wojciech 3 Johansson, Moa 3 Katoen, Joost-Pieter 3 Konnov, Igor V. 3 Kovács, Laura Ildikó 3 Křetínský, Jan 3 Kucera, Antonin 3 Lanotte, Ruggero 3 Lime, Didier 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 3 Radhakrishna, Arjun 3 Ramdani, Nacim 3 Ranise, Silvio 3 Saivasan, Prakash 3 Sankur, Ocan 3 Schmitz, Sylvain 3 Solan, Eilon ...and 729 more Authors all top 5 Cited in 62 Serials 50 Theoretical Computer Science 39 Formal Methods in System Design 29 Information and Computation 17 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 11 Logical Methods in Computer Science 6 Information Processing Letters 6 Discrete Event Dynamic Systems 5 Artificial Intelligence 5 International Journal of Approximate Reasoning 5 Journal of Logical and Algebraic Methods in Programming 4 The Journal of Logic and Algebraic Programming 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 Journal of the Franklin Institute 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 397 Computer science (68-XX) 88 Mathematical logic and foundations (03-XX) 85 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 60 Systems theory; control (93-XX) 25 Operations research, mathematical programming (90-XX) 8 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