Houssam Abbas

Cited by

	All	Since 2019
Citations	1762	1259
h-index	21	18
i10-index	36	31

240

120

180

20122013201420152016201720182019202020212022202320247 12 32 60 53 135 185 206 223 238 204 226 161

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Rahul MangharamAssociate Professor of Electrical Engineering and Computer Science, University of PennsylvaniaVerified email at seas.upenn.edu
Georgios FainekosToyota Research Institute of North AmericaVerified email at toyota.com
Yash Vardhan PantAssistant Professor, ECE, University of WaterlooVerified email at uwaterloo.ca
Matthew O'KellyPhD, University of PennsylvaniaVerified email at seas.upenn.edu
Alëna RodionovaWaabiVerified email at waabi.ai
Bardh HoxhaToyota Research Institute of North AmericaVerified email at toyota.com
Kuk Jin JangUniversity of PennsylvaniaVerified email at seas.upenn.edu
Zhihao JiangShanghaiTech UniversityVerified email at shanghaitech.edu.cn
Joseph DeviettiAssistant Professor of Computer & Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Kartik MohtaAutel RoboticsVerified email at seas.upenn.edu
Truong X. NghiemUniversity of Central FloridaVerified email at ucf.edu
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
Franjo IvančićGoogle, Inc.Verified email at google.com
Konstantinos MamourasAssistant Professor of Computer Science, Rice UniversityVerified email at rice.edu
Hans MittelmannProfessor of Mathematics, Arizona State UniversityVerified email at asu.edu
Agung JuliusDept. Electrical, Computer, and Systems EngineeringVerified email at ecse.rpi.edu
Marco BeccaniUniversity of Pisa, Vanderbilt University, University of PhiladelphiaVerified email at apple.com

Houssam Abbas

Oregon State University

Verified email at oregonstate.edu - Homepage

Cyber-physical systems AI Ethics Autonomous Systems Formal methods Control theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Probabilistic temporal logic falsification of cyber-physical systems H Abbas, G Fainekos, S Sankaranarayanan, F Ivančić, A Gupta ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 1-30, 2013	211	2013
Smooth operator: Control using the smooth robustness of temporal logic YV Pant, H Abbas, R Mangharam 2017 IEEE Conference on Control Technology and Applications (CCTA), 1235-1240, 2017	148	2017
Benchmarks for Temporal Logic Requirements for Automotive Systems. B Hoxha, H Abbas, G Fainekos ARCH@ CPSWeek 34, 25-30, 2014	135	2014
Fly-by-logic: Control of multi-drone fleets with temporal logic objectives YV Pant, H Abbas, RA Quaye, R Mangharam 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018	118	2018
F1/10: An open-source autonomous cyber-physical platform M O'Kelly, V Sukhil, H Abbas, J Harkins, C Kao, YV Pant, R Mangharam, ... arXiv preprint arXiv:1901.08567, 2019	106	2019
Formal property verification in a conformance testing framework H Abbas, H Mittelmann, G Fainekos 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014	71	2014
Functional gradient descent method for metric temporal logic specifications H Abbas, A Winn, G Fainekos, AA Julius 2014 American Control Conference, 2312-2317, 2014	59	2014
Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems H Abbas, B Hoxha, G Fainekos, K Ueda The 4th Annual IEEE International Conference on Cyber Technology in …, 2014	52	2014
Towards formal specification visualization for testing and monitoring of cyber-physical systems B Hoxha, H Bach, H Abbas, A Dokhanchi, Y Kobayashi, G Fainekos Int. Workshop on Design and Implementation of Formal Tools and Systems, 2014	46	2014
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	44	2014
Safe at any speed: A simulation-based test harness for autonomous vehicles H Abbas, M O’Kelly, A Rodionova, R Mangharam Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International …, 2019	43	2019
Linear hybrid system falsification through local search H Abbas, G Fainekos Automated Technology for Verification and Analysis: 9th International …, 2011	42	2011
Model validation of pwm dc–dc converters OA Beg, H Abbas, TT Johnson, A Davoudi IEEE Transactions on Industrial Electronics 64 (9), 7049-7059, 2017	41	2017
Computer-aided design for safe autonomous vehicles M O'Kelly, H Abbas, R Mangharam 2017 Resilience Week (RWS), 90-96, 2017	39	2017
Co-design of anytime computation and robust control YV Pant, H Abbas, K Mohta, TX Nghiem, J Devietti, R Mangharam 2015 IEEE real-time systems symposium, 43-52, 2015	39	2015
Convergence proofs for simulated annealing falsification of safety properties H Abbas, G Fainekos 2012 50th Annual Allerton Conference on Communication, Control, and …, 2012	39	2012
APEX: Autonomous vehicle plan verification and execution ME O'Kelly, H Abbas, S Gao, S Kato, S Shiraishi, R Mangharam SAE Technical Paper, 2016	37	2016
Computing descent direction of MTL robustness for non-linear systems H Abbas, G Fainekos 2013 American Control Conference, 4405-4410, 2013	35	2013
Test-based falsification and conformance testing for cyber-physical systems HY Abbas Arizona State University, 2015	22	2015
Suppression of mosquito noise by recursive epsilon-filters H Abbas, LJ Karam 2007 IEEE International Conference on Acoustics, Speech and Signal …, 2007	22	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors