Research group on the foundations of computer sciences

  • 5000

    Belgique

Empreinte digitale Examinez les sujets de recherche où Research group on the foundations of computer sciences est actif. Ces libellés de rubriques sont le fruit de recherches menées par les membres de cette organisation. Ensemble, ils forment une empreinte digitale unique.

Testing Ingénierie et Science des Matériaux
Model checking Ingénierie et Science des Matériaux
Specifications Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux
Explosions Ingénierie et Science des Matériaux
Real time systems Ingénierie et Science des Matériaux
Quality assurance Ingénierie et Science des Matériaux
Business Intelligence mathématiques

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 1999 2023

Résultat de recherche 1991 2019

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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Explosions

Analysis of Students' Preconceptions of Concurrency

Titre traduit de la contribution: Analyse des préconceptions d'étudiants sur la concurrenceLibert, C. & Vanhoof, W., 2019, Proceedings of the 1st ACM SIGSOFT International Workshop on Education Through Advanced Software Engineering and Artificial Intelligence. New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Teaching
Students

An on-line platform for supporting DSS-research collaboration (EWG-DSS Collab-Net Version 5)

Turet, J., Moura, J., Cabral Seixas Costa, A. P., Dargam, F., Zaraté, P. & Linden, I., mai 2019, EmC-ICDSST 2019 5th International Conference on Decision Support System Technology: Decision Support Systems: Main Developments & Future Trends. Abreu Freitas, P. S., Dargam, F., Ribeiro, R., Moreno Jimenez, J. M. & Papathanasiou, J. (eds.). Toulouse, p. 186-192

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Activités 2011 2020

Journées Francophones Extraction et Gestion des Connaissances

Etienne Cuvelier (Organisateur), Isabelle Linden (Organisateur), Christian Colot (Organisateur), Monique Noirhomme (Organisateur)
27 janv. 202031 janv. 2020

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

FOCUS Research Seminar

Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation), Christian Colot (Membre du Comité d'Organisation)
6 déc. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Grascomp Doctoral Day

Manel Barkallah (Participant)
22 nov. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Prix

IBM Belgium Prijs informatica

Wim Vanhoof (Bénéficiaire), 1996

Prix: Mise à l'honneur nationale/internationale

Most Influential Paper Award

Pierre Schobbens (Bénéficiaire), Patrick Heymans (Bénéficiaire), Jean-Christophe Trigaux (Bénéficiaire) & Yves Bontemps (Bénéficiaire), 15 sept. 2016

Prix: Mise à l'honneur nationale/internationale

Requirements engineering
Semantics

Presse/Médias

17th IFIP international conference on coordination models and languages (COORDINATION 2015)

Jean-Marie Jacquet

19/01/15

1 élément de Couverture média

Presse/Médias: Commentaire d'expert

6th international workshop on formal methods and analysis in spl engineering (FMSPLE 2015)

Maxime Cordy & Patrick Heymans

20/10/14

1 élément de Couverture média

Presse/Médias: Commentaire d'expert

10th international IFIP workshop on semantic web and web semantics (SWWS 2014)

Pierre Schobbens

14/06/14

1 élément de Couverture média

Presse/Médias: Commentaire d'expert

Thèse de l'étudiant

A Blackboard Approach to Concurrent Constraint Programming

Auteur: Pires da Costa, J. M., 1996

Superviseur: Jacquet, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Applications de la programmation déclarative au problème de planification des visites médicales des Services de Promotion de la Santé à l'Ecole

Auteur: Rwanyindo, C., 22 juin 2019

Superviseur: Jacquet, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Automatic Test Generation for Data-driven Applications

Auteur: Marcozzi, M., 24 oct. 2014

Superviseur: Vanhoof, W. (Promoteur), Habra, N. (Jury), Hainaut, J. (Jury), Englebert, V. (Jury), WIJSEN, J. (Personne externe) (Jury) & Serebrenik, A. (Personne externe) (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences