Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Research Output 1991 2019

2019

Analysis of Students' Preconceptions of Concurrency

Libert, C. & Vanhoof, W., 2019, Proceedings of the 1st ACM SIGSOFT International Workshop on Education Through Advanced Software Engineering and Artificial Intelligence. New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

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

Teaching
Students
3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 31 Jul 2019, (Accepted/In press) In : Theory and Practice of Logic Programming. 16 p.

Research output: Contribution to journalArticle

File
Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials
53 Downloads (Pure)
File

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. Rozier, K. Y. & Badger, J. M. (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

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks

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

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

Research output: Contribution to conferencePaper

File
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

redevelopment
decision support system
sustainability
decision
planning

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

74 Downloads (Pure)

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
Structural analysis
Visualization
Social sciences
27 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
Finite automata
15 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
Taxonomies
Testing
Specifications
Costs

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
Expressiveness
Multiplicity
Distributed Systems
Language
Family

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

Human computer interaction
Defects
Railroad cars
Industry

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

Repair
Industry
1 Downloads (Pure)

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., 17 Jul 2018, In : Empirical Software Engineering . p. 1-44 44 p.

Research output: Contribution to journalArticle

Open Access
File
Sampling
Testing
Scaffolds
Program processors
Chemical analysis
2017
13 Downloads (Pure)

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
Automata theory
Finite automata

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

Software testing
Testing
Research laboratories
18 Downloads (Pure)

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
Real time systems
Clocks
Computability and decidability
Explosions
14 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
Testing
228 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

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

Launching
Visualization
Processing
Social Media
Communication Channels
84 Downloads (Pure)
Open Access
File
Software Product Lines
Prioritization
Testing
Feature Model
Statistical tests
16 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
Software Visualization
Message passing
Message Passing
Concurrency
Visualization

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

Customers
Clustering
Attribute
Specification
Specifications

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

Testing
Costs
36 Downloads (Pure)

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
Software engineering
Engines
Testing
104 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
Application programs
Teaching
Students
Sampling
Linux
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

Mobile devices
Mobile Devices
Collective Behavior
Two Dimensions
Likely

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

Broadcasting
Wireless sensor networks

Beyond de-facto standards for designing human-computer interactions in configurators

Leclercq, T., Davril, J. M., Cordy, M. & Heymans, P., 2016, CEUR Workshop Proceedings. Vol. 1705. p. 40-43 4 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Human computer interaction
Enterprise resource planning
Insurance
Graphical user interfaces
Mobile phones

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

Does text analytics fit text analytics needs?

Linden, I. & Wallemacq, A., 2016.

Research output: Contribution to conferenceAbstract

99 Downloads (Pure)

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

Open Access
File
Testing

Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

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

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

Modeling languages
Product development
Software engineering
Automation
Productivity

How a BI-wise responsible integrated management system may support food traceability

Gianni, M., Gotzamani, K. & Linden, I., 1 Apr 2016, In : International Journal of Decision Support System Technology. 8, 2, p. 1-17 17 p., 1.

Research output: Contribution to journalArticle

Business Intelligence
Competitive intelligence
Traceability
Supply Chain
Supply chains
4 Downloads (Pure)
Deposits

Real-time model-driven engineering: An overview

Amrani, M. & Schobbens, P. Y., 2016, In : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

Research output: Contribution to journalArticle

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

Self-adaptation
Programming
Configuration
Servers
Web Server
34 Downloads (Pure)

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

Open Access
File
Testing
Evolutionary algorithms

Towards a framework for algorithm recognition in binary code

Mesnard, F., Payet, E. & Vanhoof, W., 2016, p. 202. 2013 p.

Research output: Contribution to conferencePaper

Un outil d'aide à la conception des formes normales en logique propositionnelle

Désiron, K., Remiche, M-A. & Vanhoof, W., 2016, Actes de la conférence Didapro 6 - DidaSTIC Didactique de l'informatique et des STIC: Quelles éducations au numérique, en classe et pour la vie ? . 2 p.

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

2015
115 Downloads (Pure)
File
Testing
Surface mount technology

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

Specifications
Controllers
171 Downloads (Pure)

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

Open Access
File
Testing
Momentum