TAGLIAFERRO, ALBERTO
TAGLIAFERRO, ALBERTO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.004 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
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.