Publications

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda - Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y. 23 mai 2018 (Accepté/sous presse) 9 p.

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

Representing Repairs in Configuration Interfaces: A Look at Industrial Practices - Leclercq, T., Cordy, M., Dumas, B. & Heymans, P. 2018 (Accepté/sous presse) ACM IUI2018 Workshop on Explainable Smart Systems (ExSS).

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 Studying Bad Practices in Configuration UIs - Leclercq, T., Cordy, M., Dumas, B. & Heymans, P. 2018 (Accepté/sous presse) ACM IUI2018 Workshop on Web Intelligence and Interaction (WII 2018).

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-based mutant equivalence detection using automata language equivalence and simulations - Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P. 2018 Dans : Journal of Systems and Software. 29 p.

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

Evoq: a Visualization Tool to Support Structural Analysis of Text Documents - Clarinval, A., Linden, I., Wallemacq, A. & Dumas, B. 2018 (Accepté/sous presse) Proceedings of the 2018 ACM Symposium on Document Engineering. ACM Press, 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

Decision Support Systems VIII: Sustainable Data-Driven and Evidence-Based Decision Support - Dargam, F. (Ed.), Delias, P. (Ed.), Linden, I. (Ed.) & Mareschal, B. (Ed.) 2018 Springer Verlag. 190 p. (Lecture Notes in Business Information Processing; Vol 313)

Résultats de recherche: Livre/Rapport/RevueLivre

Proceedings of the 4th ICDSST - EWG-DSS Conference on Decision Support Systems Technology & Promethee Days 2018: Sustainable Data-Driven, Evidence-based Decision Support. Applicaions to Environment and Energy Sector - Papathanasiou, J., Digkoglou, P. (Ed.), Tsaples, G. (Ed.), Dargam, F. (Ed.), Linden, I. (Ed.) & Mareschal, B. (Ed.) 2018

Résultats de recherche: Livre/Rapport/RevueLivre

DSS Research Collaboration in the EWG-DSS - Turet, J., Moura, J., Cabral, A. P., Dargam, F., Zaraté, P. & Linden, I. 2018 p. 116 1 p.

Résultats de recherche: Contribution à une conférencePoster

