Faculty of Computer Science

  • 5000

    Belgium

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

Photo of Ebrahim Khalil Abbasi

Ebrahim Khalil Abbasi

Person: Scientific Staff PostDoc Scholar

20092014
No photo of Rabeb Abida

Rabeb Abida

Person: Scientific Staff Scolar PhD

Projects 1999 2021

Research Output 1969 2019

6 Downloads (Pure)

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 proceedingConference contribution

Open Access
File
Testing
Black-box testing
Application programming interfaces (API)
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 conferencePaper

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 typesInvited talk

Generalization-driven semantic clone detection in CLP

Gonzague Yernaux (Speaker), Wim Vanhoof (Speaker)
9 Oct 2019

Activity: Talk or presentation typesOral presentation

29th International Symposium on Logic-Based Program Synthesis and Transformation

Gonzague Yernaux (Participant), Wim Vanhoof (Participant)
8 Oct 201910 Oct 2019

Activity: Participating in or organising an event typesParticipation 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)

Best Paper Nominee

Michaël Marcozzi (Recipient), 16 Jul 2011

Prize: Other distinction

Press / Media

"Le numérique en classe" (interview radio)

Julie Henry & Etienne Vandeput

22/09/17

1 Media contribution

Press/Media: Other

Les objets connectés

Bruno Dumas

16/05/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., 1996

Supervisor: Jacquet, J. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

About dynamic interfaces today

Author: Staes, O., 1985

Supervisor: Ramaekers, J. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Abstract Interpretation of full Prolog

Author: Chabot, F. & Joucken, P., 1995

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File