Scholar

Florent Avellaneda

Google Scholar ID: 4HWBd2IAAAAJ

Université du Québec à Montréal

Formal MethodsLearning AutomataSATMaxSAT

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

288

H-index

9

i10-index

9

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

4 items

Designing FSMs Specifications from Requirements with GPT 4.0

2026

Cited

0

An Automated Grey Literature Extraction Tool for Software Engineering

2025

Cited

0

Specification and Detection of LLM Code Smells

2025

Cited

0

AI-Specific Code Smells: From Specification to Detection

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)