Yves Bontemps

  • 621 Citations
  • 8 h-Index
19992011
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Yves Bontemps is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 7 Similar Profiles
Semantics Engineering & Materials Science
Specifications Engineering & Materials Science
Automation Engineering & Materials Science
Chart Mathematics
Forms (concrete) Engineering & Materials Science
Air traffic control Engineering & Materials Science
Reactive Systems Mathematics
Model checking Engineering & Materials Science

Projects 1999 2011

Research Output 2002 2008

  • 621 Citations
  • 8 h-Index
  • 11 Conference contribution
  • 7 Article
  • 1 Other report
75 Downloads (Pure)

Evaluating formal properties of feature diagram languages

Heymans, P., Schobbens, P-Y., Trigaux, J-C., Bontemps, Y., Matulevicius, R. & Classen, A., 1 Jan 2008, In : IET Software Journal . 2, 3, p. 281-302 22 p.

Research output: Contribution to journalArticle

File
Visual languages
Semantics
Semiotics
Modeling languages

Generic Semantics of Feature Diagrams

Schobbens, P-Y., Heymans, P., Trigaux, J-C. & Bontemps, Y., 2007, In : Computer Networks. 51, 2, p. 456-479 24 p.

Research output: Contribution to journalArticle

The computational complexity of scenario-based agent verification and design

Bontemps, Y. & Schobbens, P-Y., 2007, In : Journal of Applied Logic. 5, 2, p. 252-276 25 p.

Research output: Contribution to journalArticle

Towards the Comparative Evaluation of Feature Diagram Languages

Heymans, P., Schobbens, P-Y., Trigaux, J-C., Matulevicius, R., Classen, A. & Bontemps, Y., 2007, Software and Services Variability Management Workshop - Concepts, Models and Tools. Mannisto, T., Niemela, E. & Raatikainen, M. (eds.). Helsinki: Helsinki University of Technology Software Business and Engineering Institute, p. 1-16 16 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Automation
Semantics

Prizes

Most Influential Paper Award

Pierre Schobbens (Recipient), Patrick Heymans (Recipient), Jean-Christophe Trigaux (Recipient) & Yves Bontemps (Recipient), 15 Sep 2016

Prize: National/international honour

Requirements engineering
Semantics

Activities 2002 2002

  • 1 Participation in conference
  • 1 Participation in workshop, seminar, course

International Summer School on Models, Algebras and Logics of Engineering Software

Yves Bontemps (Participant)
31 Jul 200210 Aug 2002

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

24th International Conference on Software Engineering

Yves Bontemps (Participant)
19 May 200225 May 2002

Activity: Participating in or organising an event typesParticipation in conference

Thesis

Realizability of Scenario-Based Specifications

Author: Bontemps, Y., 2003

Supervisor: Schobbens, P. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Relating inter-agent and intra-agent specifications : the case of life sequence chart

Author: Bontemps, Y., 20 Apr 2005

Supervisor: Heymans, P. (Jury), THOMAS, W. (External person) (Jury), UCHITEL, S. (External person) (Jury), Hainaut, J. (Jury) & Schobbens, P. (Supervisor)

Student thesis: Doc typesDoctor of Sciences

File