Bardh Hoxha - RankMe

105 papers A* 4A 5B 5C 9Misc 1Journal 52Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field. CoRR Hardik Parwana, Taekyung Kim, Kehan Long, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Dimitra Panagou
2025	J	`jnl`	Conformal Prediction in the Loop: Risk-Aware Control Barrier Functions for Stochastic Systems With Data-Driven State Estimators. IEEE Control. Syst. Lett. Junhui Zhang, Bardh Hoxha, Georgios Fainekos, Dimitra Panagou
2025	J	`jnl`	Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications. CoRR Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025	J	`jnl`	Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications. ACM Trans. Cyber Phys. Syst. Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025	—	`conf`	Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility. ITSC Nicole Fronda, Phil Smith, Bardh Hoxha, Yash Vardhan Pant, Houssam Abbas
2025	J	`jnl`	Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility. CoRR Nicole Fronda, Phil Smith, Bardh Hoxha, Yash Pant, Houssam Abbas
2025	—	`conf`	Feasible Space Monitoring for Multiple Control Barrier Functions with Application to Large Scale Indoor Navigation. CCTA Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
2025	—	`conf`	FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs. ITSC Nicole Fronda, Bardh Hoxha, Houssam Abbas
2025	J	`jnl`	FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs. CoRR Nicole Fronda, Bardh Hoxha, Houssam Abbas
2025	—	`conf`	GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems. ITSC Keyvan Majd, Hardik Parwana, Bardh Hoxha, Steven Hong, Hideki Okamoto, Georgios Fainekos
2025	J	`jnl`	GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems. CoRR Keyvan Majd, Hardik Parwana, Bardh Hoxha, Steven Hong, Hideki Okamoto, Georgios Fainekos
2025	J	`jnl`	LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval. CoRR Avishree Khare, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Rajeev Alur
2025	J	`jnl`	MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments. CoRR Victoria Marie Tuck, Hardik Parwana, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
2025	A	`conf`	Neural Configuration Distance Function for Continuum Robot Control. IROS Kehan Long, Hardik Parwana, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Nikolay Atanasov
2025	J	`jnl`	Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0. CoRR Yan Miao, Ege Yuceel, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Sayan Mitra
2025	—	`conf`	ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems. HSCC Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos
2025	J	`jnl`	RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. CoRR Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic
2025	C	`conf`	Risk-aware MPPI for Stochastic Hybrid Systems. ACC Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
2025	J	`jnl`	STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies. CoRR Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2025	J	`jnl`	STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies. ACM Trans. Embed. Comput. Syst. Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy Deshmukh, Lars Lindemann
2025	J	`jnl`	Safe Model Predictive Diffusion with Shielding. CoRR Taekyung Kim, Keyvan Majd, Hideki Okamoto, Bardh Hoxha, Dimitra Panagou, Georgios Fainekos
2025	A	`conf`	Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions. IROS Xinyi Wang, Taekyung Kim, Bardh Hoxha, Georgios Fainekos, Dimitra Panagou
2025	J	`jnl`	Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions. CoRR Xinyi Wang, Taekyung Kim, Bardh Hoxha, Georgios Fainekos, Dimitra Panagou
2025	—	`conf`	Scalable Multi-Agent Path Finding for Delivery Robot Systems with Temporal and Edge Capacity Constraints on Weighted Graphs. CASE Tomoya Yamaguchi, Ippei Nishitani, Yusuke Ota, Bardh Hoxha, Georgios Fainekos
2025	—	`conf`	StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems. CAV (2) Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Qing Liu, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos
2024	J	`jnl`	CBFKIT: A Control Barrier Function Toolbox for Robotics Applications. CoRR Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
2024	A	`conf`	CBFkit: A Control Barrier Function Toolbox for Robotics Applications. IROS Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
2024	J	`jnl`	Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic. Int. J. Robotics Res. Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
2024	J	`jnl`	From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events. CoRR Yan Miao, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov, Sayan Mitra
2024	—	`conf`	LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers. ADHS Navid Hashemi, Samuel Williams, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2024	J	`jnl`	Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions. CoRR Hardik Parwana, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
2024	J	`jnl`	Neural Configuration Distance Function for Continuum Robot Control. CoRR Kehan Long, Hardik Parwana, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Nikolay Atanasov
2024	A*	`conf`	Optimal Planning for Timed Partial Order Specifications. ICRA Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
2024	J	`jnl`	Optimal Planning for Timed Partial Order Specifications. CoRR Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
2024	J	`jnl`	Querying Perception Streams with Spatial Regular Expressions. CoRR Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
2024	J	`jnl`	RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. Int. J. Softw. Tools Technol. Transf. Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic
2024	C	`conf`	Risk-Aware Fixed-Time Stabilization of Stochastic Systems Under Measurement Uncertainty. ACC Mitchell Black, Georgios Fainekos, Bardh Hoxha, Dimitra Panagou
2024	J	`jnl`	Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty. CoRR Mitchell Black, Georgios Fainekos, Bardh Hoxha, Dimitra Panagou
2024	J	`jnl`	Risk-aware MPPI for Stochastic Hybrid Systems. CoRR Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
2024	—	`conf`	Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. ICCPS Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2024	—	`conf`	SMT-Based Dynamic Multi-Robot Task Allocation. NFM Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
2024	J	`jnl`	SMT-Based Dynamic Multi-Robot Task Allocation. CoRR Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
2024	C	`conf`	Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. ACC Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam
2024	J	`jnl`	Scaling Learning based Policy Optimization for Temporal Tasks via Dropout. CoRR Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2024	J	`jnl`	Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout. ACM Trans. Cyber Phys. Syst. Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy V. Deshmukh
2023	J	`jnl`	A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems. CoRR Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2023	—	`conf`	A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. ICCPS Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2023	—	`conf`	Checkmate: Fault Timing Localization for Multi-Robot Scenarios. CASE Ippei Nishitani, Tomoya Yamaguchi, Bardh Hoxha
2023	J	`jnl`	Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation. CoRR Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
2023	B	`conf`	Pattern Matching for Perception Streams. RV Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
2023	—	`conf`	Quantitative Verification for Neural Networks using ProbStars. HSCC Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov
2023	C	`conf`	Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. ACC Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
2023	J	`jnl`	Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. CoRR Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann
2023	J	`jnl`	Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. CoRR Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam
2023	A*	`conf`	Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. ICRA Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou
2023	J	`jnl`	Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. CoRR Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou
2023	A*	`conf`	Timed Partial Order Inference Algorithm. ICAPS Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi
2023	J	`jnl`	Timed Partial Order Inference Algorithm. CoRR Kandai Watanabe, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayanan, Tomoya Yamaguchi
2023	—	`conf`	Verification of Recurrent Neural Networks with Star Reachability. HSCC Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
2022	A*	`conf`	Discovering IoT Physical Channel Vulnerabilities. CCS Muslum Ozgur Ozmen, Xuansong Li, Andrew Chu, Z. Berkay Celik, Bardh Hoxha, Xiangyu Zhang
2022	J	`jnl`	Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic. CoRR Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
2022	—	`conf`	Neural Network Repair with Reachability Analysis. FORMATS Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
2022	J	`jnl`	Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. CoRR Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
2022	—	`conf`	Runtime Assurance for Autonomous Driving with Neural Reachability. ITSC Sergiy Bogomolov, Abdelrahman Hekal, Bardh Hoxha, Tomoya Yamaguchi
2021	J	`jnl`	Discovering Physical Interaction Vulnerabilities in IoT Deployments. CoRR Muslum Ozgur Ozmen, Xuansong Li, Andrew Chun-An Chu, Z. Berkay Celik, Bardh Hoxha, Xiangyu Zhang
2021	J	`jnl`	Neural Network Repair with Reachability Analysis. CoRR Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
2021	B	`conf`	PerceMon: Online Monitoring for Perception Systems. RV Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
2021	J	`jnl`	PerceMon: Online Monitoring for Perception Systems. CoRR Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
2021	J	`jnl`	Reachability Analysis of Convolutional Neural Networks. CoRR Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
2021	—	`conf`	Reachability analysis of deep ReLU neural networks using facet-vertex incidence. HSCC Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
2021	J	`jnl`	Risk-Bounded Control Using Stochastic Barrier Functions. IEEE Control. Syst. Lett. Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	—	`conf`	Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CDC Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	J	`jnl`	Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CoRR Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	C	`conf`	Risk-bounded Control using Stochastic Barrier Functions. ACC Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
2021	A	`conf`	Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. IROS Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
2021	J	`jnl`	Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. CoRR Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
2020	Misc	`conf`	Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress. EMSOFT Yuji Date, Takeshi Baba, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov
2020	—	`conf`	Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules. ITSC Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos
2020	J	`jnl`	Search-based Test-Case Generation by Monitoring Responsibility Safety Rules. CoRR Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos
2020	C	`conf`	Specification-guided Software Fault Localization for Autonomous Mobile Systems. MEMOCODE Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh
2020	B	`conf`	TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. RV Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos
2019	B	`conf`	Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. RV Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan
2018	—	`conf`	ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
2018	—	`conf`	Experience Report: Application of Falsification Methods on the UxAS System. NFM Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan
2018	J	`jnl`	Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2018	J	`jnl`	Mining parametric temporal logic properties in model-based design for cyber-physical systems. Int. J. Softw. Tools Technol. Transf. Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
2018	—	`conf`	Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. ADHS Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos
2017	—	`conf`	ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. ARCH@CPSWeek Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
2017	—	`—`	Formal Requirements-Driven Analysis of Cyber Physical Systems. Bardh Hoxha
2017	—	`conf`	Vacuity aware falsification for MTL request-response specifications. CASE Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
2016	J	`jnl`	An Efficient Algorithm for Monitoring Practical TPTL Specifications. CoRR Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
2016	C	`conf`	An efficient algorithm for monitoring practical TPTL specifications. MEMOCODE Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
2016	J	`jnl`	Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems. CoRR Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2016	—	`conf`	Planning in Dynamic Environments Through Temporal Logic Monitoring. AAAI Workshop: Planning for Hybrid Systems Bardh Hoxha, Georgios Fainekos
2015	C	`conf`	Metric interval temporal logic specification elicitation and debugging. MEMOCODE Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2015	J	`jnl`	Querying Parametric Temporal Logic Properties in Model Based Design. CoRR Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
2015	A	`conf`	VISPEC: A graphical tool for elicitation of MTL requirements. IROS Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos
2015	J	`jnl`	ViSpec: A graphical tool for elicitation of MTL requirements. CoRR Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos
2014	—	`conf`	Benchmarks for Temporal Logic Requirements for Automotive Systems. ARCH@CPSWeek Bardh Hoxha, Houssam Abbas, Georgios Fainekos
2014	J	`jnl`	Conformance Testing as Falsification for Cyber-Physical Systems. CoRR Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
2014	B	`conf`	On-Line Monitoring for Temporal Logic Robustness. RV Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2014	J	`jnl`	On-Line Monitoring for Temporal Logic Robustness. CoRR Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2014	—	`conf`	Using S-TaLiRo on Industrial Size AuImmlertomotive Models. ARCH@CPSWeek Bardh Hoxha, Houssam Abbas, Georgios Fainekos
2014	—	`conf`	WiP abstract: Conformance testing as falsification for cyber-physical systems. ICCPS Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
2012	C	`conf`	Querying Parametric Temporal Logic Properties on Embedded Systems. ICTSS Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos