Rupak Majumdar Max Planck Institute for Software Systems, Kaiserslautern, Germany University of California, Berkeley, CA, USA https://people.mpi-sws.org/~rupak/ https://www.mpg.de/987440/software-systems-majumdar https://scholar.google.com/citations?user=COuXyKwAAAAJ https://dl.acm.org/profile/81100319213 https://zbmath.org/authors/?q=ai:majumdar.rupak https://mathgenealogy.org/id.php?id=79895 https://www.linkedin.com/in/rupak-majumdar-a4026b1 https://orcid.org/0000-0003-2136-0542 https://www.wikidata.org/entity/Q102261362 https://www.wikidata.org/entity/Q130802462

A. R. Balasubramanian Matthew Hague Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 540-567 2026 10 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3776661 db/journals/pacmpl/pacmpl10.html#BalasubramanianHMTZ26 streams/journals/pacmpl

Constantin Enea Rupak Majumdar Harshit Jitendra Motwani V. R. Sathiyanarayana 1412-1441 2026 10 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3776691 db/journals/pacmpl/pacmpl10.html#EneaMMS26 streams/journals/pacmpl

Moritz Graf Anthony Lin Rupak Majumdar 2026 February abs/2602.12927 CoRR https://doi.org/10.48550/arXiv.2602.12927 db/journals/corr/corr2602.html#abs-2602-12927 streams/journals/corr

Ege Berkay Gulcan Burcu Kulahcioglu Ozkan Rupak Majumdar Srinidhi Nagendra 274-301 2025 9 Proc. ACM Program. Lang. OOPSLA2 https://doi.org/10.1145/3763060 db/journals/pacmpl/pacmpl9.html#GulcanOMN25

Rupak Majumdar V. R. Sathiyanarayana 1871-1902 2025 9 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3704899 db/journals/pacmpl/pacmpl9.html#MajumdarS25 streams/journals/pacmpl

Chih-Duo Hong Anthony W. Lin Philipp Rümmer Rupak Majumdar 1801-1817 2025 June 51 IEEE Trans. Software Eng. 6 https://doi.org/10.1109/TSE.2025.3567423 db/journals/tse/tse51.html#HongLRM25 streams/journals/tse

Jianing Zhao Bohan Cui Dimos V. Dimarogonas Rupak Majumdar Xiang Yin 0003 1214-1219 2025 CDC https://doi.org/10.1109/CDC57313.2025.11312480 conf/cdc/2025 db/conf/cdc/cdc2025.html#ZhaoCDMY25 streams/conf/cdc Hsi-Ming Ho Shankara Narayanan Krishna Khushraj Madnani Rupak Majumdar Paritosh K. Pandya 24:1-24:24 2025 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2025.24 conf/concur/2025 db/conf/concur/concur2025.html#HoKMMP25 Mohammad Hossein Khoshechin Jorshari Michalis Kokologiannakis Rupak Majumdar Srinidhi Nagendra 26:1-26:22 2025 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2025.26 conf/concur/2025 db/conf/concur/concur2025.html#JorshariKMN25 Rebecca Isaacs Peter Alvaro Rupak Majumdar Kiran Kumar Muniswamy Reddy Mahmoud Salamati Sadegh Soudjani 172-178 2025 HotOS https://doi.org/10.1145/3713082.3730380 conf/hotos/2025 db/conf/hotos/hotos2025.html#IsaacsAMKRSS25 Aman Aryan Manan Modi Indranil Saha 0001 Rupak Majumdar Swarup Mohalik 27:1-27:12 2025 ICCPS https://doi.org/10.1145/3716550.3722028 conf/iccps/2025 db/conf/iccps/iccps2025.html#AryanMSMM25 Rupak Majumdar Mahmoud Salamati Sadegh Soudjani 2025 ICML https://proceedings.mlr.press/v267/majumdar25a.html https://openreview.net/forum?id=SqhhqMbqV3 conf/icml/2025 db/conf/icml/icml2025.html#MajumdarSS25 Rajab Aghamov Christel Baier Toghrul Karimov Rupak Majumdar Joël Ouaknine Jakob Piribauer Timm Spork 2025 KR https://doi.org/10.24963/kr.2025/1 conf/kr/2025 db/conf/kr/kr2025.html#AghamovBKMOPS25 A. R. Balasubramanian Dmitry Chistikov 0001 Rupak Majumdar 622-635 2025 LICS https://doi.org/10.1109/LICS65433.2025.00053 conf/lics/2025 db/conf/lics/lics2025.html#BalasubramanianCM25 streams/conf/lics

Rajab Aghamov Christel Baier Toghrul Karimov Rupak Majumdar Joël Ouaknine Jakob Piribauer Timm Spork 2025 February abs/2502.20193 CoRR https://doi.org/10.48550/arXiv.2502.20193 db/journals/corr/corr2502.html#abs-2502-20193 streams/journals/corr

Chih-Duo Hong Anthony W. Lin Philipp Rümmer Rupak Majumdar 2025 May abs/2505.09963 CoRR https://doi.org/10.48550/arXiv.2505.09963 db/journals/corr/corr2505.html#abs-2505-09963 streams/journals/corr

Jiarui Gan Rupak Majumdar 2025 June abs/2506.07186 CoRR https://doi.org/10.48550/arXiv.2506.07186 db/journals/corr/corr2506.html#abs-2506-07186 streams/journals/corr

Arash Bahari Kordabad Rupak Majumdar Harshit J. Motwani Sadegh Soudjani 2025 July abs/2507.20194 CoRR https://doi.org/10.48550/arXiv.2507.20194 db/journals/corr/corr2507.html#abs-2507-20194 streams/journals/corr

Jianing Zhao Bowen Ye Xinyi Yu Rupak Majumdar Xiang Yin 0003 2025 September abs/2509.02184 CoRR https://doi.org/10.48550/arXiv.2509.02184 db/journals/corr/corr2509.html#abs-2509-02184 streams/journals/corr

Hsi-Ming Ho Shankara Narayanan Krishna Khushraj Madnani Rupak Majumdar Paritosh K. Pandya 2025 October abs/2510.01490 CoRR https://doi.org/10.48550/arXiv.2510.01490 db/journals/corr/corr2510.html#abs-2510-01490 streams/journals/corr

Peter Alvaro Rebecca Isaacs Rupak Majumdar Kiran-Kumar Muniswamy-Reddy Mahmoud Salamati Sadegh Soudjani 2025 October abs/2510.03551 CoRR https://doi.org/10.48550/arXiv.2510.03551 db/journals/corr/corr2510.html#abs-2510-03551 streams/journals/corr

Arash Bahari Kordabad Rupak Majumdar Sadegh Soudjani 2025 October abs/2510.25513 CoRR https://doi.org/10.48550/arXiv.2510.25513 db/journals/corr/corr2510.html#abs-2510-25513 streams/journals/corr

A. R. Balasubramanian Matthew Hague Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 2025 November abs/2511.21559 CoRR https://doi.org/10.48550/arXiv.2511.21559 db/journals/corr/corr2511.html#abs-2511-21559 streams/journals/corr

A. R. Balasubramanian Mohammad Hossein Khoshechin Jorshari Rupak Majumdar Umang Mathur 0001 Minjian Zhang 0002 2025 December abs/2512.23996 CoRR https://doi.org/10.48550/arXiv.2512.23996 db/journals/corr/corr2512.html#abs-2512-23996 streams/journals/corr

Rupak Majumdar V. R. Sathiyanarayana Sadegh Soudjani 2703-2708 2024 8 IEEE Control. Syst. Lett. https://doi.org/10.1109/LCSYS.2024.3507279 db/journals/csysl/csysl8.html#MajumdarSS24 streams/journals/csysl

Constantin Enea Dimitra Giannakopoulou Michalis Kokologiannakis Rupak Majumdar 1900-1927 2024 8 Proc. ACM Program. Lang. OOPSLA2 https://doi.org/10.1145/3689778 https://www.wikidata.org/entity/Q130806476 db/journals/pacmpl/pacmpl8.html#EneaGKM24

Andrea Borgarelli Constantin Enea Rupak Majumdar Srinidhi Nagendra 1928-1954 2024 8 Proc. ACM Program. Lang. OOPSLA2 https://doi.org/10.1145/3689779 https://www.wikidata.org/entity/Q130806303 db/journals/pacmpl/pacmpl8.html#BorgarelliEMN24

A. R. Balasubramanian Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 90-114 2024 January 8 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3633279 db/journals/pacmpl/pacmpl8.html#BalasubramanianMTZ24

Rupak Majumdar V. R. Sathiyanarayana 1089-1117 2024 January 8 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3632879 db/journals/pacmpl/pacmpl8.html#MajumdarS24

Rupak Majumdar V. R. Sathiyanarayana 41-72 2024 Principles of Verification (1) https://doi.org/10.1007/978-3-031-75783-9_2 conf/birthday/2025katoen-1 db/conf/birthday/katoen2025-1.html#MajumdarS25 Rupak Majumdar 1:1-1:2 2024 ICSE https://doi.org/10.1145/3597503.3649398 conf/icse/2024 db/conf/icse/icse2024.html#Majumdar24 Rupak Majumdar 5:1-5:1 2024 MFCS https://doi.org/10.4230/LIPIcs.MFCS.2024.5 conf/mfcs/2024 db/conf/mfcs/mfcs2024.html#Majumdar24 Michalis Kokologiannakis Rupak Majumdar Viktor Vafeiadis 66-84 2024 TACAS (2) https://doi.org/10.1007/978-3-031-57249-4_4 conf/tacas/2024-2 db/conf/tacas/tacas2024-2.html#KokologiannakisMV24 Rupak Majumdar Irmak Saglam K. S. Thejaswini 213-231 2024 TACAS (3) https://doi.org/10.1007/978-3-031-57256-2_11 conf/tacas/2024-3 db/conf/tacas/tacas2024-3.html#MajumdarST24 Rupak Majumdar Alexandra Silva 0001 CONCUR Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024 LIPIcs 311 978-3-95977-339-3 https://www.dagstuhl.de/dagpub/978-3-95977-339-3 db/conf/concur/concur2024.html

Rupak Majumdar Irmak Saglam K. S. Thejaswini 2024 abs/2401.07548 CoRR https://doi.org/10.48550/arXiv.2401.07548 db/journals/corr/corr2401.html#abs-2401-07548

Aman Aryan Manan Modi Indranil Saha 0001 Rupak Majumdar Swarup Mohalik 2024 abs/2403.01277 CoRR https://doi.org/10.48550/arXiv.2403.01277 db/journals/corr/corr2403.html#abs-2403-01277

Rupak Majumdar V. R. Sathiyanarayana 2024 abs/2404.19724 CoRR https://doi.org/10.48550/arXiv.2404.19724 db/journals/corr/corr2404.html#abs-2404-19724

Andrea Borgarelli Constantin Enea Rupak Majumdar Srinidhi Nagendra 2024 abs/2409.02137 CoRR https://doi.org/10.48550/arXiv.2409.02137 db/journals/corr/corr2409.html#abs-2409-02137 streams/journals/corr

Ege Berkay Gulcan Burcu Kulahcioglu Ozkan Rupak Majumdar Srinidhi Nagendra 2024 abs/2410.02307 CoRR https://doi.org/10.48550/arXiv.2410.02307 db/journals/corr/corr2410.html#abs-2410-02307 streams/journals/corr

Rupak Majumdar Mahmoud Salamati Sadegh Soudjani 2024 abs/2411.12019 CoRR https://doi.org/10.48550/arXiv.2411.12019 db/journals/corr/corr2411.html#abs-2411-12019 streams/journals/corr

Pascal Baumann 0001 Moses Ganardi Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 2141-2170 2023 January 7 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3571266 db/journals/pacmpl/pacmpl7.html#BaumannGMTZ23

Rupak Majumdar Anne-Kathrin Schmuck 385-392 2023 68 IEEE Trans. Autom. Control. 1 https://doi.org/10.1109/TAC.2022.3143108 db/journals/tac/tac68.html#MajumdarS23

Rupak Majumdar Mahmoud Salamati Sadegh Soudjani 141:1-141:25 2023 October 22 ACM Trans. Embed. Comput. Syst. 5s https://doi.org/10.1145/3608104 db/journals/tecs/tecs22.html#MajumdarSS23

Tamajit Banerjee Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck Sadegh Soudjani 2023 2 TheoretiCS 4 https://doi.org/10.46298/theoretics.23.4 db/journals/theoretics/theoretics2.html#BanerjeeMMSS23

Debmalya Mandal Goran Radanovic Jiarui Gan Adish Singla Rupak Majumdar 9064-9071 2023 AAAI https://doi.org/10.1609/aaai.v37i7.26088 conf/aaai/2023 db/conf/aaai/aaai2023.html#MandalRGSM23 Jiarui Gan Annika Hennes Rupak Majumdar Debmalya Mandal Goran Radanovic 11980-11988 2023 AAAI https://doi.org/10.1609/aaai.v37i10.26413 conf/aaai/2023 db/conf/aaai/aaai2023.html#GanHMMR23 Rupak Majumdar Kaushik Mallik Mateusz Rychlicki Anne-Kathrin Schmuck Sadegh Soudjani 3-15 2023 CAV (3) https://doi.org/10.1007/978-3-031-37709-9_1 conf/cav/2023-3 db/conf/cav/cav2023-3.html#MajumdarMRSS23 Kevin Lotz Amit Goel Bruno Dutertre Benjamin Kiesl-Reiter Soonho Kong Rupak Majumdar Dirk Nowotka 187-208 2023 CAV (2) https://doi.org/10.1007/978-3-031-37703-7_9 conf/cav/2023-2 db/conf/cav/cav2023-2.html#LotzGDKKMN23 Eszter Couillard Philipp Czerner Javier Esparza Rupak Majumdar 437-458 2023 CAV (3) https://doi.org/10.1007/978-3-031-37709-9_21 conf/cav/2023-3 db/conf/cav/cav2023-3.html#CouillardCEM23 Shankara Narayanan Krishna Khushraj Nanik Madnani Rupak Majumdar Paritosh K. Pandya 23:1-23:18 2023 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2023.23 conf/concur/2023 db/conf/concur/concur2023.html#KrishnaMMP23 Tung Phung José Cambronero Sumit Gulwani Tobias Kohn Rupak Majumdar Adish Singla Gustavo Soares 2023 EDM https://educationaldatamining.org/2023.EDM-short-papers.37/index.html conf/edm/2023 db/conf/edm/edm2023.html#PhungCGKMSS23 Alain Finkel Shankara Narayanan Krishna Khushraj Madnani Rupak Majumdar Georg Zetzsche 42:1-42:17 2023 FSTTCS https://doi.org/10.4230/LIPIcs.FSTTCS.2023.42 conf/fsttcs/2023 db/conf/fsttcs/fsttcs2023.html#FinkelKMMZ23 Rupak Majumdar Kaushik Mallik Mateusz Rychlicki Anne-Kathrin Schmuck Sadegh Soudjani 28:1-28:2 2023 HSCC https://doi.org/10.1145/3575870.3589554 https://www.wikidata.org/entity/Q131113386 conf/hybrid/2023 db/conf/hybrid/hscc2023.html#MajumdarMRSS23 Pascal Baumann 0001 Moses Ganardi Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 3:1-3:16 2023 ICALP https://doi.org/10.4230/LIPIcs.ICALP.2023.3 conf/icalp/2023 db/conf/icalp/icalp2023.html#0001GMTZ23 Pascal Baumann 0001 Moses Ganardi Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 110:1-110:20 2023 ICALP https://doi.org/10.4230/LIPIcs.ICALP.2023.110 conf/icalp/2023 db/conf/icalp/icalp2023.html#0001GMTZ23a Tung Phung Victor-Alexandru Padurean José Cambronero Sumit Gulwani Tobias Kohn Rupak Majumdar Adish Singla Gustavo Soares 41-42 2023 ICER (2) https://doi.org/10.1145/3568812.3603476 https://www.wikidata.org/entity/Q130802463 conf/icer/2023-2 db/conf/icer/icer2023-2.html#PhungPCGKMSS22 Michalis Kokologiannakis Rupak Majumdar Viktor Vafeiadis 2023 October https://doi.org/10.5281/zenodo.10018136 Zenodo streams/repo/zenodo

Debmalya Mandal Goran Radanovic Jiarui Gan Adish Singla Rupak Majumdar 2023 abs/2302.03608 CoRR https://doi.org/10.48550/arXiv.2302.03608 db/journals/corr/corr2302.html#abs-2302-03608

Tung Phung José Cambronero Sumit Gulwani Tobias Kohn Rupak Majumdar Adish Singla Gustavo Soares 2023 abs/2302.04662 CoRR https://doi.org/10.48550/arXiv.2302.04662 db/journals/corr/corr2302.html#abs-2302-04662

Eszter Couillard Philipp Czerner Javier Esparza Rupak Majumdar 2023 abs/2305.11813 CoRR https://doi.org/10.48550/arXiv.2305.11813 db/journals/corr/corr2305.html#abs-2305-11813

Jiarui Gan Rupak Majumdar Debmalya Mandal Goran Radanovic 2023 abs/2306.03832 CoRR https://doi.org/10.48550/arXiv.2306.03832 db/journals/corr/corr2306.html#abs-2306-03832

Pascal Baumann 0001 Moses Ganardi Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 2023 abs/2306.13058 CoRR https://doi.org/10.48550/arXiv.2306.13058 db/journals/corr/corr2306.html#abs-2306-13058

Tung Phung Victor-Alexandru Padurean José Cambronero Sumit Gulwani Tobias Kohn Rupak Majumdar Adish Singla Gustavo Soares 2023 abs/2306.17156 CoRR https://doi.org/10.48550/arXiv.2306.17156 db/journals/corr/corr2306.html#abs-2306-17156

Rupak Majumdar Mahmoud Salamati Sadegh Soudjani 2023 abs/2307.03783 CoRR https://doi.org/10.48550/arXiv.2307.03783 db/journals/corr/corr2307.html#abs-2307-03783

Jiarui Gan Annika Hennes Rupak Majumdar Debmalya Mandal Goran Radanovic 2023 abs/2307.10491 CoRR https://doi.org/10.48550/arXiv.2307.10491 db/journals/corr/corr2307.html#abs-2307-10491

Shankara Narayanan Krishna Khushraj Nanik Madnani Rupak Majumdar Paritosh K. Pandya 2023 abs/2309.00386 CoRR https://doi.org/10.48550/arXiv.2309.00386 db/journals/corr/corr2309.html#abs-2309-00386

Rupak Majumdar V. R. Sathiyanarayana 2023 abs/2310.16145 CoRR https://doi.org/10.48550/arXiv.2310.16145 db/journals/corr/corr2310.html#abs-2310-16145

A. R. Balasubramanian Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 2023 abs/2310.16798 CoRR https://doi.org/10.48550/arXiv.2310.16798 db/journals/corr/corr2310.html#abs-2310-16798

Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 2022 18 Log. Methods Comput. Sci. 4 https://doi.org/10.46298/lmcs-18(4:2)2022 db/journals/lmcs/lmcs18.html#MajumdarTZ22

Pascal Baumann 0001 Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 1-28 2022 6 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3498678 db/journals/pacmpl/pacmpl6.html#BaumannMTZ22

Dmitry Chistikov 0001 Rupak Majumdar Philipp Schepper 1-29 2022 6 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3498702 db/journals/pacmpl/pacmpl6.html#ChistikovMS22

Jiarui Gan Rupak Majumdar Goran Radanovic Adish Singla 5025-5033 2022 AAAI https://doi.org/10.1609/aaai.v36i5.20434 conf/aaai/2022 db/conf/aaai/aaai2022.html#GanMRS22 Jiarui Gan Rupak Majumdar Goran Radanovic Adish Singla 4:1-4:18 2022 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2022.4 conf/concur/2022 db/conf/concur/concur2022.html#GanMRS22 Moses Ganardi Rupak Majumdar Andreas Pavlogiannis Lia Schütze Georg Zetzsche 124:1-124:20 2022 ICALP https://doi.org/10.4230/LIPIcs.ICALP.2022.124 conf/icalp/2022 db/conf/icalp/icalp2022.html#GanardiMPSZ22 Moses Ganardi Rupak Majumdar Georg Zetzsche 26:1-26:15 2022 LICS https://doi.org/10.1145/3531130.3533345 https://www.wikidata.org/entity/Q130991657 conf/lics/2022 db/conf/lics/lics2022.html#GanardiMZ22 Julian D'Costa Toghrul Karimov Rupak Majumdar Joël Ouaknine Mahmoud Salamati James Worrell 0001 40:1-40:13 2022 MFCS https://doi.org/10.4230/LIPIcs.MFCS.2022.40 conf/mfcs/2022 db/conf/mfcs/mfcs2022.html#DCostaKMOSW22 Jiarui Gan Rupak Majumdar Adish Singla Goran Radanovic 2022 conf/nips/2022 NeurIPS http://papers.nips.cc/paper_files/paper/2022/hash/5692c7dbc4abcaa50f9ce609819212e5-Abstract-Conference.html db/conf/nips/neurips2022.html#GanMSR22 Tamajit Banerjee Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck Sadegh Soudjani 81-98 2022 TACAS (2) https://doi.org/10.1007/978-3-030-99527-0_5 conf/tacas/2022-2 db/conf/tacas/tacas2022-2.html#BanerjeeMMSS22 Jean-François Raskin Krishnendu Chatterjee Laurent Doyen 0001 Rupak Majumdar Principles of Systems Design Springer 2022 Lecture Notes in Computer Science 13660 978-3-031-22336-5 978-3-031-22337-2 https://doi.org/10.1007/978-3-031-22337-2 db/conf/birthday/henzinger2022.html

Tamajit Banerjee Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck Sadegh Soudjani 2022 abs/2202.07480 CoRR https://arxiv.org/abs/2202.07480 db/journals/corr/corr2202.html#abs-2202-07480

Moses Ganardi Rupak Majumdar Andreas Pavlogiannis Lia Schütze Georg Zetzsche 2022 abs/2204.11799 CoRR https://doi.org/10.48550/arXiv.2204.11799 db/journals/corr/corr2204.html#abs-2204-11799

Milad Kazemi Rupak Majumdar Mahmoud Salamati Sadegh Soudjani Ben Wooding 2022 abs/2206.08069 CoRR https://doi.org/10.48550/arXiv.2206.08069 db/journals/corr/corr2206.html#abs-2206-08069

Anthony W. Lin Rupak Majumdar 2021 17 Log. Methods Comput. Sci. 4 https://doi.org/10.46298/lmcs-17(4:4)2021 db/journals/lmcs/lmcs17.html#LinM21

Pascal Baumann 0001 Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 1-31 2021 5 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3434325 db/journals/pacmpl/pacmpl5.html#BaumannMTZ21

Natsuki Urabe Rupak Majumdar 1934-1946 2021 40 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 https://doi.org/10.1109/TCAD.2020.3027657 db/journals/tcad/tcad40.html#UrabeM21

Christel Baier Florian Funke 0002 Rupak Majumdar 11734-11743 2021 AAAI https://doi.org/10.1609/aaai.v35i13.17395 conf/aaai/2021 db/conf/aaai/aaai2021.html#Baier0M21 Maximilian Fickert Ivan Gavran Ivan Fedotov Jörg Hoffmann 0001 Rupak Majumdar Wheeler Ruml 12311-12319 2021 AAAI https://doi.org/10.1609/aaai.v35i14.17461 conf/aaai/2021 db/conf/aaai/aaai2021.html#FickertGF0MR21 Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck Sadegh Soudjani 127-132 2021 ADHS https://doi.org/10.1016/j.ifacol.2021.08.486 conf/adhs/2021 db/conf/adhs/adhs2021.html#MajumdarMSS21 Rupak Majumdar Madhavan Mukund Felix Stutz Damien Zufferey 35:1-35:24 2021 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2021.35 conf/concur/2021 db/conf/concur/concur2021.html#MajumdarMSZ21 Heiko Becker Nathaniel Bos Ivan Gavran Eva Darulova Rupak Majumdar 212-223 2021 CPP https://doi.org/10.1145/3437992.3439925 conf/cpp/2021 db/conf/cpp/cpp2021.html#BeckerBGDM21 Rupak Majumdar Aman Shankar Mathur Marcus Pirron Laura Stegner Damien Zufferey 172-195 2021 FASE https://doi.org/10.1007/978-3-030-71500-7_9 conf/fase/2021 db/conf/fase/fase2021.html#MajumdarMPSZ21 Rupak Majumdar Sadegh Soudjani 5:1-5:7 2021 HSCC https://doi.org/10.1145/3447928.3456634 conf/hybrid/2021 db/conf/hybrid/hscc2021.html#MajumdarS21 Christel Baier Clemens Dubslaff Florian Funke 0002 Simon Jantsch Rupak Majumdar Jakob Piribauer Robin Ziemek 1:1-1:20 2021 ICALP https://doi.org/10.4230/LIPIcs.ICALP.2021.1 conf/icalp/2021 db/conf/icalp/icalp2021.html#BaierD0JMPZ21 Rupak Majumdar Kaushik Mallik Mahmoud Salamati Sadegh Soudjani Mehrdad Zareian 209-220 2021 ICCPS https://doi.org/10.1145/3450267.3450548 https://www.wikidata.org/entity/Q131115438 conf/iccps/2021 db/conf/iccps/iccps2021.html#MajumdarMSSZ21 Christel Baier Florian Funke 0002 Rupak Majumdar 1773-1779 2021 IJCAI https://doi.org/10.24963/ijcai.2021/244 conf/ijcai/2021 db/conf/ijcai/ijcai2021.html#Baier0M21 Julian D'Costa Toghrul Karimov Rupak Majumdar Joël Ouaknine Mahmoud Salamati Sadegh Soudjani James Worrell 0001 34:1-34:21 2021 MFCS https://doi.org/10.4230/LIPIcs.MFCS.2021.34 conf/mfcs/2021 db/conf/mfcs/mfcs2021.html#DCostaKMOSS021 Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 449-467 2021 TACAS (1) https://doi.org/10.1007/978-3-030-72016-2_24 conf/tacas/2021-1 db/conf/tacas/tacas2021-1.html#MajumdarTZ21 Chryssis Georgiou Rupak Majumdar NETYS Springer 2021 Lecture Notes in Computer Science 12129 978-3-030-67086-3 978-3-030-67087-0 https://doi.org/10.1007/978-3-030-67087-0 db/conf/netys/netys2020.html

Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck Sadegh Soudjani 2021 abs/2101.00834 CoRR https://arxiv.org/abs/2101.00834 db/journals/corr/corr2101.html#abs-2101-00834

Heiko Becker Nathaniel Bos Ivan Gavran Eva Darulova Rupak Majumdar 2021 abs/2101.00930 CoRR https://arxiv.org/abs/2101.00930 db/journals/corr/corr2101.html#abs-2101-00930

Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 2021 abs/2101.08611 CoRR https://arxiv.org/abs/2101.08611 db/journals/corr/corr2101.html#abs-2101-08611

Dmitry Chistikov 0001 Rupak Majumdar Philipp Schepper 2021 abs/2102.13095 CoRR https://arxiv.org/abs/2102.13095 db/journals/corr/corr2102.html#abs-2102-13095

Christel Baier Florian Funke 0002 Rupak Majumdar 2021 abs/2105.09129 CoRR https://arxiv.org/abs/2105.09129 db/journals/corr/corr2105.html#abs-2105-09129

Christel Baier Clemens Dubslaff Florian Funke 0002 Simon Jantsch Rupak Majumdar Jakob Piribauer Robin Ziemek 2021 abs/2105.09533 CoRR https://arxiv.org/abs/2105.09533 db/journals/corr/corr2105.html#abs-2105-09533

Jiarui Gan Rupak Majumdar Goran Radanovic Adish Singla 2021 abs/2106.05137 CoRR https://arxiv.org/abs/2106.05137 db/journals/corr/corr2106.html#abs-2106-05137

Rupak Majumdar Madhavan Mukund Felix Stutz Damien Zufferey 2021 abs/2107.03984 CoRR https://arxiv.org/abs/2107.03984 db/journals/corr/corr2107.html#abs-2107-03984

Moses Ganardi Rupak Majumdar Georg Zetzsche 2021 abs/2110.03654 CoRR https://arxiv.org/abs/2110.03654 db/journals/corr/corr2110.html#abs-2110-03654

Pascal Baumann 0001 Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 2021 abs/2111.09022 CoRR https://arxiv.org/abs/2111.09022 db/journals/corr/corr2111.html#abs-2111-09022

Anne-Kathrin Schmuck Thomas Moor Rupak Majumdar 81-124 2020 30 Discret. Event Dyn. Syst. 1 https://doi.org/10.1007/s10626-019-00299-5 https://www.wikidata.org/entity/Q126424318 db/journals/deds/deds30.html#SchmuckMM20

Rupak Majumdar Nobuko Yoshida Damien Zufferey 134:1-134:30 2020 4 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3428202 db/journals/pacmpl/pacmpl4.html#MajumdarYZ20

Ivan Gavran Eva Darulova Rupak Majumdar 201:1-201:26 2020 4 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3428269 db/journals/pacmpl/pacmpl4.html#GavranDM20

Cezara Dragoi Constantin Enea Burcu Kulahcioglu Ozkan Rupak Majumdar Filip Niksic 210:1-210:29 2020 4 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3428278 db/journals/pacmpl/pacmpl4.html#DragoiEOMN20

Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck Damien Zufferey 3215-3226 2020 39 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11 https://doi.org/10.1109/TCAD.2020.3012641 db/journals/tcad/tcad39.html#MajumdarMSZ20

Mahmoud Salamati Sadegh Soudjani Rupak Majumdar 2:1-2:29 2020 5 ACM Trans. Model. Perform. Evaluation Comput. Syst. 1 https://doi.org/10.1145/3371923 db/journals/tompecs/tompecs5.html#SalamatiSM20

Zhe Xu 0005 Ivan Gavran Yousef Ahmad Rupak Majumdar Daniel Neider Ufuk Topcu Bo Wu 0005 590-598 2020 ICAPS https://ojs.aaai.org/index.php/ICAPS/article/view/6756 conf/aips/2020 db/conf/aips/icaps2020.html#0005GAMNT020 Rupak Majumdar Joël Ouaknine Amaury Pouly James Worrell 0001 32:1-32:17 2020 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2020.32 conf/concur/2020 db/conf/concur/concur2020.html#MajumdarOP020 Rupak Majumdar Kaushik Mallik Sadegh Soudjani 14:1-14:11 2020 HSCC https://doi.org/10.1145/3365365.3382214 https://www.wikidata.org/entity/Q131115987 conf/hybrid/2020 db/conf/hybrid/hscc2020.html#MajumdarMS20 Rupak Majumdar Necmiye Ozay Anne-Kathrin Schmuck 15:1-15:11 2020 HSCC https://doi.org/10.1145/3365365.3382219 conf/hybrid/2020 db/conf/hybrid/hscc2020.html#MajumdarOS20 Pascal Baumann 0001 Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 111:1-111:16 2020 ICALP https://doi.org/10.4230/LIPIcs.ICALP.2020.111 conf/icalp/2020 db/conf/icalp/icalp2020.html#BaumannMTZ20 Rupak Majumdar Mahmoud Salamati Sadegh Soudjani 133:1-133:19 2020 ICALP https://doi.org/10.4230/LIPIcs.ICALP.2020.133 conf/icalp/2020 db/conf/icalp/icalp2020.html#MajumdarSS20 Ghaith Bilbeisi Sheraz Ahmed Rupak Majumdar 324-332 2020 ICONIP (5) https://doi.org/10.1007/978-3-030-63823-8_38 conf/iconip/2020-5 db/conf/iconip/iconip2020-5.html#BilbeisiAM20 Rupak Majumdar Nobuko Yoshida Damien Zufferey 2020 September https://doi.org/10.5281/zenodo.4051784 Zenodo streams/repo/zenodo

Rupak Majumdar Necmiye Ozay Anne-Kathrin Schmuck 2020 abs/2002.02687 CoRR https://arxiv.org/abs/2002.02687 db/journals/corr/corr2002.html#abs-2002-02687

Rupak Majumdar Mahmoud Salamati Sadegh Soudjani 2020 abs/2006.05498 CoRR https://arxiv.org/abs/2006.05498 db/journals/corr/corr2006.html#abs-2006-05498

Rupak Majumdar Anne-Kathrin Schmuck 2020 abs/2007.01773 CoRR https://arxiv.org/abs/2007.01773 db/journals/corr/corr2007.html#abs-2007-01773

Anthony W. Lin Rupak Majumdar 2020 abs/2007.15478 CoRR https://arxiv.org/abs/2007.15478 db/journals/corr/corr2007.html#abs-2007-15478

Rupak Majumdar Nobuko Yoshida Damien Zufferey 2020 abs/2010.05484 CoRR https://arxiv.org/abs/2010.05484 db/journals/corr/corr2010.html#abs-2010-05484

Chih-Duo Hong Anthony W. Lin Rupak Majumdar Philipp Rümmer 2020 abs/2011.02413 CoRR https://arxiv.org/abs/2011.02413 db/journals/corr/corr2011.html#abs-2011-02413

Pascal Baumann 0001 Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 2020 abs/2011.04581 CoRR https://arxiv.org/abs/2011.04581 db/journals/corr/corr2011.html#abs-2011-04581

Pascal Baumann 0001 Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche 2020 abs/2011.05825 CoRR https://arxiv.org/abs/2011.05825 db/journals/corr/corr2011.html#abs-2011-05825

Burcu Kulahcioglu Ozkan Rupak Majumdar Simin Oraee 180:1-180:29 2019 3 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3360606 https://www.wikidata.org/entity/Q127150080 db/journals/pacmpl/pacmpl3.html#OzkanMO19

Kaushik Mallik Anne-Kathrin Schmuck Sadegh Soudjani Rupak Majumdar 2629-2636 2019 64 IEEE Trans. Autom. Control. 6 https://doi.org/10.1109/TAC.2018.2869740 db/journals/tac/tac64.html#MallikSSM19

Samira S. Farahani Rupak Majumdar Vinayak S. Prabhu Sadegh Soudjani 3324-3331 2019 64 IEEE Trans. Autom. Control. 8 https://doi.org/10.1109/TAC.2018.2880651 https://www.wikidata.org/entity/Q128878921 db/journals/tac/tac64.html#FarahaniMPS19

Mahmoud Salamati Rocco Salvia Eva Darulova Sadegh Soudjani Rupak Majumdar 100:1-100:19 2019 18 ACM Trans. Embed. Comput. Syst. 5s https://doi.org/10.1145/3358223 https://www.wikidata.org/entity/Q127152548 db/journals/tecs/tecs18.html#SalamatiSDSM19

Kyle Hsu Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck 23-47 2019 ATVA https://doi.org/10.1007/978-3-030-31784-3_2 conf/atva/2019 db/conf/atva/atva2019.html#HsuMMS19 Chih-Duo Hong Anthony W. Lin Rupak Majumdar Philipp Rümmer 455-474 2019 CAV (1) https://doi.org/10.1007/978-3-030-25540-4_27 conf/cav/2019-1 db/conf/cav/cav2019-1.html#HongLMR19 Yunjun Bai Kaushik Mallik Anne-Kathrin Schmuck Damien Zufferey Rupak Majumdar 6261-6268 2019 CDC https://doi.org/10.1109/CDC40024.2019.9030141 conf/cdc/2019 db/conf/cdc/cdc2019.html#BaiMSZM19 Rupak Majumdar Marcus Pirron Nobuko Yoshida Damien Zufferey 28:1-28:27 2019 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2019.28 conf/ecoop/2019 db/conf/ecoop/ecoop2019.html#MajumdarPYZ19 Arpan Gujarati Mitra Nasri Rupak Majumdar Björn B. Brandenburg 9:1-9:23 2019 ECRTS https://doi.org/10.4230/LIPIcs.ECRTS.2019.9 conf/ecrts/2019 db/conf/ecrts/ecrts2019.html#GujaratiNMB19 Gregor B. Banusic Rupak Majumdar Marcus Pirron Anne-Kathrin Schmuck Damien Zufferey 57-66 2019 ICCPS https://doi.org/10.1145/3302509.3311052 conf/iccps/2019 db/conf/iccps/iccps2019.html#BanusicMPSZ19 Jeffrey M. Fischer Rupak Majumdar 67-76 2019 ICCPS https://doi.org/10.1145/3302509.3311039 conf/iccps/2019 db/conf/iccps/iccps2019.html#FischerM19 Burcu Kulahcioglu Ozkan Rupak Majumdar Filip Niksic 366-377 2019 PPoPP https://doi.org/10.1145/3293883.3295726 https://www.wikidata.org/entity/Q130957065 conf/ppopp/2019 db/conf/ppopp/ppopp2019.html#OzkanMN19 Rupak Majumdar Nir Piterman Anne-Kathrin Schmuck 229-246 2019 TACAS (2) https://doi.org/10.1007/978-3-030-17465-1_13 conf/tacas/2019-2 db/conf/tacas/tacas2019-2.html#MajumdarPS19

Mahmoud Salamati Sadegh Soudjani Rupak Majumdar 2019 abs/1901.06834 CoRR http://arxiv.org/abs/1901.06834 db/journals/corr/corr1901.html#abs-1901-06834

Rupak Majumdar Aman Shankar Mathur Marcus Pirron Laura Stegner Damien Zufferey 2019 abs/1902.01084 CoRR http://arxiv.org/abs/1902.01084 db/journals/corr/corr1902.html#abs-1902-01084

Rupak Majumdar Nir Piterman Anne-Kathrin Schmuck 2019 abs/1902.05629 CoRR http://arxiv.org/abs/1902.05629 db/journals/corr/corr1902.html#abs-1902-05629

Rupak Majumdar Joël Ouaknine Amaury Pouly James Worrell 0001 2019 abs/1902.10452 CoRR http://arxiv.org/abs/1902.10452 db/journals/corr/corr1902.html#abs-1902-10452

Zhe Xu 0005 Ivan Gavran Yousef Ahmad Rupak Majumdar Daniel Neider Ufuk Topcu Bo Wu 0005 2019 abs/1909.05912 CoRR http://arxiv.org/abs/1909.05912 db/journals/corr/corr1909.html#abs-1909-05912

Mahmoud Salamati Sadegh Soudjani Rupak Majumdar 2019 abs/1909.06112 CoRR http://arxiv.org/abs/1909.06112 db/journals/corr/corr1909.html#abs-1909-06112

Rupak Majumdar Kaushik Mallik Sadegh Soudjani 2019 abs/1910.12137 CoRR http://arxiv.org/abs/1910.12137 db/journals/corr/corr1910.html#abs-1910-12137

Rayna Dimitrova Rupak Majumdar 153-189 2018 55 Acta Informatica 2 https://doi.org/10.1007/s00236-016-0290-1 https://www.wikidata.org/entity/Q59470834 db/journals/acta/acta55.html#DimitrovaM18

Burcu Kulahcioglu Ozkan Rupak Majumdar Filip Niksic Mitra Tabaei Befrouei Georg Weissenbacher 160:1-160:28 2018 2 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3276530 db/journals/pacmpl/pacmpl2.html#OzkanMNBW18

Rupak Majumdar Filip Niksic 46:1-46:24 2018 2 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3158134 db/journals/pacmpl/pacmpl2.html#MajumdarN18

Sadegh Soudjani Rupak Majumdar 277-282 2018 ADHS https://doi.org/10.1016/j.ifacol.2018.08.047 https://www.wikidata.org/entity/Q129307928 conf/adhs/2018 db/conf/adhs/adhs2018.html#SoudjaniM18 Anthony W. Lin Rupak Majumdar 352-369 2018 ATVA https://doi.org/10.1007/978-3-030-01090-4_21 conf/atva/2018 db/conf/atva/atva2018.html#LinM18 Kyle Hsu Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck 4902-4907 2018 CDC https://doi.org/10.1109/CDC.2018.8619659 conf/cdc/2018 db/conf/cdc/cdc2018.html#HsuMMS18 Patrick Reipschläger Burcu Kulahcioglu Ozkan Aman Shankar Mathur Stefan Gumhold Rupak Majumdar Raimund Dachselt 2018 CHI Extended Abstracts https://doi.org/10.1145/3170427.3188679 https://www.wikidata.org/entity/Q59559021 conf/chi/2018a db/conf/chi/chi2018a.html#ReipschlagerOMG18 Javier Esparza Pierre Ganty Rupak Majumdar Chana Weil-Kennedy 31:1-31:16 2018 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2018.31 conf/concur/2018 db/conf/concur/concur2018.html#EsparzaGMW18 Houssam Abbas Indranil Saha 0001 Yasser Shoukry Rüdiger Ehlers Georgios Fainekos Rajesh Gupta 0001 Rupak Majumdar Dogan Ulus 10 2018 EMSOFT https://doi.org/10.1109/EMSOFT.2018.8537236 http://dl.acm.org/citation.cfm?id=3283545 conf/emsoft/2018 db/conf/emsoft/emsoft2018.html#AbbasSSEFGMU18 Aman Shankar Mathur Burcu Kulahcioglu Ozkan Rupak Majumdar 1-12 2018 Erlang Workshop https://doi.org/10.1145/3239332.3242762 conf/erlang/2018 db/conf/erlang/erlang2018.html#MathurOM18 Rupak Majumdar 1:1-1:1 2018 FSTTCS https://doi.org/10.4230/LIPIcs.FSTTCS.2018.1 conf/fsttcs/2018 db/conf/fsttcs/fsttcs2018.html#Majumdar18 Kyle Hsu Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck 120-129 2018 HSCC https://doi.org/10.1145/3178126.3178143 conf/hybrid/2018 db/conf/hybrid/hscc2018.html#HsuMMS18 Jyotirmoy V. Deshmukh Xiaoqing Jin Rupak Majumdar Vinayak S. Prabhu 220-231 2018 ICCPS https://doi.org/10.1109/ICCPS.2018.00029 https://doi.ieeecomputersociety.org/10.1109/ICCPS.2018.00029 http://dl.acm.org/citation.cfm?id=3207922 conf/iccps/2018 db/conf/iccps/iccps2018.html#DeshmukhJMP18 Mahmoud Salamati Sadegh Soudjani Rupak Majumdar 389-406 2018 QEST https://doi.org/10.1007/978-3-319-99154-2_24 conf/qest/2018 db/conf/qest/qest2018.html#SalamatiSM18 Rayna Dimitrova Rupak Majumdar Vinayak S. Prabhu CREST 2018 31-33 journals/corr/abs-1901-00073 https://doi.org/10.4204/EPTCS.286.3 http://arxiv.org/abs/1901.00589 https://www.wikidata.org/entity/Q128627271 db/series/eptcs/eptcs286.html#abs-1901-00589 Rupak Majumdar Jean-François Raskin 1111-1147 2018 Handbook of Model Checking https://doi.org/10.1007/978-3-319-10575-8_31 reference/mc/2018 db/reference/mc/mc2018.html#MajumdarR18

Brendon Boldt Ivan Gavran Eva Darulova Rupak Majumdar 2018 abs/1803.02238 CoRR http://arxiv.org/abs/1803.02238 db/journals/corr/corr1803.html#abs-1803-02238

Kyle Hsu Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck 2018 abs/1804.02666 CoRR http://arxiv.org/abs/1804.02666 db/journals/corr/corr1804.html#abs-1804-02666

Kyle Hsu Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck 2018 abs/1804.02722 CoRR http://arxiv.org/abs/1804.02722 db/journals/corr/corr1804.html#abs-1804-02722

Anthony W. Lin Rupak Majumdar 2018 abs/1805.06701 CoRR http://arxiv.org/abs/1805.06701 db/journals/corr/corr1805.html#abs-1805-06701

Javier Esparza Pierre Ganty Rupak Majumdar Chana Weil-Kennedy 2018 abs/1807.06071 CoRR http://arxiv.org/abs/1807.06071 db/journals/corr/corr1807.html#abs-1807-06071

Sylvain Conchon Amit Goel Sava Krstic Rupak Majumdar Mattias Roux 2018 abs/1811.08131 CoRR http://arxiv.org/abs/1811.08131 db/journals/corr/corr1811.html#abs-1811-08131

Javier Esparza Pierre Ganty Jérôme Leroux Rupak Majumdar 191-215 2017 54 Acta Informatica 2 https://doi.org/10.1007/s00236-016-0272-3 db/journals/acta/acta54.html#EsparzaGLM17

Sadegh Esmaeil Zadeh Soudjani Alessandro Abate Rupak Majumdar 217-242 2017 54 Acta Informatica 2 https://doi.org/10.1007/s00236-016-0287-9 https://www.wikidata.org/entity/Q59529482 db/journals/acta/acta54.html#SoudjaniAM17

Dmitry Chistikov 0001 Rayna Dimitrova Rupak Majumdar 729-764 2017 54 Acta Informatica 8 https://doi.org/10.1007/s00236-017-0297-2 db/journals/acta/acta54.html#ChistikovDM17

Anne-Kathrin Schmuck Rupak Majumdar Adrian Leva 261-299 2017 27 Discret. Event Dyn. Syst. 2 https://doi.org/10.1007/s10626-017-0239-8 https://www.wikidata.org/entity/Q59528732 db/journals/deds/deds27.html#SchmuckML17

Antoine Durand-Gasselin Javier Esparza Pierre Ganty Rupak Majumdar 140-167 2017 50 Formal Methods Syst. Des. 2-3 https://doi.org/10.1007/s10703-016-0258-3 db/journals/fmsd/fmsd50.html#Durand-Gasselin17

Jyotirmoy V. Deshmukh Rupak Majumdar Vinayak S. Prabhu 168-206 2017 50 Formal Methods Syst. Des. 2-3 https://doi.org/10.1007/s10703-016-0261-8 https://www.wikidata.org/entity/Q59528845 db/journals/fmsd/fmsd50.html#DeshmukhMP17

Ezio Bartocci Rupak Majumdar 1-4 2017 51 Formal Methods Syst. Des. 1 https://doi.org/10.1007/s10703-017-0287-6 https://www.wikidata.org/entity/Q124212536 db/journals/fmsd/fmsd51.html#BartocciM17

Jyotirmoy V. Deshmukh Marko Horvat 0002 Xiaoqing Jin Rupak Majumdar Vinayak S. Prabhu 170:1-170:18 2017 16 ACM Trans. Embed. Comput. Syst. 5s https://doi.org/10.1145/3126521 db/journals/tecs/tecs16.html#DeshmukhHJMP17

Ivan Gavran Rupak Majumdar Indranil Saha 0001 190:1-190:19 2017 16 ACM Trans. Embed. Comput. Syst. 5s https://doi.org/10.1145/3126513 db/journals/tecs/tecs16.html#GavranMS17

Chris Alvin Sumit Gulwani Rupak Majumdar Supratik Mukhopadhyay 455-458 2017 AIED https://doi.org/10.1007/978-3-319-61425-0_39 conf/aied/2017 db/conf/aied/aied2017.html#AlvinGMM17 Samira S. Farahani Rupak Majumdar Vinayak S. Prabhu Sadegh Esmaeil Zadeh Soudjani 1740-1746 2017 ACC https://doi.org/10.23919/ACC.2017.7963204 conf/amcc/2017 db/conf/amcc/acc2017.html#FarahaniMPS17 Kaushik Mallik Sadegh Esmaeil Zadeh Soudjani Anne-Kathrin Schmuck Rupak Majumdar 550-557 2017 CDC https://doi.org/10.1109/CDC.2017.8263720 conf/cdc/2017 db/conf/cdc/cdc2017.html#MallikSSM17 Abolfazl Lavaei Sadegh Esmaeil Zadeh Soudjani Rupak Majumdar Majid Zamani 0001 3551-3556 2017 CDC https://doi.org/10.1109/CDC.2017.8264180 conf/cdc/2017 db/conf/cdc/cdc2017.html#LavaeiSMZ17 Rayna Dimitrova Ivan Gavran Rupak Majumdar Vinayak S. Prabhu Sadegh Esmaeil Zadeh Soudjani 13:1-13:17 2017 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2017.13 conf/concur/2017 db/conf/concur/concur2017.html#DimitrovaGMPS17 Chris Alvin Sumit Gulwani Rupak Majumdar Supratik Mukhopadhyay 14-19 2017 FLAIRS https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15416 conf/flairs/2017 db/conf/flairs/flairs2017.html#AlvinGMM17 Sylvain Conchon Amit Goel Sava Krstic Rupak Majumdar Mattias Roux 172-175 2017 FMCAD https://doi.org/10.23919/FMCAD.2017.8102256 conf/fmcad/2017 db/conf/fmcad/fmcad2017.html#ConchonGKMR17 Johannes Kloos Rupak Majumdar Frank McCabe 35-50 2017 Haifa Verification Conference https://doi.org/10.1007/978-3-319-70389-3_3 conf/hvc/2017 db/conf/hvc/hvc2017.html#KloosMM17 Sadegh Esmaeil Zadeh Soudjani Rupak Majumdar 45-54 2017 HSCC https://doi.org/10.1145/3049797.3049827 conf/hybrid/2017 db/conf/hybrid/hscc2017.html#SoudjaniM17 Jeffrey Fischer Rupak Majumdar 1-13 2017 LPAR https://doi.org/10.29007/w8s9 conf/lpar/2017 db/conf/lpar/lpar2017.html#FischerM17 Jochen Hoenicke Rupak Majumdar Andreas Podelski 473-485 2017 POPL https://doi.org/10.1145/3009837.3009893 https://doi.org/10.1145/3093333.3009893 conf/popl/2017 db/conf/popl/popl2017.html#HoenickeMP17 Sadegh Esmaeil Zadeh Soudjani Rupak Majumdar Tigran Nagapetyan 351-367 2017 QEST https://doi.org/10.1007/978-3-319-66335-7_24 conf/qest/2017 db/conf/qest/qest2017.html#SoudjaniMN17 Ondrej Lengál Anthony Widjaja Lin Rupak Majumdar Philipp Rümmer 499-517 2017 TACAS (1) https://doi.org/10.1007/978-3-662-54577-5_29 conf/tacas/2017-1 db/conf/tacas/tacas2017-1.html#LengalLMR17 Rupak Majumdar Viktor Kuncak CAV (1) Springer 2017 Lecture Notes in Computer Science 10426 978-3-319-63386-2 978-3-319-63387-9 https://doi.org/10.1007/978-3-319-63387-9 db/conf/cav/cav2017-1.html Rupak Majumdar Viktor Kuncak CAV (2) Springer 2017 Lecture Notes in Computer Science 10427 978-3-319-63389-3 978-3-319-63390-9 https://doi.org/10.1007/978-3-319-63390-9 db/conf/cav/cav2017-2.html

Rayna Dimitrova Ivan Gavran Rupak Majumdar Vinayak S. Prabhu Sadegh Esmaeil Zadeh Soudjani 2017 abs/1704.05303 CoRR http://arxiv.org/abs/1704.05303 db/journals/corr/corr1704.html#DimitrovaGMPS17

Samira S. Farahani Rupak Majumdar Vinayak S. Prabhu Sadegh Esmaeil Zadeh Soudjani 2017 abs/1705.02152 CoRR http://arxiv.org/abs/1705.02152 db/journals/corr/corr1705.html#FarahaniMPS17

Sadegh Esmaeil Zadeh Soudjani Rupak Majumdar Tigran Nagapetyan 2017 abs/1706.08270 CoRR http://arxiv.org/abs/1706.08270 db/journals/corr/corr1706.html#SoudjaniMN17

Kaushik Mallik Sadegh Esmaeil Zadeh Soudjani Anne-Kathrin Schmuck Rupak Majumdar 2017 abs/1709.09546 CoRR http://arxiv.org/abs/1709.09546 db/journals/corr/corr1709.html#abs-1709-09546

Abolfazl Lavaei Sadegh Esmaeil Zadeh Soudjani Rupak Majumdar Majid Zamani 0001 2017 abs/1709.10312 CoRR http://arxiv.org/abs/1709.10312 db/journals/corr/corr1709.html#abs-1709-10312

Jyotirmoy V. Deshmukh Xiaoqing Jin Rupak Majumdar Vinayak S. Prabhu 2017 abs/1710.02073 CoRR http://arxiv.org/abs/1710.02073 db/journals/corr/corr1710.html#abs-1710-02073

Ondrej Lengál Anthony W. Lin Rupak Majumdar Philipp Rümmer 2017 abs/1710.10756 CoRR http://arxiv.org/abs/1710.10756 db/journals/corr/corr1710.html#abs-1710-10756

Swarat Chaudhuri Sampath Kannan Rupak Majumdar Michael J. Wooldridge 27-32 2017 7 Dagstuhl Reports 3 db/journals/dagstuhl-reports/dagstuhl-reports7.html#ChaudhuriKMW17 https://doi.org/10.4230/DagRep.7.3.27

Calin Belta Rupak Majumdar Majid Zamani 0001 Matthias Rungger 84-96 2017 7 Dagstuhl Reports 5 https://doi.org/10.4230/DagRep.7.5.84 db/journals/dagstuhl-reports/dagstuhl-reports7.html#BeltaMZR17

Javier Esparza Pierre Ganty Rupak Majumdar 10:1-10:48 2016 63 J. ACM 1 https://doi.org/10.1145/2842603 db/journals/jacm/jacm63.html#EsparzaGM16

David Deininger Rayna Dimitrova Rupak Majumdar 444-460 2016 ATVA https://doi.org/10.1007/978-3-319-46520-3_28 conf/atva/2016 db/conf/atva/atva2016.html#DeiningerDM16 Dmitry Chistikov 0001 Rupak Majumdar Filip Niksic 157-176 2016 CAV (2) https://doi.org/10.1007/978-3-319-41540-6_9 conf/cav/2016-2 db/conf/cav/cav2016-2.html#ChistikovMN16 Javier Esparza Pierre Ganty Jérôme Leroux Rupak Majumdar 27:1-27:14 2016 FSTTCS https://doi.org/10.4230/LIPIcs.FSTTCS.2016.27 conf/fsttcs/2016 db/conf/fsttcs/fsttcs2016.html#EsparzaGLM16 Rupak Majumdar Vinayak S. Prabhu 267-276 2016 HSCC https://doi.org/10.1145/2883817.2883850 conf/hybrid/2016 db/conf/hybrid/hscc2016.html#MajumdarP16 Min Gao 0003 Lei He 0001 Rupak Majumdar Zilong Wang 0004 127-136 2016 SCAM https://doi.org/10.1109/SCAM.2016.26 https://doi.ieeecomputersociety.org/10.1109/SCAM.2016.26 conf/scam/2016 db/conf/scam/scam2016.html#GaoHMW16 Rupak Majumdar 3-13 2016 TACAS https://doi.org/10.1007/978-3-662-49674-9_1 conf/tacas/2016 db/conf/tacas/tacas2016.html#Majumdar16 Sadegh Esmaeil Zadeh Soudjani Rupak Majumdar Alessandro Abate 147-163 2016 TACAS https://doi.org/10.1007/978-3-662-49674-9_9 conf/tacas/2016 db/conf/tacas/tacas2016.html#SoudjaniMA16 Rayna Dimitrova Luis María Ferrer Fioriti Holger Hermanns Rupak Majumdar 280-296 2016 TACAS https://doi.org/10.1007/978-3-662-49674-9_16 conf/tacas/2016 db/conf/tacas/tacas2016.html#DimitrovaFHM16 Pallavi Maiya Rahul Gupta Aditya Kanade 0001 Rupak Majumdar 680-697 2016 TACAS https://doi.org/10.1007/978-3-662-49674-9_44 conf/tacas/2016 db/conf/tacas/tacas2016.html#MaiyaGKM16 Rastislav Bodík Rupak Majumdar ACM POPL 2016 978-1-4503-3549-2 https://doi.org/10.1145/2837614 https://doi.org/10.1145/2914770 db/conf/popl/popl2016.html

Rupak Majumdar Vinayak S. Prabhu 2016 abs/1602.03266 CoRR http://arxiv.org/abs/1602.03266 db/journals/corr/corr1602.html#MajumdarP16

Dmitry Chistikov 0001 Rupak Majumdar Filip Niksic 2016 abs/1602.03755 CoRR http://arxiv.org/abs/1602.03755 db/journals/corr/corr1602.html#ChistikovMN16

Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck 2016 abs/1612.08515 CoRR http://arxiv.org/abs/1612.08515 db/journals/corr/corr1612.html#MajumdarMS16

Antoine Durand-Gasselin Javier Esparza Pierre Ganty Rupak Majumdar 67-84 2015 CAV (1) https://doi.org/10.1007/978-3-319-21690-4_5 conf/cav/2015-1 db/conf/cav/cav2015-1.html#Durand-Gasselin15 Jyotirmoy V. Deshmukh Rupak Majumdar Vinayak S. Prabhu 234-250 2015 CAV (2) https://doi.org/10.1007/978-3-319-21668-3_14 conf/cav/2015 db/conf/cav/cav2015.html#DeshmukhMP15 Rupak Majumdar Zilong Wang 0004 496-503 2015 CAV (1) https://doi.org/10.1007/978-3-319-21690-4_33 conf/cav/2015-1 db/conf/cav/cav2015-1.html#MajumdarW15 Sadegh Esmaeil Zadeh Soudjani Alessandro Abate Rupak Majumdar 169-183 2015 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2015.169 conf/concur/2015 db/conf/concur/concur2015.html#SoudjaniAM15 Javier Esparza Pierre Ganty Jérôme Leroux Rupak Majumdar 470-482 2015 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2015.470 conf/concur/2015 db/conf/concur/concur2015.html#EsparzaGLM15 Ivan Gavran Filip Niksic Aditya Kanade 0001 Rupak Majumdar Viktor Vafeiadis 483-496 2015 CONCUR https://doi.org/10.4230/LIPIcs.CONCUR.2015.483 conf/concur/2015 db/conf/concur/concur2015.html#GavranNKMV15 Johannes Kloos Rupak Majumdar Viktor Vafeiadis 396-420 2015 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2015.396 conf/ecoop/2015 db/conf/ecoop/ecoop2015.html#KloosMV15 Michael Emmi Pierre Ganty Rupak Majumdar Fernando Rosa-Velardo 535-559 2015 ESOP https://doi.org/10.1007/978-3-662-46669-8_22 https://www.wikidata.org/entity/Q57831191 conf/esop/2015 db/conf/esop/esop2015.html#EmmiGMR15 Indranil Saha 0001 Sanjoy K. Baruah Rupak Majumdar 98-107 2015 HSCC https://doi.org/10.1145/2728606.2728636 conf/hybrid/2015 db/conf/hybrid/hscc2015.html#SahaBM15 Rupak Majumdar Vinayak S. Prabhu 199-208 2015 HSCC https://doi.org/10.1145/2728606.2728618 conf/hybrid/2015 db/conf/hybrid/hscc2015.html#MajumdarP15 Dmitry Chistikov 0001 Rayna Dimitrova Rupak Majumdar 320-334 2015 TACAS https://doi.org/10.1007/978-3-662-46681-0_26 conf/tacas/2015 db/conf/tacas/tacas2015.html#ChistikovDM15 Rayna Dimitrova Rupak Majumdar GandALF 2015 100-114 https://doi.org/10.4204/EPTCS.193.8 http://arxiv.org/abs/1509.07202 journals/corr/EsparzaT15 db/series/eptcs/eptcs193.html#DimitrovaM15 Ezio Bartocci Rupak Majumdar RV Springer 2015 Lecture Notes in Computer Science 9333 978-3-319-23819-7 https://doi.org/10.1007/978-3-319-23820-3 db/conf/rv/rv2015.html

