Photo of PIERRE-YVES SCHOBBENS

View Scopus Profile

PIERRE-YVES SCHOBBENS

 https://orcid.org/0000-0001-8677-4485

  • Belgium

  • 2680 Citations
  • 24 h-Index
1986 …2020

Research output per year

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

Award Date: 1 Jan 1992

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

Award Date: 1 Jan 1984

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

Award Date: 1 Jan 1983

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

Award Date: 1 Jan 1982

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.

  • 6 Similar Profiles

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

Projects

CoTu: Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES

SCHOBBENS, P., AMRANI, M. & ORTIZ VEGA, J. J.

1/08/19 → 31/07/22

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

Project: Research

THCS: Testing Highly-configurable Systems

PERROUIN, G., SCHOBBENS, P., AMRANI, M., ORTIZ VEGA, J. J. & HEYMANS, P.

1/01/18 → 31/12/22

Project: Research

Thesis-JRO: Formal Methods for the Verification of Distributed Timed Systems

ORTIZ VEGA, J. J. & SCHOBBENS, P.

1/09/17 → 31/08/23

Project: PHD

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

Project: Research

Research Output

InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics

Kang, E. Y. & Schobbens, P. Y., Jun 2020, 2020 9th Mediterranean Conference on Embedded Computing, MECO 2020. Institute of Electrical and Electronics Engineers Inc., 9134341. (2020 9th Mediterranean Conference on Embedded Computing, MECO 2020).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    • STARS: Software Technology for Adaptable and Reusable Systems PhD Research Project

    Perrouin, G., Schobbens, P. Y. & Lima dos Santos, E., 5 Feb 2020, Proceedings - VaMoS 2020: 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Cordy, M., Acher, M., Beuche, D. & Saake, G. (eds.). ACM Press, p. 1-2 2 p. a15. (ACM International Conference Proceeding Series).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    • 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: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

    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
    121 Downloads (Pure)

    Feature-family-based reliability analysis of software product lines

    Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 9 Sep 2019, SPLC 2019: Proceedings of the 23rd International Systems and Software Product Line Conference . Berger, T., Collet, P., Duchien, L., Fogdal, T., Heymans, P., Kehrer, T., Martinez, J., Mazo, R., Montalvillo, L., Salinesi, C., Ternava, X., Thum, T. & Ziadi, T. (eds.). ACM Press, Vol. A. 59 p. (ACM International Conference Proceeding Series; vol. A).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    • Prizes

    Most Influential Paper Award

    SCHOBBENS, PIERRE-YVES (Recipient), HEYMANS, Patrick (Recipient), Jean-Christophe Trigaux (Recipient) & Yves Bontemps (Recipient), 15 Sep 2016

    Prize: National/international honour

    • Activities

    FOCUS Research Seminar

    Wim Vanhoof (Organiser), , Jean-Marie Jacquet (Organiser), , Manel Barkallah (Member of Organizing Committee), , Gonzague Yernaux (Member of Organizing Committee), , Pierre-Yves Schobbens (Member of Organizing Committee), , James Jerson Ortiz Vega (Member of Organizing Committee), , Moussa Amrani (Member of Organizing Committee), , Isabelle Linden (Member of Organizing Committee), & Christian Colot (Member of Organizing Committee)

    6 Dec 2019

    Activity: Participating in or organising an event types › Participation in workshop, seminar, course

    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

    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

    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

    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

    Thesis

    Exceptions in Algebraic Specifications

    Author: Schobbens, P., 1992

    Student thesis: Doc types › Doctor of Sciences

    Press / Media

    10th international IFIP workshop on semantic web and web semantics (SWWS 2014)

    Pierre Schobbens

    14/06/14

    1 item of Media coverage

    Press/Media: Expert Comment