Pierre-Yves Schobbens

Personal profile

Introduction

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

Areas of expertise

software product lines

software verification

formal methods

agent-oriented software

model checking

External responsibilities

President of Precise research center

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)

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

Fingerprint Dive into the research topics where Pierre-Yves Schobbens is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

9 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

8 Active
56 Finished

THCS: Testing Highly-configurable Systems

Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.

1/01/18 → 31/12/19

Project: Research

VeriLearn: Verifying Learning Artificial Intelligence Systems

Heymans, P., Frenay, B., Schobbens, P., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.

1/01/18 → 31/12/21

Project: Research

wal-e-cities ECO: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

Castiaux, A., Van Gyseghem, J., Schobbens, P., Gebka, E. & Michel, A.

1/01/17 → 31/12/19

Project: Research

EUTYPES: The European research network on types for programming and verification

Schobbens, P.

21/03/16 → 20/03/20

Project: Research

wal-e-cities GOV: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

Schobbens, P., Van Gyseghem, J., Michel, A. & Gillard, N.

1/03/16 → 31/12/20

Project: Research

Research Output 1986 2019

2439 Citations
23 h-Index
100 Conference contribution
38 Article
19 Other contribution
10 Chapter
24 More

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. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer, Cham, p. 285-312 28 p. (Lecture Notes in Computer Science; vol. 11865).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed)

Customizing Adversarial Machine Learning to test Deep Learning techniques

Temple, P., Perrouin, G., Frenay, B. & Schobbens, P-Y., 28 May 2019.

Research output: Contribution to conference › Paper

Open Access

File

ML_v: 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. Badger, J. M. & Rozier, K. Y. (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 proceeding › Conference 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 proceeding › Conference 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 journal › Article

Reliability analysis

Acoustic waves

Prizes

Most Influential Paper Award

Pierre 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

16 Participation in conference
3 Participation to a Symposium, a study Day
2 Participation in workshop, seminar, course
2 Invited talk
3 More

Connected and Automated Driving

Pierre-Yves Schobbens (Participant)

2 Apr 2019 → 3 Apr 2019

Activity: Participating in or organising an event types › Participation in conference

Drones Days

Pierre-Yves Schobbens (Participant)

17 Mar 2019

Activity: Participating in or organising an event types › Participation in conference

Forum Recherches en transition

Pierre-Yves Schobbens (Participant)

18 Mar 2019

Activity: Participating in or organising an event types › Participation to a Symposium, a study Day

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 types › Participation to a Symposium, a study Day

Agora Transition Now

Pierre-Yves Schobbens (Participant)

25 Mar 2019

Activity: Participating in or organising an event types › Participation to a Symposium, a study Day