Projects per year
Fingerprint Dive into the research topics where Research Center on Information Systems Engineering is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Requirements engineering
Engineering & Materials Science
Semantics
Engineering & Materials Science
Industry
Engineering & Materials Science
Testing
Engineering & Materials Science
Web services
Engineering & Materials Science
Specifications
Engineering & Materials Science
Information systems
Engineering & Materials Science
Software engineering
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Moussa Amrani
Person: Scientific Staff researcher with a Term Contract, Scientific Staff Visiting researcher
Adrien Bibal
- Faculty of Computer Science
- Namur Digital Institute
- Research Center on Information Systems Engineering
Person: Temporary Scientific Staff
Corentin Burnay
- Namur Digital Institute
- Research Center on Information Systems Engineering
- Department of Economics and Management in shift schedule
Person: Academic staff, Definitive Academic Staff
Projects 1989 2022
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
Research Output 1974 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 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 proceeding › Chapter (peer-reviewed)
Explosions
A Discussion of the Impact of Judgmental Heuristics on Elicitation during Requirements Engineering
Burnay, C., Jureta, I. & Faulkner, S., 29 Jun 2019, Proceedings of the 13th International Conference on Research Challenges in Information Science, Belgium, Brussels. 7 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File
Activities 2002 2019
EIAH 2019
Julie Henry (Organiser), Fanny Boraita (Organiser)4 Jun 2019
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
NASA Formal Methodos 2019
James Jerson Ortiz Vega (Speaker)7 May 2019 → 9 May 2019
Activity: Talk or presentation types › Oral presentation
REGARD SUR LES COMPÉTENCES DÉVELOPPÉES AVEC DES ROBOTS CHEZ LES JEUNES ENFANTS
Julie Henry (Speaker), Fanny Boraita (Speaker)25 Apr 2019 → 26 Apr 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)
Best Student Presentation — at the participants' workshop
Nesrine Noughi (Recipient), 23 Aug 2015
Prize: National/international honour
Press / Media
L’Internet des objets, une lame de fond nommée « révolution 4.0 » !
1/06/17
1 Media contribution
Press/Media: Expert Comment
L'Université au coeur d'une ville et d'un territoire intelligent
24/03/17
1 Media contribution
Press/Media: Public Engagement Activities
Student theses
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
A case base as a learning tool for the design of human computer interfaces
Author: Michiels, R., 1999Supervisor: Bodart, F. (Supervisor)
Student thesis: Master types › Master in Computer science
Accidents de la route autour du domicile : un modèle probabiliste
Author: Thiran, P., 1995Student thesis: Master types › Master in Mathematics