Albert Benveniste

According to our database1, Albert Benveniste authored at least 140 papers between 1974 and 2023.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 1991, "For contributions to the theory and application of adaptive systems.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Mixed Nondeterministic-Probabilistic Automata.
Discret. Event Dyn. Syst., December, 2023

Some Algebraic Aspects of Assume-Guarantee Reasoning.
CoRR, 2023

Context-Aided Variable Elimination for Requirement Engineering.
CoRR, 2023

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design.
CoRR, 2023

2022
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism.
CoRR, 2022

Hypercontracts.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

From Interface Automata to Hypercontracts.
Proceedings of the Principles of Systems Design, 2022

From Hybrid Automata to DAE-Based Modeling.
Proceedings of the Principles of Systems Design, 2022

2021
Structural Analysis of Multimode DAE Systems: summary of results.
CoRR, 2021

2020
Mixed Nondeterministic-Probabilistic Interfaces.
CoRR, 2020

The mathematical foundations of physical systems modeling languages.
Annu. Rev. Control., 2020

2019
Multi-Mode DAE Models - Challenges, Theory and Implementation.
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

2018
Building a Hybrid Systems Modeler on Synchronous Languages Principles.
Proc. IEEE, 2018

Contracts for System Design.
Found. Trends Electron. Des. Autom., 2018

2017
Structural Analysis of Multi-Mode DAE Systems.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Synchronous Interfaces and Assume/Guarantee Contracts.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Loosely Time-Triggered Architectures: Improvements and Comparisons.
ACM Trans. Embed. Comput. Syst., 2016

2015
Contracts for Schedulability Analysis.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014
Application of branching cells to QoS aware service orchestrations.
Theor. Comput. Sci., 2014

Foreword in honor of Glynn Winskel.
Theor. Comput. Sci., 2014

QoS-aware management of monotonic service orchestrations.
Formal Methods Syst. Des., 2014

A type-based analysis of causality loops in hybrid systems modelers.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

2012
Non-standard semantics of hybrid systems modelers.
J. Comput. Syst. Sci., 2012

Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

An overview of the career of Paul Caspi.
Proceedings of the 12th International Conference on Embedded Software, 2012

Application of interface theories to the separate compilation of synchronous programs.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
A Modal Interface Theory for Component-based Design.
Fundam. Informaticae, 2011

Compatibility of Data-Centric Web Services.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Divide and recycle: types and compilation for a hybrid synchronous language.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Optimizing Decisions in Web Services Orchestrations.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Pairwise testing of dynamic composite services.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Flexible Probabilistic QoS Management of Orchestrations.
Int. J. Web Serv. Res., 2010

Variability Modeling and QoS Analysis of Web Services Orchestrations.
Proceedings of the IEEE International Conference on Web Services, 2010

Document Based Modeling of Web Services Choreographies Using Active XML.
Proceedings of the IEEE International Conference on Web Services, 2010

A unifying view of loosely time-triggered architectures.
Proceedings of the 10th International conference on Embedded software, 2010

Loosely Time-Triggered Architectures for Cyber-Physical Systems.
Proceedings of the Design, Automation and Test in Europe, 2010

The fundamentals of hybrid systems modelers.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Metamodels in Europe: Languages, Tools, and Applications.
IEEE Des. Test Comput., 2009

Monitoring probabilistic SLAs in Web service orchestrations.
Proceedings of the Integrated Network Management, 2009

Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations.
Proceedings of the IEEE International Conference on Web Services, 2009

Actors without Directors: A Kahnian View of Heterogeneous Systems.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Concurrency, sigma-Algebras, and Probabilistic Fairness.
Proceedings of the Foundations of Software Science and Computational Structures, 2009

Modal interfaces: unifying interface automata and modal specifications.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

09481 Abstracts Collection - SYNCHRON 2009.
Proceedings of the SYNCHRON 2009, 22.11. - 27.11.2009, 2009

Monotonicity in Service Orchestrations.
Proceedings of the Applications and Theory of Petri Nets, 2009

Why Are Modalities Good for Interface Theories?.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.
IEEE Trans. Serv. Comput., 2008

Composing heterogeneous reactive systems.
ACM Trans. Embed. Comput. Syst., 2008

True-concurrency probabilistic models: Markov nets and a law of large numbers.
Theor. Comput. Sci., 2008

Implementing Synchronous Models on Loosely Time Triggered Architectures.
IEEE Trans. Computers, 2008

Monotony in Service Orchestrations
CoRR, 2008

Composing Web Services in an Open World: QoS Issues.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Composing Web Services in an Open World: Issues of Quality of Service.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Time-robust discrete control over networked Loosely Time-Triggered Architectures.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Nonstationary Consistency of Subspace Methods.
IEEE Trans. Autom. Control., 2007

Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion.
EURASIP J. Adv. Signal Process., 2007

Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them.
Discret. Event Dyn. Syst., 2007

A Generic Model of Contracts for Embedded Systems
CoRR, 2007

Event Structure Semantics of Orc.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Probabilistic QoS and soft contracts for transaction based Web services.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Multiple Viewpoint Contract-Based Specification and Design.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Loosely time-triggered architectures based on communication-by-sampling.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures.
Inf. Comput., 2006

Concurrency in Synchronous Systems.
Formal Methods Syst. Des., 2006

Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Communication by sampling in time-sensitive distributed systems.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embed. Comput. Syst., 2005

Distributed Monitoring of Concurrent and Asynchronous Systems*.
Discret. Event Dyn. Syst., 2005

Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications.
Proceedings of the Foundations of Software Science and Computational Structures, 2005


Nonstationary consistency of covariance based subspace methods.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004
Algorithms for Distributed Fault Management in Telecommunications Networks.
Proceedings of the Telecommunications and Networking, 2004

Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).
Proceedings of the EMSOFT 2004, 2004

