Activities

1st International Workshop on Machine Learning and Software Engineering in Symbiosis (Event)
Perrouin, G. (Chair), Xavier Devroey (Chair), Cordy, M. (Chair), Mathieu Acher (Chair)
3 Sep 2018

Activity: MembershipMembership of committee

Feature-based Modelling and Automations
Heymans, P. (Speaker), Schobbens, P. (Speaker), Perrouin, G. (Speaker)
28 May 2018

Activity: Talk or presentationOral presentation

21st International Systems and Software Product Line Conference (SPLC '17)
Devroey, X. (Contributor)
26 Sep 201729 Sep 2017

Activity: Participating in or organising an eventParticipation in conference

Testing Variability-intensive Systems
Perrouin, G. (Speaker), Devroey, X. (Speaker), Cordy, M. (Speaker)
26 Sep 2017

Activity: Talk or presentationInvited talk

PAAMS 2017
Libert, C. (Contributor)
21 Jun 201723 Jun 2017

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

13th Workshop on Advances in Model Based Testing (A-MOST '17)
Devroey, X. (Member of Organizing Committee)
17 Mar 2017

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

12th International Workshop on Mutation Analysis (Mutation 2017)
Devroey, X. (Contributor)
13 Mar 2017

Activity: Participating in or organising an eventParticipation in conference

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Devroey, X. (Contributor)
13 Mar 201718 Mar 2017

Activity: Participating in or organising an eventParticipation in conference

11th International Workshop on Variability Modelling of Software-intensive Systems
Devroey, X. (Contributor)
1 Feb 20173 Feb 2017

Activity: Participating in or organising an eventParticipation in conference

NASA Formal Methods Symposium
Ortiz Vega, J. J. (Speaker)
2017 → …

Activity: Talk or presentationOral presentation

NASA Formal Methods Symposium
Ortiz Vega, J. J. (Contributor)
2017 → …

Activity: Participating in or organising an eventParticipation in conference

Informatiesystemen
Vanhoof, W. (Speaker)
14 Dec 2016

Activity: Talk or presentationOral presentation

Databases en het drie lagen model
Vanhoof, W. (Speaker)
13 Dec 2016

Activity: Talk or presentationOral presentation

Université de la Réunion
Vanhoof, W. (Visiting researcher)
20 Nov 201625 Nov 2016

Activity: Visiting an external institutionVisiting an external academic institution

Scade Academic Community Conference
Ortiz Vega, J. J. (Participant)
8 Sep 20169 Sep 2016

Activity: Participating in or organising an eventParticipation in conference

Principles and Practice of Declarative Programming
Vanhoof, W. (Speaker)
7 Sep 2016

Activity: Participating in or organising an eventParticipation in conference

The International Symposium on Software Testing and Analysis (ISSTA'16)
Devroey, X. (Participant)
18 Jul 201620 Jul 2016

Activity: Participating in or organising an eventParticipation in conference

Micro-mondes et passage de messages: vers une nouvelle façon d'aborder la programmation ?
Libert, C. (Speaker)
5 Jul 2016

Activity: Talk or presentationOral presentation

38th International Conference on Software Engineering
Devroey, X. (Speaker)
18 May 201620 May 2016

Activity: Participating in or organising an eventParticipation in conference

9th International Workshop on Search-Based Software Testing
Devroey, X. (Participant)
16 May 201617 May 2016

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Formal Aspects of Computing (Journal)
Vanhoof, W. (Peer reviewer)
1 Apr 20161 Jun 2016

Activity: Publication peer-review and editorial workPublication peer-review

Clone detection in logic programs: awards a semantical approach
Vanhoof, W. (Speaker)
28 Jan 2016

Activity: Talk or presentationInvited talk

Didapro 6
Libert, C. (Contributor)
27 Jan 2016

Activity: Participating in or organising an eventParticipation in conference

Université de la Réunion
Vanhoof, W. (Visiting researcher)
25 Jan 201629 Jan 2016

Activity: Visiting an external institutionVisiting an external academic institution

GRASCOMP Doctoral Day
Devroey, X. (Poster)
10 Dec 2015

Activity: Participation to a Symposium, a study Day

Formal Aspects of Computing (Journal)
Vanhoof, W. (Peer reviewer)
1 Nov 201531 Dec 2015

Activity: Publication peer-review and editorial workPublication peer-review

Journée des Doctorants en Informatique 2015
Devroey, X. (Organiser)
26 Jun 2015

Activity: Participation to a Symposium, a study Day

Journée des Doctorants en Informatique 2015
Devroey, X. (Speaker)
26 Jun 2015

Activity: Participation to a Symposium, a study Day

Journée des Doctorants en Informatique 2015
Devroey, X. (Poster)
26 Jun 2015

Activity: Participation to a Symposium, a study Day

37th International Conference on Software Engineering (ICSE 2015)
Devroey, X. (Poster)
20 May 201522 May 2015

Activity: Participating in or organising an eventParticipation in conference

4th International Workshop on Games and Software Engineering (GAS'15)
Devroey, X. (Participant)
18 May 2015

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

11th Workshop on Advances in Model Based Testing (A-MOST '15)
Devroey, X. (Speaker)
17 Apr 2015

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

8th IEEE International Conference on Software Testing, Verification and Validation (ICST '15)
Devroey, X. (Participant)
14 Apr 201516 Apr 2015

Activity: Participating in or organising an eventParticipation in conference

10th International Workshop on Mutation Analysis (Mutation '15)
Devroey, X. (Participant)
13 Apr 2015

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Information & Software Technology (Journal)
Marcozzi, M. (Peer reviewer)
30 Jan 2015

Activity: Publication peer-review and editorial workEditorial activity

9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '15)
Devroey, X. (Speaker)
21 Jan 201523 Jan 2015

Activity: Participating in or organising an eventParticipation in conference

Journée Ligne de Produits '14
Devroey, X. (Speaker)
9 Dec 2014

Activity: Participation to a Symposium, a study Day

22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE '14)
Devroey, X. (Speaker)
18 Nov 201421 Nov 2014

Activity: Participating in or organising an eventParticipation in conference

6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Devroey, X. (Speaker)
8 Oct 201411 Oct 2014

Activity: Participating in or organising an eventParticipation in conference

18th International Software Product Lines Conference (SPLC'14)
Devroey, X. (Speaker)
16 Sep 201419 Sep 2014

Activity: Participating in or organising an eventParticipation in conference

1st Workshop on Software Product Line Analysis Tools (SPLat'14)
Devroey, X. (Speaker)
16 Sep 2014

Activity: Participating in or organising an eventParticipation in conference

Logic-based Program Synthesis and Transformation (LOPSTR) (Event)
Vanhoof, W. (Member)
10 Sep 201411 Sep 2014

Activity: MembershipMembership of committee

20th Conference of the International Federation Of Operational Research Societies - IFORS 2014
Linden, I. (Organiser)
13 Jul 2014

Activity: Participating in or organising an eventParticipation in conference

20th Conference of the International Federation Of Operational Research Societies - IFORS 2014
Linden, I. (Contributor)
13 Jul 201418 Jul 2014

Activity: Participating in or organising an eventParticipation in conference

SAT/SMT Summer School 2014
Marcozzi, M. (Poster)
10 Jul 201412 Jul 2014

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Group Decision and Negotiation 2014
Linden, I. (Contributor)
10 Jun 201413 Jun 2014

Activity: Participating in or organising an eventParticipation in conference

36th International Conference on Software Engineering (ICSE 2014)
Marcozzi, M. (Contributor)
31 May 2014

Activity: Participating in or organising an eventParticipation in conference

Séminaire Pro-Doc "Projets et Financements"
Marcozzi, M. (Participant)
25 Apr 2014

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Open problems in real-time computing
Ortiz Vega, J. J. (Speaker)
4 Apr 2014

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Séminaire Pro-Doc "Networking"
Marcozzi, M. (Participant)
6 Feb 2014

Activity: Participating in or organising an eventParticipation in workshop, seminar, course