Vinayak S.prabhu
AuthID: R-001-X50
1
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
2
TITLE: Quantitative Temporal Simulation and Refinement Distances for Timed Systems Full Text
AUTHORS: Krishnendu Chatterjee; Vinayak S Prabhu;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOLUME: 60, ISSUE: 9
AUTHORS: Krishnendu Chatterjee; Vinayak S Prabhu;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOLUME: 60, ISSUE: 9
3
TITLE: Computing the skorokhod distance between polygonal traces
AUTHORS: Majumdar, R; Prabhu, VS;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Majumdar, R; Prabhu, VS;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef4
TITLE: Quantifying conformance using the Skorokhod metric
AUTHORS: Deshmukh, JV; Majumdar, R; Prabhu, VS;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Deshmukh, JV; Majumdar, R; Prabhu, VS;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus CrossRef
Scopus CrossRef5
TITLE: QuanTM: A Quantitative Trust Management system
AUTHORS: West, AG; Aviv, AJ; Chang, J; Prabhu, VS; Blaze, M; Kannan, S; Lee, I; Smith, JM; Sokolsky, O;
PUBLISHED: 2009, SOURCE: 2nd European Workshop on System Security, EUROSEC'09 in Proceedings of the 2nd European Workshop on System Security, EUROSEC'09
AUTHORS: West, AG; Aviv, AJ; Chang, J; Prabhu, VS; Blaze, M; Kannan, S; Lee, I; Smith, JM; Sokolsky, O;
PUBLISHED: 2009, SOURCE: 2nd European Workshop on System Security, EUROSEC'09 in Proceedings of the 2nd European Workshop on System Security, EUROSEC'09
INDEXED IN: Scopus
Scopus6
TITLE: QuanTM. a quantitative trust management system
AUTHORS: Andrew G West; Adam J Aviv; Jian Chang; Vinayak S Prabhu; Matt Blaze; Sampath Kannan; Insup Lee; Jonathan M Smith; Oleg Sokolsky;
PUBLISHED: 2009, SOURCE: Proceedings of the Second European Workshop on System Security - EUROSEC '09
AUTHORS: Andrew G West; Adam J Aviv; Jian Chang; Vinayak S Prabhu; Matt Blaze; Sampath Kannan; Insup Lee; Jonathan M Smith; Oleg Sokolsky;
PUBLISHED: 2009, SOURCE: Proceedings of the Second European Workshop on System Security - EUROSEC '09
7
TITLE: Timed parity games: Complexity and robustness
AUTHORS: Chatterjee, K; Henzinger, TA; Prabhu, VS;
PUBLISHED: 2008, SOURCE: 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
AUTHORS: Chatterjee, K; Henzinger, TA; Prabhu, VS;
PUBLISHED: 2008, SOURCE: 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
TITLE: Trading infinite memory for uniform randomness in timed games
AUTHORS: Chatterjee, K; Henzinger, TA; Prabhu, VS;
PUBLISHED: 2008, SOURCE: 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
AUTHORS: Chatterjee, K; Henzinger, TA; Prabhu, VS;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus
Scopus9
TITLE: Minimum-time reachability in timed games
AUTHORS: Brihaye, T; Henzinger, TA; Prabhu, VS; Raskin, JF;
PUBLISHED: 2007, SOURCE: 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
AUTHORS: Brihaye, T; Henzinger, TA; Prabhu, VS; Raskin, JF;
PUBLISHED: 2007, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID10
TITLE: Timed alternating-time temporal logic
AUTHORS: Henzinger, TA; Prabhu, VS;
PUBLISHED: 2006, SOURCE: 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
AUTHORS: Henzinger, TA; Prabhu, VS;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID