Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

2019
5 Downloads (Pure)

AbsCon: A Test Concretizer for Model-based Testing

Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

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

Open Access
File
Testing
Black-box testing
Application programming interfaces (API)

A Green-by-Design Methodology to Increase Sustainability of Smart City Systems

Voisin, A., 2019, (Accepted/In press).

Research output: Contribution to conferencePaper

Sustainable development
Communication
Environmental impact
Systems analysis
Smart city

Ajout d'un dispositif de classes inversées dans un enseignement combinant cours magistraux et travaux pratiques: gage de coopération et implications?

Leclercq, T. & Boraita, F., 2019, Questions de pédagogies dans l’enseignement supérieur.

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

Attacker Behavior-Based Metric for Security Monitoring Applied to Darknet Analysis

Evrard, L., François, J. & Colin, J-N., 2019, Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management 2019.

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

BIR: A Method for Selecting the Best Interpretable Multidimensional Scaling Rotation using External Variables

Marion, R., Bibal, A. & Frenay, B., 4 Feb 2019, In : Neurocomputing. 342, p. 83-96 14 p.

Research output: Contribution to journalArticle

Ecology
Invariance
Psychology
38 Downloads (Pure)
File

Dynamic visualisation of features and contexts for context-oriented programmers

Duhoux, B., Dumas, B., Leung, H. S. & Mens, K., 18 Jun 2019, Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '19). New York: ACM Press, 6 p. 10

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

Empirical Assessment of Multimorphic Testing

Temple, P., Acher, M. & Jézéquel, J-M., 6 Jul 2019, (Accepted/In press) In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

File

FLEXPUB: developing a strategy for flexible and innovative e-services

Kruk, R., Chantillon, M., Simonofski, A., Tombal, T. & Crompvoets, J., 2019

Research output: Non-textual formWeb publication/site

Interacting with Overlaid Information in Augmented Reality Systems for Maintenance: A Preliminary Review

Cauz, M. & Cleve, A., 2019, (Accepted/In press) Proceedings of the IEEE 13th International Conference on Research Challenges in Information Science.

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

L'intelligence artificielle: nouveau défi pour l'éthique?

Lambert, D. & Ruffo De Bonneval De La Fare Des Comtes De Sinopoli De Calabre, M-D-N., Apr 2019, In : DSI. Hors-Série, 65, p. 90-92

Research output: Contribution to journalArticle

2 Downloads (Pure)

Measuring Quality and Interpretability of Dimensionality Reduction Visualizations

Bibal, A. & Frenay, B., 2019, SafeML ICLR Workshop. New Orleans, Louisiana

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

Open Access
File
Visualization
Learning systems

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

Preface to the thirteenth workshop on variability modelling of software-intensive systems

Perrouin, G. & Weyns, D., 6 Feb 2019, Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019. ACM Press, (ACM International Conference Proceeding Series).

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

8 Downloads (Pure)
Open Access
File
Belgium
electronic government
participation
communication technology
information technology
1 Downloads (Pure)

Towards Quality Assurance of Software Product Lines with Adversarial Configurations

Temple, P., Acher, M., Perrouin, G., Biggio, B., Jézéquel, J-M. & Roli, F., 2019, 23rd International Systems and Software Product Line Conference. ACM Press

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

Quality assurance
Learning systems
Classifiers
Engineers
Testing

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Plazar, Q., Acher, M., Perrouin, G., Devroey, X. & Cordy, M., 1 Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Xian, China, p. 240-251 12 p. 8730148. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

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

Open Access
3 Downloads (Pure)

User-Based Experiment Guidelines for Measuring Interpretability in Machine Learning

Bibal, A., Dumas, B. & Frenay, B., 2019, EGC Workshop on Advances in Interpretable Machine Learning and Artificial Intelligence. Metz

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

Open Access
File
Learning systems
Human computer interaction
Experiments
2018
9 Downloads (Pure)

AI in a Nutshell : Three Hands-on Activities for Teenagers

Dumas, B., Frenay, B., Henry, J., Smal, A., Collard, A-S. & Hernalesteen, A., Jun 2018, (Unpublished). 4 p.

Research output: Contribution to conferencePaper

File
artificial intelligence
emotion
expert
Teaching
resources

An Integrative Look on Citizen Participation in e-Government

Simonofski, A., 2018.

Research output: Contribution to conferencePaper

14 Downloads (Pure)

Apprentissage de la programmation par des novices: étude de l’adéquation entre concepts, outils d’apprentissage et besoins des utilisateurs

Henry, J. & Dumas, B., 27 Mar 2018, Une école numérique pour émanciper ? : Colloque scientifique, Actes de la conférence. p. 9-12 4 p.

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

Open Access
File

Blockchain and Internet of Things Opportunities and Challenges

Sok, K., Colin, J-N. & PO, K., 6 Dec 2018, Proceedings of the 9th International Symposium on Information and Communication Technology, SoICT 2018. p. 150-154 5 p.

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

