Research Group on the Foundations of Computer Sciences

Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • On Density in Coordination Languages

    Jacquet, J. M., Linden, I. & Darquennes, D., 2013, Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2013, Revised Selected Papers. Canal, C. & Villari, M. (eds.). Springer Verlag, Vol 393 CCIS. p. 189-203 15 p. (Communications in Computer and Information Science; Vol 393 CCIS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • On Detecting Semantic Clones in Constraint Logic Programs

    Yernaux, G. & Vanhoof, W., 14 déc. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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érence › Article dans les actes d'une conférence/un colloque

    File
    48 Téléchargements (Pure)

  • 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érence › Article dans les actes d'une conférence/un colloque

  • On the Introduction of Time in Distributed Blackboard Rules

    Jacquet, J-M., Linden, I. & Staicu, M-O., 2013, Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2013, Revised Selected Papers. Canal, C. & Villari, M. (eds.). Springer, Vol 393. p. 144-158 15 p. (Communications in Computer and Information Science; Vol 393).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • On the Meaning of "but

    Schobbens, P. Y., 25 oct. 1991, IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. ACM Press, p. 185-192 8 p. (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

  • 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érence › Article dans les actes d'une conférence/un colloque

    File
    77 Téléchargements (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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    9 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érence › Article dans les actes d'une conférence/un colloque

  • 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érence › Article dans les actes d'une conférence/un colloque

  • 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érence › Article dans les actes d'une conférence/un colloque

  • Revisión de algunos modelos de programación concurrente por restricciones y sus aplicaciones

    Ortiz Vega, J. J., Aranda, J. & Moreno, P., 2006, The 2nd International Seminar on Genomics, Proteomics, Bioinformatics and Systems Biology" 2006. 14 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

  • Schedulability analysis support for automotive systems: From requirement to implementation

    Kang, E-Y. & Schobbens, P. Y., 24 mars 2014, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, p. 1080-1085 6 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    134 Téléchargements (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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

  • 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érence › Article dans les actes d'une conférence/un colloque

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

  • Semantic code clones in logic programs

    Dandois, C. & Vanhoof, W., 14 nov. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 7844 LNCS. p. 35-50 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7844 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Shock Wave: a Graph Layout Algorithm for Text Analyzing

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    81 Téléchargements (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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • State Machine Flattening: Mapping Study and Assessment

    Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P., 21 mars 2014, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 13 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

  • 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érence › Article dans les actes d'une conférence/un colloque

  • Static Application-Level Race Detection in STM Haskell using Contracts

    Demeyer, R. & Vanhoof, W., 10 déc. 2013, Electronic Proceedings in Theoretical Computer Science EPTCS. Open Publishing Association, (EPTCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    45 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érence › Article dans les actes d'une conférence/un colloque

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

  • Synthesis of open reactive systems from scenario-based specifications

    Bontemps, Y. & Schobbens, P. Y., 1 janv. 2003, Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003. Institute of Electrical and Electronics Engineers Inc., Vol 2003-January. p. 41-50 10 p. 1207698

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article 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, 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érence › Article 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. (Proceedings of the 21st International Systems and Software Product Line Conference - Volume A on - SPLC '17).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Test input generation for database programs using relational constraints

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2012, Proceedings of the Fifth International Workshop on Testing Database Systems. New York, NY, USA: ACM Press, p. 6:1-6:6 6 p. (DBTest '12).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    389 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., 1 janv. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics

    Ortiz Vega, J. J., Aranda, J. & Diaz, J. F., 2005, Multiparadigm Programming in Mozart/OZ. Charleroi, Belgium: Springer, Vol 3389. p. 305-316 12 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

  • Towards a Framework for Constraint-Based Test Case Generation

    Degrave, F., Schrijvers, T. & Vanhoof, W., 2009, Proceedings of LOPSTR 2009. Vol 6037. p. 128-142 15 p. (Proceedings of LOPSTR 2009).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article 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. (Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

  • Towards Statistical Prioritization for Software Product Lines Testing

    Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 22 janv. 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol VaMoS '14. p. 10:1-10:7 8 p. 10

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

  • Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 31 mai 2014, Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

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

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

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    14 Téléchargements (Pure)

  • Using fuzzy modeling for consistent definitions of product qualities in requirements.

    Davril, J-M., Cordy, M., Heymans, P. & Acher, M., 2015, Proceedings of the Second International Workshop on Artificial Intelligence for Requirements Engineering. Institute of Electrical and Electronics Engineers Inc., p. 17-24 8 p. 7337624

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article 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 - 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érence › Article dans les actes d'une conférence/un colloque

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