Hctor Ruz Barradas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2002–2019
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICSoft | A Formal Requirements Modeling Approach: Application to Rail Communication. | Steve Jeffrey Tueno Fotso, Rgine Laleau, Hctor Ruz Barradas, Marc Frappier, Amel Mammar |
| 2005 | IFM | A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. | Hctor Ruz Barradas, Didier Bert |
| 2002 | IFM | Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. | Hctor Ruz Barradas, Didier Bert |