Héctor Ruíz Barradas

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 3

Top Topics

Model Driven Architecture

Derivation Rules

Convex Constraints

Top Venues

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Héctor Ruíz Barradas, Lilian Burdy, David Déharbe
Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B. ABZ (2020)
Steve Jeffrey Tueno Fotso, Régine Laleau, Héctor Ruíz Barradas, Marc Frappier, Amel Mammar
A Formal Requirements Modeling Approach: Application to Rail Communication. ICSOFT (2019)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas
The Generic SysML/KAOS Domain Metamodel. CoRR (2018)
Héctor Ruíz Barradas, Didier Bert
Propriétés dynamiques avec hypothèses d'équité en B événementiel. Tech. Sci. Informatiques 25 (1) (2006)
Héctor Ruíz Barradas, Didier Bert
A Fixpoint Semantics of Event Systems with and without Fairness Assumptions CoRR (2005)
Héctor Ruíz Barradas, Didier Bert
Proof obligations for specification and refinement of liveness properties under weak fairness CoRR (2005)
Héctor Ruíz Barradas, Didier Bert
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. IFM (2005)
Héctor Ruíz Barradas, Didier Bert
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. IFM (2002)