-
In quantum gravity, summing is refining
International audience -
Transformation of B Specifications into UML Class Diagrams and State Machines
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can... -
How to Verify and Exploit a Refinement of Component-based Systems
In order to deal with the verification of large systems, compositional approaches postpone in part the problem of combinatorial explosion during model exploration. The... -
Refinement and Verification of Synchronized Component-based Systems
This article deals with specification, refinement and verification approaches for systems designed with synchronized components. First of all, we define a synchronized... -
Using Acceleration to Compute Parameterized System Refinement
In this paper, we present a verification approach for a class of parameterized systems. These systems are composed of an arbitrary number of similar processes. As in... -
About the Maximum Principle Violations of the Mixed-Hybrid Finite Element Met...
The affluent literature of finite element methods applied to linear parabolic problems, generally, produces numerical procedures with satisfactory properties from a... -
Refining cellular automata with routing constraints
A cellular automaton (CA) is an infinite array of cells, each containing the same automaton. The dynamics of a CA is distributed over the cells where each computes its... -
Model of a Simple yet effective Operational Amplifier
ISBN 978-1-4673-0684-3 -
Medical Protocol Diagnosis Using Formal Methods
International audience -
Formalization of Heart Models Based on the Conduction of Electrical Impulses ...
International audience -
Method for software liability specifications : Modelisation, Traceability and...
Despite the effort made to define methods for the design of high quality software, experience shows that failures of IT systems due to software errors remain very... -
First-principles study of hexagonal tungsten trioxide: Nature of lattice dist...
International audience -
Formalism for the high-level design of hard real-time embedded systems
Real-time embedded systems are at the core of modern industrialized societies. They are a privileged target for the application of formal methods. The importance of... -
Building abstract formal Specifications driven by goals
With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most... -
Contribution to the Systems Engineering: Refinement and Refactoring of UML sp...
Specifying complex systems is a difficult task which cannot be done in one step. In the framework of formal methods, the refinement is a key feature to incrementally... -
Equational Abstraction Refinement for Certified Tree Regular Model Checking
Tree Regular Model Checking (TRMC) is the name of a family of techniques for analyzing in nite-state systems in which states are represented by trees and sets of... -
Synthesis, Crystal Structure and Luminescent Properties of New Lanthanide-Con...
International audience -
Study and development of a AMS design-flow in SytemC : semantic, refinement a...
Systems on Chip (SoC) embed in the same chip analogue parts and digital processing units. While their complexity is ever increasing, their time to market is becoming... -
Transforming EVENT B Models into Verified C# Implementations
International audience -
Ideal Mode Selection of a Cardiac Pacing System
International audience
