• Sign in
  • Sign up
conf.researchr.org / Pierre Yves Schobbens
  • ESEC/FSE 2023 profile
  • ICSE 2024 profile
  • ICST 2023 profile
  • Modularity 2016 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • STAF 2024 profile
  • ‹Programming› 2018 profile
Pierre Yves Schobbens

Registered user since Tue 17 Nov 2015

Name:Pierre Yves Schobbens
Country:Belgium
Affiliation:University of Namur
Personal website: https://directory.unamur.be/staff/pyschobb
X (Twitter): https://x.com/pyschobbens
GitHub: https://github.com/pys
Research interests:Software verification, Software product lines

Contributions

2024

WADT

  • Committee Member in Programme Committee

FormaliSE

  • Author of Time for Networks: Mutation Testing for Timed Automata Networks within the FormaliSE 2024-track

2023

ESEC/FSE

  • Author of Towards Strengthening Formal Specifications with Mutation Model Checking within the Ideas, Visions and Reflections-track

A-MOST

  • Author of MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL within the A-MOST 2023-track

2018

Bidirectional Transformations (bx)

  • Author of Lightweight Data Sharing System based on Bidirectional Transformations within the Bx 2018-track

2017

FTfJP

  • Author of Formal Analysis of Object-Oriented Mograms within the FTfJP 2017-track

2016

Modularity

  • Committee Member in Review Committee (External) within the Research Results-track
Share
xFri 13 Jun 13:38
using conf.researchr.org (v1.69.0)
Support page
Sign Up