E-LIB Suche - Ergebnisse für: Majumdar, Rupak - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Hardware and Software Codesign:

Pirron, Marcus , 2024

Link: https://nbn-resolving.or..

2

Implementability of Asynchronous Communication Protocols – ..:

Stutz, Felix , 2024

Link: https://nbn-resolving.de..

3

Rabin Games and Colourful Universal Trees:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Majumdar, Rupak ; Sağlam, Irmak ; Thejaswini, K. S. - p. 213-231 , 2024

Link: https://doi.org/10.1007/..

4

Challenges and Opportunities in Model Checking Large-scale ..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Majumdar, Rupak - p. 1-2 , 2024

Link: https://dl.acm.org/doi/1..

5

Reachability in Continuous Pushdown VASS:

Balasubramanian, A. R. ; Majumdar, Rupak ; Thinniyam, Ramanathan S..
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 90-114 , 2024

Link: https://doi.org/10.1145/..

6

Challenges and Opportunities in Model Checking Large Scale ..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Majumdar, Rupak - p. 1-2 , 2024

Link: https://doi.org/10.1145/..

7

Positive Almost-Sure Termination: Complexity and Proof Rule:

Majumdar, Rupak ; Sathiyanarayana, V. R.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1089-1117 , 2024

Link: https://doi.org/10.1145/..

8

Symbolic control for stochastic systems via finite parity g..:

Majumdar, Rupak ; Mallik, Kaushik ; Schmuck, Anne-Kathrin.
Nonlinear Analysis: Hybrid Systems. 51 (2024) - p. 101430 , 2024

Link: https://doi.org/10.1016/..

9

Enhancing GenMC's Usability and Performance:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Kokologiannakis, Michalis ; Majumdar, Rupak ; Vafeiadis, Viktor - p. 66-84 , 2024

Link: https://doi.org/10.1007/..

10

Data-driven abstraction-based control synthesis:

Kazemi, Milad ; Majumdar, Rupak ; Salamati, Mahmoud..
Nonlinear Analysis: Hybrid Systems. 52 (2024) - p. 101467 , 2024

Link: https://doi.org/10.1016/..

11

Programmatic Interfaces for Design & Simulation:

Mathur, Aman Shankar , 2023

Link: https://nbn-resolving.de..

12

Fast Symbolic Algorithms for Omega-Regular Games under Stro..:

Banerjee, Tamajit ; Majumdar, Rupak ; Mallik, Kaushik..
TheoretiCS. 2 (2023) - p. , 2023

Link: https://doi.org/10.46298..

13

Making $$\textsf {IP}=\textsf {PSPACE}$$ Practical: Efficie..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Couillard, Eszter ; Czerner, Philipp ; Esparza, Javier. - p. 437-458 , 2023

Link: https://doi.org/10.1007/..

14

A Flexible Toolchain for Symbolic Rabin Games under Fair an..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Majumdar, Rupak ; Mallik, Kaushik ; Rychlicki, Mateusz.. - p. 3-15 , 2023

Link: https://doi.org/10.1007/..

15

Supervisory Controller Synthesis for Nonterminating Process..:

Majumdar, Rupak ; Schmuck, Anne-Kathrin
IEEE Transactions on Automatic Control. 68 (2023) 1 - p. 385-392 , 2023

Link: https://doi.org/10.1109/..

1-15