Vinayak S.prabhu
AuthID: R-001-X50
1
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
2
TÃTULO: Quantitative Temporal Simulation and Refinement Distances for Timed Systems Full Text
AUTORES: Krishnendu Chatterjee; Vinayak S Prabhu;
PUBLICAÇÃO: 2015, FONTE: IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOLUME: 60, NÚMERO: 9
AUTORES: Krishnendu Chatterjee; Vinayak S Prabhu;
PUBLICAÇÃO: 2015, FONTE: IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOLUME: 60, NÚMERO: 9
3
TÃTULO: Computing the skorokhod distance between polygonal traces
AUTORES: Majumdar, R; Prabhu, VS;
PUBLICAÇÃO: 2015, FONTE: 18th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2015 in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015
AUTORES: Majumdar, R; Prabhu, VS;
PUBLICAÇÃO: 2015, FONTE: 18th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2015 in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef4
TÃTULO: Quantifying conformance using the Skorokhod metric
AUTORES: Deshmukh, JV; Majumdar, R; Prabhu, VS;
PUBLICAÇÃO: 2015, FONTE: 27th International Conference on Computer Aided Verification, CAV 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9207
AUTORES: Deshmukh, JV; Majumdar, R; Prabhu, VS;
PUBLICAÇÃO: 2015, FONTE: 27th International Conference on Computer Aided Verification, CAV 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9207
INDEXADO EM: Scopus CrossRef
Scopus CrossRef5
TÃTULO: QuanTM: A Quantitative Trust Management system
AUTORES: West, AG; Aviv, AJ; Chang, J; Prabhu, VS; Blaze, M; Kannan, S; Lee, I; Smith, JM; Sokolsky, O;
PUBLICAÇÃO: 2009, FONTE: 2nd European Workshop on System Security, EUROSEC'09 in Proceedings of the 2nd European Workshop on System Security, EUROSEC'09
AUTORES: West, AG; Aviv, AJ; Chang, J; Prabhu, VS; Blaze, M; Kannan, S; Lee, I; Smith, JM; Sokolsky, O;
PUBLICAÇÃO: 2009, FONTE: 2nd European Workshop on System Security, EUROSEC'09 in Proceedings of the 2nd European Workshop on System Security, EUROSEC'09
INDEXADO EM: Scopus
Scopus6
TÃTULO: QuanTM. a quantitative trust management system
AUTORES: Andrew G West; Adam J Aviv; Jian Chang; Vinayak S Prabhu; Matt Blaze; Sampath Kannan; Insup Lee; Jonathan M Smith; Oleg Sokolsky;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the Second European Workshop on System Security - EUROSEC '09
AUTORES: Andrew G West; Adam J Aviv; Jian Chang; Vinayak S Prabhu; Matt Blaze; Sampath Kannan; Insup Lee; Jonathan M Smith; Oleg Sokolsky;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the Second European Workshop on System Security - EUROSEC '09
7
TÃTULO: Timed parity games: Complexity and robustness
AUTORES: Chatterjee, K; Henzinger, TA; Prabhu, VS;
PUBLICAÇÃO: 2008, FONTE: 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5215 LNCS
AUTORES: Chatterjee, K; Henzinger, TA; Prabhu, VS;
PUBLICAÇÃO: 2008, FONTE: 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5215 LNCS
8
TÃTULO: Trading infinite memory for uniform randomness in timed games
AUTORES: Chatterjee, K; Henzinger, TA; Prabhu, VS;
PUBLICAÇÃO: 2008, FONTE: 11th International Workshop on Hybrid Systems: Computation and Control, HSCC 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4981 LNCS
AUTORES: Chatterjee, K; Henzinger, TA; Prabhu, VS;
PUBLICAÇÃO: 2008, FONTE: 11th International Workshop on Hybrid Systems: Computation and Control, HSCC 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4981 LNCS
INDEXADO EM: Scopus
Scopus9
TÃTULO: Minimum-time reachability in timed games
AUTORES: Brihaye, T; Henzinger, TA; Prabhu, VS; Raskin, JF;
PUBLICAÇÃO: 2007, FONTE: 34th International Colloquium on Automata, Languages and Programming, ICALP 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4596 LNCS
AUTORES: Brihaye, T; Henzinger, TA; Prabhu, VS; Raskin, JF;
PUBLICAÇÃO: 2007, FONTE: 34th International Colloquium on Automata, Languages and Programming, ICALP 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4596 LNCS
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID10
TÃTULO: Timed alternating-time temporal logic
AUTORES: Henzinger, TA; Prabhu, VS;
PUBLICAÇÃO: 2006, FONTE: 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4202 LNCS
AUTORES: Henzinger, TA; Prabhu, VS;
PUBLICAÇÃO: 2006, FONTE: 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4202 LNCS
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID