1 citations · 1 across the 4 of their papers we have counts for
5 papers
Mechanizing Operads with Event-B
Christian Attiogbé
Rigorous modelling of natural and industrial systems still conveys various challenges related to abstractions, methods to proceed with and easy-to-use tools to build, compose and r…
Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems
Abdelkader Khouass, Christian Attiogbé, Mohamed Messabihi
Critical and cyber-physical systems (CPS) that exist in large industries, such as nuclear power plants, railway, automotive or aeronautical industries are complex heterogeneous sys…
Architectural Invariants and Correctness of IoT-based Systems
Christian Attiogbé, Jérôme Rocheteau
Internet of Things applications impact more and more industrial areas such as smart manufacturing, smart health monitoring and home automation; physical objects or devices equipped…
Building Correct SDN-Based Components from a Global Formal Mode
Christian Attiogbé
Software Defined Networking (SDN) brings flexibility in the construction and managment of distributed applications by reducing the constraints imposed by physical networks and by m…
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin
Pascal André, Christian Attiogbé, Arnaud Lanoix
This paper presents a solution to the landing gear system case study using Event-B and Rodin. We study the whole system (both the digital part and the controlled part). We use feat…