Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Research Output

2020

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

Linden, I., 2020, (Accepted/In press) EWG-DSS 30 Years: A tour on the DSS developments over the last 30 . Springer, (LNBIP).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

An SMT-Based Concolic Testing Tool for Logic Programs

Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 Jan 2020, (Accepted/In press).

Research output: Contribution to conferencePoster

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

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)

Research output: Book/Report/JournalBook

Generalization-Driven Semantic Clone Detection in CLP

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

Research output: Contribution to journalArticle

Open Access
File

Introduire la concurrence en début de secondaire

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

Research output: Contribution to conferencePaper

Open Access

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

Research output: Book/Report/JournalBook

Search-based crash reproduction using behavioural model seeding

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

Research output: Contribution to journalArticle

Open Access
File
22 Downloads (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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Analysis of Students' Preconceptions of Concurrency

Libert, C. & Vanhoof, W., 26 Aug 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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., May 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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Anti-unification in Constraint Logic Programming

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

Research output: Contribution to journalArticle

3 Downloads (Pure)
Open Access
File
115 Downloads (Pure)

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

Yernaux, G., 22 Nov 2019, (Unpublished). 7 p.

Research output: Contribution to conferencePaper

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 May 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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

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

Research output: Contribution to journalEditorial

Scan: A Simple Coordination Workbench

Barkallah, M. & Jacquet, J-M., 6 Dec 2019. 1 p.

Research output: Contribution to conferencePoster

Special Issue on Decision Support System Technology

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

Research output: Contribution to journalSpecial issue

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 Apr 2019, In : Empirical Software Engineering . 24, 2, p. 674-717 44 p.

Research output: Contribution to journalArticle

Open Access
File
3 Downloads (Pure)

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

Libert, C. & Vanhoof, W., 2019, (Unpublished).

Research output: Contribution to conferencePaper

File
3 Downloads (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)

Research output: Book/Report/JournalBook

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.

Research output: Contribution to conferencePoster

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

Clarinval, A., Linden, I., Wallemacq, A. & Dumas, B., 2018, Proceedings of the 2018 ACM Symposium on Document Engineering. ACM Press, 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
124 Downloads (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 Jul 2018, In : Journal of Systems and Software. 141, p. 1-15 15 p.

Research output: Contribution to journalArticle

Open Access
File
34 Downloads (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 Aug 2018, p. 325-332. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
26 Downloads (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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Open Access

On Studying Bad Practices in Configuration UIs

Leclercq, T., Cordy, M., Dumas, B. & Heymans, P., 2018, (Accepted/In press) ACM IUI2018 Workshop on Web Intelligence and Interaction (WII 2018).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Representing Repairs in Configuration Interfaces: A Look at Industrial Practices

Leclercq, T., Cordy, M., Dumas, B. & Heymans, P., 2018, (Accepted/In press) ACM IUI2018 Workshop on Explainable Smart Systems (ExSS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Special Issue on Analytics for Decision Making

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

Research output: Contribution to journalSpecial issue

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 Mar 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
14 Downloads (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)

Research output: Book/Report/JournalBook

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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

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

Research output: Contribution to conferencePaper

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Open Access
File
20 Downloads (Pure)

On Featured Transition Systems

Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P., Jan 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
20 Downloads (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)

Research output: Book/Report/JournalOther report

Open Access
File
369 Downloads (Pure)

Public Debates on the Web

Gilson, F., Bittar, A. & Schobbens, P., Jun 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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 Feb 2017, In : Software and Systems Modeling. 16, 1, p. 153-171 19 p.

Research output: Contribution to journalArticle

Open Access
File
137 Downloads (Pure)

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

Libert, C. & Vanhoof, W., Jun 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
28 Downloads (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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Testing Variability-Intensive Systems

Perrouin, G., Devroey, X. & Cordy, M., 26 Sep 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Towards Security-aware Mutation Testing

Loise, T., Devroey, X., Perrouin, G., Papadakis, M. & Heymans, P., 13 Mar 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
43 Downloads (Pure)

Yo Variability! JHipster: A Playground for Web-Apps Analyses

Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Heymans, P., 1 Feb 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
114 Downloads (Pure)
2016

A Survey on Mobile Data Uses

Colot, C., Linden, I. & Baecke, P., 22 Jun 2016, In : International Journal of Decision Support System Technology. 8, 2, p. 29-49 21 p., 3.

Research output: Contribution to journalArticle

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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution