6 citations · 16 across the 8 of their papers we have counts for
8 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…
Formal refinement of extended state machines
Thomas Fayolle, Marc Frappier, Régine Laleau +1
In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This tra…
Reuse of Specification Patterns with the B Method
Sandrine Blazy, Frédéric Gervais, Régine Laleau
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe…