Projects per year
Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit
Testing
Engineering & Materials Science
Model checking
Engineering & Materials Science
Specifications
Engineering & Materials Science
Explosions
Engineering & Materials Science
Semantics
Engineering & Materials Science
Real time systems
Engineering & Materials Science
Quality assurance
Engineering & Materials Science
Business Intelligence
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Maxime Cordy
- Research Group on the Foundations of Computer Science
- Faculty of Computer Science
- Namur Digital Institute
Person: Scientific Staff researcher with a Term Contract, Scientific Staff FNRS Scholar
Denis Darquennes
- Research Group on the Foundations of Computer Science
- Namur Digital Institute
- Faculty of Computer Science
- Department of Business Administration
Person: Scientific Staff, Scientific Staff - Didactical Support
Projects 1999 2021
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frenay, B. & Schobbens, P.
1/01/18 → 31/12/21
Project: Research
Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
1/06/16 → 31/07/18
Project: Research › Erasmus+ICT
Research Output 1991 2018
Evoq: a Visualization Tool to Support Structural Analysis of Text Documents
Clarinval, A., Linden, I., Wallemacq, A. & Dumas, B. 2018 (Accepted/In press) Proceedings of the 2018 ACM Symposium on Document Engineering. ACM Press, 10 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File
Structural analysis
Visualization
Social sciences
Model-based mutant equivalence detection using automata language equivalence and simulations
Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P. 2018 In : Journal of Systems and Software. 29 p.Research output: Contribution to journal › Article
Open Access
File
Finite automata
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 proceeding › Conference contribution
Human computer interaction
Defects
Railroad cars
Industry
Activities 2011 2017
21st International Systems and Software Product Line Conference (SPLC '17)
Devroey, X. (Contributor)26 Sep 2017 → 29 Sep 2017
Activity: Participation in conference
PAAMS 2017
Libert, C. (Contributor)21 Jun 2017 → 23 Jun 2017
Activity: Participation in workshop, seminar, course
12th International Workshop on Mutation Analysis (Mutation 2017)
Devroey, X. (Contributor)13 Mar 2017
Activity: Participation in conference
Prizes
Most Influential Paper Award
Pierre Schobbens (Recipient), Patrick Heymans (Recipient), Jean-Christophe Trigaux (Recipient) & Yves Bontemps (Recipient), 15 Sep 2016
Prize: National/international honour
Requirements engineering
Semantics
Press / Media
17th IFIP international conference on coordination models and languages (COORDINATION 2015)
19/01/15
1 item of media coverage
Press/Media: Expert Comment
6th international workshop on formal methods and analysis in spl engineering (FMSPLE 2015)
Maxime Cordy & Patrick Heymans
20/10/14
1 item of media coverage
Press/Media: Expert Comment
10th international IFIP workshop on semantic web and web semantics (SWWS 2014)
14/06/14
1 item of media coverage
Press/Media: Expert Comment
Student theses
Automatic Test Generation for Data-driven Applications
Author: Marcozzi, M., 24 Oct 2014Supervisor: Vanhoof, W. (Supervisor), Habra, N. (Jury), Hainaut, J. (Jury), Englebert, V. (Jury), WIJSEN, J. (Jury) & Serebrenik, A. (Jury)
Student thesis: Doc types › Doctor of Sciences
Behavioural model-based testing of software product lines
Author: Devroey, X., 30 Aug 2017Supervisor: Englebert, V. (President), Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Baudry, B. (Jury), Cohen, M. B. (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)
Student thesis: Doc types › Doctor of Sciences
File
Développement d'applications intelligentes au-dessus d'un réseau de capteurs sans fil
Author: Woine, R., 2012Supervisor: Jacquet, J. (Supervisor)
Student thesis: Master types › Master of Computer science
File