| 2025 | CAV | StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems. | Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Qing Liu, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos |
| 2025 | IROS | Neural Configuration Distance Function for Continuum Robot Control. | Kehan Long, Hardik Parwana, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Nikolay Atanasov |
| 2025 | IROS | Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions. | Xinyi Wang, Taekyung Kim, Bardh Hoxha, Georgios Fainekos, Dimitra Panagou |
| 2024 | IROS | CBFkit: A Control Barrier Function Toolbox for Robotics Applications. | Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov |
| 2024 | IROS | Repairing Neural Networks for Safety in Robotic Systems using Predictive Models. | Keyvan Majd, Geoffrey Clark, Georgios Fainekos, Heni Ben Amor |
| 2024 | ICRA | Optimal Planning for Timed Partial Order Specifications. | Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan |
| 2023 | ICRA | Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions. | Mitchell Black, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Dimitra Panagou |
| 2023 | RV | Pattern Matching for Perception Streams. | Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov |
| 2022 | CoRL | Safe Robot Learning in Assistive Devices through Neural Network Repair. | Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor |
| 2022 | ICRA | Joint Communication and Motion Planning for Cobots. | Mehdi Dadvar, Keyvan Majd, Elena Oikonomou, Georgios Fainekos, Siddharth Srivastava |
| 2022 | IROS | NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments. | Amir Salimi Lafmejani, Spring Berman, Georgios Fainekos |
| 2022 | RE | PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic. | Jacob Anderson, Mohammad Hekmatnejad, Georgios Fainekos |
| 2021 | DATE | Efficient Resource Management of Clustered Multi-Processor Systems Through Formal Property Exploration. | Ourania Spantidi, Iraklis Anagnostopoulos, Georgios Fainekos |
| 2021 | EMSOFT | Towards assurance case evidence generation through search based testing: work-in-progress. | Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen |
| 2021 | FMICS | PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. | Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos |
| 2021 | IROS | Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. | Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos |
| 2021 | RV | PerceMon: Online Monitoring for Perception Systems. | Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos |
| 2020 | ICRA | DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems. | Sai Krishna Bashetty, Heni Ben Amor, Georgios Fainekos |
| 2020 | ITA | Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. | Shakiba Yaghoubi, Georgios Fainekos |
| 2020 | RV | TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. | Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos |
| 2019 | DATE | Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. | Anand Balakrishnan, Aniruddh Gopinath Puranic, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos |
| 2019 | MEMOCODE | Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. | Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos |
| 2019 | RV | Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. | Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan |
| 2018 | EMSOFT | Embedded software for robotics: challenges and future directions: special session. | Houssam Abbas, Indranil Saha, Yasser Shoukry, Rdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus |
| 2018 | ICRA | Deep Predictive Models for Collision Risk Assessment in Autonomous Driving. | Mark Strickland, Georgios Fainekos, Heni Ben Amor |
| 2018 | WSC | Continuous simulation Optimization with Model mismatch using Gaussian Process Regression. | Alireza Inanlouganji, Giulia Pedrielli, Georgios Fainekos, Sebastian Pokutta |
| 2018 | RV | Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic. | Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos |
| 2016 | AAAI | Planning in Dynamic Environments Through Temporal Logic Monitoring. | Bardh Hoxha, Georgios Fainekos |
| 2016 | MEMOCODE | An efficient algorithm for monitoring practical TPTL specifications. | Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos |
| 2016 | SMC | Extended LTLvis motion planning interface. | Wei Wei, Kangjin Kim, Georgios Fainekos |
| 2015 | EMSOFT | Requirements driven falsification with coverage metrics. | Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos |
| 2015 | HPCC | Automatic Parallelization of Simulink Models for Multi-core Architectures. | Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee |
| 2015 | IROS | VISPEC: A graphical tool for elicitation of MTL requirements. | Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos |
| 2015 | MEMOCODE | Metric interval temporal logic specification elicitation and debugging. | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
| 2015 | RV | Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. | Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan |
| 2014 | ICRA | Revision of specification automata under quantitative preferences. | Kangjin Kim, Georgios Fainekos |
| 2014 | MEMOCODE | Formal property verification in a conformance testing framework. | Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos |
| 2014 | RV | On-Line Monitoring for Temporal Logic Robustness. | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
| 2013 | ICRA | Minimal specification revision for weighted transition systems. | Kangjin Kim, Georgios Fainekos |
| 2012 | IROS | Approximate solutions for the minimal revision problem of specification automata. | Kangjin Kim, Georgios Fainekos |
| 2011 | ATVA | Linear Hybrid System Falsification through Local Search. | Houssam Abbas, Georgios Fainekos |
| 2011 | RV | Combining Time and Frequency Domain Specifications for Periodic Signals. | Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos |
| 2011 | TACAS | S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. | Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan |
| 2009 | RTSS | Robustness of Model-Based Simulations. | Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |