Diego Garbervetsky

Identifiers

• name variant Diego Garbervetsky 0.60 · backfill

Papers (5)

1. Agentic Generation and Evolution of Knowledge Models cs.SE · 2026 · author #4
2. Improving Dynamic Specification Inference with LLM-Generated Counterexamples cs.SE · 2026 · author #4
3. Verification Coverage cs.SE · 2017 · author #3
4. Model Checker Execution Reports cs.SE · 2016 · author #3
5. Reducing the Number of Annotations in a Verification-oriented Imperative Language cs.PL · 2010 · author #2

Mentions

• 2606.03662 #4 · arxiv_oai · confidence 0.70 Diego Garbervetsky
• 1011.3407 #2 · backfill · confidence 0.70 Diego Garbervetsky

Frequent Coauthors

• Sebastian Uchitel 3 shared papers
• Rodrigo Casta\~no 2 shared papers
• Victor Braberman 2 shared papers
• Agust\'in Balestra 1 shared papers
• Agust\'in Nolasco 1 shared papers
• Daniel Gor\'in 1 shared papers
• Facundo Molina 1 shared papers
• Guido de Caso 1 shared papers
• Man Zhang 1 shared papers
• Nazareno Aguirre 1 shared papers
• Nazareno M. Aguirre 1 shared papers
• Renzo Degiovanni 1 shared papers
• Tao Yue 1 shared papers