Quinn Thibeault

According to our database, Quinn Thibeault authored at least 7 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

MultiCoSim: A Python-based Multi-Fidelity Co-Simulation Framework.

Quinn Thibeault, Giulia Pedrielli

CoRR, June, 2025

A gray box approach for Large Language Model-guided Natural Language to Temporal Logic Automatic Translation.

Eshita Shukla, Quinn Thibeault, Giulia Pedrielli

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025

2024

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees.

Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos

IEEE Trans Autom. Sci. Eng., July, 2024

2023

Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems.

Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2021

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.

Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos

CoRR, 2021

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems.

Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

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

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021