6 citations · 7 across the 3 of their papers we have counts for
7 papers
Deciding the synthesis problem for hybrid games through bisimulation
Catalin Dima, Mariem Hammami, Youssouf Oualhadj +1
Hybrid games are games played on a finite graph endowed with real variables which may model behaviors of discrete controllers of continuous systems. The synthesis problem for hybri…
The Generic SysML/KAOS Domain Metamodel
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau +2
This paper is related to the generalised/generic version of the SysML/KAOS domain metamodel and on translation and back propagation rules between the new domain models and B System…
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
Régine Laleau, Dominique Méry, Shin Nakajima +1
This volume contains the joint proceedings of IMPEX 2017, the first workshop on Handling IMPlicit and EXplicit knowledge in formal system development and FM&MDD, the second worksho…
SysML/KAOS Domain Models and B System Specifications
Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar +1
In this paper, we use a combination of the SysML/KAOS requirements engineering method, an extension of SysML, with concepts of the KAOS goal model, and of the B System formal metho…
Formal Representation of SysML/KAOS Domain Model (Complete Version)
Steve Tueno, Régine Laleau, Amel Mammar +1
Nowadays, the usefulness of a formal language for ensuring the consistency of requirements is well established. The work presented here is part of the definition of a formally-grou…
The SysML/KAOS Domain Modeling Approach
Steve Tueno, Régine Laleau, Amel Mammar +1
A means of building safe critical systems consists of formally modeling the requirements formulated by stakeholders and ensuring their consistency with respect to application domai…