Yves Bontemps

  • 625 Citations
  • 8 h-Index
19992011
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Domaines de compétence

Méthodes Formelles,
Spécification de Systèmes,
Systèmes Réactifs,
Modélisation et Programmation Orientée-Objet

Diplômes

Maître en Informatique
Candidat en Science Economique (orientation Informatique)

Domaines de compétence

Méthodes Formelles,
Spécification de Systèmes,
Systèmes Réactifs,
Modélisation et Programmation Orientée-Objet

Diplômes

Maître en Informatique
Candidat en Science Economique (orientation Informatique)

Empreinte digitale Examinez les sujets de recherche où Yves Bontemps est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 7 Profils similaires
Semantics Ingénierie et Science des Matériaux
Specifications Ingénierie et Science des Matériaux
Automation Ingénierie et Science des Matériaux
Chart mathématiques
Forms (concrete) Ingénierie et Science des Matériaux
Air traffic control Ingénierie et Science des Matériaux
Reactive Systems mathématiques
Model checking Ingénierie et Science des Matériaux

Projets 1999 2011

Résultat de recherche 2002 2008

  • 625 Citations
  • 8 h-Index
  • 11 Article dans les actes d'une conférence/un colloque
  • 7 Article
  • 1 Autre rapport
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 janv. 2008, Dans : IET Software Journal . 2, 3, p. 281-302 22 p.

Résultats de recherche: Contribution à un journal/une revueArticle

File
Visual languages
Semantics
Semiotics
Modeling languages

Generic Semantics of Feature Diagrams

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

Résultats de recherche: Contribution à un journal/une revueArticle

The computational complexity of scenario-based agent verification and design

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

Résultats de recherche: Contribution à un journal/une revueArticle

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.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
Automation
Semantics

Prix

Most Influential Paper Award

Pierre Schobbens (Bénéficiaire), Patrick Heymans (Bénéficiaire), Jean-Christophe Trigaux (Bénéficiaire) & Yves Bontemps (Bénéficiaire), 15 sept. 2016

Prix: Mise à l'honneur nationale/internationale

Requirements engineering
Semantics

Activités 2002 2002

  • 1 Participation à une conférence, un congrès
  • 1 Participation à un atelier/workshop, un séminaire, un cours

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

Yves Bontemps (Participant)
31 juil. 200210 août 2002

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

24th International Conference on Software Engineering

Yves Bontemps (Participant)
19 mai 200225 mai 2002

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Thèse

Automated verification of state-based specifications against scenarios: a step towards relating inter-object to intra-object specifications

Auteur: Bontemps, Y., 2001

Superviseur: Schobbens, P. (Promoteur) & Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Realizability of Scenario-Based Specifications

Auteur: Bontemps, Y., 2003

Superviseur: Schobbens, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

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

Auteur: Bontemps, Y., 20 avr. 2005

Superviseur: Heymans, P. (Jury), THOMAS, W. (Personne externe) (Jury), UCHITEL, S. (Personne externe) (Jury), Hainaut, J. (Jury) & Schobbens, P. (Promoteur)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier