Albert Benveniste

发表

System Synthesis and Supervision, Scenarios

Benoît Caillaud, Laurence Dinh, Eric Badouel, 2007 .

DESIGN OF ADAPTIVE ALGORITHMS FOR THE TRACKING OF TIME VARYING SYSTEMS

Albert Benveniste, 1987 .

DIAGNOSING MECHANICAL CHANGES IN VIBRATING SYSTEMS

Michèle Basseville, Albert Benveniste, B. Devauchelle-Gach, 1992 .

Adaptive Algorithms and Stochastic Approximations

Pierre Priouret, Albert Benveniste, Michel Métivier, 1990, Applications of Mathematics.

Synchronous Languages and Reactive System Design

Albert Benveniste, A. Benveniste, 1998 .

Contributing Authors

Alessandro Giua, Albert Benveniste, Shigemasa Takai, 2005, Discret. Event Dyn. Syst..

Compositionality in Dataflow Synchronous Languages: Specification and Code Generation

Albert Benveniste, Pascal Aubry, Paul Le Guernic, 1997, COMPOS.

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Timothy Bourke, Marc Pouzet, Albert Benveniste, 2018, Proceedings of the IEEE.

The mathematical foundations of physical systems modeling languages

Benoît Caillaud, Albert Benveniste, Mathias Malandain, 2020, Annu. Rev. Control..

Event Structure Semantics of Orc

Albert Benveniste, William R. Cook, Claude Jard, 2007, WS-FM.

Safety Critical Embedded Systems Design: the SACRES approach

Albert Benveniste, A. Benveniste, 1998 .

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Benoît Caillaud, 2003, FMCO.

SUBSPACE-BASED ONLINE AUTOMATED IDENTIFICATION VERSUS DETECTION In-Flight Vibration Monitoring of Aeronautical Structures

Maurice Goursat, Michèle Basseville, Laurent Mevel, 2007 .

BDL: A Semantics Backbone for UML Dynamic Diagrams

Jean-Marc Jézéquel, Benoît Caillaud, Albert Benveniste, 2000 .

Output-Only Subspace-Based Structural Identification: From Theory to Industrial Testing Practice

Maurice Goursat, Laurent Mevel, Albert Benveniste, 2001 .

Meeting the challenge of computer science in the industrial applications of control: An introductory discussion to the special issue,

Karl Johan Åström, Albert Benveniste, A. Benveniste, 1993, Autom..

Composing Web Services in an Open World: QoS Issues

Albert Benveniste, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Contracts for Schedulability Analysis

Albert Benveniste, Philipp Reinkemeier, Ingo Stierand, 2015, FORMATS.

Toward an Approximation Theory for Computerised Control

Albert Benveniste, Paul Caspi, 2002, EMSOFT.

New Results - Probabilistic models of concurrent systems

Albert Benveniste, Stefan Haar, Samy Abbes, 2004 .

Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach

Michèle Basseville, Qinghua Zhang, Albert Benveniste, 1998, Autom..

Contracts for Systems Design: Methodology and Application cases

Dejan Nickovic, Thomas A. Henzinger, Roberto Passerone, 2015 .

A Modal Interface Theory for Component-based Design

Axel Legay, Roberto Passerone, Benoît Caillaud, 2011, Fundam. Informaticae.

A Denotational Theory of Synchronous Reactive Systems

Yves Sorel, Albert Benveniste, Paul Le Guernic, 1992, Inf. Comput..

Device for monitoring and recursively estimating the local state of image contours and application to the adaptive prediction in differential coding of television signals

Albert Benveniste, Christian Richard, Francis Kretz, 1979 .

Subspace-based modal identification and monitoring of large structures: a scilab toolbox

Maurice Goursat, Michèle Basseville, Laurent Mevel, 2003 .

Variability Modeling and QoS Analysis of Web Services Orchestrations

Albert Benveniste, Claude Jard, Benoit Baudry, 2010, 2010 IEEE International Conference on Web Services.

True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures

Albert Benveniste, Samy Abbes, 2006, Inf. Comput..

Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets

Albert Benveniste, Claude Jard, Eric Fabre, 1998, Discret. Event Dyn. Syst..

FAULT DIAGNOSIS FOR DISTRIBUTED ASYNCHRONOUS DYNAMICALLY RECONFIGURED DISCRETE EVENT SYSTEMS

Albert Benveniste, Claude Jard, Stefan Haar, 2005 .

Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion

Maurice Goursat, Michèle Basseville, Laurent Mevel, 2007, EURASIP J. Adv. Signal Process..

Wavelets in identification

Bernard Delyon, Qinghua Zhang, Albert Benveniste, 1994, Fuzzy logic and expert systems applications.

New Results - Hybrid Systems Modeling

Benoît Caillaud, Albert Benveniste, 2013 .

Metamodels in Europe: Languages, Tools, and Applications

Alberto L. Sangiovanni-Vincentelli, Sébastien Gérard, François Terrier, 2009, IEEE Design & Test of Computers.

Contracts for Systems Design: Theory

Dejan Nickovic, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2015 .

A Theory of QoS for Web Service Orchestrations

Albert Benveniste, Claude Jard, Sidney Rosario, 2009 .

Modal interfaces: unifying interface automata and modal specifications

Axel Legay, Roberto Passerone, Benoît Caillaud, 2009, EMSOFT '09.

Compatibility between DAXML Schemas

Loïc Hélouët, Albert Benveniste, Benoît Masson, 2011 .

A Least-Squares-Based 2-D Filtering Scheme for Stereo Image Compression

Pierre Priouret, Albert Benveniste, T. Kohonen, 2000 .

A Petri net model for distributed estimation

Albert Benveniste, Stefan Haar, Samy Abbes, 2004 .

Identification of vibrating structures subject to non stationary excitation : A non stationary stochastic realization problem

Albert Benveniste, Marc Prevosto, Bruno Barnouin, 1982, ICASSP.

Document Based Modeling of Web Services Choreographies Using Active XML

Loïc Hélouët, Albert Benveniste, 2010, 2010 IEEE International Conference on Web Services.

Markov nets: probabilistic models for distributed and concurrent systems

Albert Benveniste, Stefan Haar, Eric Fabre, 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

Loosely time-triggered architectures based on communication-by-sampling

Alberto L. Sangiovanni-Vincentelli, Albert Benveniste, Stavros Tripakis, 2007, EMSOFT '07.

Nonstationary Consistency of Subspace Methods

Laurent Mevel, Albert Benveniste, A. Benveniste, 2007, IEEE Transactions on Automatic Control.

Optimizing Decisions in Web Services Orchestrations

Albert Benveniste, Claude Jard, Ajay Kattepur, 2011, ICSOC.

Diagnostics and Monitoring as tightly coupled to Identification

Bernard Delyon, Michèle Basseville, Albert Benveniste, 1998 .

Contracts for System Design

Alberto L. Sangiovanni-Vincentelli, Kim G. Larsen, Dejan Nickovic, 2018, Found. Trends Electron. Des. Autom..

Sequential Detection; Model Validation

Albert Benveniste, Michel Metivier, Pierre Priouret, 1990 .

Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations

Albert Benveniste, Claude Jard, Ajay Kattepur, 2012, 2012 IEEE 19th International Conference on Web Services.

Partial order diagnosability of discrete event systems using petri net unfoldings

Albert Benveniste, Claude Jard, Stefan Haar, 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

Meeting the challenge of computer science in the industrial applications of control: an introductory discussion to the special issue

Albert Benveniste, Karl Johan Åström, A. Benveniste, 1993, IEEE Trans. Autom. Control..

A semantics of UML state-machines using synchronous pre-order transition systems

Albert Benveniste, Paul Le Guernic, Jean-Pierre Talpin, 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

DIAGNOSING MECHANICAL CHANGES IN VIBRATING SYSTEMS

Michèle Basseville, Albert Benveniste, B. Devauchelle-Gach, 1991 .

An example of failure detection:design and comparative study of some algorithms

Michèle Basseville, Albert Benveniste, 1981 .

Metamodels in Europe: Languages, Tools, and

François Terrier, Alberto Sangiovanni-Vincentelli, Albert Benveniste, 2009 .

Multiple Viewpoint Contract-Based Specification and Design

Roberto Passerone, Benoît Caillaud, Albert Benveniste, 2008, FMCO.

New Results - Specific studies: Web services orchestrations

Albert Benveniste, Rahul Jha, Claude Jard, 2006 .

The synchronous languages 12 years later

Stephen A. Edwards, Nicolas Halbwachs, Robert de Simone, 2003, Proc. IEEE.

A denotational theory of synchronous communicating systems

Albert Benveniste, Paul Le Guernic, A. Benveniste, 1987 .

Convergence: the ODE Method

Albert Benveniste, Michel Metivier, Pierre Priouret, 1990 .

A Petri net approach to fault detection and diagnosis in distributed systems. II. Extending Viterbi algorithm and HMM techniques to Petri nets

Albert Benveniste, Claude Jard, Eric Fabre, 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

Hybrid dynamical systems theory and the language "SIGNAL"

Albert Benveniste, Paul Le Guernic, Bernard Le Goff, 1988 .

FOR THE TRACKING OF TIME VARYING SYSTEYS.

Albert Benveniste, 1984 .

Foreword

Albert Benveniste, Axel Poigné, 2001, Formal Methods Syst. Des..

Markov Nets: Probabilistic Models for distributed and

Albert Benveniste, Stefan Haar, Eric Fabre, 2001 .

Signal-A data flow-oriented language for signal processing

Albert Benveniste, Paul Le Guernic, Thierry Gautier, 1986, IEEE Trans. Acoust. Speech Signal Process..

Recursive Estimation of Local Characteristics of Edges in TV Pictures as Applied to ADPCM Coding

Albert Benveniste, Francis Kretz, Christian Richard, 1984, IEEE Trans. Commun..

Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures

Albert Benveniste, Samy Abbes, 2006 .

Application of branching cells to QoS aware service orchestrations

Albert Benveniste, Claude Jard, Samy Abbes, 2014, Theor. Comput. Sci..

Early warning of slight changes in systems

Michèle Basseville, Qinghua Zhang, Albert Benveniste, 1994, Autom..

Synchronous Interfaces and Assume/Guarantee Contracts

Benoît Caillaud, Albert Benveniste, 2017, Models, Algorithms, Logics and Tools.

Distributed Monitoring of Concurrent and Asynchronous Systems

Albert Benveniste, Claude Jard, Stefan Haar, 2003, CONCUR.

Détection séquentielle de changements brusques des caractéristiques spectrales d'un signal numérique

Michèle Basseville, Albert Benveniste, M. Basseville, 1982 .

Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems

George V. Moustakides, Michèle Basseville, Albert Benveniste, 1987, Autom..

Subspace Algorithms for Data from Varying Sensor Locations 1

Maurice Goursat, Michèle Basseville, Laurent Mevel, 2000 .

New Results - Component-Based Design

Eric Badouel, Albert Benveniste, Sophie Pinchinat, 2011 .

Algorithms for Distributed Fault Management in Telecommunications Networks

Albert Benveniste, Claude Jard, Stefan Haar, 2004, ICT.

Distributed and Iterative Algorithms in Management and Signal Processing for Telecommunications

Loïc Hélouët, Aline Roumy, Albert Benveniste, 2005 .

Hidden Markov Models for Distributed and Concurrent Systems

Albert Benveniste, Stefan Haar, Eric Fabre, 2000 .

Multiscale Signal Processing: From QMF to Wavelets

Albert Benveniste, A. Benveniste, 1995 .

Loosely Time-Triggered Architectures and Middleware based on Communication-by-Sampling: MoCC and Properties

Alberto Sangiovanni-Vincentelli, Albert Benveniste, Stavros Tripakis, 2007 .

New Results - Reactive components

Benoît Caillaud, Albert Benveniste, Benoît Delahaye, 2007 .

Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations

Albert Benveniste, Claude Jard, Sidney Rosario, 2009, 2009 IEEE International Conference on Web Services.

Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them

Albert Benveniste, Eric Fabre, A. Benveniste, 2007, 2006 8th International Workshop on Discrete Event Systems.

Actors without Directors: A Kahnian View of Heterogeneous Systems

Albert Benveniste, Stavros Tripakis, Paul Caspi, 2009, HSCC.

Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications

Albert Benveniste, Samy Abbes, A. Benveniste, 2005, FoSSaCS.

Algebraic Techniques for Timed Systems

Albert Benveniste, Claude Jard, Stéphane Gaubert, 1998, CONCUR.

Synchronous Data Flow Programming with the Language SIGNAL

Albert Benveniste, Thierry Gautier, P. Le Guernic, 1987 .

Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations

Albert Benveniste, Claude Jard, Stefan Haar, 2008, IEEE Transactions on Services Computing.

Data-Flow Synchronous Languages

Nicolas Halbwachs, Albert Benveniste, Paul Caspi, 1993, REX School/Symposium.

Production of SCALPEL masks in a commercial mask facility

Albert Benveniste, Reginald C. Farrow, Milton L. Peabody, 1999, Advanced Lithography.

Pairwise testing of dynamic composite services

Albert Benveniste, Claude Jard, Benoit Baudry, 2011, SEAMS '11.

Distributed and asynchronous discrete event systems diagnosis

Albert Benveniste, Claude Jard, Stefan Haar, 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

Detection of Abrupt Changes in Signals and Dynamical Systems

Michèle Basseville, Albert Benveniste, A. Benveniste, 1985 .

A unifying view of loosely time-triggered architectures

Albert Benveniste, Paul Caspi, Anne Bouillard, 2010, EMSOFT '10.

Flexible Probabilistic QoS Management of Orchestrations

Albert Benveniste, Claude Jard, Sidney Rosario, 2010, Int. J. Web Serv. Res..

Application of interface theories to the separate compilation of synchronous programs

Benoît Caillaud, Albert Benveniste, Jean-Baptiste Raclet, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

Diagnosis of asynchronous discrete-event systems: a net unfolding approach

Albert Benveniste, Claude Jard, Stefan Haar, 2003, IEEE Trans. Autom. Control..

III — Design of algorithms for change detection : Likelihood-oriented approaches

Michèle Basseville, Albert Benveniste, A. Benveniste, 1985 .

Design of adaptive algorithms for the tracking of time‐varying systems

Albert Benveniste, 1987 .

Modeling and estimation of multiresolution stochastic processes

Michèle Basseville, Albert Benveniste, Alan S. Willsky, 1992, IEEE Trans. Inf. Theory.

Multiscale autoregressive processes. II. Lattice structures for whitening and modeling

Michèle Basseville, Albert Benveniste, Alan S. Willsky, 1992, IEEE Trans. Signal Process..

09481 Abstracts Collection - SYNCHRON 2009

Stephen A. Edwards, Edward A. Lee, Albert Benveniste, 2009, SYNCHRON 2009.

Diagnosis of asynchronous discrete event systems, a net unfolding approach

Albert Benveniste, Claude Jard, Stefan Haar, 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

Modeling of Atmospheric Disturbances in Meteorological Pictures

Patrick Bouthemy, Albert Benveniste, 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

Compatibility of Data-Centric Web Services

Loïc Hélouët, Albert Benveniste, Benoît Masson, 2011, WS-FM.

Wavelets in identification

Bernard Delyon, Pierre-Yves Glorennec, Albert Benveniste, 1994, Fuzzy logic and expert systems applications.

Distributed monitoring of concurrent and asynchronous systems---extended version

Albert Benveniste, Claude Jard, Stefan Haar, 2004 .

Wavelet networks

Qinghua Zhang, Albert Benveniste, A. Benveniste, 1992, IEEE Trans. Neural Networks.

Numeric/Symbolic Signal Processing

Albert Benveniste, 1987 .

Monitoring probabilistic SLAs in Web service orchestrations

Albert Benveniste, Claude Jard, Sidney Rosario, 2009, 2009 IFIP/IEEE International Symposium on Integrated Network Management.

Pre-Order Semantics of UML State-Machines

Albert Benveniste, Paul Le Guernic, Jean-Pierre Talpin, 2000 .

Non-standard semantics of hybrid systems modelers

Timothy Bourke, Marc Pouzet, Benoît Caillaud, 2012, J. Comput. Syst. Sci..

Concurrency, sigma-Algebras, and Probabilistic Fairness

Albert Benveniste, Samy Abbes, A. Benveniste, 2009, FoSSaCS.

Communication by sampling in time-sensitive distributed systems

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Benoît Caillaud, 2006, EMSOFT '06.

Guidelines for a graduate curriculum on embedded software and systems

Andy J. Wellings, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, 2005, TECS.

Competencies mining with LookinLabs

Albert Benveniste, William Dedzoe, Jean Hany, 2018 .

CAD environment for real-time control system

Albert Benveniste, Carlos Figueira, Bernard Le Goff, 1989, 1989 American Control Conference.

Tracking Non-Stationary Parameters

Pierre Priouret, Albert Benveniste, Michel Metivier, 1990 .

Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly

Albert Benveniste, Claude Jard, Stefan Haar, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Hybrid Systems: The SIGNAL Approach

Albert Benveniste, Paul Le Guernic, Michel Le Borgne, 1993, Hybrid Systems.

Programming Real-Time with Events and Data Flow

Albert Benveniste, Paul Le Guernic, Thierry Gautier, 1986, IFIP Congress.

General Adaptive Algorithm Form

Albert Benveniste, Michel Metivier, Pierre Priouret, 1990 .

Compositional and Uniform Modelling of Hybrid Systems

Albert Benveniste, 1995, Hybrid Systems.

Markov nets: probabilistic models for distributed and concurrent systems

Albert Benveniste, Stefan Haar, Eric Fabre, 2003, IEEE Trans. Autom. Control..

Advanced methods of change detection: An overview

Albert Benveniste, 1985 .

Error rate measurement method in an optical transmission system, and apparatus for carrying out the method

Albert Benveniste, George Moustakides, Frederic Cerou, 2002 .

Probabilistic true-concurrency models: Markov nets and a Law of large numbers

Albert Benveniste, Samy Abbes, A. Benveniste, 2008 .

Foreword in honor of Glynn Winskel

Albert Benveniste, Claude Jard, Samy Abbes, 2014, Theor. Comput. Sci..

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems

Albert Benveniste, Paul Le Guernic, Bernard C. Levy, 1994, Hybrid Systems.

Other Grants and Activities - Speeds: Speculative and Exploratory Design in Systems Engineering

Benoît Caillaud, Albert Benveniste, Benoît Delahaye, 2008 .

From Synchrony to Asynchrony

Benoît Caillaud, Albert Benveniste, Paul Le Guernic, 1999, CONCUR.

Tag machines

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Albert Benveniste, 2005, EMSOFT.

A model to analyse the causality in synchronous real time systems

Albert Benveniste, 1985 .

Efficient Monte Carlo simulation of stochastic hybrid systems

Albert Benveniste, Hilding Elmqvist, Martin Otter, 2014 .

New Results - Heterogeneous Systems

Timothy Bourke, Benoît Caillaud, Eric Badouel, 2011 .

programmi language and its

Albert Benveniste, Paul Le Guernic, Christian Jacquemot, 2001 .

Monotony in Service Orchestrations pdf

Albert Benveniste, Stefan Haar, Anne Bouillard, 2008, ArXiv.

Sequential detection of abrupt changes in spectral characteristics of digital signals

Michèle Basseville, Albert Benveniste, A. Benveniste, 1983, IEEE Trans. Inf. Theory.

Why Are Modalities Good for Interface Theories?

Roberto Passerone, Benoît Caillaud, Albert Benveniste, 2009, 2009 Ninth International Conference on Application of Concurrency to System Design.

Concurrency in synchronous systems

Benoît Caillaud, Albert Benveniste, Dumitru Potop-Butucaru, 2004, Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004..

SIGNAL as a Model for Real-Time and Hybrid Systems

Albert Benveniste, Paul Le Guernic, Michel Le Borgne, 1992, ESOP.

Loosely Time-Triggered Architectures

Timothy Bourke, Albert Benveniste, Guillaume Baudart, 2016, ACM Trans. Embed. Comput. Syst..

Monotonicity in Service Orchestrations

Albert Benveniste, Stefan Haar, Anne Bouillard, 2009, Petri Nets.

Composing Web Services in an Open World: Issues of Quality of Service

Albert Benveniste, 2008, FORMATS.

Distributed Monitoring of Concurrent and Asynchronous Systems*

Albert Benveniste, Claude Jard, Stefan Haar, 2003, Discret. Event Dyn. Syst..

The asymptotic local approach to change detection and model validation

Michèle Basseville, Albert Benveniste, George V. Moustakides, 1987 .

A Protocol for Loosely Time-Triggered Architectures

Albert Benveniste, Stavros Tripakis, Paul Caspi, 2002, EMSOFT.

Composing heterogeneous reactive systems

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Albert Benveniste, 2008, TECS.

Distributed state reconstruction for discrete event systems

Albert Benveniste, Claude Jard, Eric Fabre, 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

In-flight structural identification:input/output versus output-only data processing

Maurice Goursat, Michèle Basseville, Laurent Mevel, 2004 .

CHANGE DETECTION AND DIAGNOSIS FOR VIBRATION MONITORING

Michèle Basseville, Albert Benveniste, George V. Moustakides, 1987 .

Motion of edges and motion estimation in a sequence of T.V. pictures

Albert Benveniste, Claude Labit, 1982, ICASSP.

New Results - Eigenstructure identification

Maurice Goursat, Michèle Basseville, Laurent Mevel, 2007 .

Coding method and apparatus for adpcm

Albert Benveniste, Andre Gilloire, Christian Chaure, 1981 .

Loosely Time-Triggered Architectures for Cyber-Physical Systems

Albert Benveniste, A. Benveniste, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

Real-time,synchronous,data-flow programming: the language "SIGNAL" and its mathematical semantics

Albert Benveniste, Paul Le Guernic, 1986 .

BDL, a language of distributed reactive objects

Benoît Caillaud, Albert Benveniste, Jean-Pierre Talpin, 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Albert Benveniste, 2003, EMSOFT.

Frequency Domain Local Tests for Change Detection

Bernard Delyon, Michèle Basseville, Albert Benveniste, 2000 .

A type-based analysis of causality loops in hybrid systems modelers

Timothy Bourke, Marc Pouzet, Benoît Caillaud, 2014, HSCC.

A Subspace-based Fault Detection Algorithm with Application to In-operation Monitoring and Diagnostics of Vibrating Structures

Michèle Basseville, Albert Benveniste, M. Abdelghani, 1998 .

Hierarchic Normal Forms for Desynchronization

Benoît Caillaud, Albert Benveniste, Paul Le Guernic, 1999 .

Nonlinear black-box models in system identification: Mathematical foundations

Bernard Delyon, Qinghua Zhang, Albert Benveniste, 1995, Autom..

Constructive probability and the SIGNalea language : building and processes via programming

Albert Benveniste, 1991 .

Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Benoît Caillaud, 2004, EMSOFT '04.

Distributing Synchronous Programs on a Loosely Synchronous, Distributed Architecture

Albert Benveniste, Paul Caspi, 1999 .

Divide and recycle: types and compilation for a hybrid synchronous language

Timothy Bourke, Marc Pouzet, Benoît Caillaud, 2011, LCTES '11.

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems

Albert Benveniste, Paul Le Guernic, Bernard C. Levy, 1994, Theor. Comput. Sci..

Steelquake modes and modeshapes identification from multiple sensor pools

Maurice Goursat, Michèle Basseville, Laurent Mevel, 2002 .

Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors

Maurice Goursat, Michèle Basseville, Laurent Mevel, 2002, IEEE Trans. Signal Process..

Some Synchronization Issues When Designing Embedded Systems from Components

Albert Benveniste, 2001, EMSOFT.

Nonlinear black-box modeling in system identification: a unified overview

Lennart Ljung, Bernard Delyon, Pierre-Yves Glorennec, 1995, Autom..

An overview of the career of Paul Caspi

Edward A. Lee, Marc Pouzet, Albert Benveniste, 2012, EMSOFT '12.

Detection and diagnosis of abrupt changes in modal characteristics of nonstationary digital signals

George V. Moustakides, Michèle Basseville, Albert Benveniste, 1986, IEEE Trans. Inf. Theory.

Commande adaptative aspects pratiques et théoriques: Editors I. D. Landau and L. Dugard

Albert Benveniste, A. Benveniste, 1987, Autom..

Structural Analysis of Multi-Mode DAE Systems

Marc Pouzet, Benoît Caillaud, Albert Benveniste, 2017, HSCC.

A New Algorithm for Gauss Markov Identification

Albert Benveniste, G. Cohen, P. Bernhard, 1974, Optimization Techniques.

Sequential segmentation of nonstationary digital signals using spectral analysis

Michèle Basseville, Albert Benveniste, 1983, Inf. Sci..

Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation

Albert Benveniste, Paul Le Guernic, Benoit Caillaud, 2000, Inf. Comput..

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems

Albert Benveniste, Paul Le Guernic, Bernard C. Levy, 1994, Theor. Comput. Sci..

Non-massive, Non-high Performance, Distributed Computing: Selected Issues

Albert Benveniste, 2002, Euro-Par.

Multi-Viewpoint State Machines for Rich Component Models

Roberto Passerone, Benoît Caillaud, Albert Benveniste, 2009 .

QoS-aware management of monotonic service orchestrations

Albert Benveniste, Claude Jard, Ajay Kattepur, 2014, Formal Methods Syst. Des..

Compositional Contract Abstraction for System Design

Dejan Nickovic, Thomas A. Henzinger, Albert Benveniste, 2014 .

03 - Signal : un langage pour le traitement du signal

Albert Benveniste, Paul Le Guernic, Thierry Gautier, 1983 .

Time-robust discrete control over networked Loosely Time-Triggered Architectures

Albert Benveniste, Paul Caspi, 2008, 2008 47th IEEE Conference on Decision and Control.

Facing the Challenge of Computer Science in the Industrial Applications of Control

Lennart Ljung, Peter E. Caines, Albert Benveniste, 1991 .

A Generic Model of Contracts for Embedded Systems pdf

Roberto Passerone, Benoît Caillaud, Albert Benveniste, 2007, ArXiv.

Statistical Inference for STructural HEalth Monitoring

Maurice Goursat, Michèle Basseville, Laurent Mevel, 2007 .

True-concurrency probabilistic models: Markov nets and a law of large numbers

Albert Benveniste, Samy Abbes, A. Benveniste, 2008, Theor. Comput. Sci..

Assessment of subspace fault detection algorithms on a realistic simulator-based example

Michèle Basseville, Laurent Mevel, Albert Benveniste, 1999 .

Subspace-based fault detection algorithms for vibration monitoring

Michèle Basseville, Albert Benveniste, Maher Abdelghani, 2000, Autom..

Multi-Mode DAE Models - Challenges, Theory and Implementation

Marc Pouzet, Albert Benveniste, Hilding Elmqvist, 2019, Computing and Software Science.

Distributed diagnosis for large discrete event dynamic systems

Albert Benveniste, Claude Jard, Eric Fabre, 2002 .

The synchronous approach to reactive and real-time systems

Albert Benveniste, Gérard Berry, A. Benveniste, 1991 .

Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations

Albert Benveniste, Claude Jard, Stefan Haar, 2008, IEEE Trans. Serv. Comput..

Implementing Synchronous Models on Loosely Time Triggered Architectures

Alberto L. Sangiovanni-Vincentelli, Albert Benveniste, Stavros Tripakis, 2008, IEEE Transactions on Computers.

A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code

Timothy Bourke, Marc Pouzet, Benoît Caillaud, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

Accuracy analysis for wavelet approximations

Bernard Delyon, Albert Benveniste, Anatoli B. Juditsky, 1995, IEEE Trans. Neural Networks.

A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation

Albert Benveniste, Paul Le Guernic, Bernard C. Levy, 1994 .

The fundamentals of hybrid systems modelers

Marc Pouzet, Benoît Caillaud, Albert Benveniste, 2010, 49th IEEE Conference on Decision and Control (CDC).

Distributed Active XML and Service Interfaces

Loïc Hélouët, Albert Benveniste, 2009 .

Concurrency in Synchronous Systems

Albert Benveniste, Benoît Caillaud, Dumitru Potop-Butucaru, 2006, Formal Methods Syst. Des..

New Results - Flutter monitoring and onset detection

Maurice Goursat, Laurent Mevel, Albert Benveniste, 2007 .

Project-Team distribcom Distributed Models and Algorithms for the Management of Telecommunication Systems

Didier Devaurs, Loïc Hélouët, Laurence Dinh, 2007 .

Convergence rates for eigenstructure identification using subspace methods

Laurent Mevel, Albert Benveniste, Michèle Basseville, 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

Mixed Nondeterministic-Probabilistic Automata pdf

Albert Benveniste, Jean-Baptiste Raclet, A. Benveniste, 2022, Discrete Event Dynamic Systems.

A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica Models

Benoît Caillaud, Albert Benveniste, Mathias Malandain, 2021 .

Compile-Time Impulse Analysis in Modelica

Benoît Caillaud, Albert Benveniste, Mathias Malandain, 2021 .

Hypercontracts pdf

Sanjit A. Seshia, Albert Benveniste, Alberto Sangiovanni-Vincentelli, 2021, NFM.

Hybrid Systems Modeling Challenges Caused by Cyber-Physical Systems ?

Timothy Bourke, Marc Pouzet, Albert Benveniste, 2013 .

Contracts for the Design of Embedded Systems Part I : Methodology and Use Cases

Dejan Nickovic, Roberto Passerone, Albert Benveniste, 2011 .

The local approach to change detection, diagnosis, and model validation: application to vibration mechanics

Maurice Goursat, Michèle Basseville, Albert Benveniste, 2006 .

AR and ARMA identification algorithms of Levinson type: An innovations approach

Albert Benveniste, C. Chaure, 1981 .

Design of monostep and multistep adaptive algorithms for the tracking of time varying systems

Albert Benveniste, 1984, The 23rd IEEE Conference on Decision and Control.

Multiscale system theory

R. Nikoukhah, Albert Benveniste, Alan S. Willsky, 1994 .

Appendices to Part I

Pierre Priouret, Albert Benveniste, Michel Metivier, 1990 .

On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)

Timothy Bourke, Marc Pouzet, Benoît Caillaud, 2014 .

Monitoring nonlinear dynamical systems: a combined input-output and local approach

Michèle Basseville, Albert Benveniste, Qinghua Zhang, 1996, Proceedings of 35th IEEE Conference on Decision and Control.