Ishan Saxena

According to our database, Ishan Saxena authored at least 6 papers between 2018 and 2025.

Collaborative distances:

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

2025

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions.

Ishan Saxena, Bernd Westphal, Martin Fränzle

Proceedings of the Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems, November, 2025

Context-aware, Ante-hoc Explanations of Driving Behaviour.

Dominik Grundt, Ishan Saxena, Malte Petersen, Bernd Westphal, Eike Möhlmann

Proceedings of the Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems, November, 2025

Runtime monitoring of complex scenario-based requirements for autonomous driving functions.

Ralf Stemmer, Ishan Saxena, Lukas Panneke, Dominik Grundt, Anna Austel, Eike Möhlmann, Bernd Westphal

Sci. Comput. Program., 2025

Towards Runtime Detection of Novel Traffic Situations.

Ishan Saxena, Dominik Grundt, Eike Möhlmann, Bernd Westphal

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

2022

Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions.

Dominik Grundt, Anna Köhne, Ishan Saxena, Ralf Stemmer, Bernd Westphal, Eike Möhlmann

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

2018

A Noise Reduction Technique Based on Nonlinear Kernel Function for Heart Sound Analysis.

Ashok Mondal, Ishan Saxena, Hong Tang, Poulami Banerjee

IEEE J. Biomed. Health Informatics, 2018