-
Translating Hardware Process Algebras into Standard Process Algebras : Illust...
A natural approach for the description of asynchronous hardware designs are hardware process algebras, such as Martin's CHP (Communicating Hardware Processes),... -
Formal verification of a key establishment protocol for EPC Gen2 RFID systems...
International audience -
Passive testing on performance requirements of network protocols
International audience -
Modeling and formal control of reconfiguration -- Application to dynamically ...
This thesis deals with the study of reconfiguration control modeling in dynamic systems, especially dynamically and partially reconfigurable Systems-on-Chip. The work... -
Incremental Parametric Development of Greedy Algorithms
International audience -
High Level Design and Control of Adaptive Multiprocessor Systems-on-Chip
The design of modern embedded systems is getting more and more complex, as more functionality is integrated into these systems. At the same time, in order to meet the... -
A method to refine time constraints in event B framework
Some software or hardware system involves time constraints. When those constraints are required to express the behaviour of the system, we need to write them in the... -
Towards Proved Distributed Algorithms through Refinement, Composition and Loc...
International audience -
A Method for Component-Based Software and System Development
We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration.... -
Process control engineering: contribution to a formal structuring framework w...
Colloque avec actes et comité de lecture. -
Formal engineering methods for modelling and verification of control systems
Colloque avec actes et comité de lecture. -
Playing with abstraction and refinement for managing features interactions. A...
Colloque avec actes et comité de lecture. internationale. -
A taxonomy for triggered interactions using fair object semantics
Colloque avec actes et comité de lecture. internationale. -
Foundations of the B method
Article dans revue scientifique avec comité de lecture.
