Statistics
Publications
3
Citations
116
H-Index
3
Active since
1997
Affiliations
Verimag(Current)
Alain Kerbrat is an author at Verimag specializing in verification, protocol verification, and automated protocol verification.
Publications per year
1997–2024
3
3
Challenges in applying large language models to requirements engineering tasks
Johannes Norheim, Eric Rebentisch, D Q Xiao et al. · Design Science · 2024 · 42 citations · Full text
Verification and test generation for the SSCOP protocol
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu et al. · Science of Computer Programming · 2000 · 35 citations · Full text
1–3 of 3