Albert Benveniste

Discret. Event Dyn. Syst., December, 2023

Some Algebraic Aspects of Assume-Guarantee Reasoning.

[BibT_eX]

[DOI]

CoRR, 2023

Context-Aided Variable Elimination for Requirement Engineering.

[BibT_eX]

[DOI]

Richard M. Murray

CoRR, 2023

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

[BibT_eX]

[DOI]

Apurva Badithela

Josefine Graebener

Piergiuseppe Mallozzi

CoRR, 2023

2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Hypercontracts.

[BibT_eX]

[DOI]

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

From Interface Automata to Hypercontracts.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

From Hybrid Automata to DAE-Based Modeling.

[BibT_eX]

[DOI]

Mathias Malandain

Proceedings of the Principles of Systems Design, 2022

2021

Structural Analysis of Multimode DAE Systems: summary of results.

[BibT_eX]

[DOI]

Mathias Malandain

CoRR, 2021

2020

Mixed Nondeterministic-Probabilistic Interfaces.

[BibT_eX]

[DOI]

Kim G. Larsen

CoRR, 2020

The mathematical foundations of physical systems modeling languages.

[BibT_eX]

[DOI]

Mathias Malandain

Annu. Rev. Control., 2020

2019

Multi-Mode DAE Models - Challenges, Theory and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

2018

Building a Hybrid Systems Modeler on Synchronous Languages Principles.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

Contracts for System Design.

[BibT_eX]

[DOI]

Werner Damm

Thomas A. Henzinger

Kim G. Larsen

Found. Trends Electron. Des. Autom., 2018

2017

Structural Analysis of Multi-Mode DAE Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Synchronous Interfaces and Assume/Guarantee Contracts.

[BibT_eX]

[DOI]

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Loosely Time-Triggered Architectures: Improvements and Comparisons.

[BibT_eX]

[DOI]

Guillaume Baudart

Timothy Bourke

ACM Trans. Embed. Comput. Syst., 2016

2015

Contracts for Schedulability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Application of branching cells to QoS aware service orchestrations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Foreword in honor of Glynn Winskel.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

QoS-aware management of monotonic service orchestrations.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2014

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations.

[BibT_eX]

[DOI]

Ajay Kattepur

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

An overview of the career of Paul Caspi.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

Application of interface theories to the separate compilation of synchronous programs.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

A Modal Interface Theory for Component-based Design.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Compatibility of Data-Centric Web Services.

[BibT_eX]

[DOI]

Benoît Masson

Loïc Hélouët

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

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

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Optimizing Decisions in Web Services Orchestrations.

[BibT_eX]

[DOI]

Ajay Kattepur

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Pairwise testing of dynamic composite services.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Flexible Probabilistic QoS Management of Orchestrations.

[BibT_eX]

[DOI]

Sidney Rosario

Int. J. Web Serv. Res., 2010

Variability Modeling and QoS Analysis of Web Services Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

Document Based Modeling of Web Services Choreographies Using Active XML.

[BibT_eX]

[DOI]

Loïc Hélouët

Proceedings of the IEEE International Conference on Web Services, 2010

A unifying view of loosely time-triggered architectures.

[BibT_eX]

[DOI]

Anne Bouillard

Proceedings of the 10th International conference on Embedded software, 2010

Loosely Time-Triggered Architectures for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

The fundamentals of hybrid systems modelers.

[BibT_eX]

[DOI]

Marc Pouzet

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Metamodels in Europe: Languages, Tools, and Applications.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2009

Monitoring probabilistic SLAs in Web service orchestrations.

[BibT_eX]

[DOI]

Sidney Rosario

Proceedings of the Integrated Network Management, 2009

Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations.

[BibT_eX]

[DOI]

Sidney Rosario

Proceedings of the IEEE International Conference on Web Services, 2009

Actors without Directors: A Kahnian View of Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Concurrency, sigma-Algebras, and Probabilistic Fairness.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Modal interfaces: unifying interface automata and modal specifications.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

09481 Abstracts Collection - SYNCHRON 2009.

[BibT_eX]

[DOI]

Reinhard von Hanxleden

Proceedings of the SYNCHRON 2009, 22.11. - 27.11.2009, 2009

Monotonicity in Service Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2009

Why Are Modalities Good for Interface Theories?.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2008

Composing heterogeneous reactive systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2008

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Implementing Synchronous Models on Loosely Time Triggered Architectures.

[BibT_eX]

[DOI]

Stavros Tripakis

Claudio Pinello

Marco Di Natale

IEEE Trans. Computers, 2008

Monotony in Service Orchestrations

[BibT_eX]

[DOI]

CoRR, 2008

Composing Web Services in an Open World: QoS Issues.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

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

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Nonstationary Consistency of Subspace Methods.

[BibT_eX]

[DOI]

Laurent Mevel

IEEE Trans. Autom. Control., 2007

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

[BibT_eX]

[DOI]

EURASIP J. Adv. Signal Process., 2007

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

[BibT_eX]

[DOI]

Eric Fabre

Discret. Event Dyn. Syst., 2007

A Generic Model of Contracts for Embedded Systems

[BibT_eX]

[DOI]

Roberto Passerone

CoRR, 2007

Event Structure Semantics of Orc.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Probabilistic QoS and soft contracts for transaction based Web services.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Multiple Viewpoint Contract-Based Specification and Design.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

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

[BibT_eX]

[DOI]

Stavros Tripakis

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.

[BibT_eX]

[DOI]

Inf. Comput., 2006

Concurrency in Synchronous Systems.

[BibT_eX]

[DOI]

Dumitru Potop-Butucaru

Formal Methods Syst. Des., 2006

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

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Communication by sampling in time-sensitive distributed systems.

[BibT_eX]

[DOI]

Stavros Tripakis

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Guidelines for a graduate curriculum on embedded software and systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2005

Distributed Monitoring of Concurrent and Asynchronous Systems*.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2005

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

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Tag machines.

[BibT_eX]

[DOI]

Luca P. Carloni

Proceedings of the EMSOFT 2005, 2005

Nonstationary consistency of covariance based subspace methods.

[BibT_eX]

[DOI]

Laurent Mevel

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.

[BibT_eX]

[DOI]

Proceedings of the Telecommunications and Networking, 2004

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

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2004, 2004

2003

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

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2003

Markov nets: probabilistic models for distributed and concurrent systems.

[BibT_eX]

[DOI]

Eric Fabre

Stefan Haar

IEEE Trans. Autom. Control., 2003

The synchronous languages 12 years later.

[BibT_eX]

[DOI]

Proc. IEEE, 2003

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2003

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.

[BibT_eX]

[DOI]

Luca P. Carloni

Proceedings of the Embedded Software, Third International Conference, 2003

Partial order diagnosability of discrete event systems using petri net unfoldings.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Distributed and asynchronous discrete event systems diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

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

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2002

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

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2002, 2002

Toward an Approximation Theory for Computerised Control.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Second International Conference, 2002

A Protocol for Loosely Time-Triggered Architectures.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Second International Conference, 2002

2001

Foreword.

[BibT_eX]

[DOI]

Axel Poigné

Formal Methods Syst. Des., 2001

Some Synchronization Issues When Designing Embedded Systems from Components.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, First International Workshop, 2001

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation.

[BibT_eX]

[DOI]

Inf. Comput., 2000

Discussion on: 'Dynamic Wavelet and Equivalent Models'.

[BibT_eX]

[DOI]

Otilia M. Boaghe

Stephen A. Billings

Eur. J. Control, 2000

Subspace-based fault detection algorithms for vibration monitoring.

[BibT_eX]

[DOI]

Maher Abdelghani

Autom., 2000

A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Distributed state reconstruction for discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Using local tests to estimate convergence rates for identification.

[BibT_eX]

[DOI]

Bernard Delyon

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Convergence rates for eigenstructure identification using subspace methods.

[BibT_eX]

[DOI]

Laurent Mevel

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999

From Synchrony to Asynchrony.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Compositional and uniform modeling of hybrid systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1998

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

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 1998

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

[BibT_eX]

[DOI]

Autom., 1998

BDL, A Language of Distributed Reactive Objects.

[BibT_eX]

[DOI]

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Algebraic Techniques for Timed Systems.

[BibT_eX]

[DOI]

Stephane Gaubert

Proceedings of the CONCUR '98: Concurrency Theory, 1998

Wavelets in identification.

[BibT_eX]

[DOI]

Anatoli B. Juditsky

Bernard Delyon

Pierre-Yves Glorennec

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

1997

Compositionality in Dataflow Synchronous Languages: Specification and Code Generation.

[BibT_eX]

[DOI]

Pascal Aubry

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996

High-level primitives for recursive maximum likelihood estimation.

[BibT_eX]

[DOI]

Bernard C. Levy

Ramine Nikoukhah

IEEE Trans. Autom. Control., 1996

1995

Accuracy analysis for wavelet approximations.

[BibT_eX]

[DOI]

Bernard Delyon

Anatoli B. Juditsky

IEEE Trans. Neural Networks, 1995

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

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

[BibT_eX]

[DOI]

Pierre-Yves Glorennec

Håkan Hjalmarsson

Anatoli B. Juditsky

Autom., 1995

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

[BibT_eX]

[DOI]

Autom., 1995

Compositional and Uniform Modelling of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Multiscale recursive estimation, data fusion, and regularization.

[BibT_eX]

[DOI]

Kenneth C. Chou

Alan S. Willsky

IEEE Trans. Autom. Control., 1994

Early warning of slight changes in systems.

[BibT_eX]

[DOI]

Autom., 1994

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Karl Johan Åström

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>.

[BibT_eX]

[DOI]

Karl Johan Åström

Autom., 1993

Data-Flow Synchronous Languages.

[BibT_eX]

[DOI]

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

1992

A Denotational Theory of Synchronous Reactive Systems

[BibT_eX]

[DOI]

Inf. Comput., August, 1992

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

[BibT_eX]

[DOI]

Alan S. Willsky

IEEE Trans. Signal Process., 1992

Multiscale autoregressive processes. I. Schur-Levinson parametrizations.

[BibT_eX]

[DOI]

Alan S. Willsky

IEEE Trans. Signal Process., 1992

Wavelet networks.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks, 1992

Modeling and estimation of multiresolution stochastic processes.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 1992

Hybrid Systems: The SIGNAL Approach.

[BibT_eX]

[DOI]

Michel Le Borgne

Proceedings of the Hybrid Systems, 1992

SIGNAL as a Model for Real-Time and Hybrid Systems.

[BibT_eX]

[DOI]

Michel Le Borgne

Proceedings of the ESOP '92, 1992

1991

Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics.

[BibT_eX]

[DOI]

Christian Jacquemot

Sci. Comput. Program., 1991

The synchronous approach to reactive and real-time systems.

[BibT_eX]

[DOI]

Gerard Berry

Proc. IEEE, 1991

Approximation by nonlinear wavelet networks.

[BibT_eX]

[DOI]

Proceedings of the 1991 International Conference on Acoustics, 1991

1990

Adaptive Algorithms and Stochastic Approximations

[BibT_eX]

[DOI]

Michel Métivier

Pierre Priouret

Applications of Mathematics 22, Springer, ISBN: 978-3-642-75894-2, 1990

1989

Multiscale statistical signal processing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 1989

1987

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

[BibT_eX]

[DOI]

Autom., 1987

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

[BibT_eX]

[DOI]

George V. Moustakides

Anne Rougée

Autom., 1987

1986

Signal-A data flow-oriented language for signal processing.

[BibT_eX]

[DOI]

IEEE Trans. Acoust. Speech Signal Process., 1986

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

[BibT_eX]

[DOI]

George V. Moustakides

IEEE Trans. Inf. Theory, 1986

Programming Real-Time with Events and Data Flow.

[BibT_eX]

Proceedings of the Information Processing 86, 1986

1984

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

[BibT_eX]

[DOI]

Christian Richard

Francis Kretz

IEEE Trans. Commun., 1984

Blind Equalizers.

[BibT_eX]

[DOI]

Maurice Goursat

IEEE Trans. Commun., 1984

Modeling of Atmospheric Disturbances in Meteorological Pictures.

[BibT_eX]

[DOI]

Patrick Bouthemy

IEEE Trans. Pattern Anal. Mach. Intell., 1984

1983

Sequential detection of abrupt changes in spectral characteristics of digital signals.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 1983

Sequential segmentation of nonstationary digital signals using spectral analysis.

[BibT_eX]

[DOI]

Inf. Sci., 1983

1982

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

[BibT_eX]

[DOI]

Marc Prevosto

Bruno Barnouin

Proceedings of the IEEE International Conference on Acoustics, 1982

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

[BibT_eX]

[DOI]

Claude Labit