Albert Benveniste

According to our database1, Albert Benveniste authored at least 115 papers between 1974 and 2018.

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 
Other 

Links

On csauthors.net:

Bibliography

2018
Building a Hybrid Systems Modeler on Synchronous Languages Principles.
Proceedings of the IEEE, 2018

Contracts for System Design.
Foundations and Trends in Electronic Design Automation, 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. Embedded Comput. Syst., 2016

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

Loosely time-triggered architectures: improvements and comparisons.
Proceedings of the 2015 International Conference on Embedded Software, 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 in System Design, 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. Inform., 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 Service 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 Design & Test of Computers, 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. Services Computing, 2008

Composing heterogeneous reactive systems.
ACM Trans. Embedded 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. Automat. Contr., 2007

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

Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them.
Discrete Event Dynamic Systems, 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 in System Design, 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. Embedded Comput. Syst., 2005

Distributed Monitoring of Concurrent and Asynchronous Systems*.
Discrete Event Dynamic Systems, 2005

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

Tag machines.
Proceedings of the EMSOFT 2005, 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

Concurrency in Synchronous Systems.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

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

Markov nets: probabilistic models for distributed and concurrent systems.
IEEE Trans. Automat. Contr., 2003

The synchronous languages 12 years later.
Proceedings of the 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

Distributed Monitoring of Concurrent and Asynchronous Systems.
Proceedings of the CONCUR 2003, 2003

2002
Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors.
IEEE Trans. Signal Processing, 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 in System Design, 2001

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

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

Subspace-based fault detection algorithms for vibration monitoring.
Automatica, 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

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

1998
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets.
Discrete Event Dynamic Systems, 1998

Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach.
Automatica, 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

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

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.
Automatica, 1995

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

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

1994
Early warning of slight changes in systems.
Automatica, 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

A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993
Meeting the challenge of computer science in the industrial applications of control: An introductory discussion to the special issue, .
Automatica, 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 Processing, 1992

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

Wavelet networks.
IEEE Trans. Neural Networks, 1992

Modeling and estimation of multiresolution stochastic processes.
IEEE Trans. Information 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

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

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

1986
Signal-A data flow-oriented language for signal processing.
IEEE Trans. Acoustics, Speech, and Signal Processing, 1986

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

Programming Real-Time with Events and Data Flow.
IFIP Congress, 1986

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

Blind Equalizers.
IEEE Trans. Communications, 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. Information 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...