Steve Tueno

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.



In proceedings 
PhD thesis 




A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard.
Int. J. Softw. Tools Technol. Transf., 2020

Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.
Int. J. Softw. Tools Technol. Transf., 2020

Vers une approche formelle d'ingénierie des exigences outillée et éprouvée. (Towards a tool-supported and proven formal requirements engineering method).
PhD thesis, 2019

Towards Linearization Machine Learning Algorithms.
CoRR, 2019

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

A Formal Requirements Modeling Approach: Application to Rail Communication.
Proceedings of the 14th International Conference on Software Technologies, 2019

Assessment of a Formal Requirements Modeling Approach on a Transportation System.
Proceedings of the Formal Methods and Software Engineering, 2019

The Generic SysML/KAOS Domain Metamodel.
CoRR, 2018

From SysML/KAOS Domain Models to B System Specifications.
CoRR, 2018

Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Back Propagating B System Updates on SysML/KAOS Domain Models.
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.
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.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

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

The SysML/KAOS Domain Modeling Approach.
CoRR, 2017

Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017