Albert Benveniste

154 papers A 9B 7C 4Misc 17Journal 73Unranked 40

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Some Algebraic Aspects of Assume-Guarantee Reasoning. Engineering Safe and Trustworthy Cyber Physical Systems Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli
2025	J	`jnl`	Correction: Hypercontracts. Formal Methods Syst. Des. Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2025	J	`jnl`	Hypercontracts. Formal Methods Syst. Des. Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2025	J	`jnl`	Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. ACM Trans. Cyber Phys. Syst. Inigo Incer, Apurva Badithela, Josefine B. Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Nicolas Rouquette, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2025	J	`jnl`	Structural Methods for handling mode changes in multimode DAE systems. CoRR Albert Benveniste, Benoît Caillaud, Yahao Chen, Khalil Ghorbal, Mathias Malandain
2023	J	`jnl`	Context-Aided Variable Elimination for Requirement Engineering. CoRR Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023	J	`jnl`	Mixed Nondeterministic-Probabilistic Automata. Discret. Event Dyn. Syst. Albert Benveniste, Jean-Baptiste Raclet
2023	J	`jnl`	Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023	J	`jnl`	Some Algebraic Aspects of Assume-Guarantee Reasoning. CoRR Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli
2022	—	`conf`	From Hybrid Automata to DAE-Based Modeling. Principles of Systems Design Albert Benveniste, Benoît Caillaud, Mathias Malandain
2022	—	`conf`	From Interface Automata to Hypercontracts. Principles of Systems Design Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022	—	`conf`	Hypercontracts. NFM Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022	J	`jnl`	Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. CoRR Albert Benveniste, Jean-Baptiste Raclet
2021	J	`jnl`	Hypercontracts. CoRR Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2021	J	`jnl`	Structural Analysis of Multimode DAE Systems: summary of results. CoRR Albert Benveniste, Benoît Caillaud, Mathias Malandain
2020	J	`jnl`	Mixed Nondeterministic-Probabilistic Interfaces. CoRR Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet
2020	J	`jnl`	The Mathematical Foundations of Physical Systems Modeling Languages. CoRR Albert Benveniste, Benoît Caillaud, Mathias Malandain
2020	J	`jnl`	The mathematical foundations of physical systems modeling languages. Annu. Rev. Control. Albert Benveniste, Benoît Caillaud, Mathias Malandain
2019	—	`ch.`	Multi-Mode DAE Models - Challenges, Theory and Implementation. Computing and Software Science Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
2018	J	`jnl`	Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proc. IEEE Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
2018	J	`jnl`	Contracts for System Design. Found. Trends Electron. Des. Autom. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
2017	—	`conf`	Structural Analysis of Multi-Mode DAE Systems. HSCC Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
2017	—	`conf`	Synchronous Interfaces and Assume/Guarantee Contracts. Models, Algorithms, Logics and Tools Albert Benveniste, Benoît Caillaud
2016	J	`jnl`	Loosely Time-Triggered Architectures: Improvements and Comparisons. ACM Trans. Embed. Comput. Syst. Guillaume Baudart, Albert Benveniste, Timothy Bourke
2015	—	`conf`	Contracts for Schedulability Analysis. FORMATS Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand
2015	Misc	`conf`	Loosely time-triggered architectures: improvements and comparisons. EMSOFT Guillaume Baudart, Albert Benveniste, Timothy Bourke
2014	—	`conf`	A type-based analysis of causality loops in hybrid systems modelers. HSCC Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
2014	J	`jnl`	Application of branching cells to QoS aware service orchestrations. Theor. Comput. Sci. Albert Benveniste, Claude Jard, Samy Abbes
2014	J	`jnl`	Foreword in honor of Glynn Winskel. Theor. Comput. Sci. Albert Benveniste, Claude Jard, Samy Abbes
2014	J	`jnl`	QoS-aware management of monotonic service orchestrations. Formal Methods Syst. Des. Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen
2012	Misc	`conf`	An overview of the career of Paul Caspi. EMSOFT Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi
2012	—	`conf`	Application of interface theories to the separate compilation of synchronous programs. CDC Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet
2012	A	`conf`	Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations. ICWS Ajay Kattepur, Albert Benveniste, Claude Jard
2012	J	`jnl`	Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
2011	J	`jnl`	A Modal Interface Theory for Component-based Design. Fundam. Informaticae Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
2011	Misc	`conf`	A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. EMSOFT Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
2011	—	`conf`	Compatibility of Data-Centric Web Services. WS-FM Benoît Masson, Loïc Hélouët, Albert Benveniste
2011	B	`conf`	Divide and recycle: types and compilation for a hybrid synchronous language. LCTES Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
2011	A	`conf`	Optimizing Decisions in Web Services Orchestrations. ICSOC Ajay Kattepur, Albert Benveniste, Claude Jard
2011	A	`conf`	Pairwise testing of dynamic composite services. SEAMS Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
2010	Misc	`conf`	A unifying view of loosely time-triggered architectures. EMSOFT Albert Benveniste, Anne Bouillard, Paul Caspi
2010	A	`conf`	Document Based Modeling of Web Services Choreographies Using Active XML. ICWS Loïc Hélouët, Albert Benveniste
2010	J	`jnl`	Flexible Probabilistic QoS Management of Orchestrations. Int. J. Web Serv. Res. Sidney Rosario, Albert Benveniste, Claude Jard
2010	A	`conf`	Loosely Time-Triggered Architectures for Cyber-Physical Systems. DATE Albert Benveniste
2010	—	`conf`	The fundamentals of hybrid systems modelers. CDC Albert Benveniste, Benoît Caillaud, Marc Pouzet
2010	A	`conf`	Variability Modeling and QoS Analysis of Web Services Orchestrations. ICWS Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
2009	—	`conf`	09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
2009	—	`conf`	Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis
2009	B	`conf`	Concurrency, sigma-Algebras, and Probabilistic Fairness. FoSSaCS Samy Abbes, Albert Benveniste
2009	A	`conf`	Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. ICWS Sidney Rosario, Albert Benveniste, Claude Jard
2009	J	`jnl`	Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
2009	Misc	`conf`	Modal interfaces: unifying interface automata and modal specifications. EMSOFT Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
2009	—	`conf`	Monitoring probabilistic SLAs in Web service orchestrations. Integrated Network Management Sidney Rosario, Albert Benveniste, Claude Jard
2009	B	`conf`	Monotonicity in Service Orchestrations. Petri Nets Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
2009	—	`ed.`	SYNCHRON 2009, 22.11. - 27.11.2009 SYNCHRON 2009 Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
2009	—	`conf`	Why Are Modalities Good for Interface Theories?. ACSD Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone
2008	—	`conf`	Composing Web Services in an Open World: Issues of Quality of Service. FORMATS Albert Benveniste
2008	—	`conf`	Composing Web Services in an Open World: QoS Issues. QEST Albert Benveniste
2008	J	`jnl`	Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale
2008	J	`jnl`	Monotony in Service Orchestrations CoRR Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
2008	J	`jnl`	Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. IEEE Trans. Serv. Comput. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
2008	—	`conf`	Time-robust discrete control over networked Loosely Time-Triggered Architectures. CDC Paul Caspi, Albert Benveniste
2008	J	`jnl`	True-concurrency probabilistic models: Markov nets and a law of large numbers. Theor. Comput. Sci. Samy Abbes, Albert Benveniste
2007	J	`jnl`	A Generic Model of Contracts for Embedded Systems CoRR Albert Benveniste, Benoît Caillaud, Roberto Passerone
2007	—	`conf`	Event Structure Semantics of Orc. WS-FM Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard
2007	Misc	`conf`	Loosely time-triggered architectures based on communication-by-sampling. EMSOFT Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2007	—	`conf`	Multiple Viewpoint Contract-Based Specification and Design. FMCO Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis
2007	J	`jnl`	Nonstationary Consistency of Subspace Methods. IEEE Trans. Autom. Control. Albert Benveniste, Laurent Mevel
2007	J	`jnl`	Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them. Discret. Event Dyn. Syst. Eric Fabre, Albert Benveniste
2007	A	`conf`	Probabilistic QoS and soft contracts for transaction based Web services. ICWS Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
2007	J	`jnl`	Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion. EURASIP J. Adv. Signal Process. Michèle Basseville, Albert Benveniste, Maurice Goursat, Laurent Mevel
2006	Misc	`conf`	Communication by sampling in time-sensitive distributed systems. EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2006	J	`jnl`	Concurrency in Synchronous Systems. Formal Methods Syst. Des. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
2006	C	`conf`	Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
2006	J	`jnl`	True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. Inf. Comput. Samy Abbes, Albert Benveniste
2005	C	`conf`	Aircraft flutter test design using identification and simulation: a SCILAB toolbox. CCA Laurent Mevel, Maurice Goursat, Albert Benveniste, Michèle Basseville
2005	B	`conf`	Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. FoSSaCS Samy Abbes, Albert Benveniste
2005	J	`jnl`	Distributed Monitoring of Concurrent and Asynchronous Systems*. Discret. Event Dyn. Syst. Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard
2005	J	`jnl`	Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
2005	—	`conf`	Nonstationary consistency of covariance based subspace methods. CDC/ECC Albert Benveniste, Laurent Mevel
2005	Misc	`conf`	Tag machines. EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2004	—	`conf`	Algorithms for Distributed Fault Management in Telecommunications Networks. ICT Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan
2004	—	`conf`	Concurrency in Synchronous Systems. ACSD Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste
2004	Misc	`conf`	Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2003	—	`conf`	Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2003	J	`jnl`	Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Trans. Autom. Control. Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard
2003	B	`conf`	Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
2003	—	`conf`	Distributed and asynchronous discrete event systems diagnosis. CDC Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
2003	Misc	`conf`	Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2003	J	`jnl`	Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. Autom. Control. Albert Benveniste, Eric Fabre, Stefan Haar
2003	—	`conf`	Partial order diagnosability of discrete event systems using petri net unfoldings. CDC Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard
2003	J	`jnl`	The synchronous languages 12 years later. Proc. IEEE Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
2002	Misc	`conf`	A Protocol for Loosely Time-Triggered Architectures. EMSOFT Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
2002	J	`jnl`	Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors. IEEE Trans. Signal Process. Laurent Mevel, Albert Benveniste, Michèle Basseville, Maurice Goursat
2002	—	`conf`	Non-massive, Non-high Performance, Distributed Computing: Selected Issues. Euro-Par Albert Benveniste
2002	Misc	`conf`	Toward an Approximation Theory for Computerised Control. EMSOFT Paul Caspi, Albert Benveniste
2001	J	`jnl`	Foreword. Formal Methods Syst. Des. Albert Benveniste, Axel Poigné
2001	—	`conf`	Markov nets: probabilistic models for distributed and concurrent systems. CDC Albert Benveniste, Eric Fabre, Stefan Haar
2001	Misc	`conf`	Some Synchronization Issues When Designing Embedded Systems from Components. EMSOFT Albert Benveniste
2001	—	`conf`	The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. CDC Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand
2000	C	`conf`	A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. ISORC Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic
2000	J	`jnl`	Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. Inf. Comput. Albert Benveniste, Benoît Caillaud, Paul Le Guernic
2000	—	`conf`	Convergence rates for eigenstructure identification using subspace methods. CDC Albert Benveniste, Michèle Basseville, Laurent Mevel
2000	J	`jnl`	Discussion on: 'Dynamic Wavelet and Equivalent Models'. Eur. J. Control Albert Benveniste, Otilia M. Boaghe, Stephen A. Billings
2000	—	`conf`	Distributed state reconstruction for discrete event systems. CDC Eric Fabre, Albert Benveniste, Claude Jard, Laurie Ricker, Mark Smith
2000	J	`jnl`	Subspace-based fault detection algorithms for vibration monitoring. Autom. Michèle Basseville, Maher Abdelghani, Albert Benveniste
2000	—	`conf`	Using local tests to estimate convergence rates for identification. CDC Albert Benveniste, Bernard Delyon
1999	B	`conf`	From Synchrony to Asynchrony. CONCUR Albert Benveniste, Benoît Caillaud, Paul Le Guernic
1998	B	`conf`	Algebraic Techniques for Timed Systems. CONCUR Albert Benveniste, Claude Jard, Stephane Gaubert
1998	C	`conf`	BDL, A Language of Distributed Reactive Objects. ISORC Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon
1998	J	`jnl`	Compositional and uniform modeling of hybrid systems. IEEE Trans. Autom. Control. Albert Benveniste
1998	J	`jnl`	Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets. Discret. Event Dyn. Syst. Armen Aghasaryan, Eric Fabre, Albert Benveniste, Renée Boubour, Claude Jard
1998	J	`jnl`	Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach. Autom. Qinghua Zhang, Michèle Basseville, Albert Benveniste
1998	—	`ch.`	Wavelets in identification. Fuzzy logic and expert systems applications Anatoli B. Juditsky, Qinghua Zhang, Bernard Delyon, Pierre-Yves Glorennec, Albert Benveniste
1997	—	`conf`	Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. COMPOS Albert Benveniste, Paul Le Guernic, Pascal Aubry
1996	J	`jnl`	High-level primitives for recursive maximum likelihood estimation. IEEE Trans. Autom. Control. Bernard C. Levy, Albert Benveniste, Ramine Nikoukhah
1995	J	`jnl`	A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems. Theor. Comput. Sci. Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
1995	J	`jnl`	Accuracy analysis for wavelet approximations. IEEE Trans. Neural Networks Bernard Delyon, Anatoli B. Juditsky, Albert Benveniste
1995	—	`conf`	Compositional and Uniform Modelling of Hybrid Systems. Hybrid Systems Albert Benveniste
1995	J	`jnl`	Nonlinear black-box modeling in system identification: a unified overview. Autom. Jonas Sjöberg, Qinghua Zhang, Lennart Ljung, Albert Benveniste, Bernard Delyon, Pierre-Yves Glorennec, Håkan Hjalmarsson, Anatoli B. Juditsky
1995	J	`jnl`	Nonlinear black-box models in system identification: Mathematical foundations. Autom. Anatoli B. Juditsky, Håkan Hjalmarsson, Albert Benveniste, Bernard Delyon, Lennart Ljung, Jonas Sjöberg, Qinghua Zhang
1994	—	`conf`	A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. FTRTFT Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
1994	—	`conf`	A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. Hybrid Systems Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic
1994	J	`jnl`	Early warning of slight changes in systems. Autom. Qinghua Zhang, Michèle Basseville, Albert Benveniste
1994	J	`jnl`	Multiscale recursive estimation, data fusion, and regularization. IEEE Trans. Autom. Control. Kenneth C. Chou, Alan S. Willsky, Albert Benveniste
1993	—	`conf`	Data-Flow Synchronous Languages. REX School/Symposium Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
1993	J	`jnl`	Meeting the challenge of computer science in the industrial applications of control: An introductory discussion to the special issue Autom. Albert Benveniste, Karl Johan Åström
1993	J	`jnl`	Meeting the challenge of computer science in the industrial applications of control: an introductory discussion to the special issue. IEEE Trans. Autom. Control. Albert Benveniste, Karl Johan Åström
1992	J	`jnl`	A Denotational Theory of Synchronous Reactive Systems Inf. Comput. Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine
1992	—	`conf`	Hybrid Systems: The SIGNAL Approach. Hybrid Systems Albert Benveniste, Michel Le Borgne, Paul Le Guernic
1992	J	`jnl`	Modeling and estimation of multiresolution stochastic processes. IEEE Trans. Inf. Theory Michèle Basseville, Albert Benveniste, Kenneth C. Chou, Stuart A. Golden, Ramine Nikoukhah, Alan S. Willsky
1992	J	`jnl`	Multiscale autoregressive processes. I. Schur-Levinson parametrizations. IEEE Trans. Signal Process. Michèle Basseville, Albert Benveniste, Alan S. Willsky
1992	J	`jnl`	Multiscale autoregressive processes. II. Lattice structures for whitening and modeling. IEEE Trans. Signal Process. Michèle Basseville, Albert Benveniste, Alan S. Willsky
1992	A	`conf`	SIGNAL as a Model for Real-Time and Hybrid Systems. ESOP Albert Benveniste, Michel Le Borgne, Paul Le Guernic
1992	J	`jnl`	Wavelet networks. IEEE Trans. Neural Networks Qinghua Zhang, Albert Benveniste
1991	Misc	`conf`	Approximation by nonlinear wavelet networks. ICASSP Qinghua Zhang, Albert Benveniste
1991	J	`jnl`	Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics. Sci. Comput. Program. Albert Benveniste, Paul Le Guernic, Christian Jacquemot
1991	J	`jnl`	The synchronous approach to reactive and real-time systems. Proc. IEEE Albert Benveniste, Gerard Berry
1990	—	`book`	Adaptive Algorithms and Stochastic Approximations Albert Benveniste, Michel Métivier, Pierre Priouret
1989	Misc	`conf`	Multiscale statistical signal processing. ICASSP Michèle Basseville, Albert Benveniste
1987	J	`jnl`	Commande adaptative aspects pratiques et théoriques: Editors I. D. Landau and L. Dugard. Autom. Albert Benveniste
1987	J	`jnl`	Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems. Autom. Michèle Basseville, Albert Benveniste, George V. Moustakides, Anne Rougée
1986	J	`jnl`	Detection and diagnosis of abrupt changes in modal characteristics of nonstationary digital signals. IEEE Trans. Inf. Theory Michèle Basseville, Albert Benveniste, George V. Moustakides
1986	—	`conf`	Programming Real-Time with Events and Data Flow. IFIP Congress Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai
1986	J	`jnl`	Signal-A data flow-oriented language for signal processing. IEEE Trans. Acoust. Speech Signal Process. Paul Le Guernic, Albert Benveniste, Patricia Bournai, Thierry Gautier
1984	J	`jnl`	Blind Equalizers. IEEE Trans. Commun. Albert Benveniste, Maurice Goursat
1984	J	`jnl`	Modeling of Atmospheric Disturbances in Meteorological Pictures. IEEE Trans. Pattern Anal. Mach. Intell. Patrick Bouthemy, Albert Benveniste
1984	J	`jnl`	Recursive Estimation of Local Characteristics of Edges in TV Pictures as Applied to ADPCM Coding. IEEE Trans. Commun. Christian Richard, Albert Benveniste, Francis Kretz
1983	J	`jnl`	Sequential detection of abrupt changes in spectral characteristics of digital signals. IEEE Trans. Inf. Theory Michèle Basseville, Albert Benveniste
1983	J	`jnl`	Sequential segmentation of nonstationary digital signals using spectral analysis. Inf. Sci. Michèle Basseville, Albert Benveniste
1982	Misc	`conf`	Identification of vibrating structures subject to non stationary excitation : A non stationary stochastic realization problem. ICASSP Marc Prevosto, Albert Benveniste, Bruno Barnouin
1982	Misc	`conf`	Motion of edges and motion estimation in a sequence of T.V. pictures. ICASSP Claude Labit, Albert Benveniste
1974	—	`conf`	A New Algorithm for Gauss Markov Identification. Optimization Techniques Albert Benveniste, Pierre Bernhard, Jean Chatelon, Guy Cohen