Jyotirmoy V. Deshmukh Rupak Majumdar Vinayak S. Prabhu 2015 abs/1505.05832 CoRR http://arxiv.org/abs/1505.05832 db/journals/corr/corr1505.html#DeshmukhMP15

Antoine Durand-Gasselin Javier Esparza Pierre Ganty Rupak Majumdar 2015 abs/1505.06588 CoRR http://arxiv.org/abs/1505.06588 db/journals/corr/corr1505.html#Durand-Gasselin15

Sadegh Esmaeil Zadeh Soudjani Alessandro Abate Rupak Majumdar 2015 abs/1507.00509 CoRR http://arxiv.org/abs/1507.00509 db/journals/corr/corr1507.html#SoudjaniAM15

Anne-Kathrin Schmuck Rupak Majumdar 2015 abs/1510.07246 CoRR http://arxiv.org/abs/1510.07246 db/journals/corr/corr1510.html#SchmuckM15

Chris Alvin Sumit Gulwani Rupak Majumdar Supratik Mukhopadhyay 2015 abs/1510.08525 CoRR http://arxiv.org/abs/1510.08525 db/journals/corr/corr1510.html#AlvinGMM15

Pallavi Maiya Rahul Gupta Aditya Kanade 0001 Rupak Majumdar 2015 abs/1511.03213 CoRR http://arxiv.org/abs/1511.03213 db/journals/corr/corr1511.html#MaiyaGKM15

Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Kenneth L. McMillan 79-91 2014 49 ACM SIGPLAN Notices 4S https://doi.org/10.1145/2641638.2641655 db/journals/sigplan/sigplan49.html#HenzingerJMM14

Majid Zamani 0001 Peyman Mohajerin Esfahani Rupak Majumdar Alessandro Abate John Lygeros 3135-3150 2014 59 IEEE Trans. Autom. Control. 12 https://doi.org/10.1109/TAC.2014.2351652 db/journals/tac/tac59.html#ZamaniEMAL14

Paulo Tabuada Sina Yamac Caliskan Matthias Rungger Rupak Majumdar 3151-3163 2014 59 IEEE Trans. Autom. Control. 12 https://doi.org/10.1109/TAC.2014.2351632 db/journals/tac/tac59.html#TabuadaCRM14

Chris Alvin Sumit Gulwani Rupak Majumdar Supratik Mukhopadhyay 245-252 2014 AAAI https://doi.org/10.1609/aaai.v28i1.8745 conf/aaai/2014 db/conf/aaai/aaai2014.html#AlvinGMM14 Milos Gligoric 0001 Rupak Majumdar Rohan Sharma Lamyaa Eloussi Darko Marinov 293-309 2014 CAV https://doi.org/10.1007/978-3-319-08867-9_19 conf/cav/2014 db/conf/cav/cav2014.html#GligoricMSEM14 Javier Esparza Ruslán Ledesma-Garza Rupak Majumdar Philipp J. Meyer Filip Niksic 603-619 2014 CAV https://doi.org/10.1007/978-3-319-08867-9_40 conf/cav/2014 db/conf/cav/cav2014.html#EsparzaLMMN14 Reiner Hüchting Rupak Majumdar Roland Meyer 0001 357-371 2014 CONCUR https://doi.org/10.1007/978-3-662-44584-6_25 conf/concur/2014 db/conf/concur/concur2014.html#HuchtingMM14 Rayna Dimitrova Rupak Majumdar 14:1-14:10 2014 EMSOFT https://doi.org/10.1145/2656045.2656054 conf/emsoft/2014 db/conf/emsoft/emsoft2014.html#DimitrovaM14 Shahram Esmaeilsabzali Rupak Majumdar Thomas Wies Damien Zufferey 261-275 2014 FASE https://doi.org/10.1007/978-3-642-54804-8_18 conf/fase/2014 db/conf/fase/fase2014.html#EsmaeilsabzaliMWZ14 Rupak Majumdar Sai Deep Tetali Zilong Wang 0004 163-170 2014 FMCAD https://doi.org/10.1109/FMCAD.2014.6987609 conf/fmcad/2014 db/conf/fmcad/fmcad2014.html#MajumdarTW14 Krishnendu Chatterjee Rasmus Ibsen-Jensen Rupak Majumdar 303-312 2014 HSCC https://doi.org/10.1145/2562059.2562141 conf/hybrid/2014 db/conf/hybrid/hscc2014.html#ChatterjeeIM14 Dmitry Chistikov 0001 Rupak Majumdar 146-157 2014 ICALP (2) https://doi.org/10.1007/978-3-662-43951-7_13 conf/icalp/2014-2 db/conf/icalp/icalp2014-2.html#ChistikovM14 Pallavi Maiya Aditya Kanade 0001 Rupak Majumdar 316-325 2014 PLDI https://doi.org/10.1145/2594291.2594311 https://doi.org/10.1145/2666356.2594311 conf/pldi/2014 db/conf/pldi/pldi2014.html#MaiyaKM14 Rupak Majumdar 191-222 2014 Software Systems Safety https://doi.org/10.3233/978-1-61499-385-8-191 series/natosec/36 db/series/natosec/natosec36.html#Majumdar14

Dmitry Chistikov 0001 Rupak Majumdar 2014 abs/1403.0509 CoRR http://arxiv.org/abs/1403.0509 db/journals/corr/corr1403.html#ChistikovM14

Rupak Majumdar Vinayak S. Prabhu 2014 abs/1410.6075 CoRR http://arxiv.org/abs/1410.6075 db/journals/corr/corr1410.html#MajumdarP14

Dmitry Chistikov 0001 Rayna Dimitrova Rupak Majumdar 2014 abs/1411.0659 CoRR http://arxiv.org/abs/1411.0659 db/journals/corr/corr1411.html#ChistikovDM14

Rupak Majumdar Richard M. Murray Pavithra Prabhakar 85-102 2014 4 Dagstuhl Reports 3 https://doi.org/10.4230/DagRep.4.3.85 db/journals/dagstuhl-reports/dagstuhl-reports4.html#MajumdarMP14

Krishnendu Chatterjee Luca de Alfaro Marco Faella Rupak Majumdar Vishwanath Raman 146-174 2013 42 Formal Methods Syst. Des. 2 https://doi.org/10.1007/s10703-012-0170-4 db/journals/fmsd/fmsd42.html#ChatterjeeAFMR13

Krishnendu Chatterjee Luca de Alfaro Rupak Majumdar 165-186 2013 24 Int. J. Found. Comput. Sci. 2 https://doi.org/10.1142/S0129054113400066 db/journals/ijfcs/ijfcs24.html#ChatterjeeAM13

Majid Zamani 0001 Nathan van de Wouw Rupak Majumdar 949-962 2013 62 Syst. Control. Lett. 10 https://doi.org/10.1016/j.sysconle.2013.07.002 db/journals/scl/scl62.html#ZamaniWM13

Ashutosh Gupta 0001 Rupak Majumdar Andrey Rybalchenko 291-303 2013 15 Int. J. Softw. Tools Technol. Transf. 4 https://doi.org/10.1007/s10009-012-0267-5 db/journals/sttt/sttt15.html#GuptaMR13

Rupak Majumdar Elaine Render Paulo Tabuada 48:1-48:27 2013 13 ACM Trans. Embed. Comput. Syst. 3 https://doi.org/10.1145/2539036.2539044 db/journals/tecs/tecs13.html#MajumdarRT13

Javier Esparza Pierre Ganty Rupak Majumdar 124-140 2013 CAV https://doi.org/10.1007/978-3-642-39799-8_8 conf/cav/2013 db/conf/cav/cav2013.html#EsparzaGM13 Johannes Kloos Rupak Majumdar Filip Niksic Ruzica Piskac 158-173 2013 CAV https://doi.org/10.1007/978-3-642-39799-8_10 conf/cav/2013 db/conf/cav/cav2013.html#KloosMNP13 Martin Franz Andreas Holzer Rupak Majumdar Bryan Parno Helmut Veith 1485-1486 2013 CCS https://doi.org/10.1145/2508859.2509032 conf/ccs/2013 db/conf/ccs/ccs2013.html#FranzHMPV13 Rupak Majumdar Indranil Saha 0001 Koichi Ueda Hakan Yazarel 1564-1571 2013 CDC https://doi.org/10.1109/CDC.2013.6760105 conf/cdc/2013 db/conf/cdc/cdc2013.html#MajumdarSUY13 Majid Zamani 0001 Peyman Mohajerin Esfahani Rupak Majumdar Alessandro Abate John Lygeros 3926-3931 2013 CDC https://doi.org/10.1109/CDC.2013.6760489 conf/cdc/2013 db/conf/cdc/cdc2013.html#ZamaniEMAL13 Rupak Majumdar Zilong Wang 0004 152-166 2013 CONCUR https://doi.org/10.1007/978-3-642-40184-8_12 conf/concur/2013 db/conf/concur/concur2013.html#MajumdarW13 Reiner Hüchting Rupak Majumdar Roland Meyer 0001 182-196 2013 CONCUR https://doi.org/10.1007/978-3-642-40184-8_14 conf/concur/2013 db/conf/concur/concur2013.html#HuchtingMM13 Johannes Kloos Rupak Majumdar 1105-1110 2013 DATE https://doi.org/10.7873/DATE.2013.232 http://dl.acm.org/citation.cfm?id=2485556 conf/date/2013 db/conf/date/date2013.html#KloosM13 Eva Darulova Viktor Kuncak Rupak Majumdar Indranil Saha 0001 22:1-22:10 2013 EMSOFT https://doi.org/10.1109/EMSOFT.2013.6658600 http://dl.acm.org/citation.cfm?id=2555776 conf/emsoft/2013 db/conf/emsoft/emsoft2013.html#DarulovaKMS13 Georgel Calin Egor Derevenetc Rupak Majumdar Roland Meyer 0001 127-139 2013 FSTTCS https://doi.org/10.4230/LIPIcs.FSTTCS.2013.127 conf/fsttcs/2013 db/conf/fsttcs/fsttcs2013.html#CalinDMM13 Sai Deep Tetali Mohsen Lesani Rupak Majumdar Todd D. Millstein 271-286 2013 OOPSLA https://doi.org/10.1145/2509136.2509554 https://doi.org/10.1145/2544173.2509554 https://www.wikidata.org/entity/Q131123589 conf/oopsla/2013 db/conf/oopsla/oopsla2013.html#TetaliLMM13 Rupak Majumdar Roland Meyer 0001 Zilong Wang 0004 21-22 2013 RP https://doi.org/10.1007/978-3-642-41036-9_3 conf/rp/2013 db/conf/rp/rp2013.html#MajumdarMW13 Rupak Majumdar Roland Meyer 0001 Zilong Wang 0004 366-387 2013 SAS https://doi.org/10.1007/978-3-642-38856-9_20 conf/sas/2013 db/conf/sas/sas2013.html#MajumdarMW13 Milos Gligoric 0001 Rupak Majumdar 549-564 2013 TACAS https://doi.org/10.1007/978-3-642-36742-7_40 conf/tacas/2013 db/conf/tacas/tacas2013.html#GligoricM13 Dmitry Chistikov 0001 Rupak Majumdar 97-108 2013 CIAA https://doi.org/10.1007/978-3-642-39274-0_10 conf/wia/2013 db/conf/wia/ciaa2013.html#ChistikovM13 Martin Franz Andreas Holzer Rupak Majumdar Bryan Parno Helmut Veith ACM PETShop@CCS 2013 978-1-4503-2489-2 http://dl.acm.org/citation.cfm?id=2517872 db/conf/ccs/petshop2013.html

Johannes Kloos Rupak Majumdar Filip Niksic Ruzica Piskac http://arxiv.org/abs/1301.7321 2013 CoRR abs/1301.7321 db/journals/corr/corr1301.html#abs-1301-7321

Majid Zamani 0001 Peyman Mohajerin Esfahani Rupak Majumdar Alessandro Abate John Lygeros http://arxiv.org/abs/1302.3868 2013 CoRR abs/1302.3868 db/journals/corr/corr1302.html#abs-1302-3868

Javier Esparza Pierre Ganty Rupak Majumdar http://arxiv.org/abs/1304.1185 2013 CoRR abs/1304.1185 db/journals/corr/corr1304.html#abs-1304-1185

Georgel Calin Egor Derevenetc Rupak Majumdar Roland Meyer 0001 2013 CoRR http://arxiv.org/abs/1307.6590 abs/1307.6590 db/journals/corr/corr1307.html#CalinDMM13

Shahram Esmaeilsabzali Rupak Majumdar Thomas Wies Damien Zufferey 2013 CoRR http://arxiv.org/abs/1311.4615 abs/1311.4615 db/journals/corr/corr1311.html#EsmaeilsabzaliMWZ13

Shahram Esmaeilsabzali Rupak Majumdar Thomas Wies Damien Zufferey 2013 CoRR http://arxiv.org/abs/1311.4934 abs/1311.4934 db/journals/corr/corr1311.html#EsmaeilsabzaliMWZ13a

Pierre Ganty Rupak Majumdar Benjamin Monmege 206-231 2012 40 Formal Methods Syst. Des. 2 https://doi.org/10.1007/s10703-011-0136-y db/journals/fmsd/fmsd40.html#GantyMM12

Krishnendu Chatterjee Rupak Majumdar 609-625 2012 23 Int. J. Found. Comput. Sci. 3 https://doi.org/10.1142/S0129054112400308 db/journals/ijfcs/ijfcs23.html#ChatterjeeM12

Thomas Ball 0001 Rupak Majumdar Todd D. Millstein Sriram K. Rajamani 37-47 2012 47 ACM SIGPLAN Notices 4a https://doi.org/10.1145/2442776.2442783 db/journals/sigplan/sigplan47.html#BallMMR12

Pierre Ganty Rupak Majumdar 6:1-6:48 2012 34 ACM Trans. Program. Lang. Syst. 1 https://doi.org/10.1145/2160910.2160915 db/journals/toplas/toplas34.html#GantyM12

Krishnendu Chatterjee Martin Chmelik Rupak Majumdar 385-399 2012 ATVA https://doi.org/10.1007/978-3-642-33386-6_30 conf/atva/2012 db/conf/atva/atva2012.html#ChatterjeeCM12 Rupak Majumdar Majid Zamani 0001 362-377 2012 CAV https://doi.org/10.1007/978-3-642-31424-7_28 conf/cav/2012 db/conf/cav/cav2012.html#MajumdarZ12 Indranil Saha 0001 Rupak Majumdar 103-112 2012 EMSOFT https://doi.org/10.1145/2380356.2380378 conf/emsoft/2012 db/conf/emsoft/emsoft2012.html#SahaM12 Rupak Majumdar Indranil Saha 0001 Majid Zamani 0001 123-132 2012 EMSOFT https://doi.org/10.1145/2380356.2380380 https://www.wikidata.org/entity/Q130980669 conf/emsoft/2012 db/conf/emsoft/emsoft2012.html#MajumdarSZ12 Paulo Tabuada Ayca Balkan Sina Y. Caliskan Yasser Shoukry Rupak Majumdar 217-226 2012 EMSOFT https://doi.org/10.1145/2380356.2380396 conf/emsoft/2012 db/conf/emsoft/emsoft2012.html#TabuadaBCSM12 João Carlos Menezes Carreira Rodrigo Rodrigues 0001 George Candea Rupak Majumdar 239-252 2012 EuroSys https://doi.org/10.1145/2168836.2168861 conf/eurosys/2012 db/conf/eurosys/eurosys2012.html#CarreiraRCM12 Zhenyue Long Georgel Calin Rupak Majumdar Roland Meyer 0001 362-376 2012 FASE https://doi.org/10.1007/978-3-642-28872-2_25 conf/fase/2012 db/conf/fase/fase2012.html#LongCMM12 Javier Esparza Pierre Ganty Rupak Majumdar 285-294 2012 LICS https://doi.org/10.1109/LICS.2012.39 https://doi.ieeecomputersociety.org/10.1109/LICS.2012.39 conf/lics/2012 db/conf/lics/lics2012.html#EsparzaGM12 Rupak Majumdar Indranil Saha 0001 K. C. Shashidhar Zilong Wang 0004 356-370 2012 NASA Formal Methods https://doi.org/10.1007/978-3-642-28891-3_33 conf/nfm/2012 db/conf/nfm/nfm2012.html#MajumdarSSW12 Jeffrey Fischer Rupak Majumdar Shahram Esmaeilsabzali 263-274 2012 PLDI https://doi.org/10.1145/2254064.2254096 https://doi.org/10.1145/2345156.2254096 conf/pldi/2012 db/conf/pldi/pldi2012.html#FischerME12 Jonathan K. Lee Jens Palsberg Rupak Majumdar Hong Hong 5-23 2012 SAS https://doi.org/10.1007/978-3-642-33125-1_4 conf/sas/2012 db/conf/sas/sas2012.html#LeePMH12 Rupak Majumdar 162 2012 VSTTE https://doi.org/10.1007/978-3-642-27705-4_13 conf/vstte/2012 db/conf/vstte/vstte2012.html#Majumdar12 Rupak Majumdar 182-204 2012 Software Safety and Security https://doi.org/10.3233/978-1-61499-028-4-182 series/natosec/33 db/series/natosec/natosec33.html#Majumdar12

Javier Esparza Pierre Ganty Rupak Majumdar http://arxiv.org/abs/1201.3194 2012 CoRR abs/1201.3194 db/journals/corr/corr1201.html#abs-1201-3194

Krishnendu Chatterjee Martin Chmelik Rupak Majumdar http://arxiv.org/abs/1202.4140 2012 CoRR abs/1202.4140 db/journals/corr/corr1202.html#abs-1202-4140

Rupak Majumdar Indranil Saha 0001 Majid Zamani 0001 http://arxiv.org/abs/1204.2857 2012 CoRR abs/1204.2857 db/journals/corr/corr1204.html#abs-1204-2857

Krishnendu Chatterjee Thomas A. Henzinger Ranjit Jhala Rupak Majumdar http://arxiv.org/abs/1207.1373 2012 CoRR abs/1207.1373 db/journals/corr/corr1207.html#abs-1207-1373

Nikolaj S. Bjørner Krishnendu Chatterjee Laura Kovács Rupak Majumdar 45-65 2012 2 Dagstuhl Reports 11 https://doi.org/10.4230/DagRep.2.11.45 db/journals/dagstuhl-reports/dagstuhl-reports2.html#BjornerCKM12

Gunes Ercal Rafit Izhak-Ratzin Rupak Majumdar Adam Meyerson 2011 7 1 Int. J. Distributed Sens. Networks https://doi.org/10.1155/2011/895398 db/journals/ijdsn/ijdsn7.html#ErcalIMM11

Ranjit Jhala Rupak Majumdar Andrey Rybalchenko 470-485 2011 CAV https://doi.org/10.1007/978-3-642-22110-1_38 conf/cav/2011 db/conf/cav/cav2011.html#JhalaMR11 Manu Jose Rupak Majumdar 504-509 2011 CAV https://doi.org/10.1007/978-3-642-22110-1_40 conf/cav/2011 db/conf/cav/cav2011.html#JoseM11 Majid Zamani 0001 Rupak Majumdar 302-307 2011 CDC/ECC https://doi.org/10.1109/CDC.2011.6160735 conf/cdc/2011 db/conf/cdc/cdc2011.html#ZamaniM11 Rupak Majumdar Indranil Saha 0001 Majid Zamani 0001 299-308 2011 EMSOFT https://doi.org/10.1145/2038642.2038689 conf/emsoft/2011 db/conf/emsoft/emsoft2011.html#MajumdarSZ11 Rupak Majumdar 40 2011 Ershov Memorial Conference https://doi.org/10.1007/978-3-642-29709-0_4 conf/ershov/2011 db/conf/ershov/ershov2011.html#Majumdar11 Krishnendu Chatterjee Rupak Majumdar 145-159 2011 FORMATS https://doi.org/10.1007/978-3-642-24310-3_11 conf/formats/2011 db/conf/formats/formats2011.html#ChatterjeeM11 Rupak Majumdar Elaine Render Paulo Tabuada 211-220 2011 HSCC https://doi.org/10.1145/1967701.1967732 conf/hybrid/2011 db/conf/hybrid/hscc2011.html#MajumdarRT11 Pritam Roy Paulo Tabuada Rupak Majumdar 315-316 2011 HSCC https://doi.org/10.1145/1967701.1967748 conf/hybrid/2011 db/conf/hybrid/hscc2011.html#RoyTM11 Manu Jose Rupak Majumdar 437-446 2011 PLDI https://doi.org/10.1145/1993498.1993550 https://doi.org/10.1145/1993316.1993550 conf/pldi/2011 db/conf/pldi/pldi2011.html#JoseM11

Majid Zamani 0001 Rupak Majumdar http://arxiv.org/abs/1107.2681 2011 CoRR abs/1107.2681 db/journals/corr/corr1107.html#abs-1107-2681

Rupak Majumdar Elaine Render Paulo Tabuada http://arxiv.org/abs/1108.3540 2011 CoRR abs/1108.3540 db/journals/corr/corr1108.html#abs-1108-3540

Rupak Majumdar 615 2010 53 Comput. J. 5 https://doi.org/10.1093/comjnl/bxp017 db/journals/cj/cj53.html#Majumdar10

Krishnendu Chatterjee Luca de Alfaro Rupak Majumdar Vishwanath Raman http://arxiv.org/abs/0809.4326 2010 Log. Methods Comput. Sci. 6 db/journals/lmcs/lmcs6.html#abs-0809-4326 3

Jason Cong Bin Liu 0006 Rupak Majumdar Zhiru Zhang 4:1-4:29 2010 16 ACM Trans. Design Autom. Electr. Syst. 1 https://doi.org/10.1145/1870109.1870113 db/journals/todaes/todaes16.html#CongLMZ10

Ju-Yueh Lee Yu Hu 0002 Rupak Majumdar Lei He 0001 Minming Li 325-330 2010 ASP-DAC https://doi.org/10.1109/ASPDAC.2010.5419873 http://dl.acm.org/citation.cfm?id=1899791 conf/aspdac/2010 db/conf/aspdac/aspdac2010.html#LeeHMHL10 Pierre Ganty Rupak Majumdar Benjamin Monmege 600-614 2010 CAV https://doi.org/10.1007/978-3-642-14295-6_52 conf/cav/2010 db/conf/cav/cav2010.html#GantyMM10 Manu Jose Yu Hu 0002 Rupak Majumdar Lei He 0001 469-474 2010 DAC https://doi.org/10.1145/1837274.1837391 conf/dac/2010 db/conf/dac/dac2010.html#JoseHMH10 Samuel B. Luckenbill Ju-Yueh Lee Yu Hu 0002 Rupak Majumdar Lei He 0001 783-788 2010 DATE https://doi.org/10.1109/DATE.2010.5456947 http://dl.acm.org/citation.cfm?id=1871113 conf/date/2010 db/conf/date/date2010.html#LuckenbillLHMH10 Adolfo Anta Martinez Rupak Majumdar Indranil Saha 0001 Paulo Tabuada 9-18 2010 EMSOFT https://doi.org/10.1145/1879021.1879024 conf/emsoft/2010 db/conf/emsoft/emsoft2010.html#MartinezMST10 Manu Jose Yu Hu 0002 Rupak Majumdar 224-229 2010 ICCAD https://doi.org/10.1109/ICCAD.2010.5654149 https://doi.ieeecomputersociety.org/10.1109/ICCAD.2010.5654149 http://dl.acm.org/citation.cfm?id=2133475 conf/iccad/2010 db/conf/iccad/iccad2010.html#JoseHM10 Rupak Majumdar Indranil Saha 0001 Zilong Wang 0004 1-10 2010 MEMOCODE https://doi.org/10.1109/MEMCOD.2010.5558629 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2010.5558629 conf/memocode/2010 db/conf/memocode/memocode2010.html#MajumdarSW10 Michael Emmi Rupak Majumdar Roman Manevich 134-145 2010 PLDI https://doi.org/10.1145/1806596.1806613 https://doi.org/10.1145/1809028.1806613 conf/pldi/2010 db/conf/pldi/pldi2010.html#EmmiMM10 Mark Marron Rupak Majumdar Darko Stefanovic Deepak Kapur 247-262 2010 VMCAI https://doi.org/10.1007/978-3-642-11319-2_19 conf/vmcai/2010 db/conf/vmcai/vmcai2010.html#MarronMSK10 Krishnendu Chatterjee Rupak Majumdar GANDALF 2010 22-29 https://doi.org/10.4204/EPTCS.25.6 http://arxiv.org/abs/1006.1403 journals/corr/abs-1006-1711 db/series/eptcs/eptcs25.html#abs-1006-1403 Javier Esparza Rupak Majumdar 6015 2010 https://doi.org/10.1007/978-3-642-12002-2 978-3-642-12001-5 TACAS Lecture Notes in Computer Science Springer db/conf/tacas/tacas2010.html

Ranjit Jhala Rupak Majumdar Andrey Rybalchenko http://arxiv.org/abs/1004.2884 2010 CoRR abs/1004.2884 db/journals/corr/corr1004.html#abs-1004-2884

Pritam Roy Paulo Tabuada Rupak Majumdar http://arxiv.org/abs/1010.5665 2010 CoRR abs/1010.5665 db/journals/corr/corr1010.html#abs-1010-5665

Pierre Ganty Rupak Majumdar http://arxiv.org/abs/1011.0551 2010 CoRR abs/1011.0551 db/journals/corr/corr1011.html#abs-1011-0551

Manu Jose Rupak Majumdar http://arxiv.org/abs/1011.1589 2010 CoRR abs/1011.1589 db/journals/corr/corr1011.html#abs-1011-1589

Ranjit Jhala Rupak Majumdar 2009 41 ACM Comput. Surv. 4 https://doi.org/10.1145/1592434.1592438 db/journals/csur/csur41.html#JhalaM09 21:1-21:54

Rupak Majumdar Ru-Gang Xu 555-569 2009 CAV https://doi.org/10.1007/978-3-642-02658-4_41 conf/cav/2009 db/conf/cav/cav2009.html#MajumdarX09 Jeffrey Fischer Daniel Marino Rupak Majumdar Todd D. Millstein 173-194 2009 ECOOP https://doi.org/10.1007/978-3-642-03013-0_9 conf/ecoop/2009 db/conf/ecoop/ecoop2009.html#FischerMMM09 Pierre Ganty Rupak Majumdar 164-178 2009 FORMATS https://doi.org/10.1007/978-3-642-04368-0_14 conf/formats/2009 db/conf/formats/formats2009.html#GantyM09 Zhe Feng 0002 Yu Hu 0002 Lei He 0001 Rupak Majumdar 105-108 2009 ICCAD https://doi.org/10.1145/1687399.1687422 https://ieeexplore.ieee.org/document/5361308/ conf/iccad/2009 db/conf/iccad/iccad2009.html#FengHHM09 Rafit Izhak-Ratzin Nikitas Liogkas Rupak Majumdar 1-8 2009 ICCCN https://doi.org/10.1109/ICCCN.2009.5235266 https://doi.ieeecomputersociety.org/10.1109/ICCCN.2009.5235266 conf/icccn/2009 db/conf/icccn/icccn2009.html#Izhak-RatzinLM09 Ju-Yueh Lee Yu Hu 0002 Rupak Majumdar Lei He 0001 702-707 2009 ISQED https://doi.org/10.1109/ISQED.2009.4810379 https://doi.ieeecomputersociety.org/10.1109/ISQED.2009.4810379 conf/isqed/2009 db/conf/isqed/isqed2009.html#LeeHMH09 Pierre Ganty Rupak Majumdar Andrey Rybalchenko 102-113 2009 POPL https://doi.org/10.1145/1480881.1480895 https://doi.org/10.1145/1594834.1480895 conf/popl/2009 db/conf/popl/popl2009.html#GantyMR09 Rupak Majumdar Indranil Saha 0001 355-363 2009 RTSS https://doi.org/10.1109/RTSS.2009.17 https://doi.ieeecomputersociety.org/10.1109/RTSS.2009.17 conf/rtss/2009 db/conf/rtss/rtss2009.html#MajumdarS09 Ashutosh Gupta 0001 Rupak Majumdar Andrey Rybalchenko 262-276 2009 TACAS https://doi.org/10.1007/978-3-642-00768-2_24 conf/tacas/2009 db/conf/tacas/tacas2009.html#GuptaMR09 Michael Emmi Ranjit Jhala Eddie Kohler Rupak Majumdar 352-367 2009 TACAS https://doi.org/10.1007/978-3-642-00768-2_30 conf/tacas/2009 db/conf/tacas/tacas2009.html#EmmiJKM09 Rupak Majumdar Paulo Tabuada 5469 2009 https://doi.org/10.1007/978-3-642-00602-9 978-3-642-00601-2 HSCC Lecture Notes in Computer Science Springer db/conf/hybrid/hscc2009.html

Krishnendu Chatterjee Rupak Majumdar Thomas A. Henzinger 219-234 2008 37 Int. J. Game Theory 2 https://doi.org/10.1007/s00182-007-0110-5 db/journals/ijgt/ijgt37.html#ChatterjeeMH08

