Research Group on the Foundations of Computer Science

Filter
Conference contribution

Search results

  • 2024

    A Context-Aware Chatbot for Student Assistance Services in Higher Education

    Ouared, A., Amrani, M. & Schobbens, P.-Y., 2024, Proceedings of the 16th International Conference on Computer Supported Education: CSEDU 2024. SciTePress, p. 264-271 8 p.

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • 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 proceeding › Conference contribution

    Open Access
    File
    73 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 proceeding › Conference contribution

    Open Access
    File
    49 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 proceeding › Conference contribution

    Open Access
    File
    56 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 proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File
    117 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 proceeding › Conference contribution

    Open Access
    File
    38 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 proceeding › Conference contribution

    Open Access
    File
    96 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 proceeding › Conference contribution

  • 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 proceeding › Conference contribution

    Open Access
    File
    68 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 proceeding › Conference contribution

    Open Access
    File
    58 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 proceeding › Conference contribution

    Open Access
    File
    102 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 proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File
    75 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 proceeding › Conference contribution

    Open Access
    File
    72 Downloads (Pure)
  • 2021

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

    Lima dos Santos, E., Fortz, S., PERROUIN, G. & 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 proceeding › Conference contribution

    Open Access
    File
    172 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 proceeding › Conference contribution

    Open Access
    File
    95 Downloads (Pure)
  • 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 proceeding › Conference 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 proceeding › Conference contribution

    File
    63 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 proceeding › Conference 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 proceeding › Conference contribution

    File
    26 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 proceeding › Conference contribution

    Open Access
    File
    83 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 proceeding › Conference contribution

  • 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

  • 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 proceeding › Conference contribution

    Open Access
    File
    284 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    54 Downloads (Pure)

  • Formal analysis of object-oriented mograms

    Amrani, M. & Schobbens, P. Y., 18 Jun 2017, Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. ACM Press, p. 1-6 6 p. (Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • 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 - 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 proceeding › Conference contribution

    File
    58 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 proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File
    59 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File
    100 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 proceeding › Conference contribution

    Open Access
    File
    154 Downloads (Pure)
  • 2016

    A primer on counterexample guided abstraction refinement of product-line behavioural models

    Cordy, M., Dawagne, B., Heymans, P., Legay, A., Leucker, M. & Schobbens, P. Y., 2016, Software Engineering 2016: Fachtagung des GI-Fachbereichs Softwaretechnik : 23-26 Februar 2016 Wien. Knoop, J. & Zdun, U. (eds.). Gesellschaft fur Informatik (GI), p. 79-80 2 p. (Lectures Notes in Informatics; vol. P-252).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • 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 proceeding › Conference contribution

  • Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators

    Leclercq, T., Davril, J.-M., Cordy, M. & Heymans, P., 2016, (Accepted/In press) Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • Featured Model-based Mutation Analysis

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    157 Downloads (Pure)

  • Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

    Perrouin, G., Amrani, M., Acher, M., Legay, A. & Schobbens, P.-Y., 17 May 2016, 8th Workshop on Modelling in Software Engineering (MiSE’2016). Austin: ACM Press, p. 1-7 7 p. 7809779

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • Reusable self-adaptation through bidirectional programming

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • Search-based Similarity-driven Behavioural SPL Testing

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    100 Downloads (Pure)
  • 2015

    All-At-Once-Synthesis of controllers from scenario-based product line specifications

    Cordy, M., Davril, J.-M., Greenyer, J., Gressi, E. & Heymans, P., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. ACM Press, Vol. 20-24-July-2015. p. 26-35 10 p.

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    224 Downloads (Pure)

  • From Mobile Data Towards Better Customer Knowledge: Proposals for an Information Framework

    Colot, C. & Linden, I., 2015, The 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015). Shakshuki, E. (ed.). Elsevier, Vol. 52. p. 75-82 8 p. (Procedia Computer Science; vol. 52).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution