Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yamine Ait Ameur
conf.researchr.org general profile
APSEC 2022 profile
ASE 2026 profile
FM 2026 profile
ICSE 2025 profile
NASA Formal Methods 2023 profile
Registered user since Thu 30 Mar 2023
Name:
Yamine
Ait Ameur
Country:
France
Affiliation:
IRIT/INPT-ENSEEIHT
Contributions
2026
SWGeno
Committee Member in Organizing Committee within the SWGeno 2026-track
FM
Session Chair of ABZ Gedenkschrift for Jean-Raymond Abrial (part of ABZ)
Author of Encoding BDI Syntax with Theories in Event-B within the ABZ-track
2025
FormaliSE
Author of A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B within the Research Track-track
2023
NFM
Author of Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework within the NFM 2023-track
2022
APSEC
Author of Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours within the Technical Track-track
Share
x
Mon 2 Nov 20:00