Madalina G. Ciobanu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Formal Verification

Top Venues

Publications

Jenish Maharjan, Anurag Garikipati, Navan Preet Singh, Leo Cyrus, Mayank Sharma, Madalina G. Ciobanu, Gina Barnes, Rahul Thapa, Qingqing Mao, Ritankar Das
OpenMedLM: Prompt engineering can out-perform fine-tuning in medical question-answering with open-source large language models. CoRR (2024)
Jenish Maharjan, Anurag Garikipati, Frank A. Dinenno, Madalina G. Ciobanu, Gina Barnes, Ella Browning, Jenna DeCurzio, Qingqing Mao, Ritankar Das
Machine learning determination of applied behavioral analysis treatment plan type. Brain Informatics 10 (1) (2023)
Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
Accidental Sensitive Data Leaks Prevention via Formal Verification. ICISSP (2020)
Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
A Data Life Cycle Modeling Proposal by Means of Formal Methods. AsiaCCS (2019)
Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
Model Checking for Data Anomaly Detection. KES (2019)