• Sign in
  • Sign up
conf.researchr.org / Philippe Palanque
  • APSEC 2022 profile
  • ICST 2020 profile
  • MODELS 2023 profile
  • VL/HCC 2021 profile
  • VL/HCC 2022 profile
Philippe Palanque

Registered user since Fri 17 Sep 2021

Name:Philippe Palanque
Country:France
Affiliation:ICS-IRIT, Université Toulouse III Paul Sabatier
Personal website: https://www.irit.fr/recherches/ICS/people/palanque/
Research interests:Human-Computer Interaction, Formal Methods, Dependability, Safety

Contributions

2023

MODELS

  • Session Chair of HuFaMo: Session 2 (part of Workshops)
  • Session Chair of HuFaMo: Session 1 (part of Workshops)
  • Session Chair of HuFaMo: Session 2 (part of Workshops)

2022

APSEC

  • Author of Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours within the Technical Track-track

VL/HCC

  • Committee Member in Program Committee

2021

VL/HCC

  • Committee Member in Program Committee

2020

INTUITESTBEDS

  • Author of Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets within the INTUITESTBEDS 2020-track
Share
xSat 14 Jun 15:34
using conf.researchr.org (v1.69.0)
Support page
Sign Up