Membre du personnel

Patrick HEYMANS

Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation - Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P. 13 mars 2017 Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. Tokyo, Japan: IEEE, 6 p. (ICST '17)

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

Towards Security-aware Mutation Testing - Loise, T., Devroey, X., Perrouin, G., Papadakis, M. & Heymans, P. 13 mars 2017 Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE International Conference on : Mutation 2017. IEEE, 6 p. (ICSTW '17)

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

Yo Variability! JHipster: A Playground for Web-Apps Analyses - Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Heymans, P. 1 févr. 2017 Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems. Eindhoven, Netherlands: ACM Press, p. 44-51 8 p. (VaMoS '17)

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

On Featured Transition Systems - Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P. janv. 2017 SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (LNCS)

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

Technical Aspect Extraction from Customer Reviews based on Seeded Word Clustering - Davril, J-M., Leclercq, T., Cordy, M. & Heymans, P. 2017 22nd International Conference on Natural Language & Information Systems.

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

Featured Model-based Mutation Analysis - Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P. mai 2016 Proceedings of the 38th international conference on Software Engineering. Austin, TX, USA: ACM Press, p. 655-666 12 p. (ICSE '16)

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

Search-based Similarity-driven Behavioural SPL Testing - Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P. 27 janv. 2016 Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Salvador of Bahia, Brazil: ACM Press, p. 89-96 8 p. (VaMoS '16)

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

A Complexity Tale: Web Configurators - Perrouin, G., Acher, M., Davril, J-M., Legay, A. & Heymans, P. 2016 IEEE/ACM 1st International Workshop on Variability and Complexity in Software Design (VACE). Austin: ACM Press

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

Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators - Leclercq, T., Davril, J-M., Cordy, M. & Heymans, P. 2016 Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS).

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

Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators - Leclercq, T., Davril, J-M., Cordy, M. & Heymans, P. 2016

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

Configurators: many possibilities for Software Defined Networks - Leclercq, T., Davril, J-M., Schumacher, L., Heymans, P., Tilmans, O., Lebrun, D. & Bonaventure, O. 2016

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

Unlocking visual understanding: Towards effective keys for diagrams - Genon, N., Perrouin, G., Le Pallec, X. & Heymans, P. 2016 Conceptual Modeling - 35th International Conference, ER 2016, Proceedings. Springer Verlag, Vol 9974 LNCS, p. 505-512 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 9974 LNCS)

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

Beyond de-facto standards for designing human-computer interactions in configurators - Leclercq, T., Davril, J. M., Cordy, M. & Heymans, P. 2016 CEUR Workshop Proceedings. Vol 1705, p. 40-43 4 p.

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

Poster: VIBeS, Transition System Mutation Made Easy - Devroey, X., Perrouin, G., Schobbens, P. & Heymans, P. 12 août 2015 Proceedings - International Conference on Software Engineering. Florence, Italy: IEEE Computer Society Press, Vol 2, p. 817-818 2 p. 7203084

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

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. 24 juil. 2015 Dans : Software and Systems Modeling. p. 1-19 19 p.

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

All-At-Once-Synthesis of controllers from scenario-based product line specifications - Cordy, M., Davril, J-M., Greenyer, J., Gressi, E. & Heymans, P. 20 juil. 2015 Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Vol 20-24-July-2015, p. 26-35 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

State machine flattening, a mapping study and tools assessment - Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A. & Heymans, P. 13 mai 2015 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15. IEEE, p. 1-8 8 p. 7107408

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

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment - Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P. 2015 Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems. Hildesheim, Germany: Association for Computing Machinery, Vol 21-23-January-2015, p. 59:59-59:66 8 p. (VaMoS '15)

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

Using fuzzy modeling for consistent definitions of product qualities in requirements. - Davril, J-M., Cordy, M., Heymans, P. & Acher, M. 2015 Proceedings of the Second International Workshop on Artificial Intelligence for Requirements Engineering. Institute of Electrical and Electronics Engineers Inc., p. 17-24 8 p. 7337624

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

Towards breaking the curse of dimensionality in reverse engineering feature models. - Davril, J-M., Acher, M., Bécan, G. & Heymans, P. 2015 Configuration Workshop.

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

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

Coverage criteria for behavioural testing of software product lines - Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P-Y. & Heymans, P. 8 nov. 2014 Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Springer Verlag, Vol 8802, p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8802)

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

An extensible platform for product-line behavioural analysis - Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y. 15 sept. 2014 ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. Association for Computing Machinery, Vol 2, p. 102-109 8 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

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

State Machine Flattening: Mapping Study and Assessment - Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P. 24 mars 2014 Arxiv

Résultats de recherche: Autre contribution

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

Towards Statistical Prioritization for Software Product Lines Testing - Devroey, X., Perrouin, G., Cordy, M., Schobbens, P-Y., Legay, A. & Heymans, P. janv. 2014 Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems. Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol VaMoS '14, p. 10:1-10:7 8 p. 10

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

Reverse Engineering Web Configurators - Abbasi, E. K., Acher, M., Heymans, P. & Cleve, A. 2014 Proceedings of the IEEE CSMR/WCRE 2014 Software Evolution Week.

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

Visual notation design 2.0: Towards user comprehensible requirements engineering notations - Caire, P., Genon, N., Heymans, P. & Moody, D. L. 31 déc. 2013 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 115-124 10 p. 6636711

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

Reverse engineering web sales configurators - Abbasi, E. K. & Heymans, P. 1 déc. 2013 IEEE International Conference on Software Maintenance, ICSM. p. 586-589 4 p. 6676962

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

Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features - Cordy, M., Schobbens, P. Y., Heymans, P. & Legay, A. 30 oct. 2013 Proceedings - International Conference on Software Engineering. p. 472-481 10 p. 6606593

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

Efficient quality assurance of variability-intensive systems - Heymans, P., Legay, A. & Cordy, M. 30 oct. 2013 Proceedings - International Conference on Software Engineering. p. 1496-1498 3 p. 6606757

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

University meets industry: Calling in real stakeholders - Penzenstadler, B., Mahaux, M. & Heymans, P. 8 oct. 2013 Software Engineering Education Conference, Proceedings. p. 1-10 10 p. 6595231

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

Incrementally synthesizing controllers from scenario-based product line specifications - Greenyer, J., Brenner, C., Cordy, M., Heymans, P. & Gressi, E. 16 sept. 2013 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 433-443 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

Feature model extraction from large collections of informal product descriptions - Davril, J-M., Delfosse, E., Hariri, N., Acher, M., Cleland-Huang, J. & Heymans, P. 16 sept. 2013 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 290-300 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

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

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

The anatomy of a sales configurator: An empirical study of 111 cases - Abbasi, E. K., Hubaux, A., Acher, M., Boucher, Q. & Heymans, P. 12 juil. 2013 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 7908 LNCS, p. 162-177 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7908 LNCS)

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

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

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

Support for reverse engineering and maintaining feature models - Acher, M., Baudry, B., Heymans, P., Cleve, A. & Hainaut, J. L. 22 févr. 2013 ACM International Conference Proceeding Series. ACM Press, 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

Model checking adaptive software with featured transition systems - Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P. 1 janv. 2013 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi , C. & Lopes , A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol 7740, p. 1-29 29 p. (Lecture Notes in Computer Science)

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

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

A vision for behavioural model-driven validation of software product lines - Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B. 15 oct. 2012 Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol 7609 LNCS, p. 208-222 15 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

Behavioural Model-Driven Validation of Software Product Lines - Devroey, X., Perrouin, G., Schobbens, P., Heymans, P. & Baudry, B. 24 avr. 2012

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

Improvisational Theater for Information Systems: an Agile, Experience-Based, Prototyping Technique - Mahaux, M. & Heymans, P. 1 janv. 2012

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

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

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