James Kapinski

Alıntı yapanlar

	Hepsi	2020 yılından bugüne
Alıntılar	2344	1342
h-endeksi	26	19
i10-endeksi	37	25

300

150

225

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202511 3 12 11 18 21 20 19 28 24 50 105 112 120 176 253 268 292 275 264 211 32

Genel erişim

Tümünü görüntüle

9 makale

1 makale

genel erişime açık olanlar

genel erişime açık olmayanlar

Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak

Katkıda bulunan yazarlar

Xiaoqing JinApple Inc.cs.ucr.edu üzerinde doğrulanmış e-posta adresine sahip
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon Universityece.cmu.edu üzerinde doğrulanmış e-posta adresine sahip
Georgios FainekosToyota Research Institute of North Americatoyota.com üzerinde doğrulanmış e-posta adresine sahip
Sriram SankaranarayananProfessor of Computer Science, University of Colorado Bouldercolorado.edu üzerinde doğrulanmış e-posta adresine sahip
Thao DangCNRS Research Director, Laboratory VERIMAG, Grenoble, Franceimag.fr üzerinde doğrulanmış e-posta adresine sahip
Nikos ArechigaToyota Research Institutetri.global üzerinde doğrulanmış e-posta adresine sahip
Aditya ZutshiGalois Inc.colorado.edu üzerinde doğrulanmış e-posta adresine sahip
David HallProfessor of Education, University of Manchestermanchester.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universitycs.cmu.edu üzerinde doğrulanmış e-posta adresine sahip
Luan Viet NguyenAssistant Professor, University of Daytonudayton.edu üzerinde doğrulanmış e-posta adresine sahip
Oded MalerCNRS-VERIMAG, University of Grenobleimag.fr üzerinde doğrulanmış e-posta adresine sahip
Tommaso DreossiStaff ML Scientist, insitroamazon.com üzerinde doğrulanmış e-posta adresine sahip
Taylor T JohnsonAssociate Professor, Computer Science, Vanderbilt Universityvanderbilt.edu üzerinde doğrulanmış e-posta adresine sahip
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAee.ucla.edu üzerinde doğrulanmış e-posta adresine sahip
Sayan MitraProfessor, ECE, University of Illinois at Urbana Champaignillinois.edu üzerinde doğrulanmış e-posta adresine sahip
Chuchu FanAssociate Professor of Aeronautics and Astronautics at MITmit.edu üzerinde doğrulanmış e-posta adresine sahip
Ayca BalkanUniversity of California, Los Angelesucla.edu üzerinde doğrulanmış e-posta adresine sahip
Houssam AbbasOregon State Universityoregonstate.edu üzerinde doğrulanmış e-posta adresine sahip
Bardh HoxhaToyota Research Institute of North Americatoyota.com üzerinde doğrulanmış e-posta adresine sahip
Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyeecs.berkeley.edu üzerinde doğrulanmış e-posta adresine sahip

Takip et

James Kapinski

Amazon

amazon.com üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa

Hybrid Systems Verification


Başlık Alıntılara göre sırala Yıla göre sırala Başlığa göre sırala	Alıntı yapanlar Alıntı yapanlar	Yıl
Simulation-based adversarial test generation for autonomous vehicles with machine learning components CE Tuncali, G Fainekos, H Ito, J Kapinski 2018 IEEE Intelligent Vehicles Symposium (IV), 1555-1562, 2018	287	2018
Powertrain control verification benchmark X Jin, JV Deshmukh, J Kapinski, K Ueda, K Butts Proceedings of the 17th international conference on Hybrid systems …, 2014	194	2014
Simulation-guided Lyapunov analysis for hybrid dynamical systems J Kapinski, JV Deshmukh, S Sankaranarayanan, N Arechiga Proceedings of the 17th international conference on Hybrid systems …, 2014	164	2014
Simulation-based approaches for verification of embedded control systems: An overview of traditional and advanced modeling, testing, and verification techniques J Kapinski, JV Deshmukh, X Jin, H Ito, K Butts IEEE Control Systems Magazine 36 (6), 45-64, 2016	156	2016
Requirements-driven test generation for autonomous vehicles with machine learning components CE Tuncali, G Fainekos, D Prokhorov, H Ito, J Kapinski IEEE Transactions on Intelligent Vehicles 5 (2), 265-280, 2019	146	2019
Efficient guiding strategies for testing of temporal properties of hybrid systems T Dreossi, T Dang, A Donzé, J Kapinski, X Jin, JV Deshmukh NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015	134	2015
Multiple shooting, cegar-based falsification for hybrid systems A Zutshi, JV Deshmukh, S Sankaranarayanan, J Kapinski Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014	78	2014
Stochastic Local earch for Falsification of Hybrid ystems J Deshmukh, X Jin, J Kapinski, O Maler International Symposium on Automated Technology for Verification and …, 2015	77	2015
Reasoning about safety of learning-enabled components in autonomous cyber-physical systems CE Tuncali, J Kapinski, H Ito, JV Deshmukh Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018	76	2018
Transient electromechanical modeling for short secondary linear induction machines D Hall, J Kapinski, M Krefta, O Christianson IEEE Transactions on Energy Conversion 23 (3), 789-795, 2008	73	2008
On systematic simulation of open continuous systems J Kapinski, BH Krogh, O Maler, O Stursberg International Workshop on Hybrid Systems: Computation and Control, 283-297, 2003	66	2003
Hyperproperties of real-valued signals LV Nguyen, J Kapinski, X Jin, JV Deshmukh, TT Johnson Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017	60	2017
Classification and coverage-based falsification for embedded control systems A Adimoolam, T Dang, A Donzé, J Kapinski, X Jin Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	54	2017
Position paper on the challenges posed by modern applications to cyber-physical systems theory F Allgöwer, JB de Sousa, J Kapinski, P Mosterman, J Oehlerking, ... Nonlinear Analysis: Hybrid Systems 34, 147-165, 2019	50	2019
Locally optimal reach set over-approximation for nonlinear systems C Fan, J Kapinski, X Jin, S Mitra Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016	48	2016
ST-Lib: A library for specifying and classifying model behaviors J Kapinski, X Jin, J Deshmukh, A Donze, T Yamaguchi, H Ito, T Kaga, ... SAE Technical Paper, 2016	48	2016
A trajectory splicing approach to concretizing counterexamples for hybrid systems A Zutshi, S Sankaranarayanan, JV Deshmukh, J Kapinski 52nd IEEE Conference on Decision and Control, 3918-3925, 2013	45	2013
Verification of supervisory control software using state proximity and merging F Lerda, J Kapinski, EM Clarke, BH Krogh Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008	40	2008
Sim-atav: Simulation-based adversarial testing framework for autonomous vehicles CE Tuncali, G Fainekos, H Ito, J Kapinski Proceedings of the 21st International Conference on Hybrid Systems …, 2018	38	2018
Conformance testing as falsification for cyber-physical systems H Abbas, B Hoxha, G Fainekos, JV Deshmukh, J Kapinski, K Ueda arXiv preprint arXiv:1401.5200, 2014	37	2014

Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.

Makaleler 1–20

Yıllık alıntı sayısı

Mükerrer alıntılar

Birleştirilmiş alıntılar

Katkıda bulunan yazar ekleKatkıda bulunan yazarlar

Takip et

Alıntı yapanlar

Katkıda bulunan yazarlar