-
Contexts for Organizational Information System Design and Implementation
International audience -
On the computation of π-flat outputs for differential-delay systems
We introduce a new definition of π-flatness for linear differential delay systems with time-varying coefficients. We characterize π- and π-0-flat outputs and provide... -
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... -
Global abstraction-safe marshalling with hash types
Type abstraction is a key feature of ML-like languages for writing large programs. Marshalling is necessary for writing distributed programs, exchanging values via... -
Un système de modules avancé pour SIGNAL
Nous proposons un système de modules avancé pour SIGNAL permettant de définir des unités génériques, des types abstraits et de paramétrer les modules par d'autres... -
Characterizing Modular Ontologies
International audience -
Acute: High-level programming language design for distributed computation : D...
This paper studies key issues for distributed programming in high-level languages. We discuss the design space and describe an experimental language, Acute, which we... -
Carbon dioxide absorption by monoethanolamine in hollow fiber membrane contac...
International audience -
Polyurea-Urethane Supramolecular Thermo-Reversible Networks
International audience -
Programming with Dependent Types in Coq: a Study of Square Matrices
Unpublished, but worth reading. -
Disassembly sequencing for end-of-life products
International audience
