Projects per year
Personal profile
Introduction
Pierre-Yves Schobbens is professor of computer science (programming), specialized in software product lines verification.
Areas of expertise
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
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
Education/Academic qualification
Bachelor of Philosophy, Université Catholique de Louvain (UCL)
Master of Engineering, Université Catholique de Louvain (UCL)
Master of Engineering, Université Catholique de Louvain (UCL)
Doctor of Engineering, 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.
- 7 Similar Profiles
Model checking
Engineering & Materials Science
Temporal logic
Engineering & Materials Science
Semantics
Engineering & Materials Science
Testing
Engineering & Materials Science
Clocks
Engineering & Materials Science
Requirements engineering
Engineering & Materials Science
Specifications
Engineering & Materials Science
Logic
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 1989 2021
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frenay, B. & Schobbens, P.
1/01/18 → 31/12/21
Project: Research
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/20
Project: Research
wal-e-cities LIV: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities
Schobbens, P., Dumas, B. & Michel, A.
1/03/16 → 31/12/20
Project: Research
wal-e-cities MOB: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities
Schobbens, P., Dumas, B. & Michel, A.
1/03/16 → 31/12/20
Project: Research
Research Output 1986 2018
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
Feature interaction in software product line engineering: A systematic mapping study
Soares, L. R., Schobbens, P. Y., do Carmo Machado, I. & de Almeida, E. S., 1 Jun 2018, In : Information and Software Technology. 98, p. 44-58 15 p.Research output: Contribution to journal › Article
Surveying
Productivity
Specifications
Costs
Model-based mutant equivalence detection using automata language equivalence and simulations
Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 Jul 2018, In : Journal of Systems and Software. 141, p. 1-15 15 p.Research output: Contribution to journal › Article
Open Access
File
Finite automata
Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda
Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 Aug 2018, p. 325-332. 8 p.Research output: Contribution to conference › Paper
Open Access
File
Taxonomies
Testing
Specifications
Costs
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 2018
Feature-based Modelling and Automations
Patrick Heymans (Speaker), Pierre-Yves Schobbens (Speaker), Gilles Perrouin (Speaker)28 May 2018
Activity: Talk or presentation types › Oral presentation
International Colloquium on Theoretical Aspects of Computing (Event)
Pierre Schobbens (Editorial Board Member)17 Sep 2014
Activity: Publication peer-review and editorial work types › Editorial activity
Organisation de BNAIC 2006 (Conference d'Intelligence artificielle du BENELUX)
Pierre Schobbens (Organiser)13 Jul 2009
Activity: Participating in or organising an event types › Participation in conference
Université Joseph Fourier
Pierre Schobbens (Invited researcher)5 Jan 2009 → 5 May 2009
Activity: Visiting an external institution types › Research/Teaching in a external institution
President du Comite de Programme de "Modeles Formels pour l'Interaction"
Pierre Schobbens (Organiser)30 Jan 2009 → 30 May 2009
Activity: Participating in or organising an event types › Participation in conference
Thesis
About adding utility and usability to FDNet: a flat distributed network architecture
Author: Achbany, Y. & Jadoulle, J., 2004Supervisor: Schobbens, P. (Supervisor)
Student thesis: Master types › Master in Computer science
Administrative management of clinical studies in hospitals
Author: Benats, P., 4 Sep 2014Supervisor: Schobbens, P. (Supervisor)
Student thesis: Master types › Master in Computer science
Agent de détection et de notification d'erreurs EDNA : annexe F: code source complet
Author: Van Hout, A. & Delmarche, E., 2003Supervisor: Schobbens, P. (Supervisor)
Student thesis: Master types › Master in Computer science
Alignement business-IT: le cas de l’ERP Odoo
Author: Patz, M., 28 Aug 2017Supervisor: Schobbens, P. (President), Petit, M. (Supervisor) & Vanderose, B. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File
All I Know
Author: van Ditmarsch, H., 2010Supervisor: Schobbens, P. (Jury)
Student thesis: Master types › Master in Computer science
Press / Media
10th international IFIP workshop on semantic web and web semantics (SWWS 2014)
14/06/14
1 item of media coverage
Press/Media: Expert Comment