Bernard Lambeau - Concepedia

Author

Bernard Lambeau

Also Known As

B. Lambeau, Bernard Lambeau, Lambeau, Bernard

Publications

401

Citations

H-Index

Concepts

All Affiliations

Bernard Lambeau is an author at UCLouvain specializing in computer science, automated reasoning, and software engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	299
2	Computer Science	5	5	299
3	Language Studies	1	1	20
4	Management	1	1	113
5	Data Science	1	1	113

Bernard Lambeau

Publications

347

Citations

H-Index

Page 1

	Year	Citations
Generating annotated behavior models from end-user scenarios Christophe Damas, Bernard Lambeau, Pierre Dupont, IEEE Transactions on Software Engineering EngineeringVerificationSoftware EngineeringFormal VerificationSoftware Analysis	2005	113
Scenarios, goals, and state machines Christophe Damas, Bernard Lambeau, Axel van Lamsweerde Artificial IntelligenceEngineeringSoftware EngineeringComplex SystemsIntelligent Systems	2006	81
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION Pierre Dupont, Bernard Lambeau, Christophe Damas, Applied Artificial Intelligence Software MaintenanceEngineeringRequirement ModelingSoftware EngineeringModel Checking	2008	56
STAMINA: a competition to encourage the development and assessment of software model inference techniques Neil Walkinshaw, Bernard Lambeau, Christophe Damas, Empirical Software Engineering	2012	48
Analyzing critical process models through behavior model synthesis Christophe Damas, Bernard Lambeau, François Roucoux, EngineeringIndustrial EngineeringVerificationSoftware EngineeringWorkflow Modelling	2009	29
A framework for the competitive evaluation of model inference techniques Neil Walkinshaw, Kirill Bogdanov, Christophe Damas, EngineeringModeling MethodSoftware EngineeringModel VerificationLarge Language Model	2010	20

Page 1