Luca de Alfaro Rupak Majumdar Vishwanath Raman Mariëlle Stoelinga 2008 4 Log. Methods Comput. Sci. 3 https://doi.org/10.2168/LMCS-4(3:7)2008 db/journals/lmcs/lmcs4.html#AlfaroMRS08

Yu Hu 0002 Victor Shih Rupak Majumdar Lei He 0001 1751-1760 2008 27 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10 https://doi.org/10.1109/TCAD.2008.2003272 db/journals/tcad/tcad27.html#HuSMH08

Krishnendu Chatterjee Luca de Alfaro Rupak Majumdar 91-106 2008 APLAS https://doi.org/10.1007/978-3-540-89330-1_7 conf/aplas/2008 db/conf/aplas/aplas2008.html#ChatterjeeAM08 Dirk Beyer 0001 Damien Zufferey Rupak Majumdar 304-308 2008 CAV https://doi.org/10.1007/978-3-540-70545-1_29 conf/cav/2008 db/conf/cav/cav2008.html#BeyerZM08 Yu Hu 0002 Victor Shih Rupak Majumdar Lei He 0001 24-29 2008 DAC https://doi.org/10.1145/1391469.1391478 https://www.wikidata.org/entity/Q130897851 conf/dac/2008 db/conf/dac/dac2008.html#HuSMH08 Krishnendu Chatterjee Luca de Alfaro Rupak Majumdar Vishwanath Raman 2008 FSTTCS https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1745 conf/fsttcs/2008 db/conf/fsttcs/fsttcs2008.html#ChatterjeeAMR08 107-118 Krishnendu Chatterjee Rupak Majumdar Thomas A. Henzinger 72-86 2008 HSCC https://doi.org/10.1007/978-3-540-78929-1_6 conf/hybrid/2008 db/conf/hybrid/hscc2008.html#ChatterjeeMH08 Yu Hu 0002 Zhe Feng 0002 Lei He 0001 Rupak Majumdar 706-713 2008 ICCAD https://doi.org/10.1109/ICCAD.2008.4681654 https://doi.ieeecomputersociety.org/10.1109/ICCAD.2008.4681654 https://dl.acm.org/citation.cfm?id=1509611 conf/iccad/2008 db/conf/iccad/iccad2008.html#HuFHM08 Jeffrey Fischer Rupak Majumdar 320-328 2008 ICWS https://doi.org/10.1109/ICWS.2008.40 https://doi.ieeecomputersociety.org/10.1109/ICWS.2008.40 conf/icws/2008 db/conf/icws/icws2008.html#FischerM08 Ru-Gang Xu Patrice Godefroid Rupak Majumdar 27-38 2008 ISSTA https://doi.org/10.1145/1390630.1390636 https://www.wikidata.org/entity/Q131115344 conf/issta/2008 db/conf/issta/issta2008.html#XuGM08 Jeffrey Fischer Rupak Majumdar Francesco Sorrentino 0002 415-418 2008 ASE https://doi.org/10.1109/ASE.2008.62 https://doi.ieeecomputersociety.org/10.1109/ASE.2008.62 conf/kbse/2008 db/conf/kbse/ase2008.html#FischerMS08 Ashutosh Gupta 0001 Thomas A. Henzinger Rupak Majumdar Andrey Rybalchenko Ru-Gang Xu 147-158 2008 conf/popl/2008 POPL https://doi.org/10.1145/1328438.1328459 https://doi.org/10.1145/1328897.1328459 db/conf/popl/popl2008.html#GuptaHMRX08 Gunes Ercal Rafit Izhak-Ratzin Rupak Majumdar Adam Meyerson 133-144 2008 SAGT https://doi.org/10.1007/978-3-540-79309-0_13 conf/sagt/2008 db/conf/sagt/sagt2008.html#ErcalIMM08 Klaus Havelund Rupak Majumdar Jens Palsberg 5156 978-3-540-85113-4 SPIN Lecture Notes in Computer Science Springer 2008 https://doi.org/10.1007/978-3-540-85114-1 db/conf/spin/spin2008.html

Krishnendu Chatterjee Luca de Alfaro Rupak Majumdar http://arxiv.org/abs/0804.4525 2008 CoRR abs/0804.4525 db/journals/corr/corr0804.html#abs-0804-4525

Krishnendu Chatterjee Rupak Majumdar Thomas A. Henzinger http://arxiv.org/abs/0805.2622 2008 CoRR abs/0805.2622 db/journals/corr/corr0805.html#abs-0805-2622

Luca de Alfaro Rupak Majumdar Vishwanath Raman Mariëlle Stoelinga http://arxiv.org/abs/0806.4956 2008 CoRR abs/0806.4956 db/journals/corr/corr0806.html#abs-0806-4956

Pierre Ganty Rupak Majumdar Benjamin Monmege http://arxiv.org/abs/0809.1236 2008 CoRR abs/0809.1236 db/journals/corr/corr0809.html#abs-0809-1236

Dirk Beyer 0001 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 505-525 2007 9 Int. J. Softw. Tools Technol. Transf. 5-6 https://doi.org/10.1007/s10009-007-0044-z https://www.wikidata.org/entity/Q56454323 db/journals/sttt/sttt9.html#BeyerHJM07

Yu Hu 0002 Victor Shih Rupak Majumdar Lei He 0001 350-353 2007 conf/iccad/2007 ICCAD https://doi.org/10.1109/ICCAD.2007.4397289 https://doi.ieeecomputersociety.org/10.1109/ICCAD.2007.4397289 https://dl.acm.org/citation.cfm?id=1326146 db/conf/iccad/iccad2007.html#HuSMH07 Rupak Majumdar Koushik Sen 416-426 2007 conf/icse/2007 ICSE https://doi.org/10.1109/ICSE.2007.41 https://doi.ieeecomputersociety.org/10.1109/ICSE.2007.41 http://dl.acm.org/citation.cfm?id=1248874 db/conf/icse/icse2007.html#MajumdarS07 Michael Emmi Rupak Majumdar Koushik Sen 151-162 2007 conf/issta/2007 ISSTA https://doi.org/10.1145/1273463.1273484 db/conf/issta/issta2007.html#EmmiMS07 Jeffrey Fischer Rupak Majumdar 54-63 2007 conf/kbse/2007 ASE https://doi.org/10.1145/1321631.1321642 https://www.wikidata.org/entity/Q130971124 db/conf/kbse/ase2007.html#FischerM07 Rupak Majumdar Ru-Gang Xu 134-143 2007 conf/kbse/2007 ASE https://doi.org/10.1145/1321631.1321653 https://www.wikidata.org/entity/Q131121769 db/conf/kbse/ase2007.html#MajumdarX07 Luca de Alfaro Rupak Majumdar Vishwanath Raman Mariëlle Stoelinga 99-108 2007 conf/lics/2007 LICS https://doi.org/10.1109/LICS.2007.22 https://doi.ieeecomputersociety.org/10.1109/LICS.2007.22 db/conf/lics/lics2007.html#AlfaroMRS07 Jeffrey Fischer Rupak Majumdar Todd D. Millstein 134-143 2007 conf/pepm/2007 PEPM https://doi.org/10.1145/1244381.1244403 db/conf/pepm/pepm2007.html#FischerMM07 Dirk Beyer 0001 Thomas A. Henzinger Rupak Majumdar Andrey Rybalchenko 300-309 2007 conf/pldi/2007 PLDI https://doi.org/10.1145/1250734.1250769 https://doi.org/10.1145/1273442.1250769 db/conf/pldi/pldi2007.html#BeyerHMR07 Michael Emmi Jeffrey S. Fischer Ranjit Jhala Rupak Majumdar 291-296 2007 conf/popl/2007 POPL https://doi.org/10.1145/1190216.1190260 https://doi.org/10.1145/1190215.1190260 db/conf/popl/popl2007.html#EmmiFJM07 Ranjit Jhala Rupak Majumdar 339-350 2007 conf/popl/2007 POPL https://doi.org/10.1145/1190216.1190266 https://doi.org/10.1145/1190215.1190266 db/conf/popl/popl2007.html#JhalaM07 Rupak Majumdar Ru-Gang Xu 553-556 2007 conf/sigsoft/2007 ESEC/SIGSOFT FSE https://doi.org/10.1145/1287624.1287708 https://www.wikidata.org/entity/Q131121007 db/conf/sigsoft/fse2007.html#MajumdarX07 Ranjit Jhala Rupak Majumdar Ru-Gang Xu 553-567 2007 conf/tacas/2007 TACAS https://doi.org/10.1007/978-3-540-71209-1_43 db/conf/tacas/tacas2007.html#JhalaMX07 Michael Emmi Rupak Majumdar 29-43 2007 conf/vmcai/2007 VMCAI https://doi.org/10.1007/978-3-540-69738-1_2 db/conf/vmcai/vmcai2007.html#EmmiM07 Dirk Beyer 0001 Thomas A. Henzinger Rupak Majumdar Andrey Rybalchenko 378-394 2007 conf/vmcai/2007 VMCAI https://doi.org/10.1007/978-3-540-69738-1_27 db/conf/vmcai/vmcai2007.html#BeyerHMR07

Thomas A. Henzinger Orna Kupferman Rupak Majumdar 173-186 2006 354 Theor. Comput. Sci. 2 https://doi.org/10.1016/j.tcs.2005.11.015 db/journals/tcs/tcs354.html#HenzingerKM06

Michael Emmi Rupak Majumdar 200-211 2006 conf/hybrid/2006 HSCC https://doi.org/10.1007/11730637_17 db/conf/hybrid/hscc2006.html#EmmiM06 Krishnendu Chatterjee Luca de Alfaro Marco Faella Thomas A. Henzinger Rupak Majumdar Mariëlle Stoelinga 179-188 2006 conf/qest/2006 QEST https://doi.org/10.1109/QEST.2006.11 https://doi.ieeecomputersociety.org/10.1109/QEST.2006.11 db/conf/qest/qest2006.html#ChatterjeeAFHMS06 Ranjit Jhala Rupak Majumdar Ru-Gang Xu 71-87 2006 conf/sas/2006 SAS https://doi.org/10.1007/11823230_6 db/conf/sas/sas2006.html#JhalaMX06 Deepak Kapur Rupak Majumdar Calogero G. Zarba 105-116 2006 conf/sigsoft/2006 SIGSOFT FSE https://doi.org/10.1145/1181775.1181789 db/conf/sigsoft/fse2006.html#KapurMZ06 Ranjit Jhala Rupak Majumdar 128-140 2006 conf/sigsoft/2006 SIGSOFT FSE https://doi.org/10.1145/1181775.1181791 db/conf/sigsoft/fse2006.html#JhalaM06 Krishnendu Chatterjee Rupak Majumdar Thomas A. Henzinger 325-336 2006 conf/stacs/2006 STACS https://doi.org/10.1007/11672142_26 db/conf/stacs/stacs2006.html#ChatterjeeMH06

Luca de Alfaro Marco Faella Thomas A. Henzinger Rupak Majumdar Mariëlle Stoelinga 139-170 2005 345 Theor. Comput. Sci. 1 https://doi.org/10.1016/j.tcs.2005.07.033 db/journals/tcs/tcs345.html#AlfaroFHMS05

Thomas A. Henzinger Rupak Majumdar Jean-François Raskin 1-32 2005 6 ACM Trans. Comput. Log. 1 https://doi.org/10.1145/1042038.1042039 https://www.wikidata.org/entity/Q131124313 db/journals/tocl/tocl6.html#HenzingerMR05

Arindam Chakrabarti Krishnendu Chatterjee Thomas A. Henzinger Orna Kupferman Rupak Majumdar 50-64 2005 conf/charme/2005 CHARME https://doi.org/10.1007/11560548_7 db/conf/charme/charme2005.html#ChakrabartiCHKM05 Luca de Alfaro Vishwanath Raman Marco Faella Rupak Majumdar 191-202 2005 conf/emsoft/2005 EMSOFT https://doi.org/10.1145/1086228.1086265 db/conf/emsoft/emsoft2005.html#AlfaroRFM05 Dirk Beyer 0001 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 2-18 https://doi.org/10.1007/978-3-540-31984-9_2 2005 conf/fase/2005 FASE db/conf/fase/fase2005.html#BeyerHJM05 Thomas A. Henzinger Rupak Majumdar Vinayak S. Prabhu 226-241 2005 conf/formats/2005 FORMATS https://doi.org/10.1007/11603009_18 db/conf/formats/formats2005.html#HenzingerMP05 Ranjit Jhala Rupak Majumdar 38-47 2005 conf/pldi/2005 PLDI https://doi.org/10.1145/1065010.1065016 https://doi.org/10.1145/1064978.1065016 https://www.wikidata.org/entity/Q59699420 db/conf/pldi/pldi2005.html#JhalaM05 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 31-40 2005 conf/sigsoft/2005 ESEC/SIGSOFT FSE https://doi.org/10.1145/1081706.1081713 db/conf/sigsoft/fse2005.html#HenzingerJM05 Jeffrey Fischer Ranjit Jhala Rupak Majumdar 227-236 2005 conf/sigsoft/2005 ESEC/SIGSOFT FSE https://doi.org/10.1145/1081706.1081742 db/conf/sigsoft/fse2005.html#FischerJM05 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 25-26 2005 conf/spin/2005 SPIN https://doi.org/10.1007/11537328_4 db/conf/spin/spin2005.html#HenzingerJM05 Krishnendu Chatterjee Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 104-111 2005 conf/uai/2005 UAI https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1214&proceeding_id=21 db/conf/uai/uai2005.html#ChatterjeeHJM05

Krishnendu Chatterjee Di Ma Rupak Majumdar Tian Zhao 0002 Thomas A. Henzinger Jens Palsberg 144-174 2004 194 Inf. Comput. 2 https://doi.org/10.1016/j.ic.2004.06.001 db/journals/iandc/iandc194.html#ChatterjeeMMZHP04

Luca de Alfaro Rupak Majumdar 374-397 2004 68 J. Comput. Syst. Sci. 2 https://doi.org/10.1016/j.jcss.2003.07.009 db/journals/jcss/jcss68.html#AlfaroM04

Jennifer L. Wong Rupak Majumdar Miodrag Potkonjak 1566-1574 2004 23 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11 https://doi.org/10.1109/TCAD.2004.836730 https://www.wikidata.org/entity/Q124852049 db/journals/tcad/tcad23.html#WongMP04

