×
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.
17 Chatterjee, Krishnendu
13 Jhala, Ranjit
12 de Alfaro, Luca
9 Schmuck, Anne-Kathrin
9 Soudjani, Sadegh
7 Dimitrova, Rayna
7 Prabhu, Vinayak S.
6 Esmaeil Zadeh Soudjani, Sadegh
6 Mallik, Kaushik
5 Chistikov, Dmitry V.
4 Abate, Alessandro
4 Emmi, Michael
4 Faella, Marco
4 Lin, Anthony Widjaja
4 Raman, Vishwanath
4 Raskin, Jean-François
4 Stoelinga, Mariëlle
3 Kupferman, Orna
3 Meyer, Roland
3 Niksic, Filip
3 Palsberg, Jens
3 Rybalchenko, Andrey
3 Salamati, Mahmoud
3 Sutre, Grégoire
3 Tabuada, Paulo
3 Xu, Ru-Gang
2 Beyer, Dirk
2 Deshmukh, Jyotirmoy V.
2 Ganty, Pierre
2 Gavran, Ivan
2 Horowitz, Benjamin
2 Hsu, Kyle
2 Hüchting, Reiner
2 Kuncak, Viktor
2 Ma, Di
2 Ouaknine, Joel O.
2 Rümmer, Philipp
2 Rungger, Matthias
2 Thinniyam, Ramanathan S.
2 Worrell, James B.
2 Zamani, Majid
2 Zetzsche, Georg
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 D’costa, Julian
1 Deininger, David
1 Derevenetc, Egor
1 Doyen, Laurent
1 Ercal, Gunes
1 Esparza, Javier
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 Hong, Chih-Duo
1 Ibsen-Jensen, Rasmus
1 Izhak-Ratzin, Rafit
1 Jurdziński, Marcin
1 Kanade, Aditya
1 Kapur, Deepak
1 Karimov, Toghrul
1 Kazemi, Milad
1 Kirsch, Christoph M.
1 Kloos, J.
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 Moor, Thomas
1 Mukund, Madhavan
1 Nagapetyan, Tigran
1 Necula, George C.
1 Ozay, Necmiye
1 Podelski, Andreas
1 Pouly, Amaury
1 Qadeer, Shaz
1 Render, Elaine
1 Rosa-Velardo, Fernando
1 Rychlicki, Mateusz
...and 11 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

