Research group on the foundations of computer sciences

  • 5000

    Belgique

Empreinte digitale Passez en revue plus en détail les thèmes de recherche où Research group on the foundations of computer sciences est actif. Ces libellés thématiques proviennent des travaux des membres de cette organisation. Ensemble, ils forment une empreinte digitale unique.

  • Réseau Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

    Projets

    Résultat de recherche

    An SMT-Based Concolic Testing Tool for Logic Programs

    Titre traduit de la contribution: Un outil de concolic testing basé sur un soldeur SMT pour les programmes logiquesFortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 janv. 2020, (Accepté/sous presse).

    Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

    Introduire la concurrence en début de secondaire

    Libert, C. & Vanhoof, W., 2020. 12 p.

    Résultats de recherche: Contribution à un événement scientifique (non publié)Article

    Accès ouvert

    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)

  • Activités

    Introduire la concurrence en début de secondaire

    Cédric Libert (Orateur)
    6 févr. 2020

    Activité: Types de discours ou de présentationPrésentation orale

    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

    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

  • 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èses 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