A. Bombarda

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)Tool Use & Agents (1)

Frequent co-authors

Andrea Bombarda (1)Silvia Bonfanti (1)A. Gargantini (1)Angelo Gargantini (1)

Papers (1)

Mar 16, 2026

A. Bombarda +52w ago·also University of Bergamo

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)

LLMs can now assist in the challenging task of writing temporal logic properties for model-based development, potentially streamlining the formal specification process.

A. Bombarda, Andrea Bombarda, Silvia Bonfanti +3

Code Generation & Program Synthesis Natural Language Processing Tool Use & Agents

Search

A. Bombarda

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)