On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study - Darquennes, D., Jacquet, J-M. & Linden, I. 2018 Coordination Models and Languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. Springer, Vol 10852, p. 81 - 109 30 p. (Lecture Notes in Computer Sciences; Vol 10852)

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Testing Variability-Intensive Systems - Perrouin, G., Devroey, X. & Cordy, M. 26 sept. 2017 ACM International Conference Proceeding Series. ACM Press, 1 p. (SPLC '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

Public Debates on the Web - Gilson, F., Bittar, A. & Schobbens, P. juin 2017 International Conference on Web Engineering. Cabot, J., De Virgilio, R. & Torlone, R. (eds.). Rome: Springer, Vol 10360, p. 520 532 p. 37. (Lecture Notes in Computer Science; Vol 10360)

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

Survey of software visualization systems to teach message-passing concurrency in secondary school - Libert, C. & Vanhoof, W. juin 2017 Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems. Springer, p. 386 - 397 (Communications in Computer and Information 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

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

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. févr. 2017 Dans : Software and Systems Modeling. p. 1-19 19 p.

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

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

La programmation par passage de messages pour aider à développer la pensée informatique - Libert, C. & Vanhoof, W. 2017 L'informatique et le numérique dans la classe: Qui, quoi, comment?. Namur, Belgique: Presses universitaires de Namur, p. 123 12 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Multi-timed Bisimulation for Distributed Timed Automata - Ortiz Vega, J. J., Schobbens, P. & Amrani, M. 2017 9th NASA Formal Methods Symposium NFM 2017 . Springer

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Decision Support Systems VII: Data, Information and Knowledge Visualization in Decision Support Systems - Linden, I. (Ed.), Liu, S. (Ed.) & Colot, C. (Ed.) 2017 Springer Verlag. (Lecture Notes in Business Information Processing; Vol 282)

Résultats de recherche: Livre/Rapport/RevueLivre

Proceedings of the 2017 International Conference on Decision Support System Technology: with a theme on data, information and knowledge visualisation in decision making - Linden, I. (Ed.), Mareschal, B. (Ed.), Liu, S. (Ed.), Papathanasiou, J. (Ed.) & Colot, C. (Ed.) 2017 197 p. (IRIT Report)

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

Message from the A-MOST 2017 Chairs: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Arcaini, P., Devroey, X. & Wang, S. 2017 p. 317-318 2 p.

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

EFFaTA-MeM Evocative Framework for Text Analysis - Mediality Models - Bosse, A., Wallemacq, A., Dumas, B., Deville, G., Linden, I. & Clarinval, A. 2017 p. 12 1 p.

Résultats de recherche: Contribution à une conférencePoster

Average consensus in asymmetric broadcasting wireless sensor networks through gossiping - Peper, F., Leibnitz, K., Shimokawa, T. & Remiche, M. A. 28 nov. 2016 Adjunct Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2016. ACM Press, Vol 28-November-2016, p. 171-176 6 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

A Survey on Mobile Data Uses - Colot, C., Linden, I. & Baecke, P. 22 juin 2016 Dans : International Journal of Decision Support System Technology. 8, 2, p. 29-49 21 p., 3

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

Reusable self-adaptation through bidirectional programming - Colson, K., Dupuis, R., Montrieux, L., Hu, Z., Uchitel, S. & Schobbens, P. Y. 14 mai 2016 Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016. ACM Press, p. 4-15 12 p. 2897055

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

How a BI-wise responsible integrated management system may support food traceability - Gianni, M., Gotzamani, K. & Linden, I. 1 avr. 2016 Dans : International Journal of Decision Support System Technology. 8, 2, p. 1-17 17 p., 1

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

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

Blackboard Rules: From a Declarative Reading to its Application for Coordinating Context-aware Applications in Mobile Ad Hoc Networks - Jacquet, J-M., Linden, I. & Staicu, M-O. janv. 2016 Dans : Science of Computer Programming. 115, p. 79-99

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

On the Introduction of Density in Tuple-Space Coordination Languages - Darquennes, D., Jacquet, J-M. & Linden, I. janv. 2016 Dans : Science of Computer Programming. 115, p. 149-176

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

Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering - Perrouin, G., Amrani, M., Acher, M., Legay, A. & Schobbens, P-Y. 2016 8th Workshop on Modelling in Software Engineering (MiSE’2016). 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 (Accepté/sous presse) 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

Un outil d'aide à la conception des formes normales en logique propositionnelle - Désiron, K., Remiche, M-A. & Vanhoof, W. 2016 Actes de la conférence Didapro 6 - DidaSTIC Didactique de l'informatique et des STIC: Quelles éducations au numérique, en classe et pour la vie ? . 2 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

Towards a framework for algorithm recognition in binary code - Mesnard, F., Payet, E. & Vanhoof, W. 2016 p. 202 2013 p.

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

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

Real-time model-driven engineering: An overview - Amrani, M. & Schobbens, P. Y. 2016 Dans : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

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

Does text analytics fit text analytics needs? - Linden, I. & Wallemacq, A. 2016

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

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

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. ACM Press, 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

Relational symbolic execution of SQL code for unit testing of database programs - Marcozzi, M., Vanhoof, W. & Hainaut, J. L. 1 juil. 2015 Dans : Science of Computer Programming. 105, p. 44-72 29 p.

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

Poster: Behavioral Model-Based Testing of Variability Intensive Systems - Devroey, X. 26 juin 2015

Résultats de recherche: Contribution à une conférencePoster

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

On Distributed Density in Tuple-based Coordination Languages - Darquennes, D., Jacquet, J-M. & Linden, I. 12 févr. 2015 Dans : EPTCS. 175, p. 26-53

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

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: ACM Press, 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

Decision Support Systems V: Big Data Analytics for Decision Making: First International Conference, ICDSST 2015, Belgrade, Serbia, May 27-29, 2015, Proceedings - Delibasic, B. (Ed.), Hernández, J. E. (Ed.), Papathanasiou, J. (Ed.), Dargam, F. (Ed.), Zaraté, P. (Ed.), Ribeiro, R. (Ed.), Liu, S. (Ed.) & Linden, I. (Ed.) 2015 Springer. 111 p. (Lecture Notes in Business Information Processing; Vol 216)

Résultats de recherche: Livre/Rapport/RevueLivre