Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in different complementary ways, how a system is… (More)
In this paper, our intention is to explore the notion of definition in formal theories and, in particular, that of conditional definitions. We are also interested in analyzingthe consequences of the… (More)
In this text, we propose a formal technique of protocol specification and design by successive refinements. The key idea is that the protocol is first specified in a time-less fashion by… (More)
We show the relevance of a high level computational model for the development of correct parallel programs. To this end we derive four programs solving classical problems; some of which generally… (More)
This paper describes a safety analysis effort on RATP’s communication-based train control (CBTC) system Octys. This CBTC is designed for multi-sourcing and brownfield deployment on an existing… (More)