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.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Ph.D. Thesis : The identity of the contracting party in open networks
Poullet, Y. & Davio, E.
1/09/96 → 31/08/01
Project: Research
-
-
MPE: Formal Requirements Engineering of Manufacturing Systems: A Multi-Formalism and Component-Based Approach
1/10/92 → 27/10/99
Project: PHD
Research output
-
Algorithmic Realism vs. the Matters of Law
Rouvroy, A., 2023, (In preparation) In: Law and Critique.Research output: Contribution to journal › Special issue › peer-review
-
Anti-unification of Unordered Goals
Yernaux, G. & VANHOOF, W., 27 Jan 2022. 17 p.Research output: Contribution to conference › Paper › peer-review
Open Access11 Downloads (Pure) -
Constraint Enforcement on Decision Trees: a Survey
Nanfack, G., Temple, P. & Frénay, B., 6 Jan 2022, In: ACM Computing Surveys. 34 p.Research output: Contribution to journal › Article › peer-review
Open Access
Activities
-
26th ACM International Systems and Software Product Line Conference (SPLC 2022)
Xavier Devroey (Member of Organizing Committee) & Laura Semini (Member of Organizing Committee)
12 Sep 2022 → 16 Sep 2022Activity: Participating in or organising an event types › Participation in conference
-
La transposition de la directive sur les lanceurs d’alerte en droit belge : Evolution ou révolution ?
Alejandra Michel (Participant)
3 May 2022Activity: Participating in or organising an event types › Participation in conference
-
Presentation "Deciphering the Data Act proposal" to the EU Joint Research Center (with Dr. Inge Graef - Tilburg University)
Thomas Tombal (Contributor)
26 Apr 2022Activity: Participating in or organising an event types › Participation in conference
Prizes
-
-
Best New Idea and Emerging Results (NIER) Paper Award at the 20th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM 2020)
Fink, Jerome (Recipient), Gobert, Maxime (Recipient) & Cleve, Anthony (Recipient), 2020
Prize: Prize (including medals and awards)
-
Best paper at International Conference Modelsward'2014
Englebert, Vincent (Recipient), 7 Jan 2014
Prize: Prize (including medals and awards)
Press / Media
-
Alexandre de Streel, Professor of European Law at the University of Namur CERRE
13/04/22
1 item of Media coverage
Press/Media: Expert Comment
-
-
British Public To Receive The Opportunity To Invest Directly In Advanced Self-driving Technology On The Roads Today
1/03/22
23 items of Media coverage
Press/Media: Expert Comment
Datasets
-
LSFB Annotations - Phase 2
Meurant, L. (Creator), Bernagou, É. (Creator), PALIGOT, A. (Creator), Gobert, M. (Creator) & Fonze, S. (Contributor), University of Namur, 2021
Dataset
-
GDED (GitDelver Enterprise Dataset)
RIQUET, N. (Creator), Devroey, X. (Contributor) & Vanderose, B. (Contributor), Zenodo, 11 Jan 2022
Dataset
-
Replication package of An Application of Model Seeding to Search-based Unit Test Generation for Gson
Derakhshanfar, P. (Creator), Olsthoorn, M. (Creator) & Devroey, X. (Creator), Zenodo, 28 Jul 2020
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 -
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