Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. - Héctor Ruíz Barradas; Didier Bert (IFM, 2002)

A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. - Héctor Ruíz Barradas; Didier Bert (IFM, 2005)

Proof obligations for specification and refinement of liveness properties under weak fairness - Héctor Ruíz Barradas; Didier Bert (CoRR, 2005)

Propriétés dynamiques avec hypothèses d'équité en B événementiel. - Héctor Ruíz Barradas; Didier Bert (Tech. Sci. Informatiques, 2006)

Liveness Properties under Fairness Assumptions and Semantics of Systems in event B. (Propriétés de vivacité sous conditions d'équité etsémantique des systèmes d'événements avec la méthode B). - Héctor Ruíz Barradas (2006)

The Generic SysML/KAOS Domain Metamodel. - Steve Jeffrey Tueno Fotso; Marc Frappier; Régine Laleau; Amel Mammar; Héctor Ruíz Barradas (CoRR, 2018)

A Formal Requirements Modeling Approach: Application to Rail Communication. - Steve Jeffrey Tueno Fotso; Régine Laleau; Héctor Ruíz Barradas; Marc Frappier; Amel Mammar (ICSOFT, 2019)

Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B. - Héctor Ruíz Barradas; Lilian Burdy; David Déharbe (ABZ, 2020)