Rupak Majumdar
AuthID: R-006-Q8D
1
TITLE: Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
AUTHORS: Chryssis Georgiou; Rupak Majumdar;
PUBLISHED: 2021, SOURCE: NETYS, VOLUME: 12129
AUTHORS: Chryssis Georgiou; Rupak Majumdar;
PUBLISHED: 2021, SOURCE: NETYS, VOLUME: 12129
INDEXED IN: 
DBLP
DBLP2
TITLE: Computing Distances between Reach Flowpipes
AUTHORS: Rupak Majumdar; Vinayak S Prabhu;
PUBLISHED: 2016, SOURCE: 19th International Conference on Hybrid Systems - Computation and Control (HSCC) in HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL
AUTHORS: Rupak Majumdar; Vinayak S Prabhu;
PUBLISHED: 2016, SOURCE: 19th International Conference on Hybrid Systems - Computation and Control (HSCC) in HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL
3
TITLE: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 Full Text
AUTHORS: Rastislav Bodík; Rupak Majumdar;
PUBLISHED: 2016, SOURCE: POPL
AUTHORS: Rastislav Bodík; Rupak Majumdar;
PUBLISHED: 2016, SOURCE: POPL
INDEXED IN: DBLP
DBLP4
TITLE: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings
AUTHORS: Ezio Bartocci; Rupak Majumdar;
PUBLISHED: 2015, SOURCE: RV, VOLUME: 9333
AUTHORS: Ezio Bartocci; Rupak Majumdar;
PUBLISHED: 2015, SOURCE: RV, VOLUME: 9333
INDEXED IN: DBLP
DBLP5
TITLE: Runtime Verification
AUTHORS: Ezio Bartocci; Rupak Majumdar;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science
AUTHORS: Ezio Bartocci; Rupak Majumdar;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef