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
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

104 Downloads (Pure)

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
2006

Feature Diagrams: A Survey and A Formal Semantics: (An extended version of this paper appears in Journal of Computer Networks, February 2007)

Schobbens, P-Y., Heymans, P., Trigaux, J-C. & Bontemps, Y., 2006, Proceedings of 14th IEEE International Requirements Engineering Conference (RE'06). Glinz, M. & Lutz, R. (eds.). Minneapolis/St. Paul Minesota, USA: IEEE Computer society, p. 139-148 10 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

Computer networks
Semantics
Requirements engineering
Automation
Modeling languages

From Interaction Diagrams to State Machines: Moving to Class-Level

Bontemps, Y., Saval, G., Heymans, P. & Schobbens, P-Y., 2006, Digest of the 18th International Workshop on Algebraic Development Techniques (WADT'06). Luiz, J. & Pierre-Yves, F. (eds.).

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

From Interaction Diagrams to State Machines: Moving to Class-Level

Bontemps, Y., Saval, G., Heymans, P. & Schobbens, P-Y., 2006, Actes de la 7e Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06). Vignes, S. & Viguié, V. (eds.). Paris, France: Ecole Nationale Supérieure des Télécommunications, p. 45-61 17 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

Network protocols
Modeling languages
2005

Class-Level Behavioral Modeling and Synthesis

Bontemps, Y., Heymans, P., Saval, G., Schobbens, P-Y. & Trigaux, J-C., 2005, Namur, Belgium: University of Namur, Computer Science Institute.

Résultats de recherche: Livre/Rapport/RevueAutre rapport

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

Generic Semantics of Feature Diagrams Variants

Bontemps, Y., Heymans, P., Schobbens, P-Y. & Trigaux, J-C., 2005, Proceedings of 8th International Conference on Feature Interactions in Telecommunications and Software Systems. Reiff-Marganiec, S. & Ryan, M. D. (eds.). Leicester, UK: IOS Press, p. 58-77 20 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

Diagrams
Naturalness
Formal Semantics
Language
Expressiveness

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

The complexity of live sequence charts

Bontemps, Y. & Schobbens, P. Y., 19 sept. 2005, 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005. Vol 3441. p. 364-378 15 p. (Lecture Notes in Computer Science).

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

Model checking
Chart
Realizability
Software engineering
Industry
2004

Semantics of FODA Feature Diagrams

Bontemps, Y., Schobbens, P-Y., Heymans, P. & Trigaux, J-C., 2004, Proceedings of Workshop on Software Variability Management for Product Derivation Towards Tool Support held in conjunction with the 8th international Conference on Software Product Line Conference (SPLC'04): HUT-SoberIT-C6. Mannisto, T. & Bosch, J. (eds.). Helsinki, Finland: T. Mannisto and J. Bosch, p. 48-58 11 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

Semantics

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
2003

Applying LSCs to the Specification of an Air Traffic Control System

Bontemps, Y., Heymans, P. & Kugler, H., 2003, Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03). Uchitel, S. & Bordeleau, F. (eds.). Portland, Oregon, USA: IEEE

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

Forms (concrete)
Air traffic control
Automation
Concretes
Specifications

Synthesis of Open Reactive Systems from scenario-based specification

Bontemps, Y. & Schobbens, P-Y., 2003, (Non publié) Proc. Third International Conference on Application of Concurrency to System Design. Lilius, J. & Balarin, F. (eds.).

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

Synthesis of open reactive systems from scenario-based specifications

Bontemps, Y. & Schobbens, P. Y., 1 janv. 2003, Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003. Institute of Electrical and Electronics Engineers Inc., Vol 2003-January. p. 41-50 10 p. 1207698

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

Specifications
Semantics
2002

Turning High-Level Live Sequence Charts into Automata

Bontemps, Y. & Heymans, P., 2002, Proceedings of the First International Workshop on Scenarios and State Machines (SCESM), (ICSE'02 workshop). Systa, T. & Zundorf, A. (eds.).

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

Semantics
Specifications
Chemical analysis