93 Publications have been cited 800 times in 624 Documents Cited by Year
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
80
2002
Abstractions from proofs. Zbl 1325.68147
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L.
69
2004
Discounting the future in systems theory. Zbl 1039.68087
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
41
2003
On Nash equilibria in stochastic games. Zbl 1095.91001
Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin
40
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
25
2014
Markov decision processes with multiple objectives. Zbl 1136.90498
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
23
2006
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
23
2005
Game refinement relations and metrics. Zbl 1147.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
23
2008
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
21
2008
Invariant synthesis for combined theories. Zbl 1132.68333
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey
19
2007
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
19
2003
Quantitative solution of omega-regular games. Zbl 1093.91001
de Alfaro, Luca; Majumdar, Rupak
19
2004
An SMT-based approach to coverability analysis. Zbl 1487.68156
Esparza, Javier; Ledesma-Garza, Ruslán; Majumdar, Rupak; Meyer, Philipp; Niksic, Filip
18
2014
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
18
2005
Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard
17
2000
Symbolic algorithms for infinite-state games. Zbl 1006.68095
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
16
2001
Rectangular hybrid games. Zbl 0937.91005
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak
16
1999
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
15
2003
Quantifying similarities between timed systems. Zbl 1175.68281
Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S.
15
2005
Thread-modular abstraction refinement. Zbl 1278.68175
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz
13
2003
Stochastic limit-average games are in EXPTIME. Zbl 1154.91004
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
13
2008
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
12
2002
Compositional synthesis of finite-state abstractions. Zbl 1482.93263
Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak
12
2019
Interprocedural analysis of asynchronous programs. Zbl 1295.68086
Jhala, Ranjit; Majumdar, Rupak
11
2007
Towards robustness for cyber-physical systems. Zbl 1360.93524
Tabuada, Paulo; Caliskan, Sina Yamac; Rungger, Matthias; Majumdar, Rupak
11
2014
The Blast query language for software verification. Zbl 1104.68408
Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
10
2004
Software model checking. Zbl 1507.68188
Jhala, Ranjit; Majumdar, Rupak
10
2009
Multi-layered abstraction-based controller synthesis for continuous-time systems. Zbl 1417.93061
Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin
9
2018
Counterexample-guided control. Zbl 1039.68555
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
8
2003
Abstract interpretation of game properties. Zbl 0966.68150
Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François
8
2000
Decision problems for the verification of real-time software. Zbl 1178.68340
Emmi, Michael; Majumdar, Rupak
8
2006
Symbolic controller synthesis for Büchi specifications on stochastic systems. Zbl 07300855
Majumdar, Rupak; Mallik, Kaushik; Soudjani, Sadegh
8
2020
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
7
2013
Quantifying conformance using the Skorokhod metric. Zbl 1360.68629
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
7
2017
Bounds on mobility. Zbl 1417.68132
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
6
2014
Symbolic model checking for rectangular hybrid systems. Zbl 0960.68117
Henzinger, Thomas A.; Majumdar, Rupak
6
2000
Extreme model checking. Zbl 1274.68190
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A.
6
2003
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
6
2015
Fair termination for parameterized probabilistic concurrent systems. Zbl 1452.68127
Lengál, Ondřej; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp
6
2017
Verifying quantitative properties using bound functions. Zbl 1159.68313
Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
6
2005
Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274
Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas
6
2017
Robust discrete synthesis against unspecified disturbances. Zbl 1362.68175
Majumdar, Rupak; Render, Elaine; Tabuada, Paulo
6
2011
Backstepping controller synthesis and characterizations of incremental stability. Zbl 1281.93088
Zamani, Majid; van de Wouw, Nathan; Majumdar, Rupak
5
2013
State of the union: Type inference via Craig interpolation. Zbl 1186.68114
Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang
5
2007
Quantitative solution of \(\omega\)-regular games. Zbl 1323.68417
de Alfaro, Luca; Majumdar, Rupak
5
2001
A theory of name boundedness. Zbl 1390.68474
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
5
2013
Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak
5
2017
Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility. Zbl 1517.68320
Lin, Anthony W.; Majumdar, Rupak
5
2018
Algorithms for game metrics. Zbl 1214.68245
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
4
2010
Model checking discounted temporal properties. Zbl 1126.68465
Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
4
2004
On the universal and existential fragments of the \(\mu\)-calculus. Zbl 1088.68106
Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
4
2006
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
Stack size analysis for interrupt-driven programs. Zbl 1067.68539
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
4
2003
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
Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301
Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak
4
2015
Unary pushdown automata and straight-line programs. Zbl 1409.68156
Chistikov, Dmitry; Majumdar, Rupak
3
2014
A classification of symbolic transition systems. Zbl 0959.68093
Henzinger, Thomas A.; Majumdar, Rupak
3
2000
Quantifying conformance using the Skorokhod metric. Zbl 1381.68156
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
3
2015
Edit distance for timed automata. Zbl 1360.68544
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak
3
2014
Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245
Majumdar, Rupak; Prabhu, Vinayak S.
3
2015
Generalising projection in asynchronous multiparty session types. Zbl 07730637
Majumdar, Rupak; Mukund, Madhavan; Stutz, Felix; Zufferey, Damien
3
2021
A uniformization theorem for nested word to word transductions. Zbl 1298.68128
Chistikov, Dmitry; Majumdar, Rupak
2
2013
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
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
Algorithms for game metrics. Zbl 1248.68349
Chatterjee, Krishnendu; de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath
2
2008
On the relation between reactive synthesis and supervisory control of non-terminating processes. Zbl 1441.93173
Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak
2
2020
Symbolic model checking for factored probabilistic models. Zbl 1398.68338
Deininger, David; Dimitrova, Rayna; Majumdar, Rupak
2
2016
Multilevel Monte Carlo method for statistical model checking of hybrid systems. Zbl 1420.68126
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Nagapetyan, Tigran
2
2017
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
On abstraction-based controller design with output feedback. Zbl 07300856
Majumdar, Rupak; Ozay, Necmiye; Schmuck, Anne-Kathrin
2
2020
Dynamic scheduling for networked control systems. Zbl 1364.68124
Saha, Indranil; Baruah, Sanjoy; Majumdar, Rupak
2
2015
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
2
2017
Rely/guarantee reasoning for asynchronous programs. Zbl 1374.68104
Gavran, Ivan; Niksic, Filip; Kanade, Aditya; Majumdar, Rupak; Vafeiadis, Viktor
2
2015
Probabilistic bisimulation for parameterized systems (with applications to verifying anonymous protocols). Zbl 1533.68160
Hong, Chih-Duo; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp
2
2019
Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility. Zbl 1517.68319
Lin, Anthony W.; Majumdar, Rupak
2
2021
Time-safety checking for embedded programs. Zbl 1027.68827
Henzinger, Thomas A.; Kirsch, Christoph M.; Majumdar, Rupak; Matic, Slobodan
1
2002
Frugal routing on wireless ad-hoc networks. Zbl 1136.68324
Ercal, Gunes; Izhak-Ratzin, Rafit; Majumdar, Rupak; Meyerson, Adam
1
2008
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
General decidability results for asynchronous shared-memory programs: higher-order and beyond. Zbl 07639910
Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
1
2022
The robot routing problem for collecting aggregate stochastic rewards. Zbl 1442.68237
Dimitrova, Rayna; Gavran, Ivan; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh Esmaeil Zadeh
1
2017
Safety verification of continuous-space pure jump Markov processes. Zbl 1420.68125
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Abate, Alessandro
1
2016
Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385
Dimitrova, Rayna; Majumdar, Rupak
1
2018
The pseudo-Skolem problem is decidable. Zbl 07724207
D’Costa, Julian; Karimov, Toghrul; Majumdar, Rupak; Ouaknine, Joël; Salamati, Mahmoud; Soudjani, Sadegh; Worrell, James
1
2021
Hybrid systems: computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Zbl 1161.93001
1
2009
Symbolic model checking in non-Boolean domains. Zbl 1392.68259
Majumdar, Rupak; Raskin, Jean-François
1
2018
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
Approximate time bounded reachability for CTMCs and CTMDPs: a Lyapunov approach. Zbl 1514.68146
Salamati, Mahmoud; Soudjani, Sadegh; Majumdar, Rupak
1
2018
General decidability results for asynchronous shared-memory programs: higher-order and beyond. Zbl 07639910
Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
1
2022
Generalising projection in asynchronous multiparty session types. Zbl 07730637
Majumdar, Rupak; Mukund, Madhavan; Stutz, Felix; Zufferey, Damien
3
2021
Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility. Zbl 1517.68319
Lin, Anthony W.; Majumdar, Rupak
2
2021
The pseudo-Skolem problem is decidable. Zbl 07724207
D’Costa, Julian; Karimov, Toghrul; Majumdar, Rupak; Ouaknine, Joël; Salamati, Mahmoud; Soudjani, Sadegh; Worrell, James
1
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
8
2020
On the relation between reactive synthesis and supervisory control of non-terminating processes. Zbl 1441.93173
Schmuck, Anne-Kathrin; Moor, Thomas; Majumdar, Rupak
2
2020
On abstraction-based controller design with output feedback. Zbl 07300856
Majumdar, Rupak; Ozay, Necmiye; Schmuck, Anne-Kathrin
2
2020
Compositional synthesis of finite-state abstractions. Zbl 1482.93263
Mallik, Kaushik; Schmuck, Anne-Kathrin; Soudjani, Sadegh; Majumdar, Rupak
12
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
Probabilistic bisimulation for parameterized systems (with applications to verifying anonymous protocols). Zbl 1533.68160
Hong, Chih-Duo; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp
2
2019
Multi-layered abstraction-based controller synthesis for continuous-time systems. Zbl 1417.93061
Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin
9
2018
Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility. Zbl 1517.68320
Lin, Anthony W.; Majumdar, Rupak
5
2018
Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385
Dimitrova, Rayna; Majumdar, Rupak
1
2018
Symbolic model checking in non-Boolean domains. Zbl 1392.68259
Majumdar, Rupak; Raskin, Jean-François
1
2018
Approximate time bounded reachability for CTMCs and CTMDPs: a Lyapunov approach. Zbl 1514.68146
Salamati, Mahmoud; Soudjani, Sadegh; Majumdar, Rupak
1
2018
Quantifying conformance using the Skorokhod metric. Zbl 1360.68629
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
7
2017
Fair termination for parameterized probabilistic concurrent systems. Zbl 1452.68127
Lengál, Ondřej; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp
6
2017
Thread modularity at many levels: a pearl in compositional verification. Zbl 1380.68274
Hoenicke, Jochen; Majumdar, Rupak; Podelski, Andreas
6
2017
Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak
5
2017
Multilevel Monte Carlo method for statistical model checking of hybrid systems. Zbl 1420.68126
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Nagapetyan, Tigran
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
2
2017
The robot routing problem for collecting aggregate stochastic rewards. Zbl 1442.68237
Dimitrova, Rayna; Gavran, Ivan; Majumdar, Rupak; Prabhu, Vinayak S.; Soudjani, Sadegh Esmaeil Zadeh
1
2017
Symbolic model checking for factored probabilistic models. Zbl 1398.68338
Deininger, David; Dimitrova, Rayna; Majumdar, Rupak
2
2016
Safety verification of continuous-space pure jump Markov processes. Zbl 1420.68125
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Abate, Alessandro
1
2016
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194
Chistikov, Dmitry; Dimitrova, Rayna; 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
4
2015
Quantifying conformance using the Skorokhod metric. Zbl 1381.68156
Deshmukh, Jyotirmoy V.; Majumdar, Rupak; Prabhu, Vinayak S.
3
2015
Computing the Skorokhod distance between polygonal traces. Zbl 1364.93245
Majumdar, Rupak; Prabhu, Vinayak S.
3
2015
Dynamic scheduling for networked control systems. Zbl 1364.68124
Saha, Indranil; Baruah, Sanjoy; Majumdar, Rupak
2
2015
Rely/guarantee reasoning for asynchronous programs. Zbl 1374.68104
Gavran, Ivan; Niksic, Filip; Kanade, Aditya; Majumdar, Rupak; Vafeiadis, Viktor
2
2015
Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053
Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando
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
25
2014
An SMT-based approach to coverability analysis. Zbl 1487.68156
Esparza, Javier; Ledesma-Garza, Ruslán; Majumdar, Rupak; Meyer, Philipp; Niksic, Filip
18
2014
Towards robustness for cyber-physical systems. Zbl 1360.93524
Tabuada, Paulo; Caliskan, Sina Yamac; Rungger, Matthias; Majumdar, Rupak
11
2014
Bounds on mobility. Zbl 1417.68132
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
6
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
3
2014
Code aware resource management. Zbl 1291.68137
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath
7
2013
Backstepping controller synthesis and characterizations of incremental stability. Zbl 1281.93088
Zamani, Majid; van de Wouw, Nathan; Majumdar, Rupak
5
2013
A theory of name boundedness. Zbl 1390.68474
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland
5
2013
A uniformization theorem for nested word to word transductions. Zbl 1298.68128
Chistikov, Dmitry; Majumdar, Rupak
2
2013
Model checking database applications. Zbl 1381.68163
Gligoric, Milos; 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
Robust discrete synthesis against unspecified disturbances. Zbl 1362.68175
Majumdar, Rupak; Render, Elaine; Tabuada, Paulo
6
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
Software model checking. Zbl 1507.68188
Jhala, Ranjit; Majumdar, Rupak
10
2009
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
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
23
2008
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
21
2008
Stochastic limit-average games are in EXPTIME. Zbl 1154.91004
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
13
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
19
2007
Interprocedural analysis of asynchronous programs. Zbl 1295.68086
Jhala, Ranjit; Majumdar, Rupak
11
2007
State of the union: Type inference via Craig interpolation. Zbl 1186.68114
Jhala, Ranjit; Majumdar, Rupak; Xu, Ru-Gang
5
2007
Markov decision processes with multiple objectives. Zbl 1136.90498
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
23
2006
Decision problems for the verification of real-time software. Zbl 1178.68340
Emmi, Michael; Majumdar, Rupak
8
2006
On the universal and existential fragments of the \(\mu\)-calculus. Zbl 1088.68106
Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
4
2006
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
23
2005
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
18
2005
Quantifying similarities between timed systems. Zbl 1175.68281
Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S.
15
2005
Verifying quantitative properties using bound functions. Zbl 1159.68313
Chakrabarti, Arindam; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna; Majumdar, Rupak
6
2005
Abstractions from proofs. Zbl 1325.68147
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L.
69
2004
On Nash equilibria in stochastic games. Zbl 1095.91001
Chatterjee, Krishnendu; Majumdar, Rupak; Jurdziński, Marcin
40
2004
Quantitative solution of omega-regular games. Zbl 1093.91001
de Alfaro, Luca; Majumdar, Rupak
19
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
4
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
41
2003
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
19
2003
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
15
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
8
2003
Extreme model checking. Zbl 1274.68190
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sanvido, Marco A. A.
6
2003
Stack size analysis for interrupt-driven programs. Zbl 1067.68539
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
4
2003
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
80
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
12
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
16
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
17
2000
Abstract interpretation of game properties. Zbl 0966.68150
Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François
8
2000
Symbolic model checking for rectangular hybrid systems. Zbl 0960.68117
Henzinger, Thomas A.; Majumdar, Rupak
6
2000
A classification of symbolic transition systems. Zbl 0959.68093
Henzinger, Thomas A.; Majumdar, Rupak
3
2000
Rectangular hybrid games. Zbl 0937.91005
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak
16
1999
Extension of bilateral generating functions. I. Zbl 0928.33004
Baran, Asit; Majumdar
1
1998
all top 5

Cited by 1,060 Authors

29 Chatterjee, Krishnendu
27 Henzinger, Thomas A.
21 Zamani, Majid
18 Kupferman, Orna
17 Majumdar, Rupak
13 Soudjani, Sadegh
12 Avni, Guy
12 Larsen, Kim Guldstrand
12 Tini, Simone
11 Kwiatkowska, Marta Z.
10 Bouyer, Patricia
10 Fahrenberg, Uli
10 Legay, Axel
10 Norman, Gethin
9 Cimatti, Alessandro
9 Lavaei, Abolfazl
8 Abate, Alessandro
8 Kröning, Daniel
8 Parker, David F.
8 Rybalchenko, Andrey
8 Worrell, James B.
7 Castiglioni, Valentina
7 Doyen, Laurent
7 Droste, Manfred
7 Griggio, Alberto
7 Lanotte, Ruggero
7 Loreti, Michele
6 Brihaye, Thomas
6 de Alfaro, Luca
6 Faella, Marco
6 Forejt, Vojtěch
6 Ibsen-Jensen, Rasmus
6 Podelski, Andreas
6 Raskin, Jean-François
6 Schmuck, Anne-Kathrin
6 Sharygina, Natasha
6 van Breugel, Franck
5 Abdulla, Parosh Aziz
5 Alur, Rajeev
5 Baier, Christel
5 Bozzelli, Laura
5 Bruttomesso, Roberto
5 Cao, Yongzhi
5 Girard, Antoine
5 Hoenicke, Jochen
5 Jobstmann, Barbara
5 Katoen, Joost-Pieter
5 La Torre, Salvatore
5 Markey, Nicolas
5 Murano, Aniello
5 Neider, Daniel
5 Pan, Haiyu
5 Zimmermann, Martin
4 Bernardo, Marco
4 Beyer, Dirk
4 Bonacina, Maria Paola
4 Bouajjani, Ahmed
4 Černý, Pavol
4 Chakraborty, Supratik
4 Chmelík, Martin
4 De Nicola, Rocco
4 Dimitrova, Rayna
4 Eggers, Andreas
4 Finkel, Alain
4 Guha, Shibashis
4 Hansen, Kristoffer Arnsfelt
4 Kovács, Laura Ildikó
4 Křetínský, Jan
4 Kucera, Antonin
4 Li, Yongming
4 Lime, Didier
4 Majzik, Istvan
4 Mallik, Kaushik
4 McMillan, Kenneth L.
4 Ouaknine, Joel O.
4 Rahonis, George
4 Ramdani, Nacim
4 Rümmer, Philipp
4 Santos, Gabriel Pinheiro Alves
4 Sebastiani, Roberto
4 Sproston, Jeremy
4 Thrane, Claus R.
4 Tonetta, Stefano
4 Trivedi, Ashutosh
4 Viswanathan, Mahesh
4 Weinert, Alexander
4 Weissenbacher, Georg
4 Zhan, Naijun
3 Almagor, Shaull
3 Atig, Mohamed Faouzi
3 Bertrand, Nathalie
3 Bloem, Roderick
3 Brázdil, Tomáš
3 Chistikov, Dmitry V.
3 Clarke, Edmund Melson jun.
3 Day, Joel D.
3 Delzanno, Giorgio
3 Duan, Zhenhua
3 Esmaeil Zadeh Soudjani, Sadegh
3 Esparza, Javier
...and 960 more Authors
all top 5

Cited in 68 Serials

53 Theoretical Computer Science
40 Formal Methods in System Design
30 Information and Computation
23 Automatica
16 Acta Informatica
15 Formal Aspects of Computing
15 Nonlinear Analysis. Hybrid Systems
13 Journal of Automated Reasoning
13 Logical Methods in Computer Science
12 Journal of Computer and System Sciences
7 Artificial Intelligence
7 Discrete Event Dynamic Systems
7 Journal of Logical and Algebraic Methods in Programming
6 International Journal of Approximate Reasoning
6 ACM Transactions on Computational Logic
5 Information Processing Letters
4 Journal of the Franklin Institute
4 The Journal of Logic and Algebraic Programming
3 Programming and Computer Software
3 Systems & Control Letters
3 Science of Computer Programming
3 Journal of Symbolic Computation
3 Annals of Mathematics and Artificial Intelligence
3 Theory of Computing Systems
3 Journal of the ACM
2 Fuzzy Sets and Systems
2 Mathematics of Operations Research
2 Real-Time Systems
2 International Journal of Foundations of Computer Science
2 European Journal of Control
2 International Journal of Applied Mathematics and Computer Science
2 Theory and Practice of Logic Programming
2 Dynamic Games and Applications
2 Computer Science Review
1 ACM Computing Surveys
1 Discrete Applied Mathematics
1 International Journal of Control
1 International Journal of General Systems
1 Computing
1 Journal of Multivariate Analysis
1 Naval Research Logistics
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 Mathematical Structures in 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 Distributed Computing
1 Cybernetics and Systems Analysis
1 Economic Theory
1 The Journal of Artificial Intelligence Research (JAIR)
1 International Transactions in Operational Research
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 Journal of Applied Mathematics
1 Computer Languages, Systems & Structures
1 Mathematics in Computer Science
1 Science China. Information Sciences
1 Games
1 Journal of Dynamics and Games
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year