Projects per year
Fingerprint Dive into the research topics where Faculty of Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Reverse engineering
Engineering & Materials Science
Semantics
Engineering & Materials Science
Information systems
Engineering & Materials Science
Requirements engineering
Engineering & Materials Science
Specifications
Engineering & Materials Science
Industry
Engineering & Materials Science
Web services
Engineering & Materials Science
Model checking
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Projects 1999 2021
SECO-ASSIST: Automated Assistance for Developing Software in Ecosystems of the Future
1/01/18 → 31/12/21
Project: Research
TYPHON: Polyglot and Hybrid Persistence Architectures for Big Data Analytics
1/01/18 → 31/12/20
Project: Research
Research Output 1969 2019
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 proceeding › Conference contribution
Open Access
File
Testing
Black-box testing
Application programming interfaces (API)
A Flexible and Centralized Approach for Access Control in Heterogeneous IoT Environment
Colin, J-N. & Evrard, L., 2019, In : International Journal of Hyperconnectivity and the Internet of Things (IJHIoT). 3, 1, p. 22-42 21 p.Research output: Contribution to journal › Article
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 conference › Paper
Sustainable development
Communication
Environmental impact
Systems analysis
Smart city
Activities 2002 2019
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Speaker)8 Oct 2019
Activity: Talk or presentation types › Invited talk
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Speaker), Wim Vanhoof (Speaker)9 Oct 2019
Activity: Talk or presentation types › Oral presentation
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant), Wim Vanhoof (Participant)8 Oct 2019 → 10 Oct 2019
Activity: Participating in or organising an event types › Participation in conference
Prizes
Best paper at International Conference Modelsward'2014
Vincent Englebert (Recipient), 7 Jan 2014
Prize: Prize (including medals and awards)
Merging
Software engineering
Electric potential
Best Paper Award
Loup Meurice (Recipient), Anthony Cleve (Recipient) & Csaba Nagy (Recipient), 2016
Prize: Prize (including medals and awards)
Press / Media
"Le numérique en classe" (interview radio)
Julie Henry & Etienne Vandeput
22/09/17
1 Media contribution
Press/Media: Other
L’Internet des objets, une lame de fond nommée « révolution 4.0 » !
1/06/17
1 Media contribution
Press/Media: Expert Comment
Datasets
LSFB Annotations - Phase 2
Meurant, L. (Creator), Bernagou, É. (Creator), Paligot, A. (Creator), Gobert, M. (Creator), University of Namur, 2021
Dataset
Student theses
A Blackboard Approach to Concurrent Constraint Programming
Author: Pires da Costa, J. M., 1996Supervisor: Jacquet, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File
About dynamic interfaces today
Author: Staes, O., 1985Supervisor: Ramaekers, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File
Abstract Interpretation of full Prolog
Author: Chabot, F. & Joucken, P., 1995Supervisor: Le Charlier, B. (Supervisor)
Student thesis: Master types › Master in Computer science
File