Profil personnel

Présentation

Après des études de sciences physiques et d'informatique, à l'issue d'une spécialisation en sûreté et sécurité du logiciel, j'ai eu l'opportunité d'intégrer la faculté d'informatique de l'université de Namur. Je travaille actuellement sur la valorisation des résultats de recherche dans le domaine des lignes de produits logiciels et des technologies de configuration.

Diplômes

Licence et Maîtrise d'Informatique, Université Pierre et Marie Curie - Paris VIDESS Développement de Logiciels Sûrs, Université Pierre et Marie Curie - Paris VI & CNAM

Présentation

Après des études de sciences physiques et d'informatique, à l'issue d'une spécialisation en sûreté et sécurité du logiciel, j'ai eu l'opportunité d'intégrer la faculté d'informatique de l'université de Namur. Je travaille actuellement sur la valorisation des résultats de recherche dans le domaine des lignes de produits logiciels et des technologies de configuration.

Diplômes

Licence et Maîtrise d'Informatique, Université Pierre et Marie Curie - Paris VI
DESS Développement de Logiciels Sûrs, Université Pierre et Marie Curie - Paris VI & CNAM

Empreinte digitale L’empreinte digitale est basée sur l’exploration du texte des documents scientifiques d’individus afin de créer un index de termes pondérés, qui définit les thèmes clés de chaque chercheur individuel.

  • 4 Profils similaires
Merging Ingénierie et Science des Matériaux
Ontology Ingénierie et Science des Matériaux
Sustainable development Ingénierie et Science des Matériaux
engineering sciences sociales
language sciences sociales
Modeling languages Ingénierie et Science des Matériaux
Requirements engineering Ingénierie et Science des Matériaux
Electric grounding Ingénierie et Science des Matériaux

Projets 2004 2015

Résultat de recherche 2005 2011

Discovering Sustainability Requirements: an Experience Report

Mahaux, M., Saval, G. & Heymans, P. 2011 Proceedings of the 17th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2011, Essen, Germany, March 28-30, 2011.. Vol 6606, p. 19-33 15 p.

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

Sustainable development
Requirements engineering

Some Challenges of Feature-based Merging of Class Diagrams

Saval, G., Pinna Puissant, J., Heymans, P. & Mens, T. 2009 Proceedings of the Third Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09). Benavides, D., Metzger, A. & Eisenecker, U. (eds.). Duisburg-Essen: Institute for Computer Science and Business Information Systems , Vol 29, p. 127-136 10 p.

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

!!File
Merging
Modeling languages

Cross-Checking Disambiguated Product Line Variability Models (non reviewed, extended abstract)

Heymans, P., Metzger, A., Schobbens, P-Y., Pohl, K. & Saval, G. 2007 Proceedings of the 6th BElgian-NEtherlands software eVOLution workshop (BENEVOL'07). Cleve, A., Heymans, P. & Habra, N. (eds.).

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

Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis

Metzger, A., Heymans, P., Pohl, K., Schobbens, P-Y. & Saval, G. 2007 Proceedings of 15th IEEE International Requirements Engineering Conference (RE'07). Sutcliffe, A. & Jalote, P. (eds.). IEEE Computer Society Press

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

Industry

Activités 2005 2007

  • 10 Participation à une conférence, un congrès
  • 7 Participation à un atelier/workshop, un séminaire, un cours

6th Belgian-Netherlands Software Evolution Workshop (BENEVOL 2007)

Saval, G. (Participant)
13 déc. 200714 déc. 2007

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

PReCISE Day

Saval, G. (Orateur)
12 déc. 2007

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

First interactive City of Requirements Seminar: Challenges in Requirements and Specification of Software Intensive Products

Saval, G. (Participant)
28 nov. 2007

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

19th International School for Computer Science Researchers, Advances in Software Engineering

Saval, G. (Participant)
8 juil. 200721 juil. 2007

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

Conference Francophone sur les Approches Formelles dans l'Assistance au Developpement de Logiciels (AFADL'07)

Saval, G. (Organisateur)
13 juin 200715 juin 2007

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

Thèse

A Feature-based Configurtor for CAM

Auteur: Colige, S., 12 sept. 2012

Superviseur: Heymans, P. (Promoteur), Hubaux, A. (Copromoteur) & Saval, G. (Copromoteur)

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

Comparaison d'outils d'ingénierie des exigences dirigée par les modèles.

Auteur: Van Kerckhoven, M., 11 sept. 2012

Superviseur: Heymans, P. (Promoteur) & Saval, G. (Copromoteur)

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

Vers un nouvel éditeur graphique de modèles de variabilité

Auteur: Talon, J., 31 août 2015

Superviseur: Heymans, P. (Promoteur) & Saval, G. (Copromoteur)

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