Imane Lamrani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICPR | Synthesizing Operationally Safe Controllers for Human-in-the-Loop Human-in-the-Plant Hybrid Close Loop Systems. | Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta |
| 2021 | IJCAI | Socio-technical co-Design for Accountable Autonomous Software. | Ayan Banerjee, Imane Lamrani, Katina Michael, Diana M. Bowman, Sandeep K. S. Gupta |
| 2021 | SAFECOMP | Certification Game for the Safety Analysis of AI-Based CPS. | Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta |
| 2020 | AAAI | Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS. | Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta |
| 2020 | AAAI | Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract). | Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta |
| 2020 | AIED | AI Enabled Tutor for Accessible Training. | Ayan Banerjee, Imane Lamrani, Sameena Hossain, Prajwal Paudyal, Sandeep K. S. Gupta |