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
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
INDEXADO EM: Scopus WOS CrossRef
5
TÍTULO: Runtime Verification
AUTORES: Ezio Bartocci; Rupak Majumdar;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef