Pierre-Yves Schobbens

5
Documents
Affiliations actuelles
  • Faculté d'Informatique [Namur]
  • Université de Namur [Namur] (UNamur)
Identifiants chercheurs

Publications

Publications

Deposit thumbnail

Extending Timed Automata with Clock Derivatives

David Cortés , Jean Leneutre , Vadim Malvone , James Ortiz , Pierre-Yves Schobbens

Integrated Formal Methods, Nov 2025, Paris, France. pp.99-119, ⟨10.1007/978-3-032-10794-7_6⟩

Communication dans un congrès hal-05484311v1
Deposit thumbnail

Energy-Aware Neural Architecture Search: Leveraging Genetic Algorithms for Balancing Performance and Consumption

Antoine Gratia , Paul Temple , Gilles Perrouin , Pierre-Yves Schobbens

WIVACE 2024 - XVIII International Workshop on Artificial Life and Evolutionary Computation, Sep 2024, Namur, Belgium. pp.1-13

Communication dans un congrès hal-04957679v1
Deposit thumbnail

Featured model types: Towards Systematic Reuse in Modelling Language Engineering

Gilles Perrouin , Moussa Amrani , Mathieu Acher , Benoit Combemale , Axel Legay et al.

MiSE '16 - 8th International Workshop on Modeling in Software Engineering, May 2016, New york, United States. pp.1 - 7, ⟨10.1145/2896982.2896987⟩

Communication dans un congrès hal-01406507v1

Featured model-based mutation analysis

Xavier Devroey , Gilles Perrouin , Mike Papadakis , Axel Legay , Pierre-Yves Schobbens et al.

ICSE '16 - 38th International Conference on Software Engineering, May 2016, Austin, United States. pp.655 - 666, ⟨10.1145/2884781.2884821⟩

Communication dans un congrès hal-01406512v1

Search-based Similarity-driven Behavioural SPL Testing

Xavier Devroey , Gilles Perrouin , Axel Legay , Pierre-Yves Schobbens , Patrick Heymans

VaMoS '16 - Tenth International Workshop on Variability Modelling of Software-intensive Systems, Jan 2016, Salvador, Brazil. pp.89 - 96, ⟨10.1145/2866614.2866627⟩

Communication dans un congrès hal-01406585v1