Research Group on the Foundations of Computer Science

Filter
Conference contribution

Search results

  • 2017

    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
    46 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

  • 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
    50 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 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. (Proceedings of the 21st International Systems and Software Product Line Conference - Volume A on - 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. (Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017).

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

    Open Access
    File
    89 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
    144 Downloads (Pure)
  • 2018

    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
    260 Downloads (Pure)
  • 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

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

    Libert, C. & Vanhoof, W., 27 Mar 2018, Une école numérique pour émanciper ?: Colloque scientifique, Actes de la conférence. Sanchez, E. & Baumberger, B. (eds.). p. 16-19 4 p.

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

    File
    11 Downloads (Pure)
  • 2019

    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

  • Feature-family-based reliability analysis of software product lines

    Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 9 Sept 2019, SPLC 2019: Proceedings of the 23rd International Systems and Software Product Line Conference . Berger, T., Collet, P., Duchien, L., Fogdal, T., Heymans, P., Kehrer, T., Martinez, J., Mazo, R., Montalvillo, L., Salinesi, C., Ternava, X., Thum, T. & Ziadi, T. (eds.). ACM Press, Vol. A. 59 p. (ACM International Conference Proceeding Series; vol. A).

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

  • 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

  • 2020

    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 proceedingConference contribution

  • Generalization-Driven Semantic Clone Detection in CLP

    Vanhoof, W. & Yernaux, G., 21 Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Springer, Vol. 12042. p. 228-242 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12042 LNCS).

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

    File
    46 Downloads (Pure)
  • InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics

    Kang, E. Y. & Schobbens, P. Y., Jun 2020, 2020 9th Mediterranean Conference on Embedded Computing, MECO 2020. Institute of Electrical and Electronics Engineers Inc., 9134341. (2020 9th Mediterranean Conference on Embedded Computing, MECO 2020).

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

  • Introduire la concurrence en début de secondaire ?

    Libert, C. & Vanhoof, W., 2020, L’informatique, objets d’enseignements enjeux épistémologiques, didactiques et de formation. Caron, P-A., Fluckiger, C., Marquet, P., Peter, Y. & Secq, Y. (eds.). p. 112-123 12 p.

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

    File
    13 Downloads (Pure)
  • Moulinog: A generator of random student assignments written in prolog

    Yernaux, G., Vanhoof, W. & Schumacher, L., 8 Sept 2020, Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020. ACM Press, 5 p. 3414100. (PervasiveHealth: Pervasive Computing Technologies for Healthcare).

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

    Open Access
    File
    56 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., 1 Jan 2020, Research Challenges in Information Science - 14th International Conference, RCIS 2020, Proceedings. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Springer, Vol. 385. p. 543-548 6 p. 36. (Lecture Notes in Business Information Processing; vol. 385 LNBIP).

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

  • 2021

    A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps

    Lima dos Santos, E., Fortz, S., PERROUIN, GILLES. & Schobbens, P-Y., 13 Sept 2021, ECSA2021 Companion Volume: 4th Context-aware, Autonomous and Smart Architectures International Workshop (CASA). Heinrich, R., Mirandola, R. & Weyns, D. (eds.). Växjö, Sweden: CEUR Workshop Proceedings, p. 1 6 p.

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

    Open Access
    File
    152 Downloads (Pure)
  • Shock Wave: a Graph Layout Algorithm for Text Analyzing

    Cauz, M., Albert, J., Wallemacq, A., Linden, I. & Dumas, B., 27 Aug 2021, DocEng '21: Proceedings of the 21st ACM Symposium on Document Engineering. Healy, P., Bilauca, M. & Bonnici, A. (eds.). ACM Press, 32

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

    Open Access
    File
    77 Downloads (Pure)
  • 2022

    Anti-unification of Unordered Goals

    Yernaux, G. & Vanhoof, W., 27 Jan 2022, Proceedings of the 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Manea, F. & Simpson, A. (eds.). 17 p. 37. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 216).

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

    Open Access
    File
    48 Downloads (Pure)
  • Behavioral Maps: Identifying Architectural Smells in Self-Adaptive Systems at Runtime

    Lima dos Santos, E., Fortz, S., Schobbens, P-Y. & Perrouin, G., 19 Aug 2022, Software Architecture - 15th European Conference, ECSA 2021 Tracks and Workshops, Revised Selected Papers: 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers. Scandurra, P., Galster, M., Mirandola, R., Weyns, D. & Weyns, D. (eds.). Lecture Notes in Computer Science ed. Springer Nature Switzerland AG, Vol. 13365. p. 159-180 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13365 LNCS).

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

    Open Access
    File
    41 Downloads (Pure)
  • Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime

    Lima dos Santos, E., Schobbens, P-Y. & Perrouin, G., Mar 2022, 2022 IEEE 19th International Conference on Software Architecture Companion, ICSA-C 2022: IEEE 19th International Conference on Software Architecture . HONOLULU - HAWAII (USA): IEEE, p. 104-107 4 p. (2022 IEEE 19th International Conference on Software Architecture Companion, ICSA-C 2022).

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

    Open Access
    File
    73 Downloads (Pure)
  • On Detecting Semantic Clones in Constraint Logic Programs

    Yernaux, G. & Vanhoof, W., 14 Dec 2022, Proceedings - 2022 IEEE 16th International Workshop on Software Clones, IWSC 2022: Proceedings. IEEE Computer society, p. 32 - 38 7 p. (Proceedings - 2022 IEEE 16th International Workshop on Software Clones, IWSC 2022).

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

  • Opportunities of Semantic Recommendation Systems for Self-Service Business Intelligence

    Pinon, S., Burnay, C. & Linden, I., 2022, Procedings of THE EWG-DSS 2022 INTERNATIONAL CONFERENCE ON DECISION SUPPORT SYSTEM TECHNOLOGY.

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

    Open Access
    File
    48 Downloads (Pure)
  • Supporting Data Selection for Decision Support Systems: Towards a Decision-Making Data Value Taxonomy

    Lega, M., Colot, C., Burnay, C. & Linden, I., 2022, SEKE 2022 Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering. p. 487-492 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE).

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

    Open Access
    File
    43 Downloads (Pure)
  • 2023

    A Dataflow Analysis for Comparing and Reordering Predicate Arguments

    Yernaux, G. & Vanhoof, W., 12 Sept 2023, Proceedings of the 39th International Conference on Logic Programming: Imperial College London, UK, 9th July 2023 - 15th July 2023. Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S., Calegari, R., D'Avila Garcez, A., Fabiano, F., Mileo, A., Russo, A. & Toni, F. (eds.). Open Publishing Association, Vol. 385. p. 41 - 54 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

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

    Open Access
    File
    36 Downloads (Pure)
  • Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!

    Santos, E. L. D., Schobbens, P-Y., Machado, I. & Perrouin, G., 25 Jan 2023, Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023: 17th International Working Conference on Variability Modelling of Software-Intensive Systems. Cohen, M. B., Thüm, T. & Mauro, J. (eds.). ACM Press, p. 85-87 3 p. (ACM International Conference Proceeding Series).

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

    Open Access
    File
    41 Downloads (Pure)
  • EvscApp: Evaluating the Pedagogical Relevance of Educational Escape Games for Computer Science

    Kabimbi Ngoy, R., Yernaux, G. & Vanhoof, W., 2023, Proceedings of the 15th International Conference on Computer Supported Education - Volume 2, CSEDU 2023. Jovanovic, J., Chounta, I-A., Uhomoibhi, J. & McLaren, B. (eds.). Vol. 2. p. 241-251 11 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; vol. 2).

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

    Open Access
    File
    33 Downloads (Pure)
  • Go Meta of Learned Cost Models: On the Power of Abstraction

    Ouared, A., Amrani, M. & Schobbens, P-Y., 2023, MODELSWARD. Lisbon: Science and Technology Publications, Lda, p. 43-54 12 p.

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

    Open Access
  • MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL

    CUARTAS GRANADA, J., ARANDA BUENO, J. A., Cordy, M., Ortiz Vega, J. J., Perrouin, G. & Schobbens, P-Y., 16 Apr 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Institute of Electrical and Electronics Engineers Inc., p. 52-61 10 p. (2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)).

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

    Open Access
    File
    81 Downloads (Pure)
  • Predicate Anti-unification in (Constraint) Logic Programming

    Yernaux, G. & Vanhoof, W., 16 Oct 2023, Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Proceedings: Logic-Based Program Synthesis and Transformation. LOPSTR 2023.. Glück, R. & Kafle, B. (eds.). Springer, Cham, Vol. 14330. p. 131-149 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14330 LNCS).

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

    Open Access
    File
    6 Downloads (Pure)
  • ScrImmo: A Real-time Web Scraper Monitoring the Belgian Real Estate Market

    Barzin, F., Yernaux, G. & Vanhoof, W., Oct 2023, Proceedings - 2023 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2023. p. 335-338 4 p. (Proceedings - 2023 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2023).

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

    Open Access
    File
    37 Downloads (Pure)
  • Sojourn Time in a Markov Driven Fluid Queue with Finite Buffer

    Deiana, E., Latouche, G. & Remiche, M. A., 2023, Computer Performance Engineering and Stochastic Modelling - 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Proceedings. Iacono, M., Scarpa, M., Serrano, S., Longo, F., Barbierato, E. & Cerotti, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 96-110 15 p. 10.1007/978-3-031-43185-2_7. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14231 LNCS).

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