Activities

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

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

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

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

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 academic institution

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

Activity: Participating in or organising an eventParticipation to a Symposium, a study Day

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

Activity: Publication peer-review

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

Activity: Participating in or organising an eventParticipation to a Symposium, a study Day

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

Activity: Participating in or organising an eventParticipation to a Symposium, a study Day

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

Activity: Participating in or organising an eventParticipation 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: Editorial 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: Participating in or organising an eventParticipation 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: Membership 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

The 8th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '14)
Devroey, X. (Speaker)
22 Jan 201424 Jan 2014

Activity: Participating in or organising an eventParticipation in conference

Séminaire Pro-Doc "Découvrir et développer son style de leadership"
Marcozzi, M. (Participant)
3 Dec 2013

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

Mobile and Information Technologies in Medicine and Health 2013
Ortiz Vega, J. J. (Speaker)
20 Nov 2013

Activity: Participating in or organising an eventParticipation in conference