1981-1999 publications

List of publications by Albert Benveniste, Benoît Caillaud and Khalil Ghorbal before 2000


Publications HAL de Albert,Benveniste;Benoît,Caillaud;Khalil,Ghorbal

Search Results –> Url version détaillée , Url version formatée
Criteria : Author : “Albert,Benveniste;Benoît,Caillaud;Khalil,Ghorbal”, Publication year >= “1981” to “1999”
Number of occurrences founded : 52.

titre
Protocol engineering using UML
auteur
Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoit Caillaud
article
Annals of Telecommunications – annales des télécommunications, 1999, 54 (11-12), pp.526-538. ⟨10.1007/BF03004068⟩
titre
From Synchrony to Asynchrony
auteur
Albert Benveniste, Benoit Caillaud, Paul Le Guernic
article
[Research Report] RR-3641, INRIA. 1999
titre
Hierarchic Normal Forms for Desynchronization
auteur
Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Paul Le Guernic
article
[Research Report] RR-3822, INRIA. 1999
titre
An Effective Equivalence for Sets of Scenarios Represented by HMSCs
auteur
Loïc Hélouët, Claude Jard, Benoit Caillaud
article
[Research Report] RR-3499, INRIA. 1998
titre
BDl, A Language of Distributed Reactive Objects
auteur
Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon
article
[Research Report] RR-3353, INRIA. 1998
titre
Subspace-based Fault Detection and Isolation Methods – Application to Vibration Monitoring
auteur
Michèle Basseville, Maher Abdelghani, Albert Benveniste
article
[Research Report] RR-3299, INRIA. 1997
titre
Compositionality in Dataflow Synchronous Languages: Specification & Code Generation
auteur
Albert Benveniste, Paul Le Guernic, Pascal Aubry
article
[Research Report] RR-3310, INRIA. 1997
titre
Synet : un outil de synthèse de réseaux de Petri bornés, applications
auteur
Benoit Caillaud
article
[Rapport de recherche] RR-3155, INRIA. 1997
titre
Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach
auteur
Qinghua Zhang, Michèle Basseville, Albert Benveniste
article
[Research Report] RR-3120, INRIA. 1997
titre
Surveillance d’installations industrielles: démarche générale et conception de l’algorithmique
auteur
Michèle Basseville, Albert Benveniste, Qinghua Zhang
article
[Rapport de recherche] RR-2889, INRIA. 1996
titre
Measuring Concurrency of Regular Distributed Computations
auteur
Cyrille Bareau, Benoit Caillaud, Claude Jard, René Thoraval
article
[Research Report] RR-2394, INRIA. 1994
titre
A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation
auteur
Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
article
[Research Report] RR-2465, INRIA. 1994
titre
Distributing Automata for Asynchronous Networks of Processors
auteur
Benoit Caillaud, Paul Caspi, Alain Girault, Claude Jard
article
[Research Report] RR-2341, INRIA. 1994
titre
Wavelets in identification wavelets, splines, neurons, fuzzies : how good for identification
auteur
Anatoli B. Juditsky, Qinghua Zhang, Bernard Delyon, Pierre-Yves Glorennec, Albert Benveniste
article
[Research Report] RR-2315, INRIA. 1994
titre
L’ingénierie des protocoles
auteur
Paul Angosto, Benoit Caillaud, Michel Delaure, Rémi Guestchel, Bernard Jouga, Dominique Le Foll, Jean-Jacques Maret, Pierre Rocher, Gilles Vaucher
article
InterEditions, 1993
titre
Data-flow synchronous languages
auteur
Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
article
[Research Report] RR-2089, INRIA. 1993
titre
High-level primitives for recursive maximum likelihood estimation
auteur
Bernard C. Levy, Albert Benveniste, Ramine Nikoukhah
article
[Research Report] RR-2088, INRIA. 1993
titre
Projet SYNCHRONE : les formats communs des langages synchrones
auteur
Jean-Pierre Paris, Gérard Berry, Frédéric Mignard, Philippe Couronné, Paul Caspi, Nicolas Halbwachs, Yves Sorel, Albert Benveniste, Thierry Gautier, Paul Le Guernic, François Dupont, Claude Le Maire
article
[Rapport de recherche] RT-0157, INRIA. 1993
titre
A denotational theory of synchronous reactive systems
auteur
Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine
article
Information and Computation, 1992, 99 (2), pp.192-230. ⟨10.1016/0890-5401(92)90030-J⟩
titre
Correctness of automated distribution of sequential programs
auteur
Cyrille Bareau, Benoit Caillaud, Claude Jard, René Thoraval
article
[Research Report] RR-1724, INRIA. 1992
titre
Signal as a model for real-time and hybrid systems
auteur
Albert Benveniste, Michel Le Borgne, Paul Le Guernic
article
[Research Report] RR-1608, INRIA. 1992
titre
Early warning of slight changes in systems and plants with application to condition based maintenance
auteur
Qinghua Zhang, Michèle Basseville, Albert Benveniste
article
[Research Report] RR-1750, INRIA. 1992
titre
Constructive probability and the SIGNalea language : building and processes via programming
auteur
Albert Benveniste
article
[Research Report] RR-1532, INRIA. 1991
titre
The Synchronous approach to reactive and real-time systems
auteur
Albert Benveniste, Gérard Berry
article
[Research Report] RR-1445, INRIA. 1991
titre
Multi-scale autoregressive processes
auteur
Michèle Basseville, Albert Benveniste, Alan S. Willsky
article
[Research Report] RR-1206, INRIA. 1990
titre
Multiscale system theory
auteur
Albert Benveniste, Ramine Nikoukhah, Alan S. Willsky
article
[Research Report] RR-1194, INRIA. 1990
titre
Multiscale signal processing : from QMF to wavelets
auteur
Albert Benveniste
article
[Research Report] RR-1299, INRIA. 1990
titre
Modèles statistiques temps-échelle en traitement du signal
auteur
Michèle Basseville, Albert Benveniste
article
[Rapport de recherche] RR-0971, INRIA. 1989
titre
Multiscale statistical signal processing
auteur
Michèle Basseville, Albert Benveniste
article
[Research Report] RR-0970, INRIA. 1989
titre
The signal software environment for real-time system specification, design, and implementation
auteur
Albert Benveniste, Paul Le Guernic, Christian Jacquemot
article
[Research Report] RR-1105, INRIA. 1989
titre
The superimposition of ESTELLE programs : a tool for the implementation of observation and control algorithms
auteur
Benoit Caillaud
article
[Research Report] RR-1102, INRIA. 1989
titre
Polynomial ideal theoretic methods in discrete event, and hybrid dynamical systems
auteur
Michel Le Borgne, Albert Benveniste, Paul Le Guernic
article
[Research Report] RR-1091, INRIA. 1989
titre
Hybrid dynamical systems theory and the language “SIGNAL
auteur
Albert Benveniste, Bernard Le Goff, Paul Le Guernic
article
[Research Report] RR-0838, INRIA. 1988
titre
Diagnosing mechanical changes in vibrating systems
auteur
George V. Moustakides, Michèle Basseville, Albert Benveniste, Georges Le Vey
article
[Research Report] RR-0942, INRIA. 1988
titre
A denotational theory of synchronous communicating systems
auteur
Albert Benveniste, Paul Le Guernic
article
[Research Report] RR-0685, INRIA. 1987
titre
Real-time,synchronous,data-flow programming: The language SIGNAL and its mathematical semantics
auteur
Paul Le Guernic, Albert Benveniste
article
[Research Report] RR-0620, INRIA. 1987
titre
Optimal sensor location for detecting changes in dynamical behavior
auteur
Michèle Basseville, Albert Benveniste, George V. Moustakides, Anne Rougée
article
[Research Report] RR-0498, INRIA. 1986
titre
Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems
auteur
Michèle Basseville, Albert Benveniste, George V. Moustakides, Anne Rougée
article
[Research Report] RR-0477, INRIA. 1986
titre
The asymptotic local approach to change detection and model validation
auteur
Albert Benveniste, Michèle Basseville, George V. Moustakides
article
[Research Report] RR-0564, INRIA. 1986
titre
Real-time,synchronous,data-flow programming: the language “SIGNAL” and its mathematical semantics
auteur
Paul Le Guernic, Albert Benveniste
article
[Research Report] RR-0533, INRIA. 1986
titre
Optimum robust detection of changes in the AR part of a multivariable ARMA process
auteur
Anne Rougée, Michèle Basseville, Albert Benveniste, George V. Moustakides
article
[Research Report] RR-0478, INRIA. 1986
titre
SIGNAL : a data flow oriented language for signal processing
auteur
Albert Benveniste, Patricia Bournai, Thierry Gautier, Paul Le Guernic
article
[Research Report] RR-0378, INRIA. 1985
titre
A model to analyse the causality in synchronous real time systems
auteur
Albert Benveniste
article
[Research Report] RR-0411, INRIA. 1985
titre
Detecting changes in the A.R.parameters of a nonstationary A.R.M.A.process
auteur
George V. Moustakides, Albert Benveniste
article
[Research Report] RR-0391, INRIA. 1985
titre
Detection and diagnosis of abrut changes in modal characteristics of nonstationary digital signals
auteur
Michèle Basseville, Albert Benveniste, George V. Moustakides
article
[Research Report] RR-0348, INRIA. 1984
titre
Design of one-step and multistep adaptive of algorithms for the tracking of time varying systems
auteur
Albert Benveniste
article
[Research Report] RR-0340, INRIA. 1984
titre
Blind equalizers
auteur
Albert Benveniste, Maurice Goursat
article
[Research Report] RR-0219, INRIA. 1983
titre
SIGNAL:Un langage pour le traitement du signal
auteur
Paul Le Guernic, Albert Benveniste, Thierry Gautier
article
[Rapport de recherche] RR-0206, INRIA. 1983
titre
Détection séquentielle de changements brusques des caractéristiques spectrales d’un signal numérique
auteur
Michèle Basseville, Albert Benveniste
article
[Research Report] RR-0129, INRIA. 1982
titre
Réalisation stochastique de signaux non stationnaires et identification sur un seul echantillon
auteur
Albert Benveniste, Jean-Jacques Fuchs
article
[Rapport de recherche] RR-0128, INRIA. 1982
titre
Modélisation et identification des caractéristiques d’une structure vibratoire:un problème de réalisation stochastique d’un grand système non stationnaire
auteur
Marc Prevosto, Albert Benveniste, Bruno Bernouin
article
[Rapport de recherche] RR-0130, INRIA. 1982
titre
An example of failure detection:design and comparative study of some algorithms
auteur
Michèle Basseville, Albert Benveniste
article
[Research Report] RR-0073, INRIA. 1981

Comments are closed.