Concepedia

Bernard Lambeau

BL

6

Publications

347

Citations

6

H-Index

2005

Active since

Affiliations

UCLouvain(Current)

University of Sheffield

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

Top concepts

EngineeringComputer ScienceSoftware AnalysisAutomated ReasoningSoftware EngineeringFormal MethodsSoftware DesignProgram AnalysisFormal VerificationSystems Engineering

Publications per year

2005–2012

6

Publications

6

Generating annotated behavior models from end-user scenarios

Christophe Damas, Bernard Lambeau, Pierre Dupont et al. · IEEE Transactions on Software Engineering · 2005 · 113 citations

Engineering, Verification, Software Engineering +27

Scenarios, goals, and state machines

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde · 2006 · 81 citations

Artificial Intelligence, Engineering, Software Engineering +23

THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION

Pierre Dupont, Bernard Lambeau, Christophe Damas et al. · Applied Artificial Intelligence · 2008 · 56 citations · Full text

Software Maintenance, Engineering, Requirement Modeling +22

STAMINA: a competition to encourage the development and assessment of software model inference techniques

Neil Walkinshaw, Bernard Lambeau, Christophe Damas et al. · Empirical Software Engineering · 2012 · 48 citations · Full text

Analyzing critical process models through behavior model synthesis

Christophe Damas, Bernard Lambeau, François Roucoux et al. · 2009 · 29 citations

Engineering, Industrial Engineering, Verification +21

Rows per page

1–5 of 6