Steve Jeffrey Tueno Fotso

13 papers B 2C 5Journal 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
Natural Language Query Engine for Relational Databases using Generative AI.
CoRR
Steve Jeffrey Tueno Fotso
2020 J jnl
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard.
Int. J. Softw. Tools Technol. Transf.
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
2020 J jnl
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.
Int. J. Softw. Tools Technol. Transf.
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
2019 C conf
A Formal Requirements Modeling Approach: Application to Rail Communication.
ICSOFT
Steve Jeffrey Tueno Fotso, Régine Laleau, Héctor Ruíz Barradas, Marc Frappier, Amel Mammar
2019 C conf
Assessment of a Formal Requirements Modeling Approach on a Transportation System.
ICFEM
Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili
2019 — —
Vers une approche formelle d'ingénierie des exigences outillée et éprouvée. (Towards a tool-supported and proven formal requirements engineering method).
Steve Jeffrey Tueno Fotso
2018 C conf
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard.
ABZ
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
2018 B conf
Back Propagating B System Updates on SysML/KAOS Domain Models.
ICECCS
Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar
2018 C conf
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.
ABZ
Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier
2018 B conf
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.
IFM
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel
2018 J jnl
From SysML/KAOS Domain Models to B System Specifications.
CoRR
Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau
2018 C conf
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach.
ABZ
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
2018 J jnl
The Generic SysML/KAOS Domain Metamodel.
CoRR
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas