Yves Bontemps

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

Résultat de recherche 2002 2008

  • 619 Citations
  • 8 h-Index
  • 11 Article dans les actes d'une conférence/un colloque
  • 7 Article
  • 1 Autre rapport
Filtre
Article
2008
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
2007

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

256 Downloads (Pure)
File

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

2005

From Live Sequence Charts to State Machines and Back: A Guided Tour

Bontemps, Y., Heymans, P. & Schobbens, P-Y., 2005, Dans : IEEE Transactions on Software Engineering. 31, 12, p. 999-1014 16 p.

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

Software engineering

Temporal logic for strategy synthesis inLTL games

Kugler, H., Harel, D., Pnueli, A., Lu, Y. & Bontemps, Y., 2005, Dans : Tools and Algorithms for the Construction and Analysis of Systems. 3440, p. 445-460 16 p.

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

2004

Synthesis of open reactive systems from scenario-based specifications

Bontemps, Y., Schobbens, P. Y. & Löding, C., 1 sept. 2004, Dans : Fundamenta Informaticae. 62, 2, p. 139-169 31 p.

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

Reactive Systems
Open Systems
Synthesis
Specification
Specifications