Alain Kerbrat - Concepedia

Author

Alain Kerbrat

Also Known As

A. Kerbrat, Alain Kerbrat, Daniel Vincent, Kerbrat, Alain

Publications

595

Citations

H-Index

Concepts

All Affiliations

Alain Kerbrat is an author at Verimag specializing in data security, formal methods, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	74
2	Data Security	2	2	74
3	Computer Engineering	1	1	35
4	Computer Science	1	1	39
5	Systems Engineering	1	1	39

Alain Kerbrat

Publications

105

Citations

H-Index

Page 1

	Year	Citations
Protocol verification with the ALDÉBARAN toolset Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, International Journal on Software Tools for Technology Transfer EngineeringInteraction ProtocolVerificationFormal MethodsSoftware Verification	1997	39
Verification and test generation for the SSCOP protocol Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Science of Computer Programming Sscop ProtocolEngineeringAuthentication ProtocolSoftware TestingVerification	2000	35
Challenges in applying large language models to requirements engineering tasks Johannes Norheim, Eric Rebentisch, D Q Xiao, Design Science	2024	31

Page 1