TAGLIAFERRO, ALBERTO
TAGLIAFERRO, ALBERTO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.006 secondi).
Harnessing LLMs for Verification-Guided Specification Repair
2024-01-01 Tagliaferro, Alberto
Leveraging LLMs to Automate Software Architecture Design from Informal Specifications
2025-01-01 Tagliaferro, Alberto; Corbo, Simone; Guindani, Bruno
Preliminary Study of DSL Code Generation for Robotics with LLMs
2025-01-01 Tagliaferro, A.; Lestingi, L.; Rossi, Matteo Giovanni
Preliminary Study of DSL Code Generation for Robotics with LLMs
2026-01-01 Tagliaferro, Alberto; Lestingi, Livia; Rossi, Matteo
Towards Verifiable Multi-Agent Interaction Pattern Specification
2024-01-01 Tagliaferro, Alberto; Lestingi, Livia; Rossi, Matteo
Verification-Oriented Specification of Multi-agent Interaction Patterns
2025-01-01 Tagliaferro, A.; Lestingi, L.; Rossi, M.