Steve Tueno

According to our database, Steve Tueno authored at least 16 papers between 2017 and 2020.

Collaborative distances:

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

2020

A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard.

Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau

Int. J. Softw. Tools Technol. Transf., 2020

Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.

Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar

Int. J. Softw. Tools Technol. Transf., 2020

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

PhD thesis, 2019

Towards Linearization Machine Learning Algorithms.

Steve Tueno

CoRR, 2019

Pear2Pear (On Wifi): A Data Sharing Protocol Over Wifi through a Peer to Peer Network.

Steve Tueno, Romeo Tabue, Forentin Jiechieu, Yacynth Ndonna, Billy Zafack, Audric Feuyan, Jonas Atibita, Alex Djouontse, Rodrigue Mbinkeu

CoRR, 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

Assessment of a Formal Requirements Modeling Approach on a Transportation System.

Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili

Proceedings of the Formal Methods and Software Engineering, 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

From SysML/KAOS Domain Models to B System Specifications.

Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau

CoRR, 2018

Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.

Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Back Propagating B System Updates on SysML/KAOS Domain Models.

Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard.

Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.

Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Formal Representation of SysML/KAOS Domain Model (Complete Version).

Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier

CoRR, 2017

The SysML/KAOS Domain Modeling Approach.

Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier

CoRR, 2017

Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach.

Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017