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
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/19
Project: Research
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frenay, B., Schobbens, P., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
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, (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 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
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 proceeding › Conference contribution
Activities 2002 2019
IIPC Web Archiving Conference 2019
Alejandra Michel (Contributor)6 Jun 2019 → 7 Jun 2019
Activity: Participating in or organising an event types › Participation in conference
13th International Conference on Research Challenges in Information Science
Adrien Voisin (Contributor)29 May 2019 → 30 May 2019
Activity: Participating in or organising an event types › Participation in conference
NASA Formal Methodos 2019
James Jerson Ortiz Vega (Speaker)7 May 2019 → 9 May 2019
Activity: Talk or presentation types › Oral presentation
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
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
Abstract Interpretation of Prolog programs: Optimizations of an implementation
Author: Englebert, V. & Roland, D., 1992Supervisor: Le Charlier, B. (Supervisor)
Student thesis: Master types › Master in Computer science
File