Research Group on the Foundations of Computer Sciences

  • 5000

    Belgique

Résultat de recherche

2020

30 Years of Business Intelligence: From Data Analytics to Big Data

Linden, I., 2020, (Accepté/sous presse) EWG-DSS 30 Years: A tour on the DSS developments over the last 30 . Springer, (LNBIP).

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

An SMT-Based Concolic Testing Tool for Logic Programs

Titre traduit de la contribution: Un outil de concolic testing basé sur un soldeur SMT pour les programmes logiquesFortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 janv. 2020, (Accepté/sous presse).

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

Collab-Net as a DSS for the Identification of Potential Partners and the Creation of Research Consortia

LINDEN, I., Turet, J., Costa, A. P. C. S., Dargam, F. C. C. & Zaraté, P., 2020, 6th International Conference on Decision Support System Technology - ICDSST 2020 on: Cognitive Decision Support Systems & Technologies. p. 67-73

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 X: Cognitive Decision Support Systems and Technologies

Moreno-Jimenez, J-M. (Ed.), LINDEN, I. (Ed.), Dargam, F. C. C. (Ed.) & Jayawickrama, U. (Ed.), 2020, Springer. (LNBIP; Vol 384)

Résultats de recherche: Livre/Rapport/RevueLivre

Generalization-Driven Semantic Clone Detection in CLP

Yernaux, G. & Vanhoof, W., 21 avr. 2020, Dans : Lecture Notes in Computer Science. 12042, p. 228-242 15 p.

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

Accès ouvert
File

Introduire la concurrence en début de secondaire

Libert, C. & Vanhoof, W., 2020. 12 p.

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

Accès ouvert

Proceedings of the 2020 International Conference on Decision Support System Technology: Cognitive Decision Support Systems & Technologies

LINDEN, I. (Ed.), Turon, A. (Ed.), Dargam, F. C. C. (Ed.) & Jayawickrama, U. (Ed.), 2020

Résultats de recherche: Livre/Rapport/RevueLivre

Search-based crash reproduction using behavioural model seeding

Derakhshanfar, P., DEVROEY, X., Perrouin, G., Zaidman, A. & van Deursen, A., 1 mai 2020, Dans : Software Testing, Verification and Reliability. 30, 3, e1733.

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

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

Text as Semantic Fields: Integration of an Enriched Language Conception in the Text Analysis Tool Evoq®

LINDEN, I., WALLEMACQ, A., Dumas, B., Deville, G., CLARINVAL, A. & Cauz, M., 2020, [Provisoire] Research Challenges in Information Sciences. Springer, Vol 385. 36. (Lecture Notes in Business Information Processing (LNBIP); Vol 385).

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

2019

A Decade of Featured Transition Systems

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., oct. 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11865 LNCS).

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

Analysis of Students' Preconceptions of Concurrency

Titre traduit de la contribution: Analyse des préconceptions d'étudiants sur la concurrenceLibert, C. & Vanhoof, W., 26 août 2019, EASEAI 2019 - Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, co-located with ESEC/FSE 2019. Vanderose, B., Frenay, B., Henry, J. & Devroey, X. (eds.). New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

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 on-line platform for supporting DSS-research collaboration (EWG-DSS Collab-Net Version 5)

Turet, J., Moura, J., Cabral Seixas Costa, A. P., Dargam, F., Zaraté, P. & Linden, I., mai 2019, EmC-ICDSST 2019 5th International Conference on Decision Support System Technology: Decision Support Systems: Main Developments & Future Trends. Abreu Freitas, P. S., Dargam, F., Ribeiro, R., Moreno Jimenez, J. M. & Papathanasiou, J. (eds.). Toulouse, p. 186-192

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

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

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

3 Téléchargements (Pure)

Customizing Adversarial Machine Learning to test Deep Learning techniques

Temple, P., Perrouin, G., Frenay, B. & Schobbens, P-Y., 28 mai 2019.

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

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

Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming

Yernaux, G., 22 nov. 2019, (Non publié). 7 p.

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

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 mai 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11460 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

Preface to the special issue on Coordination Models and Languages (COORDINATION 2017)

Jacquet, J. M. & Massink, M., 1 juil. 2019, Dans : Science of Computer Programming. 180, p. 16-17 2 p.

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

Scan: A Simple Coordination Workbench

Barkallah, M. & Jacquet, J-M., 6 déc. 2019. 1 p.

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

Special Issue on Decision Support System Technology

Ploskas, N. (Ed.), Delias, P. (Ed.) & Linden, I. (Ed.), 2019, Dans : International Journal of Decision Support System Technology. 11, 1

Résultats de recherche: Contribution à un journal/une revueNuméro spécial

Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Baudry, B., 15 avr. 2019, Dans : Empirical Software Engineering . 24, 2, p. 674-717 44 p.

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

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

Un dispositif d'évaluation continue en introduction à la programmation

Libert, C. & Vanhoof, W., 2019, (Non publié).

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

File
3 Téléchargements (Pure)
2018

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

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 à un événement scientifique (non publié)Poster

Evoq: a Visualization Tool to Support Structural Analysis of Text Documents

Titre traduit de la contribution: Evoq: un outil de visualisation pour supporter l'analyse structurale de textesClarinval, A., Linden, I., Wallemacq, A. & Dumas, B., 2018, 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

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

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

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 août 2018, p. 325-332. 8 p.

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

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

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, Proceedings: 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. Di Marzo Serugendo, G. & Loreti, M. (eds.). Springer, Vol 10852. p. 81 - 109 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10852 LNCS).

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

Accès ouvert

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

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

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

Special Issue on Analytics for Decision Making

Linden, I. (Ed.), Papathanasiou, J. (Ed.) & Bohanec, M. (Ed.), 2018, Dans : International Journal of Information and Decision Sciences. 10, 1

Résultats de recherche: Contribution à un journal/une revueNuméro spécial

Un an d’évaluation continue en introduction à la programmation chez des étudiants de première année d'université

Libert, C., Vanhoof, W. & Boraita, F., août 2018, (Non publié). 5 p.

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

2017

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, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (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

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

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

Disentangling Homophily from Social Influence Through Underlying Networks in Customer Relationship Management

Colot, C., Baecke, P. & Linden, I., 2017, p. 187.

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

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 à un événement scientifique (non publié)Poster

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)

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., 13 avr. 2017, p. 317-318. 2 p.

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

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 2017, NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Davies, M., Kahsai, T. & Barrett, C. (eds.). Springer, p. 52-67 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10227 LNCS).

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

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

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: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. & Steffen, B. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10139 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

File
20 Téléchargements (Pure)

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

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

Public Debates on the Web

Gilson, F., Bittar, A. & Schobbens, P., juin 2017, Web Engineering - 17th International Conference, ICWE 2017, Proceedings. Cabot, J., De Virgilio, R. & Torlone, R. (eds.). Rome: Springer, Vol 10360. p. 520-532 13 p. 37. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10360 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

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

Survey of software visualization systems to teach message-passing concurrency in secondary school

Titre traduit de la contribution: Comparaison de systèmes de visualisation de programmes pour l'enseignement de la programmation concurrente par passage de messages à l'école secondaire.Libert, C. & Vanhoof, W., juin 2017, Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Proceedings. Lopes, F., Bajo, J., Novais, P., Hallenborg, K., Del Val, E., Julian, V., Vale, Z., Pawlewski, P., Duque Mendez, N. D., Holmgren, J., Rocha, A. P. & Mathieu, P. (eds.). Springer, p. 386 - 397 12 p. (Communications in Computer and Information Science; Vol 722).

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

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

Technical Aspect Extraction from Customer Reviews based on Seeded Word Clustering

Davril, J-M., Leclercq, T., Cordy, M. & Heymans, P., 2017, Natural Language Processing and Information Systems - 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Proceedings. Frasincar, F., Ittoo, A., Metais, E. & Nguyen, L. M. (eds.). p. 97-109 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10260 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

Testing Variability-Intensive Systems

Perrouin, G., Devroey, X. & Cordy, M., 26 sept. 2017, SPLC 2017 - 21st International Systems and Software Product Line Conference, Proceedings. Fuentes, L., Bagheri, E., Ruiz-Cortes, A., Benavides, D., Capilla, R., Xiong, Y., Bosch, J., Acher, M., Schall, D., Cohen, M. & Troya, J. (eds.). New York, New York, USA: ACM Press, Vol 1. p. 255-255 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

Towards Security-aware Mutation Testing

Loise, T., Devroey, X., Perrouin, G., Papadakis, M. & Heymans, P., 13 mars 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017: Mutation 2017. IEEE, p. 97-102 6 p. 7899041. (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

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

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 - VaMoS 2017: 11th International Workshop on Variability Modelling of Software-Intensive Systems. Schaefer, I., ter Beek, M. H. & Siegmund, N. (eds.). 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

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

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

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