If you made any changes in Pure these will be visible here soon.

Personal profile

Introduction

Pierre-Yves Schobbens is professor of computer science (programming), specialized in software product lines verification.

 
 
 
 
 
 

Areas of expertise

software product lines

software verification

formal methods

agent-oriented software

model checking

 
 
 
 
 
 

External responsibilities

President of the research commission of the faculty of computer science

President of the international affairs commission of the faculty of computer science

President of the doctoral commission for exact sciences

 

 
 
 
 
 
 

Awards

Most influential paper award IEEE RE 2016

Best paper SAFECOMP 2012
Invited professor at Ecole Normale Supérieur (Cachan), Université Paul Sabatier (Toulouse), University of Birmingham, Ecole Centrale (Nantes), Université Joseph Fourier (Grenoble).
Invited researcher by Deutsche Akademische Austauschdienst (DAAD), Fundação para a Ciência e a Tecnologia (FCT).

 
 
 
 
 
 

Diplomas

Bachelor in Philosophy 1982

Master in Applied Mathematics and Economics 1983

Master in Computer Engineering 1984

Doctorate in Computer Science 1993

 
 
 
 
 
 

Education/Academic qualification

Doctor of Engineering, Université Catholique de Louvain (UCL)

Master of Engineering, Université Catholique de Louvain (UCL)

Master of Engineering, Université Catholique de Louvain (UCL)

Bachelor of Philosophy, Université Catholique de Louvain (UCL)

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 10 Similar Profiles
Model checking Engineering & Materials Science
Temporal logic Engineering & Materials Science
Semantics Engineering & Materials Science
Clocks Engineering & Materials Science
Testing Engineering & Materials Science
Specifications Engineering & Materials Science
Real time systems Engineering & Materials Science
Logic Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 1989 2021

Research Output 1986 2019

File

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 May 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11460 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks

A lightweight data sharing system based on bidirectional transformations

Duchêne, A., Marchal, H., Hu, Z. & Schobbens, P. Y., 9 Apr 2018, Programming 2018 Companion - Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. Sartor, J. B. & Marr, S. (eds.). ACM Press, Vol. Part F137691. p. 42-45 4 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Data structures
Profitability
Industry

All roads lead to Rome: Commuting strategies for product-line reliability analysis

Castro, T., Lanna, A., Alves, V., Teixeira, L., Apel, S. & Schobbens, P. Y., 15 Jan 2018, In : Science of Computer Programming. 152, p. 116-160 45 p.

Research output: Contribution to journalArticle

Reliability analysis
Acoustic waves

Feature-family-based reliability analysis of software product lines

Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 1 Feb 2018, In : Information and Software Technology. 94, p. 59-81 23 p.

Research output: Contribution to journalArticle

Reliability analysis
Model checking
Data structures

Prizes

Most Influential Paper Award

Pierre-Yves Schobbens (Recipient), Patrick Heymans (Recipient), Jean-Christophe Trigaux (Recipient) & Yves Bontemps (Recipient), 15 Sep 2016

Prize: National/international honour

Requirements engineering
Semantics

Activities 1997 2019

Connected and Automated Driving

Pierre-Yves Schobbens (Participant)
2 Apr 20193 Apr 2019

Activity: Participating in or organising an event typesParticipation in conference

Agora Transition Now

Pierre-Yves Schobbens (Participant)
25 Mar 2019

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

Midi du CRIDS : relations internationales

Pierre-Yves Schobbens (Participant)
12 Mar 2019

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Vivre la Ville : (dé)construire la Smart city

Pierre-Yves Schobbens (Participant), Claire Lobet-Maris (Organiser), Anthony Simonofski (Organiser), Benoît Vanderose (Speaker), Yves Poullet (Speaker), Bruno Dumas (Contributor)
28 Mar 2019

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

Forum Recherches en transition

Pierre-Yves Schobbens (Participant)
18 Mar 2019

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

Thesis

About adding utility and usability to FDNet: a flat distributed network architecture

Author: Achbany, Y. & Jadoulle, J., 2004

Supervisor: Schobbens, P. (Supervisor)

Student thesis: Master typesMaster in Computer science

Administrative management of clinical studies in hospitals

Author: Benats, P., 4 Sep 2014

Supervisor: Schobbens, P. (Supervisor)

Student thesis: Master typesMaster in Computer science

Agent de détection et de notification d'erreurs EDNA : annexe F: code source complet

Author: Van Hout, A. & Delmarche, E., 2003

Supervisor: Schobbens, P. (Supervisor)

Student thesis: Master typesMaster in Computer science

Alignement business-IT: le cas de l’ERP Odoo

Author: Patz, M., 28 Aug 2017

Supervisor: Schobbens, P. (President), Petit, M. (Supervisor) & Vanderose, B. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File

All I Know

Author: van Ditmarsch, H., 2010

Supervisor: Schobbens, P. (Jury)

Student thesis: Master typesMaster in Computer science

Press / Media