×
Compute Distance To:
Author ID: majumdar.rupak Recent zbMATH articles by "Majumdar, Rupak"
Published as: Majumdar, Rupak
External Links: MGP
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

Publications by Year

Citations contained in zbMATH Open

93 Publications have been cited 684 times in 529 Documents Cited by Year
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
65
2002
Abstractions from proofs. Zbl 1325.68147
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L.
56
2004
Discounting the future in systems theory. Zbl 1039.68087
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
30
2003
On Nash equilibria in stochastic games. Zbl 1095.91001
Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin
28
2004
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445
Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John
22
2014
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
21
2005
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
18
2003
Game refinement relations and metrics. Zbl 1147.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
18
2008
Markov decision processes with multiple objectives. Zbl 1136.90498
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
17
2006
Invariant synthesis for combined theories. Zbl 1132.68333
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey
17
2007
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
15
2008
Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard
15
2000
Symbolic algorithms for infinite-state games. Zbl 1006.68095
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
14
2001
Quantifying similarities between timed systems. Zbl 1175.68281
Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S.
14
2005
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
13
2003
Rectangular hybrid games. Zbl 0937.91005
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak
13
1999
Thread-modular abstraction refinement. Zbl 1278.68175
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz
13
2003
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
12
2017
Compositional synthesis of finite-state abstractions. Zbl 1482.93263
Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak
11
2019
Quantitative solution of omega-regular games. Zbl 1093.91001
de Alfaro, Luca; Majumdar, Rupak
11
2004
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
11
2005
Stochastic limit-average games are in EXPTIME. Zbl 1154.91004
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
11
2008
The Blast query language for software verification. Zbl 1104.68408
Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
10
2004
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
10
2002
Towards robustness for cyber-physical systems. Zbl 1360.93524
Tabuada, Paulo; Caliskan, Sina Yamac; Rungger, Matthias; Majumdar, Rupak
9
2014
A perfect model for bounded verification. Zbl 1362.68168
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
9
2012
Interprocedural analysis of asynchronous programs. Zbl 1295.68086
Jhala, Ranjit; Majumdar, Rupak
8
2007
Abstract interpretation of game properties. Zbl 0966.68150
Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François
7
2000
Counterexample-guided control. Zbl 1039.68555
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
7
2003
Decision problems for the verification of real-time software. Zbl 1178.68340
Emmi, Michael; Majumdar, Rupak
7
2006
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
7
2013
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
6
2015
Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
6
2017
Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
5
2016
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
5
2016
Quantitative solution of \(\omega\)-regular games. Zbl 1323.68417
de Alfaro, Luca; Majumdar, Rupak
5
2001
Bounds on mobility. Zbl 1417.68132
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
5
2014
Verifying quantitative properties using bound functions. Zbl 1159.68313
Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
5
2005
A theory of name boundedness. Zbl 1390.68474
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
5
2013
Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances. Zbl 1482.93346
Farahani, Samira S.; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh
4
2019
Verifying liveness for asynchronous programs. Zbl 1315.68064
Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey
4
2009
Multi-layered abstraction-based controller synthesis for continuous-time systems. Zbl 1417.93061
Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin
4
2018
Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274
Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas
4
2017
Algorithms for game metrics. Zbl 1214.68245
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
4
2010
State of the union: Type inference via Craig interpolation. Zbl 1186.68114
Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang
4
2007
Controller synthesis with budget constraints. Zbl 1144.93312
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
4
2008
Quantifying conformance using the Skorokhod metric. Zbl 1360.68629
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
4
2017
Robust discrete synthesis against unspecified disturbances. Zbl 1362.68175
Majumdar, Rupak; Render, Elaine; Tabuada, Paulo
4
2011
Backstepping controller synthesis and characterizations of incremental stability. Zbl 1281.93088
Zamani, Majid; van de Wouw, Nathan; Majumdar, Rupak
4
2013
Fair termination for parameterized probabilistic concurrent systems. Zbl 1452.68127
Lengá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.68301
Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak
3
2015
Stack size analysis for interrupt-driven programs. Zbl 1067.68539
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
3
2003
A classification of symbolic transition systems. Zbl 0959.68093
Henzinger, Thomas A.; Majumdar, Rupak
3
2000
Symbolic model checking for rectangular hybrid systems. Zbl 0960.68117
Henzinger, Thomas A.; Majumdar, Rupak
3
2000
Extreme model checking. Zbl 1274.68190
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A.
3
2003
On the universal and existential fragments of the \(\mu\)-calculus. Zbl 1088.68106
Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
3
2006
Model checking discounted temporal properties. Zbl 1126.68465
Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
3
2004
Analyzing real-time event-driven programs. Zbl 1262.68038
Ganty, Pierre; Majumdar, Rupak
3
2009
Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak
3
2017
Unary pushdown automata and straight-line programs. Zbl 1409.68156
Chistikov, Dmitry; Majumdar, Rupak
3
2014
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
3
2015
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
2
2017
Quantifying conformance using the Skorokhod metric. Zbl 1381.68156
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
2
2015
Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
2
2015
Controller synthesis for reward collecting Markov processes in continuous space. Zbl 1369.93715
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak
2
2017
An SMT-based approach to coverability analysis. Zbl 1487.68156
Esparza, Javier; Ledesma-Garza, Ruslán; Majumdar, Rupak; Meyer, Philipp; Niksic, Filip
2
2014
Algorithms for game metrics. Zbl 1248.68349
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
2
2008
Stack size analysis for interrupt-driven programs. Zbl 1090.68024
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
2
2004
Bounded underapproximations. Zbl 1247.68140
Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin
2
2012
Minimum attention controller synthesis for omega-regular objectives. Zbl 1348.68096
Chatterjee, Krishnendu; Majumdar, Rupak
2
2011
Model checking database applications. Zbl 1381.68163
Gligoric, Milos; Majumdar, Rupak
2
2013
A uniformization theorem for nested word to word transductions. Zbl 1298.68128
Chistikov, Dmitry; Majumdar, Rupak
2
2013
Verifying reference counting implementations. Zbl 1234.68254
Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak
2
2009
Dynamic scheduling for networked control systems. Zbl 1364.68124
Saha, Indranil; Baruah, Sanjoy; Majumdar, Rupak
2
2015
Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245
Majumdar, Rupak; Prabhu, Vinayak S.
2
2015
Symbolic controller synthesis for Büchi specifications on stochastic systems. Zbl 07300855
Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh
2
2020
Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility. Zbl 07471664
Lin, Anthony W.; Majumdar, Rupak
2
2021
Symbolic model checking for factored probabilistic models. Zbl 1398.68338
Deininger, David; Dimitrova, Rayna; Majumdar, Rupak
1
2016
General decidability results for asynchronous shared-memory programs: higher-order and beyond. Zbl 1467.68040
Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
1
2021
Verification of immediate observation population protocols. Zbl 07378575
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak; Weil-Kennedy, Chana
1
2018
Symbolic model checking in non-Boolean domains. Zbl 1392.68259
Majumdar, Rupak; Raskin, Jean-François
1
2018
Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385
Dimitrova, Rayna; Majumdar, Rupak
1
2018
Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053
Emmi, 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.93173
Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak
1
2020
Rely/guarantee reasoning for asynchronous programs. Zbl 1374.68104
Gavran, Ivan; Niksic, Filip; Kanade, Aditya; Majumdar, Rupak; Vafeiadis, Viktor
1
2015
Time-safety checking for embedded programs. Zbl 1027.68827
Henzinger, Thomas A.; Kirsch, Christoph M.; Majumdar, Rupak; Matic, Slobodan
1
2002
Extension of bilateral generating functions. I. Zbl 0928.33004
Baran, Asit; Majumdar
1
1998
The complexity of coverage. Zbl 1286.68310
Chatterjee, Krishnendu; De Alfaro, Luca; Majumdar, Rupak
1
2013
Expand, enlarge, and check for branching vector addition systems. Zbl 1390.68481
Majumdar, 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.68324
Ercal, Gunes; Izhak-Ratzin, Rafit; Majumdar, Rupak; Meyerson, Adam
1
2008
Edit distance for timed automata. Zbl 1360.68544
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak
1
2014
Multilevel Monte Carlo method for statistical model checking of hybrid systems. Zbl 1420.68126
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Nagapetyan, Tigran
1
2017
Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility. Zbl 07471664
Lin, Anthony W.; Majumdar, Rupak
2
2021
General decidability results for asynchronous shared-memory programs: higher-order and beyond. Zbl 1467.68040
Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
1
2021
Symbolic controller synthesis for Büchi specifications on stochastic systems. Zbl 07300855
Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh
2
2020
On the relation between reactive synthesis and supervisory control of non-terminating processes. Zbl 1441.93173
Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak
1
2020
Compositional synthesis of finite-state abstractions. Zbl 1482.93263
Mallik, 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.93346
Farahani, Samira S.; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh
4
2019
Multi-layered abstraction-based controller synthesis for continuous-time systems. Zbl 1417.93061
Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin
4
2018
Verification of immediate observation population protocols. Zbl 07378575
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak; Weil-Kennedy, Chana
1
2018
Symbolic model checking in non-Boolean domains. Zbl 1392.68259
Majumdar, Rupak; Raskin, Jean-François
1
2018
Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385
Dimitrova, Rayna; Majumdar, Rupak
1
2018
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
12
2017
Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
6
2017
Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274
Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas
4
2017
Quantifying conformance using the Skorokhod metric. Zbl 1360.68629
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
4
2017
Fair termination for parameterized probabilistic concurrent systems. Zbl 1452.68127
Lengá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.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak
3
2017
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
2
2017
Controller synthesis for reward collecting Markov processes in continuous space. Zbl 1369.93715
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak
2
2017
Multilevel Monte Carlo method for statistical model checking of hybrid systems. Zbl 1420.68126
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Nagapetyan, Tigran
1
2017
Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
5
2016
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
5
2016
Symbolic model checking for factored probabilistic models. Zbl 1398.68338
Deininger, David; Dimitrova, Rayna; Majumdar, Rupak
1
2016
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
6
2015
Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301
Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak
3
2015
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
3
2015
Quantifying conformance using the Skorokhod metric. Zbl 1381.68156
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
2
2015
Model checking parameterized asynchronous shared-memory systems. Zbl 1381.68158
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
2
2015
Dynamic scheduling for networked control systems. Zbl 1364.68124
Saha, Indranil; Baruah, Sanjoy; Majumdar, Rupak
2
2015
Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245
Majumdar, Rupak; Prabhu, Vinayak S.
2
2015
Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053
Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando
1
2015
Rely/guarantee reasoning for asynchronous programs. Zbl 1374.68104
Gavran, Ivan; Niksic, Filip; Kanade, Aditya; Majumdar, Rupak; Vafeiadis, Viktor
1
2015
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445
Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John
22
2014
Towards robustness for cyber-physical systems. Zbl 1360.93524
Tabuada, Paulo; Caliskan, Sina Yamac; Rungger, Matthias; Majumdar, Rupak
9
2014
Bounds on mobility. Zbl 1417.68132
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
5
2014
Unary pushdown automata and straight-line programs. Zbl 1409.68156
Chistikov, Dmitry; Majumdar, Rupak
3
2014
An SMT-based approach to coverability analysis. Zbl 1487.68156
Esparza, Javier; Ledesma-Garza, Ruslán; Majumdar, Rupak; Meyer, Philipp; Niksic, Filip
2
2014
Edit distance for timed automata. Zbl 1360.68544
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak
1
2014
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
7
2013
A theory of name boundedness. Zbl 1390.68474
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
5
2013
Backstepping controller synthesis and characterizations of incremental stability. Zbl 1281.93088
Zamani, Majid; van de Wouw, Nathan; Majumdar, Rupak
4
2013
Model checking database applications. Zbl 1381.68163
Gligoric, Milos; Majumdar, Rupak
2
2013
A uniformization theorem for nested word to word transductions. Zbl 1298.68128
Chistikov, Dmitry; Majumdar, Rupak
2
2013
The complexity of coverage. Zbl 1286.68310
Chatterjee, Krishnendu; De Alfaro, Luca; Majumdar, Rupak
1
2013
Expand, enlarge, and check for branching vector addition systems. Zbl 1390.68481
Majumdar, Rupak; Wang, Zilong
1
2013
A perfect model for bounded verification. Zbl 1362.68168
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
9
2012
Bounded underapproximations. Zbl 1247.68140
Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin
2
2012
Robust discrete synthesis against unspecified disturbances. Zbl 1362.68175
Majumdar, Rupak; Render, Elaine; Tabuada, Paulo
4
2011
Minimum attention controller synthesis for omega-regular objectives. Zbl 1348.68096
Chatterjee, Krishnendu; Majumdar, Rupak
2
2011
Algorithms for game metrics. Zbl 1214.68245
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
4
2010
Verifying liveness for asynchronous programs. Zbl 1315.68064
Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey
4
2009
Analyzing real-time event-driven programs. Zbl 1262.68038
Ganty, Pierre; Majumdar, Rupak
3
2009
Verifying reference counting implementations. Zbl 1234.68254
Emmi, 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.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
18
2008
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
15
2008
Stochastic limit-average games are in EXPTIME. Zbl 1154.91004
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
11
2008
Controller synthesis with budget constraints. Zbl 1144.93312
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
4
2008
Algorithms for game metrics. Zbl 1248.68349
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
2
2008
Frugal routing on wireless ad-hoc networks. Zbl 1136.68324
Ercal, Gunes; Izhak-Ratzin, Rafit; Majumdar, Rupak; Meyerson, Adam
1
2008
Invariant synthesis for combined theories. Zbl 1132.68333
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey
17
2007
Interprocedural analysis of asynchronous programs. Zbl 1295.68086
Jhala, Ranjit; Majumdar, Rupak
8
2007
State of the union: Type inference via Craig interpolation. Zbl 1186.68114
Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang
4
2007
Markov decision processes with multiple objectives. Zbl 1136.90498
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
17
2006
Decision problems for the verification of real-time software. Zbl 1178.68340
Emmi, Michael; Majumdar, Rupak
7
2006
On the universal and existential fragments of the \(\mu\)-calculus. Zbl 1088.68106
Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
3
2006
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
21
2005
Quantifying similarities between timed systems. Zbl 1175.68281
Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S.
14
2005
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
11
2005
Verifying quantitative properties using bound functions. Zbl 1159.68313
Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
5
2005
Abstractions from proofs. Zbl 1325.68147
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L.
56
2004
On Nash equilibria in stochastic games. Zbl 1095.91001
Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin
28
2004
Quantitative solution of omega-regular games. Zbl 1093.91001
de Alfaro, Luca; Majumdar, Rupak
11
2004
The Blast query language for software verification. Zbl 1104.68408
Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
10
2004
Model checking discounted temporal properties. Zbl 1126.68465
Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
3
2004
Stack size analysis for interrupt-driven programs. Zbl 1090.68024
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
2
2004
Discounting the future in systems theory. Zbl 1039.68087
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
30
2003
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
18
2003
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
13
2003
Thread-modular abstraction refinement. Zbl 1278.68175
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz
13
2003
Counterexample-guided control. Zbl 1039.68555
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
7
2003
Stack size analysis for interrupt-driven programs. Zbl 1067.68539
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
3
2003
Extreme model checking. Zbl 1274.68190
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A.
3
2003
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
65
2002
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
10
2002
Time-safety checking for embedded programs. Zbl 1027.68827
Henzinger, Thomas A.; Kirsch, Christoph M.; Majumdar, Rupak; Matic, Slobodan
1
2002
Symbolic algorithms for infinite-state games. Zbl 1006.68095
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
14
2001
Quantitative solution of \(\omega\)-regular games. Zbl 1323.68417
de Alfaro, Luca; Majumdar, Rupak
5
2001
Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard
15
2000
Abstract interpretation of game properties. Zbl 0966.68150
Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François
7
2000
A classification of symbolic transition systems. Zbl 0959.68093
Henzinger, Thomas A.; Majumdar, Rupak
3
2000
Symbolic model checking for rectangular hybrid systems. Zbl 0960.68117
Henzinger, Thomas A.; Majumdar, Rupak
3
2000
Rectangular hybrid games. Zbl 0937.91005
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak
13
1999
Extension of bilateral generating functions. I. Zbl 0928.33004
Baran, Asit; Majumdar
1
1998
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

Citations by Year