Ashfaq Farooqui

Orcid: 0000-0002-1559-7896

According to our database1, Ashfaq Farooqui authored at least 10 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On Active Learning for Supervisor Synthesis.
IEEE Trans Autom. Sci. Eng., January, 2024

2023
Towards Formal Fault Injection for Safety Assessment of Automated Systems.
Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

CarFASE: A Carla-based Tool for Evaluating the Effects of Faults and Attacks on Autonomous Driving Stacks.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022
On Optimization of Automation Systems: Integrating Modular Learning and Optimization.
IEEE Trans Autom. Sci. Eng., 2022

2021
MIDES: A Tool for Supervisor Synthesis via Active Learning.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations.
Int. J. Prod. Res., 2020

Automatically learning formal models: an industrial case from autonomous driving development.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019
Synthesis of Supervisors for Unknown Plant Models Using Active Learning.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018
Towards Automatic Learning of Discrete-Event Models from Simulations.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2016
Error handling within highly automated automotive industry: Current practice and research needs.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016


  Loading...