Servers
Intelligent buildings
Domestic appliances
Internet of things
Refrigerators

Comparing Some Distances in Template-based 2D Gesture Recognition

Vanderdonckt, J., Dumas, B. & Cherubini, M., 21 Apr 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. ACM Press, Vol. 2018-April. p. 1-6 6 p. LBW121

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

Gesture recognition
Information retrieval
Computer science
Computer vision
Pattern recognition
1 Downloads (Pure)

Comprendre l’ordinateur à travers un système informatique tangible, le micro:bit

Théate, N., Smal, A., Frenay, B. & Henry, J., 27 Mar 2018, Une école numérique pour émanciper ?: Colloque scientifique, Actes de la conférence. 4 p.

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

Open Access
File
23 Downloads (Pure)

Context-aware and Attribute-based Access Control Applying Proactive Computing to IoT System

Picard, N., Colin, J-N. & Zampunieris, D., 2018, Proceedings of the workshop on Security, Privacy, Big Data and Internet of Things SPBDIoT 2018: Within the 3rd International Conference on Internet of Things, Big Data and Security - IoTBDS 2018. Munoz, V. M., Walters, R., Firouzi, F., Wills, G. & Chang, V. (eds.). Vol. 2018-March. p. 333-339 7 p.

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

File
Access control
Sensors
Actuators
Engines
Data storage equipment

D3.9: FAQ and roadmap 4

Van Gyseghem, J-M., Knockaert, M., Lobet-Maris, C., De Vos, N. & Thiry, F., 2018, 36 p.

Research output: Book/Report/JournalOther report

Du fétichisme de la donnée personnelle: relecture politique et critique de la vie privée

Lobet-Maris, C., 2018, Law, norms and freedom in cyberspace = Droit, normes et libertés dans le cybermonde: liber amicorum Yves Poullet. Bruxelles: Larcier , p. 685-698 (Collection du CRIDS; no. 43).

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

"Et si demain je devais enseigner l'informatique?": Le cas des enseignants de Belgique francophone

Smal, A. & Henry, J., 7 Feb 2018, De 0 à 1 ou l'heure de l'informatique à l'école: Actes du colloque Didapro 7 - DidaSTIC. Bern: Peter lang, p. 129 - 150 22 p. 6

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

67 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
5 Downloads (Pure)

Finding the Most Interpretable MDS Rotation for Sparse Linear Models based on External Features

Bibal, A., Marion, R. & Frenay, B., 2018, 26th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges, p. 537-542 7 p.

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

Open Access
File
Software engineering
Communication

Hearing the Voice of Citizens in Smart City Design: The CitiVoice Framework

Simonofski, A., Serral Asensio, E., De Smedt, J. & Snoeck, M., 2018, In : Business & Information Systems Engineering. 15 p.

Research output: Contribution to journalArticle

Audition
Smart city
Defects
4 Downloads (Pure)

Intelligence Artificielle: Éduquer pour modifier la représentation qu’en ont les jeunes

Olivier, B., Smal, A., Frenay, B. & Henry, J., 27 Mar 2018, Une école numérique pour émanciper ?: Colloque scientifique, Actes de la conférence. p. 34-37 4 p.

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

Open Access
File

Interaction and User Integration in Machine Learning for Information Visualisation

Dumas, B., Frenay, B. & Lee, J., 25 Apr 2018, ESANN 2018 proceedings, European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. i6doc.com.publ., p. 97-104 8 p.

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

Learning systems
Visualization
Navigation
Feedback

La notion de "donnée à caractère personnel" a-t-elle encore un sens dans la protection des données de communications électroniques ?

Rosier, K., 2018, Law, norms and freedom in cyberspace = Droit, normes et libertés dans le cybermonde: liber amicorum Yves Poullet. Bruxelles: Larcier , p. 699-714 (Collection du CRIDS; no. 43).

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

Les religions: Terreau de violence ou source de paix ?

Peters, M. (ed.), Attiya, R., Benzine, R., Delruelle, E., Dierickx, G., Gevers, M., Haddad, G., Larousse, V., Morelli, A. & Scheuer, J., 2 Jul 2018, Namur: Presses universitaires de Namur. 140 p.

Research output: Book/Report/JournalBook

26 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
14 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

Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)

Cleve, A., Kindler, E., Stevens, P. & Zaytsev, V., 2018, In : Dagstuhl Reports. 8, 12

Research output: Contribution to journalArticle

New Generation of Flexible Public Services (2016-2020)

Chantillon, M., Simonofski, A., Tombal, T. & Kruk, R., 2018.

Research output: Contribution to conferencePoster

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

Perceptions of computer science among children after a hands-on activity: A pilot study

Henry, J. & Dumas, B., 17 Apr 2018, Proceedings of 2018 IEEE Global Engineering Education Conference: Emerging Trends and Challenges of Engineering Education, EDUCON 2018. IEEE

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

computer science
programming
technology studies
electricity
creativity