default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDImane Lamrani
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c13]Ayan Banerjee, Aranyak Maity, Imane Lamrani, Sandeep K. S. Gupta:
Co-operative game for certification and continued conformance check of AI enabled CPS*. ICPS 2024: 1-6- [c12]Aranyak Maity, Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta:
Context Aware Model Learning in Cyber Physical Systems. ICPS 2024: 1-6 - [i1]Ayan Banerjee, Aranyak Maity, Imane Lamrani, Sandeep K. S. Gupta:
Operational Safety in Human-in-the-loop Human-in-the-plant Autonomous Systems. CoRR abs/2409.03780 (2024) - 2022
- [c11]Aranyak Maity, Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta:
CyPhyTest: Cyber Physical Interaction Aware Test Case Generation to Identify Operational Changes. ICPS 2022: 1-6 - 2021
- [j1]Imane Lamrani
, Ayan Banerjee, Sandeep K. S. Gupta:
Operational Data-Driven Feedback for Safety Evaluation of Agent-Based Cyber-Physical Systems. IEEE Trans. Ind. Informatics 17(5): 3367-3378 (2021) - [c10]Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta:
FaultEx: Explaining operational changes in terms of design variables in CPS control code. ICPS 2021: 485-490 - [c9]Ayan Banerjee, Imane Lamrani, Katina Michael, Diana M. Bowman, Sandeep K. S. Gupta:
Socio-technical co-Design for Accountable Autonomous Software. AISafety@IJCAI 2021 - [c8]Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta:
Certification Game for the Safety Analysis of AI-Based CPS. SAFECOMP Workshops 2021: 297-310 - 2020
- [c7]Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta:
Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS. SafeAI@AAAI 2020: 186-194 - [c6]Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta:
Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract). AAAI 2020: 13847-13848 - [c5]Ayan Banerjee, Imane Lamrani, Sameena Hossain, Prajwal Paudyal, Sandeep K. S. Gupta:
AI Enabled Tutor for Accessible Training. AIED (1) 2020: 29-42 - [c4]Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta:
Non-linear Analysis for Operational Safety Verification of Cyber Physical Systems. ICPS 2020: 529-534
2010 – 2019
- 2019
- [c3]Ayan Banerjee, Imane Lamrani, Prajwal Paudyal, Sandeep K. S. Gupta:
Generation of Movement Explanations for Testing Gesture Based Co-Operative Learning Applications. AITest 2019: 9-16 - 2018
- [c2]Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta:
HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems. ICPS 2018: 264-269 - [c1]Imane Lamrani, Ayan Banerjee, Sandeep K. S. Gupta:
Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata. STAF Workshops 2018: 69-76
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-28 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
