Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

2019
7 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, p. 15-22 8 p. (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 Decade of Featured Transition Systems

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., Oct 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Explosions
Access control
Internet of things

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

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

Annexe au rapport WP2: synthèse des enjeux pertinents pour les AGR et pour la KBR

De Terwangne, C., Michaux, B. & Michel, A., 2019, Namur: Crids. 14 p.

Research output: Book/Report/JournalCommissioned report

3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

Research output: Contribution to journalArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials

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

Evrard, L., François, J. & Colin, J-N., 16 May 2019, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. IEEE, p. 89-97 9 p. 8717917

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

Semantics
Monitoring
Telescopes
Quality of service

Attention ou vision: quelle éthique pour la standpoint theory ?

Grandjean, N., 2019, Valeurs de l'attention: perspectives éthiques, politiques et épistémologiques. Villeneuve d'Ascq : Presses Universitaires du Septentrion, p. 225-245

Research output: Contribution in Book/Catalog/Report/Conference proceedingForeword/postscript

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

File
Ecology
Invariance
Psychology
82 Downloads (Pure)
Open Access
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 2019. New York: ACM Press, 6 p. 3328240. (Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019).

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

Visualization
Computer programming languages
2 Downloads (Pure)

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

Engaging Children in the Smart City: a Participatory Design Workshop

Simonofski, A., Dumas, B. & Clarinval, A., 2019. 4 p.

Research output: Contribution to conferencePaper

Open Access
File
political discourse
smart city
young
citizen
public

Explorer les valeurs de l’attention

Grandjean, N. & Loute, A., 2019, Valeurs de l'attention: perspectives éthiques, politiques et épistémologiques. Villeneuve d'Ascq : Presses Universitaires du Septentrion, p. 9-15

Research output: Contribution in Book/Catalog/Report/Conference proceedingForeword/postscript

Feature-family-based reliability analysis of software product lines

Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 9 Sep 2019, SPLC 2019 - 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, (ACM International Conference Proceeding Series; vol. A).

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

Reliability analysis
Model checking
Experiments
Explosions
Data structures

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

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

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks

Port2dist: Semantic port distances for network analytics

Evrard, L., Francois, J., Colin, J. N. & Beck, F., 16 May 2019, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. Institute of Electrical and Electronics Engineers Inc., p. 747-748 2 p. 8717840. (2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019).

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

Semantics
Learning systems
Demonstrations
Scanning

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

Programmation tangible: vers une évaluation des concepts perçus par l’enfant à travers la manipulation d’un outil

Henry, J., Boraita, F. & Dumas, B., 2019, Des ressources numériques pour ressourcer les pratiques: Actes du 2e colloque scientifique Ludovia#CH. p. 9-12 4 p.

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

Open Access
File

PROMISE: aspects légaux de l’accès (WP 4)

Michel, A. & De Terwangne, C. (ed.), 2019, Namur: Crids. 39 p.

Research output: Book/Report/JournalCommissioned report

Open Access

Sojourn Time Distribution in Fluid Queues

Deiana, E., Remiche, M-A. & Latouche, G., 27 Aug 2019, Queueing Theory and Network Applications: 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings. Springer, Vol. 11688. p. 295-313

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

Fluid Queue
Sojourn Time
Buffer
Fluid Flow
Laplace-Stieltjes Transform

The materiality of virtuality: towards an intensification of invisibilities

Loute, A. & Grandjean, N., 2019, In : (In)Disciplines. 3, p. 17 p.

Research output: Contribution to journalArticle

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

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

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

Research output: Contribution to conferencePaper

File

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
Sampling
Testing
Cost effectiveness
Experiments
Linux
4 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

User-steering Interpretable Visualization with Probabilistic Principal Components Analysis

Vu, V. M. & Frenay, B., 28 Mar 2019, ESANN 2019 - Proceedings, 27th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning: 27th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. i6doc.com publication, p. 349-354 6 p.

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

Open Access
File
Principal component analysis
Visualization
Learning systems
Feedback
2018
13 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

A methodological framework to enable the generation of code from DSML in SPL

Belarbi, M., 30 Mar 2018, Proceedings of the 22nd International Systems and Software Product Line Conference. suède, gothenburg, Vol. 2. p. 64-71 8 p.

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

Open Access
File
Maintainability
Industrial plants
Internet
Experiments
Code generation

An Integrative Look on Citizen Participation in e-Government

Simonofski, A., 2018.

Research output: Contribution to conferencePaper

16 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
3 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