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

No photo of Rabeb Abida

Rabeb Abida

Person: Scientific Staff researcher with a Term Contract

No photo of Stéphane Amant

Stéphane Amant

Person: Scientific Staff - Didactical Support

Projects 1999 2021

Research Output 1969 2019

5 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, (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)

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

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

Activities 2002 2019

IIPC Web Archiving Conference 2019

Alejandra Michel (Contributor)
6 Jun 20197 Jun 2019

Activity: Participating in or organising an event typesParticipation in conference

13th International Conference on Research Challenges in Information Science

Adrien Voisin (Contributor)
29 May 201930 May 2019

Activity: Participating in or organising an event typesParticipation in conference

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Speaker)
7 May 20199 May 2019

Activity: Talk or presentation typesOral 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 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

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

Abstract Interpretation of Prolog programs: Optimizations of an implementation

Author: Englebert, V. & Roland, D., 1992

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File