2003
Diagnosis of asynchronous discrete-event systems: a net unfolding approach.
IEEE Trans. Autom. Control., 2003

Markov nets: probabilistic models for distributed and concurrent systems.
IEEE Trans. Autom. Control., 2003

The synchronous languages 12 years later.
Proc. IEEE, 2003

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.
Proceedings of the Formal Methods for Components and Objects, 2003

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.
Proceedings of the Embedded Software, Third International Conference, 2003

Partial order diagnosability of discrete event systems using petri net unfoldings.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Distributed and asynchronous discrete event systems diagnosis.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002
Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors.
IEEE Trans. Signal Process., 2002

Non-massive, Non-high Performance, Distributed Computing: Selected Issues.
Proceedings of the Euro-Par 2002, 2002

Toward an Approximation Theory for Computerised Control.
Proceedings of the Embedded Software, Second International Conference, 2002

A Protocol for Loosely Time-Triggered Architectures.
Proceedings of the Embedded Software, Second International Conference, 2002

2001
Foreword.
Formal Methods Syst. Des., 2001

Some Synchronization Issues When Designing Embedded Systems from Components.
Proceedings of the Embedded Software, First International Workshop, 2001

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation.
Inf. Comput., 2000

Discussion on: 'Dynamic Wavelet and Equivalent Models'.
Eur. J. Control, 2000

Subspace-based fault detection algorithms for vibration monitoring.
Autom., 2000

A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Distributed state reconstruction for discrete event systems.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Using local tests to estimate convergence rates for identification.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Convergence rates for eigenstructure identification using subspace methods.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999
From Synchrony to Asynchrony.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
Compositional and uniform modeling of hybrid systems.
IEEE Trans. Autom. Control., 1998

Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets.
Discret. Event Dyn. Syst., 1998

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

BDL, A Language of Distributed Reactive Objects.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Algebraic Techniques for Timed Systems.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

Wavelets in identification.
Proceedings of the Fuzzy logic and expert systems applications., 1998

1997
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996
High-level primitives for recursive maximum likelihood estimation.
IEEE Trans. Autom. Control., 1996

1995
Accuracy analysis for wavelet approximations.
IEEE Trans. Neural Networks, 1995

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems.
Theor. Comput. Sci., 1995

Nonlinear black-box modeling in system identification: a unified overview.
Autom., 1995

Nonlinear black-box models in system identification: Mathematical foundations.
Autom., 1995

Compositional and Uniform Modelling of Hybrid Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994
Multiscale recursive estimation, data fusion, and regularization.
IEEE Trans. Autom. Control., 1994

Early warning of slight changes in systems.
Autom., 1994

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

1993
Meeting the challenge of computer science in the industrial applications of control: an introductory discussion to the special issue.
IEEE Trans. Autom. Control., 1993

Meeting the challenge of computer science in the industrial applications of control: An introductory discussion to the special issue<sup>, </sup>.
Autom., 1993

Data-Flow Synchronous Languages.
Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

1992
A Denotational Theory of Synchronous Reactive Systems
Inf. Comput., August, 1992

Multiscale autoregressive processes. II. Lattice structures for whitening and modeling.
IEEE Trans. Signal Process., 1992

Multiscale autoregressive processes. I. Schur-Levinson parametrizations.
IEEE Trans. Signal Process., 1992

Wavelet networks.
IEEE Trans. Neural Networks, 1992

Modeling and estimation of multiresolution stochastic processes.
IEEE Trans. Inf. Theory, 1992

Hybrid Systems: The SIGNAL Approach.
Proceedings of the Hybrid Systems, 1992

SIGNAL as a Model for Real-Time and Hybrid Systems.
Proceedings of the ESOP '92, 1992

1991
Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics.
Sci. Comput. Program., 1991

The synchronous approach to reactive and real-time systems.
Proc. IEEE, 1991

Approximation by nonlinear wavelet networks.
Proceedings of the 1991 International Conference on Acoustics, 1991

1990
Adaptive Algorithms and Stochastic Approximations
Applications of Mathematics 22, Springer, ISBN: 978-3-642-75894-2, 1990

1989
Multiscale statistical signal processing.
Proceedings of the IEEE International Conference on Acoustics, 1989

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

Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems.
Autom., 1987

1986
Signal-A data flow-oriented language for signal processing.
IEEE Trans. Acoust. Speech Signal Process., 1986

Detection and diagnosis of abrupt changes in modal characteristics of nonstationary digital signals.
IEEE Trans. Inf. Theory, 1986

Programming Real-Time with Events and Data Flow.
Proceedings of the Information Processing 86, 1986

1984
Recursive Estimation of Local Characteristics of Edges in TV Pictures as Applied to ADPCM Coding.
IEEE Trans. Commun., 1984

Blind Equalizers.
IEEE Trans. Commun., 1984

Modeling of Atmospheric Disturbances in Meteorological Pictures.
IEEE Trans. Pattern Anal. Mach. Intell., 1984

1983
Sequential detection of abrupt changes in spectral characteristics of digital signals.
IEEE Trans. Inf. Theory, 1983

Sequential segmentation of nonstationary digital signals using spectral analysis.
Inf. Sci., 1983

1982
Identification of vibrating structures subject to non stationary excitation : A non stationary stochastic realization problem.
Proceedings of the IEEE International Conference on Acoustics, 1982

Motion of edges and motion estimation in a sequence of T.V. pictures.
Proceedings of the IEEE International Conference on Acoustics, 1982

1974
A New Algorithm for Gauss Markov Identification.
Proceedings of the Optimization Techniques, 1974


  Loading...