Vinayak S. Prabhu

Cituota

	Visi	Nuo 2020
Šaltiniai	770	305
h-rodyklė	14	9
i10-rodyklė	17	9

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 7 14 6 10 10 29 27 27 26 31 19 35 15 29 32 47 38 49 58 39 61 59 79 9

Viešas pasiekiamumas

Peržiūrėti viską

13 straipsnių

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Rupak MajumdarMPI for Software SystemsPatvirtintas el. paštas mpi-sws.org
Thomas HenzingerIST AustriaPatvirtintas el. paštas ist.ac.at
Krishnendu ChatterjeeProfessor, IST AustriaPatvirtintas el. paštas ist.ac.at
Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaPatvirtintas el. paštas usc.edu
Sadegh SoudjaniMax Planck Institute for Software SystemsPatvirtintas el. paštas mpi-sws.org
Xiaoqing JinApple Inc.Patvirtintas el. paštas cs.ucr.edu
Marius MineaAssociate Professor, Politehnica University of TimisoaraPatvirtintas el. paštas cs.upt.ro
Marko HorvatDepartment of Mathematics, Faculty of Science, University of ZagrebPatvirtintas el. paštas math.pmf.unizg.hr
Adam J AvivThe George Washington UniversityPatvirtintas el. paštas email.gwu.edu
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Patvirtintas el. paštas ulb.ac.be
Thomas BrihayeUMONSPatvirtintas el. paštas umons.ac.be
Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaPatvirtintas el. paštas cis.upenn.edu
Oleg SokolskyUniversity of PennsylvaniaPatvirtintas el. paštas cis.upenn.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaPatvirtintas el. paštas cis.upenn.edu
Sampath KannanProfessor, Computer and Information Science, University of PennsylvaniaPatvirtintas el. paštas seas.upenn.edu
Rayna DimitrovaCISPA Helmholtz Center for Information SecurityPatvirtintas el. paštas cispa.de
Sujit PBIISER BhopalPatvirtintas el. paštas iiserb.ac.in
J. Borges de SousaProfessor, LSTS, DEEC, FEUPPatvirtintas el. paštas fe.up.pt
Indrajit RayProfessor, Computer Science, Colorado State UniversityPatvirtintas el. paštas colostate.edu
Indrakshi RayProfessor of Computer Science, Colorado State UniversityPatvirtintas el. paštas cs.colostate.edu

Stebėti

Vinayak S. Prabhu

Colorado State University

Patvirtintas el. paštas colostate.edu - Pagrindinis puslapis

Formal Methods Logic Hybrid Systems (CPS)Control Security


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Assume-guarantee reasoning for hierarchical hybrid systems TA Henzinger, M Minea, V Prabhu Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001	122	2001
Testing cyber-physical systems through bayesian optimization J Deshmukh, M Horvat, X Jin, R Majumdar, VS Prabhu ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-18, 2017	90	2017
Quantifying similarities between timed systems TA Henzinger, R Majumdar, VS Prabhu International Conference on Formal Modeling and Analysis of Timed Systems …, 2005	89	2005
Timed alternating-time temporal logic TA Henzinger, VS Prabhu International Conference on Formal Modeling and Analysis of Timed Systems, 1-17, 2006	59	2006
Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances SS Farahani, R Majumdar, VS Prabhu, S Soudjani IEEE Transactions on Automatic Control 64 (8), 3324-3331, 2018	56	2018
Timed parity games: Complexity and robustness K Chatterjee, TA Henzinger, VS Prabhu Logical Methods in Computer Science 7, 2011	49	2011
Timed Parity Games: Complexity and Robustness K Chatterjee, TA Henzinger, VS Prabhu Logical Methods in Computer Science 7, 2011	49	2011
Minimum-time reachability in timed games T Brihaye, TA Henzinger, VS Prabhu, JF Raskin International Colloquium on Automata, Languages, and Programming, 825-837, 2007	39	2007
Quantifying conformance using the Skorokhod metric JV Deshmukh, R Majumdar, VS Prabhu Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	37	2015
Quantifying conformance using the Skorokhod metric JV Deshmukh, R Majumdar, VS Prabhu Formal Methods in System Design 50, 168-206, 2017	35	2017
QuanTM: A quantitative trust management system AG West, AJ Aviv, J Chang, VS Prabhu, M Blaze, S Kannan, I Lee, ... Proceedings of the Second European Workshop on System Security, 28-35, 2009	33	2009
Shrinking horizon model predictive control with chance-constrained signal temporal logic specifications SS Farahani, R Majumdar, VS Prabhu, SEZ Soudjani 2017 American Control Conference (ACC), 1740-1746, 2017	31	2017
Computing the Skorokhod distance between polygonal traces R Majumdar, VS Prabhu Proceedings of the 18th International Conference on Hybrid Systems …, 2015	22	2015
Trading infinite memory for uniform randomness in timed games K Chatterjee, TA Henzinger, VS Prabhu International Workshop on Hybrid Systems: Computation and Control, 87-100, 2008	16	2008
Parameter optimization in control software using statistical fault localization techniques J Deshmukh, X Jin, R Majumdar, V Prabhu 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018	14	2018
Computing distances between reach flowpipes R Majumdar, VS Prabhu Proceedings of the 19th International Conference on Hybrid Systems …, 2016	13	2016
Quantitative temporal simulation and refinement distances for timed systems K Chatterjee, VS Prabhu IEEE Transactions on Automatic Control 60 (9), 2291-2306, 2015	11	2015
Robust mission planning for underwater applications: Issues and challenges M Kothari, J Pinto, VS Prabhu, P Ribeiro, JB De Sousa, PB Sujit IFAC Proceedings Volumes 45 (5), 223-229, 2012	11	2012
Causality Analysis for Concurrent Reactive Systems R Dimitrova, R Majumdar, VS Prabhu arXiv preprint arXiv:1901.00589, 2019	8	2019
Synthesis of memory-efficient, clock-memory free, and non-zeno safety controllers for timed systems K Chatterjee, VS Prabhu Information and Computation 228, 83-119, 2013	6	2013

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai