引用次数
引用: 1,681
H-指数: 21
I10-指数 : 36
出版物: 93
Test-based falsification and conformance testing for cyber-physical systems
Houssam Y Abbas
Arizona State University
22
2015
Analysis and Suppression of Mosquito Noise in Compressed Video Using Optimized Epsilon-filters
Houssam Y Abbas
Arizona State University
2006
Abstraction-Tree For Closed-loop Model Checking of Medical Devices
Zhihao Jiang , Houssam Abbas , P Mosterman , Rahul Mangharam
1
2015
Technical Report: Control Using the Smooth Robustness of Temporal Logic
Rahul Mangharam , Yash Vardhan Pant , Houssam Abbas
2
2017
Embedded software for robotics: challenges and future directions: special session
Dogan Ulus , Yasser Shoukry , Georgios Fainekos , Houssam Abbas
embedded software 10
2
2018
Work-In-Progress: Private Runtime Verification
Houssam Abbas
embedded software
2019
Logical Signal Processing: A Fourier Analysis of Temporal Logic.
Houssam Abbas , Niraj Basnet
RV 359 -382
2020
Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems
Houssam Abbas , Bardh Hoxha , Georgios Fainekos , Koichi Ueda
ieee international conference on cyber technology in automation control and intelligent systems 1 -6
45
2014
Model Validation of PWM DC–DC Converters
Omar Ali Beg , Houssam Abbas , Taylor T. Johnson , Ali Davoudi
IEEE Transactions on Industrial Electronics 64 ( 9) 7049 -7059
16
2017
Co-design of Anytime Computation and Robust Control
Yash Vardhan Pant , Houssam Abbas , Kartik Mohta , Truong X. Nghiem
2015 IEEE Real-Time Systems Symposium 43 -52
22
2015
Hardware Optimizations for Anytime Perception and Control
K. N. Nischal , Paritosh Kelkar , Dhruva Kumar , Yash Vardhan Pant
2015 IEEE Real-Time Systems Symposium 380 -380
1
2015
Temporal logic robustness for general signal classes
Houssam Abbas , Yash Vardhan Pant , Rahul Mangharam
acm international conference hybrid systems computation and control 45 -56
6
2019
Synthesizing stealthy reprogramming attacks on cardiac devices
Nicola Paoletti , Zhihao Jiang , Md Ariful Islam , Houssam Abbas
international conference on cyber-physical systems 13 -22
4
2019
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic
Houssam Abbas , Matthew O'Kelly , Rahul Mangharam
international conference on hybrid systems computation and control 217 -225
3
2017
Power-efficient algorithms for autonomous navigation
Yash Vardhan Pant , Houssam Abbas , K. N. Nischal , Paritosh Kelkar
international conference on complex system and engineering 1 -6
3
2015
Robust model predictive control for non-linear systems with input and state constraints via feedback linearization
Yash Vardhan Pant , Houssam Abbas , Rahul Mangharam
2016 IEEE 55th Conference on Decision and Control (CDC) 5694 -5699
2
2016
Towards Model Checking of Implantable Cardioverter Defibrillators
Houssam Abbas , Kuk Jin Jiang , Zhihao Jiang , Rahul Mangharam
international conference on hybrid systems computation and control 87 -92
6
2016
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility
Alena Rodionova , Yash Vardhan Pant , Kuk Jang , Houssam Abbas
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) 1 -8
2
2020
FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban Airspace
Connor Kurtz , Houssam Abbas
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) 1 -6
2020
Real-Time Decision Policies With Predictable Performance
Houssam Abbas , Rajeev Alur , Konstantinos Mamouras , Rahul Mangharam
Proceedings of the IEEE 106 ( 9) 1593 -1615
7
2018
Rahul Mangharam Georgios Fainekos Yash Vardhan Pant Matthew O'Kelly Alëna Rodionova Bardh Hoxha Zhihao Jiang Kuk Jin Jang Joseph Devietti Scott A. Smolka Radu Grosu Kartik Mohta Truong X. Nghiem Ezio Bartocci Sriram Sankaranarayanan Franjo Ivančić Konstantinos Mamouras Hans Mittelmann Agung Julius Marco Beccani