Concepedia

Yves Bontemps

YB

Statistics

Publications

11

Citations

648

H-Index

11

Active since

2003

Affiliations

University of Namur(Current)

Département d'Informatique

Faculty (United Kingdom)

Yves Bontemps is an author at University of Namur specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationSoftware DesignSystems EngineeringVerificationProgram AnalysisSoftware Analysis

Publications per year

2003–2008

11

Publications

11

Generic semantics of feature diagrams

Pierre‐Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux et al. · Computer Networks · 2006 · 348 citations

Engineering, Diagrammatic Reasoning, Automated Reasoning +6

From live sequence charts to state machines and back: a guided tour

Yves Bontemps, Patrick Heymans, Pierre‐Yves Schobbens · IEEE Transactions on Software Engineering · 2005 · 60 citations

Artificial Intelligence, Engineering, Machine Learning +30

Evaluating formal properties of feature diagram languages

Patrick Heymans, Pierre‐Yves Schobbens, Jean-Christophe Trigaux et al. · IET Software · 2008 · 58 citations

Semantics of FODA Feature Diagrams

Jan Bosch, Tomi Männistö, Yves Bontemps et al. · 2004 · 42 citations

Feature Diagrams, Engineering, Same Naturalness +19

Synthesis of Open Reactive Systems from Scenario-Based Specifications

Yves Bontemps, Pierre‐Yves Schobbens, Christof Löding · Repository of the University of Namur · 2004 · 29 citations

1–5 of 11