Krishnendu Chatterjee Rupak Majumdar Marcin Jurdzinski 26-40 https://doi.org/10.1007/978-3-540-30124-0_6 2004 conf/csl/2004 CSL db/conf/csl/csl2004.html#ChatterjeeMJ04 Dirk Beyer 0001 Adam Chlipala Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 326-335 2004 conf/icse/2004 ICSE https://doi.org/10.1109/ICSE.2004.1317455 https://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317455 http://dl.acm.org/citation.cfm?id=999437 db/conf/icse/icse2004.html#BeyerCM04 Dirk Beyer 0001 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 251-255 2004 conf/iwpc/2004 IWPC https://doi.org/10.1109/WPC.2004.1311069 https://doi.ieeecomputersociety.org/10.1109/WPC.2004.1311069 db/conf/iwpc/iwpc2004.html#BeyerHJM04 Dirk Beyer 0001 Adam Chlipala Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 201-202 2004 conf/pepm/2004 PEPM https://doi.org/10.1145/1014007.1014028 db/conf/pepm/pepm2004.html#BeyerCHJM04 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 1-13 2004 conf/pldi/2004 PLDI https://doi.org/10.1145/996841.996844 https://doi.org/10.1145/996893.996844 db/conf/pldi/pldi2004.html#HenzingerJM04 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Kenneth L. McMillan 232-244 2004 conf/popl/2004 POPL https://doi.org/10.1145/964001.964021 https://doi.org/10.1145/982962.964021 db/conf/popl/popl2004.html#HenzingerJMM04 Dirk Beyer 0001 Adam Chlipala Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 1-2 2004 conf/ppdp/2004 PPDP https://doi.org/10.1145/1013963.1013964 db/conf/ppdp/ppdp2004.html#BeyerCHJM04 Dirk Beyer 0001 Adam Chlipala Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 2-18 https://doi.org/10.1007/978-3-540-27864-1_2 2004 conf/sas/2004 SAS db/conf/sas/sas2004.html#BeyerCHJM04 Luca de Alfaro Marco Faella Thomas A. Henzinger Rupak Majumdar Mariëlle Stoelinga 77-92 https://doi.org/10.1007/978-3-540-24730-2_6 2004 conf/tacas/2004 TACAS db/conf/tacas/tacas2004.html#AlfaroFHMS04 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Marco A. A. Sanvido 332-358 https://doi.org/10.1007/978-3-540-39910-0_16 2003 conf/birthday/2003manna Verification: Theory and Practice db/conf/birthday/Manna2003.html#HenzingerJMS03 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Shaz Qadeer 262-274 https://doi.org/10.1007/978-3-540-45069-6_27 2003 conf/cav/2003 CAV db/conf/cav/cav2003.html#HenzingerJMQ03 Luca de Alfaro Marco Faella Thomas A. Henzinger Rupak Majumdar Mariëlle Stoelinga 142-156 https://doi.org/10.1007/978-3-540-45187-7_9 2003 conf/concur/2003 CONCUR db/conf/concur/concur2003.html#AlfaroFHMS03 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar 886-902 2003 conf/icalp/2003 ICALP https://doi.org/10.1007/3-540-45061-0_69 db/conf/icalp/icalp2003.html#HenzingerJM03 Luca de Alfaro Thomas A. Henzinger Rupak Majumdar 1022-1037 2003 conf/icalp/2003 ICALP https://doi.org/10.1007/3-540-45061-0_79 db/conf/icalp/icalp2003.html#AlfaroHM03 Krishnendu Chatterjee Di Ma Rupak Majumdar Tian Zhao 0002 Thomas A. Henzinger Jens Palsberg 109-126 2003 conf/sas/2003 SAS https://doi.org/10.1007/3-540-44898-5_7 db/conf/sas/sas2003.html#ChatterjeeMMZHP03 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Grégoire Sutre 235-239 2003 conf/spin/2003 SPIN https://doi.org/10.1007/3-540-44829-2_17 db/conf/spin/spin2003.html#HenzingerJMS03 Thomas A. Henzinger Orna Kupferman Rupak Majumdar 49-64 2003 conf/tacas/2003 TACAS https://doi.org/10.1007/3-540-36577-X_5 db/conf/tacas/tacas2003.html#HenzingerKM03 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar George C. Necula Grégoire Sutre Westley Weimer 526-538 2002 conf/cav/2002 CAV https://doi.org/10.1007/3-540-45657-0_45 db/conf/cav/cav2002.html#HenzingerJMNSW02 Thomas A. Henzinger Christoph M. Kirsch Rupak Majumdar Slobodan Matic 76-92 2002 conf/emsoft/2002 EMSOFT https://doi.org/10.1007/3-540-45828-X_7 db/conf/emsoft/emsoft2002.html#HenzingerKMM02 Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Grégoire Sutre 58-70 2002 conf/popl/2002 POPL https://doi.org/10.1145/503272.503279 https://doi.org/10.1145/565816.503279 db/conf/popl/popl2002.html#HenzingerJMS02 Luca de Alfaro Thomas A. Henzinger Rupak Majumdar 536-550 2001 conf/concur/2001 CONCUR https://doi.org/10.1007/3-540-44685-0_36 db/conf/concur/concur2001.html#AlfaroHM01 Rupak Majumdar Jennifer L. Wong 480-485 2001 conf/dac/2001 DAC https://doi.org/10.1145/378239.378566 db/conf/dac/dac2001.html#MajumdarW01 Rajeev Alur Luca de Alfaro Radu Grosu Thomas A. Henzinger M. Kang Christoph M. Kirsch Rupak Majumdar Freddy Y. C. Mang Bow-Yaw Wang 835-836 2001 conf/icse/2001 ICSE db/conf/icse/icse2001.html#AlurAGHKKMMW01 https://doi.org/10.1109/ICSE.2001.919196 https://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919196 Luca de Alfaro Thomas A. Henzinger Rupak Majumdar 279-290 2001 conf/lics/2001 LICS db/conf/lics/lics2001.html#AlfaroHM01 https://doi.org/10.1109/LICS.2001.932504 https://doi.ieeecomputersociety.org/10.1109/LICS.2001.932504 Thomas Ball 0001 Rupak Majumdar Todd D. Millstein Sriram K. Rajamani 203-213 2001 conf/pldi/2001 PLDI db/conf/pldi/pldi2001.html#BallMMR01 https://doi.org/10.1145/378795.378846 https://doi.org/10.1145/381694.378846 Luca de Alfaro Rupak Majumdar 675-683 2001 conf/stoc/2001 STOC https://doi.org/10.1145/380752.380871 db/conf/stoc/stoc2001.html#AlfaroM01

Thomas A. Henzinger Rupak Majumdar Jean-François Raskin https://arxiv.org/abs/cs/0101013 2001 CoRR cs.LO/0101013 db/journals/corr/corr0101.html#cs-LO-0101013

Thomas A. Henzinger Benjamin Horowitz Rupak Majumdar Howard Wong-Toi 130-144 https://doi.org/10.1007/3-540-46430-1_14 2000 conf/hybrid/2000 HSCC db/conf/hybrid/hscc2000.html#HenzingerHMW00 Thomas A. Henzinger Rupak Majumdar Freddy Y. C. Mang Jean-François Raskin 220-239 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#HenzingerMMR00 https://doi.org/10.1007/978-3-540-45099-3_12 Thomas A. Henzinger Rupak Majumdar 13-34 2000 conf/stacs/2000 STACS https://doi.org/10.1007/3-540-46541-3_2 db/conf/stacs/stacs2000.html#HenzingerM00 Thomas A. Henzinger Rupak Majumdar 142-156 https://doi.org/10.1007/3-540-46419-0_11 2000 conf/tacas/2000 TACAS db/conf/tacas/tacas2000.html#HenzingerM00 Thomas A. Henzinger Benjamin Horowitz Rupak Majumdar 320-335 https://doi.org/10.1007/3-540-48320-9_23 1999 conf/concur/1999 CONCUR db/conf/concur/concur1999.html#HenzingerHM99 Rupak Majumdar R. K. Shyamasundar 309-320 1996 conf/asian/1996 ASIAN db/conf/asian/asian96.html#MajumdarS96 https://doi.org/10.1007/BFb0027803 Alessandro Abate Houssam Abbas Rajab Aghamov Yousef Ahmad Sheraz Ahmed Luca de Alfaro Rajeev Alur Peter Alvaro Chris Alvin Aman Aryan Yunjun Bai Christel Baier A. R. Balasubramanian Ayca Balkan Thomas Ball 0001 Tamajit Banerjee Gregor B. Banusic Ezio Bartocci Sanjoy BaruahSanjoy K. Baruah Pascal Baumann 0001 Heiko Becker Mitra Tabaei Befrouei Calin Belta Dirk Beyer 0001 Ghaith Bilbeisi Nikolaj S. Bjørner Rastislav Bodík Brendon Boldt Andrea Borgarelli Nathaniel Bos Björn B. Brandenburg Georgel Calin Sina Y. CaliskanSina Yamac Caliskan José Cambronero George Candea João Carlos Menezes Carreira Arindam Chakrabarti Krishnendu Chatterjee Swarat Chaudhuri Dmitry Chistikov 0001 Adam Chlipala Martin Chmelik Sylvain Conchon Jason Cong Eszter Couillard Bohan Cui Philipp Czerner Raimund Dachselt Eva Darulova Julian D'Costa David Deininger Egor Derevenetc Jyotirmoy V. Deshmukh Dimos V. Dimarogonas Rayna Dimitrova Laurent Doyen 0001 Cezara Dragoi Clemens Dubslaff Antoine Durand-Gasselin Bruno Dutertre Rüdiger Ehlers Lamyaa Eloussi Michael Emmi Constantin Enea Gunes Ercal Peyman Mohajerin Esfahani Shahram Esmaeilsabzali Javier Esparza Marco Faella Georgios Fainekos Samira S. Farahani Ivan Fedotov Zhe Feng 0002 Maximilian Fickert Alain Finkel Luis María Ferrer Fioriti Jeffrey Fischer Jeffrey M. Fischer Jeffrey S. Fischer Martin Franz Florian Funke 0002 Jiarui Gan Moses Ganardi Pierre Ganty Min Gao 0003 Ivan Gavran Chryssis Georgiou Dimitra Giannakopoulou Milos Gligoric 0001 Patrice Godefroid Amit Goel Moritz Graf Radu Grosu Arpan Gujarati Ege Berkay Gulcan Sumit Gulwani Stefan Gumhold Ashutosh Gupta 0001 Rahul Gupta Rajesh K. Gupta 0001Rajesh Gupta 0001 Matthew Hague Klaus Havelund Lei He 0001 Annika Hennes Thomas A. Henzinger Holger Hermanns Hsi-Ming Ho Jochen Hoenicke Jörg Hoffmann 0001 Andreas Holzer Chih-Duo Hong Hong Hong Benjamin Horowitz Marko Horvat 0002 Kyle Hsu Yu Hu 0002 Reiner Hüchting Rasmus Ibsen-Jensen Rebecca Isaacs Rafit Izhak-Ratzin Simon Jantsch Ranjit Jhala Xiaoqing Jin Mohammad Hossein Khoshechin Jorshari Manu Jose Marcin Jurdzinski Aditya Kanade 0001 M. Kang Sampath Kannan Deepak Kapur Toghrul Karimov Milad Kazemi Benjamin Kiesl-Reiter Christoph M. Kirsch Johannes Kloos Eddie Kohler Tobias Kohn Michalis Kokologiannakis Soonho Kong Arash Bahari Kordabad Laura Kovács S. Krishna 0004Shankara Narayanan Krishna Sava Krstic Kiran Kumar Viktor Kuncak Orna Kupferman Abolfazl Lavaei Ruslán Ledesma-Garza Jonathan K. Lee Ju-Yueh Lee Ondrej Lengál Jérôme Leroux Mohsen Lesani Adrian Leva Minming Li Anthony Lin Anthony Widjaja LinAnthony W. Lin Nikitas Liogkas Bin Liu 0006 Zhenyue Long Kevin Lotz Samuel B. Luckenbill John Lygeros Di Ma Khushraj MadnaniKhushraj Nanik Madnani Pallavi Maiya Kaushik Mallik Debmalya Mandal Roman Manevich Freddy Y. C. Mang Daniel Marino Darko Marinov Mark Marron Adolfo Anta Martinez Aman Shankar Mathur Umang Mathur 0001 Slobodan Matic Frank McCabe Kenneth L. McMillan Klara J. MeyerPhilipp J. Meyer Roland Meyer 0001 Adam Meyerson Todd D. Millstein Manan Modi Swarup Mohalik Benjamin Monmege Thomas Moor Harshit J. MotwaniHarshit Jitendra Motwani Supratik Mukhopadhyay Madhavan Mukund Kiran-Kumar Muniswamy-Reddy Richard M. Murray Tigran Nagapetyan Srinidhi Nagendra Mitra Nasri George C. Necula Daniel Neider Filip Niksic Dirk Nowotka Simin Oraee Joël Ouaknine Necmiye Ozay Burcu Kulahcioglu Ozkan Victor-Alexandru Padurean Jens Palsberg Paritosh K. Pandya Bryan Parno Andreas Pavlogiannis Tung Phung Jakob Piribauer Marcus Pirron Ruzica Piskac Nir Piterman Andreas Podelski Miodrag Potkonjak Amaury Pouly Pavithra Prabhakar Vinayak S. Prabhu Shaz Qadeer Goran Radanovic Sriram K. Rajamani Vishwanath Raman Jean-François Raskin Muniswamy Reddy Patrick Reipschläger Elaine Render Rodrigo Rodrigues 0001 Fernando Rosa-Velardo Mattias Roux Pritam Roy Wheeler Ruml Philipp Rümmer Matthias Rungger Andrey Rybalchenko Mateusz Rychlicki Irmak Saglam Indranil Saha 0001 Mahmoud Salamati Rocco Salvia Marco A. A. Sanvido V. R. Sathiyanarayana Philipp Schepper Anne-Kathrin Schmuck Lia Schütze Koushik Sen Rohan Sharma K. C. Shashidhar Victor Shih Yasser Shoukry R. K. Shyamasundar Alexandra Silva 0001 Adish Singla Gustavo Soares Francesco Sorrentino 0002 Sadegh Esmaeil Zadeh SoudjaniSadegh Soudjani Timm Spork Darko Stefanovic Laura Stegner Mariëlle Stoelinga Felix Stutz Grégoire Sutre Paulo Tabuada Sai Deep Tetali K. S. Thejaswini Ramanathan S. Thinniyam Ufuk Topcu Koichi Ueda Dogan Ulus Natsuki Urabe Viktor Vafeiadis Helmut Veith Bow-Yaw Wang Zilong Wang 0004 Chana Weil-Kennedy Westley Weimer Georg Weissenbacher Thomas Wies Jennifer Wong-MaJennifer L. Wong Howard Wong-Toi Ben Wooding Michael J. Wooldridge James Worrell 0001 Nathan van de Wouw Bo Wu 0005 Ru-Gang Xu Zhe Xu 0005 Hakan Yazarel Bowen Ye Xiang Yin 0003 Nobuko Yoshida Xinyi Yu Majid Zamani 0001 Calogero G. Zarba Mehrdad Zareian Georg Zetzsche Minjian Zhang 0002 Zhiru Zhang Jianing Zhao Tian Zhao 0002 Robin Ziemek Damien Zufferey