2 citations · 3 across the 4 of their papers we have counts for
5 papers · 1 filter
Modeling and Analysis of the Landing Gear System with the Generalized Contracts
Abdelkader Khouass, christian attiogbé, mohamed messabihi
Nowadays, there are several complex systems in different sectors such as aviation, air traffic control ...etc. These systems do not have a precise perimeter, they are open and made…
Mastering Heterogeneous Behavioural Models
J. Christian Attiogbé
Heterogeneity is one important feature of complex systems, leading to the complexity of their construction and analysis. Moving the heterogeneity at model level helps in mastering…
Dynamic Composition of Evolving Process Types
Christian Attiogbé
Classical approaches like process algebras or labelled transition systems deal with static composition to model non-trivial concurrent or distributed systems; this is not sufficien…
Multilevel Contracts for Trusted Components
Mohamed Messabihi, Pascal André, Christian Attiogbé
This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as…
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB)
Christian Attiogbe
Tool-assisted analysis of software systems and convenient guides to practise the formal methods are still motivating challenges. This article addresses these challenges. We ex peri…