Bertino, Elisa

4 publications

NeurIPS 2025 PSMBench: A Benchmark and Dataset for Evaluating LLMs Extraction of Protocol State Machines from RFC Specifications Zilin Shen, Xinyu Luo, Imtiaz Karim, Elisa Bertino

IJCAI 2021 Scalable Non-Observational Predicate Learning in ASP Mark Law, Alessandra Russo, Krysia Broda, Elisa Bertino

AAAI 2020 FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo

AAAI 2019 Representing and Learning Grammars in Answer Set Programming Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo