Steve Jeffrey Tueno Fotso

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 11

Top Topics

Description Language

Requirements Engineering

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili
Assessment of a Formal Requirements Modeling Approach on a Transportation System. ICFEM (2019)
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)
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. ABZ (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas
The Generic SysML/KAOS Domain Metamodel. CoRR (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. ABZ (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau
From SysML/KAOS Domain Models to B System Specifications. CoRR (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar
Back Propagating B System Updates on SysML/KAOS Domain Models. ICECCS (2018)
Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. ABZ (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. IFM (2018)