×
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
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

Publications by Year

Citations contained in zbMATH Open

87 Publications have been cited 614 times in 477 Documents Cited by Year
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
64
2002
Abstractions from proofs. Zbl 1325.68147
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L.
52
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
25
2004
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
21
2005
Game refinement relations and metrics. Zbl 1147.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
18
2008
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445
Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John
18
2014
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
16
2003
Markov decision processes with multiple objectives. Zbl 1136.90498
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
16
2006
Invariant synthesis for combined theories. Zbl 1132.68333
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey
15
2007
Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard
15
2000
Quantifying similarities between timed systems. Zbl 1175.68281
Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S.
14
2005
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
12
2003
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
12
2008
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
12
2003
Stochastic limit-average games are in EXPTIME. Zbl 1154.91004
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
11
2008
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
11
2005
Quantitative solution of omega-regular games. Zbl 1093.91001
de Alfaro, Luca; Majumdar, Rupak
10
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
Symbolic algorithms for infinite-state games. Zbl 1006.68095
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
10
2001
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
10
2017
Compositional synthesis of finite-state abstractions. Zbl 1482.93263
Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak
10
2019
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, 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.68340
Emmi, Michael; Majumdar, Rupak
7
2006
Interprocedural analysis of asynchronous programs. Zbl 1295.68086
Jhala, Ranjit; Majumdar, Rupak
7
2007
Abstract interpretation of game properties. Zbl 0966.68150
Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François
7
2000
A perfect model for bounded verification. Zbl 1362.68168
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
7
2012
Counterexample-guided control. Zbl 1039.68555
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
7
2003
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
6
2013
Towards robustness for cyber-physical systems. Zbl 1360.93524
Tabuada, Paulo; Caliskan, Sina Yamac; Rungger, Matthias; Majumdar, Rupak
6
2014
Verifying quantitative properties using bound functions. Zbl 1159.68313
Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
5
2005
Quantitative solution of \(\omega\)-regular games. Zbl 1323.68417
de Alfaro, Luca; Majumdar, Rupak
5
2001
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
5
2015
Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
5
2017
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
5
2016
A theory of name boundedness. Zbl 1390.68474
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
4
2013
Backstepping controller synthesis and characterizations of incremental stability. Zbl 1281.93088
Zamani, Majid; van de Wouw, Nathan; Majumdar, Rupak
4
2013
Algorithms for game metrics. Zbl 1214.68245
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
4
2010
Bounds on mobility. Zbl 1417.68132
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
4
2014
Controller synthesis with budget constraints. Zbl 1144.93312
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
4
2008
Verifying liveness for asynchronous programs. Zbl 1315.68064
Ganty, Pierre; Majumdar, Rupak; Rybalchenko, Andrey
4
2009
State of the union: Type inference via Craig interpolation. Zbl 1186.68114
Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang
3
2007
Model checking discounted temporal properties. Zbl 1126.68465
Alfaro, 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.68106
Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
3
2006
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
Unary pushdown automata and straight-line programs. Zbl 1409.68156
Chistikov, Dmitry; Majumdar, Rupak
3
2014
Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak
3
2017
Robust discrete synthesis against unspecified disturbances. Zbl 1362.68175
Majumdar, Rupak; Render, Elaine; Tabuada, Paulo
3
2011
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
Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
3
2016
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
3
2015
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
Extreme model checking. Zbl 1274.68190
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A.
2
2003
Minimum attention controller synthesis for omega-regular objectives. Zbl 1348.68096
Chatterjee, Krishnendu; Majumdar, Rupak
2
2011
Bounded underapproximations. Zbl 1247.68140
Ganty, Pierre; Majumdar, Rupak; Monmege, Benjamin
2
2012
Algorithms for game metrics. Zbl 1248.68349
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
2
2008
Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301
Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak
2
2015
Fair termination for parameterized probabilistic concurrent systems. Zbl 1452.68127
Lengá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.68274
Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas
2
2017
Quantifying conformance using the Skorokhod metric. Zbl 1360.68629
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
2
2017
Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245
Majumdar, Rupak; Prabhu, Vinayak S.
2
2015
Controller synthesis for reward collecting Markov processes in continuous space. Zbl 1369.93715
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak
2
2017
Verifying reference counting implementations. Zbl 1234.68254
Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak
2
2009
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
Multi-layered abstraction-based controller synthesis for continuous-time systems. Zbl 1417.93061
Hsu, 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.93346
Farahani, Samira S.; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh
2
2019
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
Analyzing real-time event-driven programs. Zbl 1262.68038
Ganty, Pierre; Majumdar, Rupak
1
2009
Stack size analysis for interrupt-driven programs. Zbl 1090.68024
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
1
2004
Extension of bilateral generating functions. I. Zbl 0928.33004
Baran, Asit; Majumdar
1
1998
Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053
Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando
1
2015
General decidability results for asynchronous shared-memory programs: higher-order and beyond. Zbl 1467.68040
Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
1
2021
Rely/guarantee reasoning for asynchronous programs. Zbl 1374.68104
Gavran, Ivan; Niksic, Filip; Kanade, Aditya; Majumdar, Rupak; Vafeiadis, Viktor
1
2015
Symbolic controller synthesis for Büchi specifications on stochastic systems. Zbl 07300855
Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh
1
2020
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
1
2017
Edit distance for timed automata. Zbl 1360.68544
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak
1
2014
Dynamic scheduling for networked control systems. Zbl 1364.68124
Saha, 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.68827
Henzinger, Thomas A.; Kirsch, Christoph M.; Majumdar, Rupak; Matic, Slobodan
1
2002
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
Multilevel Monte Carlo method for statistical model checking of hybrid systems. Zbl 1420.68126
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Nagapetyan, Tigran
1
2017
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
1
2020
Compositional synthesis of finite-state abstractions. Zbl 1482.93263
Mallik, 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.93346
Farahani, Samira S.; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh
2
2019
Multi-layered abstraction-based controller synthesis for continuous-time systems. Zbl 1417.93061
Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin
2
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
10
2017
Model checking parameterized asynchronous shared-memory systems. Zbl 1360.68584
Durand-Gasselin, Antoine; Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
5
2017
Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak
3
2017
Fair termination for parameterized probabilistic concurrent systems. Zbl 1452.68127
Lengá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.68274
Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas
2
2017
Quantifying conformance using the Skorokhod metric. Zbl 1360.68629
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
2
2017
Controller synthesis for reward collecting Markov processes in continuous space. Zbl 1369.93715
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak
2
2017
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
1
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
Model checking population protocols. Zbl 1391.68078
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
5
2016
Parameterized verification of asynchronous shared-memory systems. Zbl 1426.68169
Esparza, Javier; Ganty, Pierre; Majumdar, Rupak
3
2016
Verification of population protocols. Zbl 1374.68326
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
5
2015
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
3
2015
Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301
Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak
2
2015
Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245
Majumdar, Rupak; Prabhu, Vinayak S.
2
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
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
Dynamic scheduling for networked control systems. Zbl 1364.68124
Saha, Indranil; Baruah, Sanjoy; Majumdar, Rupak
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
18
2014
Towards robustness for cyber-physical systems. Zbl 1360.93524
Tabuada, Paulo; Caliskan, Sina Yamac; Rungger, Matthias; Majumdar, Rupak
6
2014
Bounds on mobility. Zbl 1417.68132
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
4
2014
Unary pushdown automata and straight-line programs. Zbl 1409.68156
Chistikov, Dmitry; Majumdar, Rupak
3
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
6
2013
A theory of name boundedness. Zbl 1390.68474
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
4
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
7
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
3
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
Verifying reference counting implementations. Zbl 1234.68254
Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak
2
2009
Analyzing real-time event-driven programs. Zbl 1262.68038
Ganty, 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.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
12
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
Invariant synthesis for combined theories. Zbl 1132.68333
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey
15
2007
Interprocedural analysis of asynchronous programs. Zbl 1295.68086
Jhala, Ranjit; Majumdar, Rupak
7
2007
State of the union: Type inference via Craig interpolation. Zbl 1186.68114
Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang
3
2007
Markov decision processes with multiple objectives. Zbl 1136.90498
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
16
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.
52
2004
On Nash equilibria in stochastic games. Zbl 1095.91001
Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin
25
2004
Quantitative solution of omega-regular games. Zbl 1093.91001
de Alfaro, Luca; Majumdar, Rupak
10
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
1
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
16
2003
Thread-modular abstraction refinement. Zbl 1278.68175
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz
12
2003
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
12
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.
2
2003
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
64
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
9
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
10
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 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

Citations by Year