• 2783 Citations
  • 25 h-Index
19952020

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche

Filtrer
Article
2018

Model-based mutant equivalence detection using automata language equivalence and simulations

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 juil. 2018, Dans : Journal of Systems and Software. 141, p. 1-15 15 p.

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

Accès ouvert
File
36 Téléchargements (Pure)
2017

Statistical prioritization for software product line testing: an experience report

Devroey, X., Perrouin, G., Cordy, M., Samih, H., Legay, A., Schobbens, P. Y. & Heymans, P., 1 févr. 2017, Dans : Software and Systems Modeling. 16, 1, p. 153-171 19 p.

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

Accès ouvert
File
162 Téléchargements (Pure)
2014

Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines

Henard, C., Papadakis, M., Perrouin, G., Klein, J., Heymans, P. & Traon, Y. L., 1 juil. 2014, Dans : IEEE Transactions on Software Engineering. 40, 7, p. 650-670 21 p., 6823132.

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

Accès ouvert
File
20 Téléchargements (Pure)

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 févr. 2014, Dans : Science of Computer Programming. 80, PART B, p. 416-439 24 p.

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

Accès ouvert
File
267 Téléchargements (Pure)

Towards a systematic approach for cognitively efficient configuration visualizations

Sauvage-Thomase, C., Biri, N., Perrouin, G. & Heymans, P., 9 déc. 2014. 12 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

File
125 Téléchargements (Pure)
2013

Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking

Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 janv. 2013, Dans : IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.

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

Features meet scenarios: Modeling and consistency-checking scenario-based product line specifications

Greenyer, J., Molzam Sharifloo, A., Cordy, M. & Heymans, P., 1 juin 2013, Dans : Requirements Engineering. 18, 2, p. 175-198 24 p.

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

ProVeLines: A Product Line of Verifiers for Software Product Lines

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., août 2013, p. 141 - 146. 6 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Separation of concerns in feature diagram languages: A systematic survey

Hubaux, A., Tun, T. T. & Heymans, P., 1 août 2013, Dans : ACM Computing Surveys. 45, 4, 2501665.

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

Supporting multiple perspectives in feature-based configuration

Hubaux, A., Heymans, P., Schobbens, P-Y., Abbasi, E. K. & Deridder, D., 1 juil. 2013, Dans : Software and Systems Modeling. 12, 3, p. 641-663 23 p.

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

2012

A Code Tagging Approach to Software Product Line Development: An Application to Satellite Communication Libraries

Heymans, P., Boucher, Q., Classen, A., Bourdoux, A. & Demonceau, L., 2012, Dans : International Journal on Software Tools for Technology Transfer (STTT). 5, p. 553-566 14 p.

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

File
120 Téléchargements (Pure)

An SMT-based Approach to Automated Configuration

Michel, R., Hubaux, A., Ganesh, V. & Heymans, P., 1 janv. 2012, p. 107-117. 11 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Efficient Consistency Checking of Scenario-Based Product Line Specifications [Best paper award]

Greenyer, J., Molzam Sharifloo, A., Cordy, M. & Heymans, P., 1 janv. 2012.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Accès ouvert
File
303 Téléchargements (Pure)

Improvisational Theater for Information Systems: an Agile, Experience-Based, Prototyping Technique

Mahaux, M. & Heymans, P., 1 janv. 2012, (Non publié).

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Model checking software product lines with SNIP

Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A., 1 janv. 2012, Dans : International Journal on Software Tools for Technology Transfer (STTT). 14, 5, p. 589-612 24 p.

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

Next-Generation Model-based Variability Management: Languages and Tools (Tutorial)

Acher, M., Heymans, P., Collet, P. & Lahire, P., 1 janv. 2012.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management

Matulevicius, R., Mouratidis, H., Mayer, N., Dubois, E. & Heymans, P., 1 janv. 2012, Dans : Journal of Universal Computer Science. 6, p. 816-844 29 p.

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

Unifying Software and Product Configuration: A Research Roadmap (to appear)

Hubaux, A., Dietmar, J., Drescher, C., Murta, L., Mannisto, T., Czarnecki, K., Heymans, P., Nguyen, T. & Zanker, M., 1 janv. 2012.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

2011

A Text-based Approach to Feature Modelling: Syntax and Semantics of TVL

Classen, A., Boucher, Q. & Heymans, P., 2011, Dans : Science of Computer Programming. 76, 12, p. 1130-1143 14 p.

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

File
251 Téléchargements (Pure)

VAST 2011 workshop summary

Perrouin, G., Metzger, A., Heymans, P. & Le Traon, Y., 2011, Dans : ACM SIGSOFT Software Engineering Notes. 36, 4, p. 24-25 2 p.

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

2010

Visual syntax does matter: improving the cognitive effectiveness of the i* visual notation

Moody, D., Heymans, P. & Matulevicius, R., 2010, Dans : Requirements Engineering. 5, 2

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

2009

Report on the Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'09)

Glinz, M., Heymans, P., Persson, A., Sindre, G., Aurum, A., Madhavji, N., Paech, B., Regev, G. & Wieringa, R., 2009, Dans : ACM SIGSOFT Software Engineering Notes. 34, 5, p. 40-45 6 p.

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

The Unified Enterprise Modelling Language - Overview and Further Work

Anaya, V., Berio, G., Harzallah, M., Heymans, P., Matulevicius, R., Opdahl, A., Panetto, H. & Verdecho, M. J., 2009, (Non publié) Dans : Computers in Industry. 61, 2, p. 99-111 13 p.

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

2008

Défis de la sécurité de l'information -- Support à la gestion des risques de sécurité par les modèles

Mayer, N., Dubois, E., Heymans, P. & Matulevicius, R., 2008, Dans : Ingénierie des Systèmes d'Information. 13, 1

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

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
76 Téléchargements (Pure)
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

Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence

Bontemps, Y., Saval, G., Schobbens, P-Y. & Heymans, P., 2007, Dans : Technique et Science Informatiques.

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

File
259 Téléchargements (Pure)

Working Conference on Requirements Engineering:Foundation for Software Quality (REFSQ'07)

Sawyer, P., Paech, B. & Heymans, P., 2007, Dans : ACM SIGSOFT Software Engineering Notes. 32, 4, p. 47-53 7 p.

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

2006

Comparing Goal-modelling Tools with the RE-tool Evaluation Approach

Matulevicius, R., Heymans, P. & Sindre, G., 2006, Dans : Information Technology and Control. 35, 3A, p. 276-284 9 p.

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

File
188 Téléchargements (Pure)
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

1998

A Proposal for a Scenario Classification Framework

Rolland, C., Ben Achour, C., Cauvet, C., Ralyte, J., Sutcliffe, A., Maiden, N., Jarke, M., Haumer, P., Pohl, K., Dubois, E. & Heymans, P., 1998, Dans : Requirements Engineering Journal. 3, 1, p. 23-47 25 p.

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