A Data Life Cycle Modeling Proposal by Means of Formal Methods. - Madalina G. Ciobanu; Fausto Fasano; Fabio Martinelli; Francesco Mercaldo; Antonella Santone (AsiaCCS, 2019)

Model Checking for Data Anomaly Detection. - Madalina G. Ciobanu; Fausto Fasano; Fabio Martinelli; Francesco Mercaldo; Antonella Santone (KES, 2019)

Accidental Sensitive Data Leaks Prevention via Formal Verification. - Madalina G. Ciobanu; Fausto Fasano; Fabio Martinelli; Francesco Mercaldo; Antonella Santone (ICISSP, 2020)

Machine learning determination of applied behavioral analysis treatment plan type. - Jenish Maharjan; Anurag Garikipati; Frank A. Dinenno; Madalina G. Ciobanu; Gina Barnes; Ella Browning; Jenna DeCurzio; Qingqing Mao; Ritankar Das (Brain Informatics, 2023)

LLMs for Autism Treatment: Current Trends and Emerging Strategies. - Madalina G. Ciobanu; Cesare Tucci; Fausto Fasano (BIBM, 2024)

Exploring the Diagnostic Potential of LLMs in Schizophrenia Detection through EEG Analysis. - Michele Guerra; Roberto Milanese; Michele Deodato; Madalina G. Ciobanu; Fausto Fasano (BIBM, 2024)

Design of a Multimodal Robot-Based Conversational Interface: A Case Study with FURHAT. - Rita Francese; Madalina G. Ciobanu; Emilio Clemente; Genoveffa Tortora (HCI (63), 2024)

OpenMedLM: Prompt engineering can out-perform fine-tuning in medical question-answering with open-source large language models. - Jenish Maharjan; Anurag Garikipati; Navan Preet Singh; Leo Cyrus; Mayank Sharma; Madalina G. Ciobanu; Gina Barnes; Rahul Thapa; Qingqing Mao; Ritankar Das (CoRR, 2024)

Supporting Team-Based Learning through Robot-MediatedQuizzes: An Educational Study with Furhat. - Rita Francese; Madalina Giorgeta Ciobanu; Laura De Santis; Genoveffa Tortora (CHItaly, 2025)

Assessing the effectiveness of ROUGE as unbiased metric in Extractive vs. Abstractive summarization techniques. - Alessia Auriemma Citarella; Marcello Barbella; Madalina G. Ciobanu; Fabiola De Marco; Luigi Di Biasi; Genoveffa Tortora (J. Comput. Sci., 2025)