-
The distribution of raindrops speeds
International audience -
Analysis of aspect-oriented programs
Aspect oriented programming is a paradigm aiming at improving the separation of concerns. Typically, an aspect is defined for a concern that can not be isolated in a... -
An assertions-based approach to verifying the absence property pattern
International audience -
Modeling periodic composite events, temporal properties and relations
Modelling events with their temporal properties concerns many users and scientific communities. We adopted the Object paradigm and designed an operational metamodel... -
A Logical Framework for Systems Biology
We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. We show how such a logic can be used, with...
