Rupak Majumdar
AuthID: R-006-Q8D
1
TÃTULO: Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings
AUTORES: Chryssis Georgiou; Rupak Majumdar;
PUBLICAÇÃO: 2021, FONTE: NETYS, VOLUME: 12129
AUTORES: Chryssis Georgiou; Rupak Majumdar;
PUBLICAÇÃO: 2021, FONTE: NETYS, VOLUME: 12129
INDEXADO EM: DBLP
2
TÃTULO: Computing Distances between Reach Flowpipes
AUTORES: Rupak Majumdar; Vinayak S Prabhu;
PUBLICAÇÃO: 2016, FONTE: 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
AUTORES: Rupak Majumdar; Vinayak S Prabhu;
PUBLICAÇÃO: 2016, FONTE: 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
TÃTULO: 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
AUTORES: Rastislav Bodík; Rupak Majumdar;
PUBLICAÇÃO: 2016, FONTE: POPL
AUTORES: Rastislav Bodík; Rupak Majumdar;
PUBLICAÇÃO: 2016, FONTE: POPL
INDEXADO EM: DBLP
4
TÃTULO: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings
AUTORES: Ezio Bartocci; Rupak Majumdar;
PUBLICAÇÃO: 2015, FONTE: RV, VOLUME: 9333
AUTORES: Ezio Bartocci; Rupak Majumdar;
PUBLICAÇÃO: 2015, FONTE: RV, VOLUME: 9333
INDEXADO EM: DBLP
5
TÃTULO: Runtime Verification
AUTORES: Ezio Bartocci; Rupak Majumdar;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
AUTORES: Ezio Bartocci; Rupak Majumdar;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef