Héctor Ruíz Barradas

According to our database, Héctor Ruíz Barradas authored at least 8 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B.

Héctor Ruíz Barradas, Lilian Burdy, David Déharbe

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

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

Proceedings of the 14th International Conference on Software Technologies, 2019

2018

The Generic SysML/KAOS Domain Metamodel.

Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas

CoRR, 2018

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

PhD thesis, 2006

Propriétés dynamiques avec hypothèses d'équité en B événementiel.

Héctor Ruíz Barradas, Didier Bert

Tech. Sci. Informatiques, 2006

2005

Proof obligations for specification and refinement of liveness properties under weak fairness

Héctor Ruíz Barradas, Didier Bert

CoRR, 2005

A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.

Héctor Ruíz Barradas, Didier Bert

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2002

Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems.

Héctor Ruíz Barradas, Didier Bert

Proceedings of the Integrated Formal Methods, Third International Conference, 2002