default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlbert Benveniste
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j59]Albert Benveniste
, Jean-Baptiste Raclet:
Mixed Nondeterministic-Probabilistic Automata. Discret. Event Dyn. Syst. 33(4): 455-505 (2023)- [i11]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:
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR abs/2303.17751 (2023) - [i10]Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Context-Aided Variable Elimination for Requirement Engineering. CoRR abs/2305.17596 (2023) - [i9]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli:
Some Algebraic Aspects of Assume-Guarantee Reasoning. CoRR abs/2309.08875 (2023) - 2022
- [c74]Albert Benveniste, Benoît Caillaud, Mathias Malandain:
From Hybrid Automata to DAE-Based Modeling. Principles of Systems Design 2022: 3-20 - [c73]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
From Interface Automata to Hypercontracts. Principles of Systems Design 2022: 477-493 - [c72]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Hypercontracts. NFM 2022: 674-692 - [i8]Albert Benveniste, Jean-Baptiste Raclet:
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. CoRR abs/2201.07474 (2022) - 2021
- [i7]Albert Benveniste, Benoît Caillaud, Mathias Malandain:
Structural Analysis of Multimode DAE Systems: summary of results. CoRR abs/2101.05702 (2021) - [i6]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Hypercontracts. CoRR abs/2106.02449 (2021) - 2020
- [j58]Albert Benveniste, Benoît Caillaud, Mathias Malandain:
The mathematical foundations of physical systems modeling languages. Annu. Rev. Control. 50: 72-118 (2020) - [i5]Albert Benveniste, Benoît Caillaud, Mathias Malandain:
The Mathematical Foundations of Physical Systems Modeling Languages. CoRR abs/2008.05166 (2020) - [i4]Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet:
Mixed Nondeterministic-Probabilistic Interfaces. CoRR abs/2011.09435 (2020)
2010 – 2019
- 2019
- [p2]Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet:
Multi-Mode DAE Models - Challenges, Theory and Implementation. Computing and Software Science 2019: 283-310 - 2018
- [j57]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:
Contracts for System Design. Found. Trends Electron. Des. Autom. 12(2-3): 124-400 (2018) - [j56]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet:
Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proc. IEEE 106(9): 1568-1592 (2018) - 2017
- [c71]Albert Benveniste, Benoît Caillaud:
Synchronous Interfaces and Assume/Guarantee Contracts. Models, Algorithms, Logics and Tools 2017: 233-248 - [c70]Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet:
Structural Analysis of Multi-Mode DAE Systems. HSCC 2017: 253-263 - 2016
- [j55]Guillaume Baudart, Albert Benveniste, Timothy Bourke:
Loosely Time-Triggered Architectures: Improvements and Comparisons. ACM Trans. Embed. Comput. Syst. 15(4): 71:1-71:26 (2016) - 2015
- [c69]Guillaume Baudart, Albert Benveniste, Timothy Bourke:
Loosely time-triggered architectures: improvements and comparisons. EMSOFT 2015: 85-94 - [c68]Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand:
Contracts for Schedulability Analysis. FORMATS 2015: 270-287 - 2014
- [j54]Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen:
QoS-aware management of monotonic service orchestrations. Formal Methods Syst. Des. 44(1): 1-43 (2014) - [j53]Albert Benveniste, Claude Jard, Samy Abbes:
Foreword in honor of Glynn Winskel. Theor. Comput. Sci. 546: 30-31 (2014) - [j52]Albert Benveniste, Claude Jard, Samy Abbes:
Application of branching cells to QoS aware service orchestrations. Theor. Comput. Sci. 546: 52-62 (2014) - [c67]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet:
A type-based analysis of causality loops in hybrid systems modelers. HSCC 2014: 71-82 - 2012
- [j51]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. 78(3): 877-910 (2012) - [c66]Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet:
Application of interface theories to the separate compilation of synchronous programs. CDC 2012: 7252-7258 - [c65]Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi:
An overview of the career of Paul Caspi. EMSOFT 2012: 195-196 - [c64]Ajay Kattepur, Albert Benveniste, Claude Jard:
Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations. ICWS 2012: 106-113 - 2011
- [j50]Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone:
A Modal Interface Theory for Component-based Design. Fundam. Informaticae 108(1-2): 119-149 (2011) - [c63]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. EMSOFT 2011: 137-148 - [c62]Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard:
Pairwise testing of dynamic composite services. SEAMS 2011: 138-147 - [c61]Ajay Kattepur, Albert Benveniste, Claude Jard:
Optimizing Decisions in Web Services Orchestrations. ICSOC 2011: 77-91 - [c60]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
Divide and recycle: types and compilation for a hybrid synchronous language. LCTES 2011: 61-70 - [c59]Benoît Masson, Loïc Hélouët, Albert Benveniste:
Compatibility of Data-Centric Web Services. WS-FM 2011: 32-47 - 2010
- [j49]Sidney Rosario, Albert Benveniste, Claude Jard:
Flexible Probabilistic QoS Management of Orchestrations. Int. J. Web Serv. Res. 7(2): 21-42 (2010) - [c58]Albert Benveniste, Benoît Caillaud, Marc Pouzet:
The fundamentals of hybrid systems modelers. CDC 2010: 4180-4185 - [c57]Albert Benveniste:
Loosely Time-Triggered Architectures for Cyber-Physical Systems. DATE 2010: 3-8 - [c56]Albert Benveniste, Anne Bouillard, Paul Caspi:
A unifying view of loosely time-triggered architectures. EMSOFT 2010: 189-198 - [c55]Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard:
Variability Modeling and QoS Analysis of Web Services Orchestrations. ICWS 2010: 99-106 - [c54]Loïc Hélouët, Albert Benveniste:
Document Based Modeling of Web Services Choreographies Using Active XML. ICWS 2010: 291-298
2000 – 2009
- 2009
- [j48]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:
Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. 26(3): 38-53 (2009) - [c53]Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone:
Why Are Modalities Good for Interface Theories?. ACSD 2009: 119-127 - [c52]Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar:
Monotonicity in Service Orchestrations. Petri Nets 2009: 263-282 - [c51]Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone:
Modal interfaces: unifying interface automata and modal specifications. EMSOFT 2009: 87-96 - [c50]Samy Abbes, Albert Benveniste:
Concurrency, sigma-Algebras, and Probabilistic Fairness. FoSSaCS 2009: 380-394 - [c49]Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis:
Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60 - [c48]Sidney Rosario, Albert Benveniste, Claude Jard:
Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. ICWS 2009: 107-114 - [c47]Sidney Rosario, Albert Benveniste, Claude Jard:
Monitoring probabilistic SLAs in Web service orchestrations. Integrated Network Management 2009: 474-481 - [e1]Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden:
SYNCHRON 2009, 22.11. - 27.11.2009. Dagstuhl Seminar Proceedings 09481, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i3]Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden:
09481 Abstracts Collection - SYNCHRON 2009. SYNCHRON 2009 2009 - 2008
- [j47]Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale:
Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers 57(10): 1300-1314 (2008) - [j46]Samy Abbes, Albert Benveniste:
True-concurrency probabilistic models: Markov nets and a law of large numbers. Theor. Comput. Sci. 390(2-3): 129-170 (2008) - [j45]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst. 7(4): 43:1-43:36 (2008) - [j44]Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard:
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. IEEE Trans. Serv. Comput. 1(4): 187-200 (2008) - [c46]Paul Caspi, Albert Benveniste:
Time-robust discrete control over networked Loosely Time-Triggered Architectures. CDC 2008: 3595-3600 - [c45]Albert Benveniste:
Composing Web Services in an Open World: Issues of Quality of Service. FORMATS 2008: 14 - [c44]Albert Benveniste:
Composing Web Services in an Open World: QoS Issues. QEST 2008: 121 - [i2]Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar:
Monotony in Service Orchestrations. CoRR abs/0804.4896 (2008) - 2007
- [j43]Eric Fabre, Albert Benveniste:
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them. Discret. Event Dyn. Syst. 17(3): 355-403 (2007) - [j42]Michèle Basseville, Albert Benveniste, Maurice Goursat, Laurent Mevel:
Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion. EURASIP J. Adv. Signal Process. 2007 (2007) - [j41]Albert Benveniste, Laurent Mevel:
Nonstationary Consistency of Subspace Methods. IEEE Trans. Autom. Control. 52(6): 974-984 (2007) - [c43]Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Loosely time-triggered architectures based on communication-by-sampling. EMSOFT 2007: 231-239 - [c42]Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis:
Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225 - [c41]Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard:
Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133 - [c40]Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard:
Event Structure Semantics of Orc. WS-FM 2007: 154-168 - [i1]Albert Benveniste, Benoît Caillaud, Roberto Passerone:
A Generic Model of Contracts for Embedded Systems. CoRR abs/0706.1456 (2007) - 2006
- [j40]Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste:
Concurrency in Synchronous Systems. Formal Methods Syst. Des. 28(2): 111-130 (2006) - [j39]Samy Abbes, Albert Benveniste:
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. Inf. Comput. 204(2): 231-274 (2006) - [c39]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Communication by sampling in time-sensitive distributed systems. EMSOFT 2006: 152-160 - [c38]Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard:
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA 2006: 309-316 - 2005
- [j38]Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard:
Distributed Monitoring of Concurrent and Asynchronous Systems*. Discret. Event Dyn. Syst. 15(1): 33-84 (2005) - [j37]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:
Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 4(3): 587-611 (2005) - [c37]Albert Benveniste, Laurent Mevel:
Nonstationary consistency of covariance based subspace methods. CDC/ECC 2005: 7096-7101 - [c36]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Tag machines. EMSOFT 2005: 255-263 - [c35]Samy Abbes, Albert Benveniste:
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. FoSSaCS 2005: 95-109 - 2004
- [c34]Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste:
Concurrency in Synchronous Systems. ACSD 2004: 67-78 - [c33]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT 2004: 220-229 - [c32]Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan:
Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004: 820-825 - 2003
- [j36]Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone:
The synchronous languages 12 years later. Proc. IEEE 91(1): 64-83 (2003) - [j35]Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard:
Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Trans. Autom. Control. 48(5): 714-727 (2003) - [j34]Albert Benveniste, Eric Fabre, Stefan Haar:
Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. Autom. Control. 48(11): 1936-1950 (2003) - [c31]Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard:
Distributed and asynchronous discrete event systems diagnosis. CDC 2003: 3742-3747 - [c30]Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard:
Partial order diagnosability of discrete event systems using petri net unfoldings. CDC 2003: 3748-3753 - [c29]Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard:
Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003: 1-26 - [c28]Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50 - [c27]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO 2003: 1-16 - 2002
- [j33]Laurent Mevel, Albert Benveniste, Michèle Basseville, Maurice Goursat:
Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors. IEEE Trans. Signal Process. 50(1): 41-48 (2002) - [c26]Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis:
A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265 - [c25]Paul Caspi, Albert Benveniste:
Toward an Approximation Theory for Computerised Control. EMSOFT 2002: 294-304 - [c24]Albert Benveniste:
Non-massive, Non-high Performance, Distributed Computing: Selected Issues. Euro-Par 2002: 29-48 - 2001
- [j32]Albert Benveniste, Axel Poigné:
Foreword. Formal Methods Syst. Des. 19(1): 5-6 (2001) - [c23]Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand:
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. CDC 2001: 3284-3289 - [c22]Albert Benveniste, Eric Fabre, Stefan Haar:
Markov nets: probabilistic models for distributed and concurrent systems. CDC 2001: 5010-5015 - [c21]Albert Benveniste:
Some Synchronization Issues When Designing Embedded Systems from Components. EMSOFT 2001: 32-49 - 2000
- [j31]Michèle Basseville, Maher Abdelghani, Albert Benveniste:
Subspace-based fault detection algorithms for vibration monitoring. Autom. 36(1): 101-109 (2000) - [j30]Albert Benveniste, Otilia M. Boaghe, Stephen A. Billings:
Discussion on: 'Dynamic Wavelet and Equivalent Models'. Eur. J. Control 6(2): 132-134 (2000) - [j29]Albert Benveniste, Benoît Caillaud, Paul Le Guernic:
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. Inf. Comput. 163(1): 125-171 (2000) - [c20]Albert Benveniste, Michèle Basseville, Laurent Mevel:
Convergence rates for eigenstructure identification using subspace methods. CDC 2000: 1550-1554 - [c19]Albert Benveniste, Bernard Delyon:
Using local tests to estimate convergence rates for identification. CDC 2000: 1985-1990 - [c18]Eric Fabre, Albert Benveniste, Claude Jard, Laurie Ricker, Mark Smith:
Distributed state reconstruction for discrete event systems. CDC 2000: 2252-2257 - [c17]Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic:
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. ISORC 2000: 96-103
1990 – 1999
- 1999
- [c16]Albert Benveniste, Benoît Caillaud, Paul Le Guernic:
From Synchrony to Asynchrony. CONCUR 1999: 162-177 - 1998
- [j28]Qinghua Zhang, Michèle Basseville, Albert Benveniste:
Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach. Autom. 34(11): 1359-1373 (1998) - [j27]Armen Aghasaryan, Eric Fabre, Albert Benveniste, Renée Boubour, Claude Jard:
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets. Discret. Event Dyn. Syst. 8(2): 203-231 (1998) - [j26]Albert Benveniste:
Compositional and uniform modeling of hybrid systems. IEEE Trans. Autom. Control. 43(4): 579-584 (1998) - [c15]Albert Benveniste, Claude Jard, Stephane Gaubert:
Algebraic Techniques for Timed Systems. CONCUR 1998: 373-388 - [c14]Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon:
BDL, A Language of Distributed Reactive Objects. ISORC 1998: 196-205 - [p1]Anatoli B. Juditsky, Qinghua Zhang, Bernard Delyon, Pierre-Yves Glorennec, Albert Benveniste:
Wavelets in identification. Fuzzy logic and expert systems applications 1998: 315-412 - 1997
- [c13]Albert Benveniste, Paul Le Guernic, Pascal Aubry:
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. COMPOS 1997: 61-80 - 1996
- [j25]Bernard C. Levy, Albert Benveniste, Ramine Nikoukhah:
High-level primitives for recursive maximum likelihood estimation. IEEE Trans. Autom. Control. 41(8): 1125-1145 (1996) - 1995
- [j24]Jonas Sjöberg, Qinghua Zhang, Lennart Ljung, Albert Benveniste, Bernard Delyon, Pierre-Yves Glorennec, Håkan Hjalmarsson, Anatoli B. Juditsky:
Nonlinear black-box modeling in system identification: a unified overview. Autom. 31(12): 1691-1724 (1995) - [j23]Anatoli B. Juditsky, Håkan Hjalmarsson, Albert Benveniste, Bernard Delyon, Lennart Ljung, Jonas Sjöberg, Qinghua Zhang:
Nonlinear black-box models in system identification: Mathematical foundations. Autom. 31(12): 1725-1750 (1995) - [j22]Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic:
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems. Theor. Comput. Sci. 152(2): 171-217 (1995) - [j21]Bernard Delyon, Anatoli B. Juditsky, Albert Benveniste:
Accuracy analysis for wavelet approximations. IEEE Trans. Neural Networks 6(2): 332-348 (1995) - [c12]Albert Benveniste:
Compositional and Uniform Modelling of Hybrid Systems. Hybrid Systems 1995: 41-51 - 1994
- [j20]Qinghua Zhang, Michèle Basseville, Albert Benveniste:
Early warning of slight changes in systems. Autom. 30(1): 95-113 (1994) - [j19]Kenneth C. Chou, Alan S. Willsky, Albert Benveniste:
Multiscale recursive estimation, data fusion, and regularization. IEEE Trans. Autom. Control. 39(3): 464-478 (1994) - [c11]Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic:
A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. FTRTFT 1994: 149-169 - [c10]Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic:
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. Hybrid Systems 1994: 21-44 - 1993
- [j18]Albert Benveniste, Karl Johan Åström:
Meeting the challenge of computer science in the industrial applications of control: An introductory discussion to the special issue, . Autom. 29(5): 1169-1175 (1993) - [j17]Albert Benveniste, Karl Johan Åström:
Meeting the challenge of computer science in the industrial applications of control: an introductory discussion to the special issue. IEEE Trans. Autom. Control. 38(7): 1004-1010 (1993) - [c9]Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs:
Data-Flow Synchronous Languages. REX School/Symposium 1993: 1-45 - 1992
- [j16]Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine:
A Denotational Theory of Synchronous Reactive Systems. Inf. Comput. 99(2): 192-230 (1992) - [j15]Michèle Basseville, Albert Benveniste, Kenneth C. Chou, Stuart A. Golden, Ramine Nikoukhah, Alan S. Willsky:
Modeling and estimation of multiresolution stochastic processes. IEEE Trans. Inf. Theory 38(2): 766-784 (1992) - [j14]Qinghua Zhang, Albert Benveniste:
Wavelet networks. IEEE Trans. Neural Networks 3(6): 889-898 (1992) - [j13]Michèle Basseville, Albert Benveniste, Alan S. Willsky:
Multiscale autoregressive processes. I. Schur-Levinson parametrizations. IEEE Trans. Signal Process. 40(8): 1915-1934 (1992) - [j12]Michèle Basseville, Albert Benveniste, Alan S. Willsky:
Multiscale autoregressive processes. II. Lattice structures for whitening and modeling. IEEE Trans. Signal Process. 40(8): 1935-1954 (1992) - [c8]Albert Benveniste, Michel Le Borgne, Paul Le Guernic:
SIGNAL as a Model for Real-Time and Hybrid Systems. ESOP 1992: 20-38 - [c7]Albert Benveniste, Michel Le Borgne, Paul Le Guernic:
Hybrid Systems: The SIGNAL Approach. Hybrid Systems 1992: 230-254 - 1991
- [j11]Albert Benveniste, Gerard Berry:
The synchronous approach to reactive and real-time systems. Proc. IEEE 79(9): 1270-1282 (1991) - [j10]Albert Benveniste, Paul Le Guernic, Christian Jacquemot:
Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics. Sci. Comput. Program. 16(2): 103-149 (1991) - [c6]Qinghua Zhang, Albert Benveniste:
Approximation by nonlinear wavelet networks. ICASSP 1991: 3417-3420 - 1990
- [b1]Albert Benveniste, Michel Métivier, Pierre Priouret:
Adaptive Algorithms and Stochastic Approximations. Applications of Mathematics 22, Springer 1990, ISBN 978-3-642-75896-6, pp. 1-365
1980 – 1989
- 1989
- [c5]Michèle Basseville, Albert Benveniste:
Multiscale statistical signal processing. ICASSP 1989: 2065-2068 - 1987
- [j9]Michèle Basseville, Albert Benveniste, George V. Moustakides, Anne Rougée:
Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems. Autom. 23(4): 479-489 (1987) - [j8]Albert Benveniste:
Commande adaptative aspects pratiques et théoriques: Editors I. D. Landau and L. Dugard. Autom. 23(5): 681-682 (1987) - 1986
- [j7]Michèle Basseville, Albert Benveniste, George V. Moustakides:
Detection and diagnosis of abrupt changes in modal characteristics of nonstationary digital signals. IEEE Trans. Inf. Theory 32(3): 412-417 (1986) - [j6]Paul Le Guernic, Albert Benveniste, Patricia Bournai, Thierry Gautier:
Signal-A data flow-oriented language for signal processing. IEEE Trans. Acoust. Speech Signal Process. 34(2): 362-374 (1986) - [c4]Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai:
Programming Real-Time with Events and Data Flow. IFIP Congress 1986: 469-474 - 1984
- [j5]Patrick Bouthemy, Albert Benveniste:
Modeling of Atmospheric Disturbances in Meteorological Pictures. IEEE Trans. Pattern Anal. Mach. Intell. 6(5): 587-600 (1984) - [j4]Christian Richard, Albert Benveniste, Francis Kretz:
Recursive Estimation of Local Characteristics of Edges in TV Pictures as Applied to ADPCM Coding. IEEE Trans. Commun. 32(6): 718-728 (1984) - [j3]Albert Benveniste, Maurice Goursat:
Blind Equalizers. IEEE Trans. Commun. 32(8): 871-883 (1984) - 1983
- [j2]Michèle Basseville, Albert Benveniste:
Sequential segmentation of nonstationary digital signals using spectral analysis. Inf. Sci. 29(1): 57-73 (1983) - [j1]Michèle Basseville, Albert Benveniste:
Sequential detection of abrupt changes in spectral characteristics of digital signals. IEEE Trans. Inf. Theory 29(5): 709-723 (1983) - 1982
- [c3]Marc Prevosto, Albert Benveniste, Bruno Barnouin:
Identification of vibrating structures subject to non stationary excitation : A non stationary stochastic realization problem. ICASSP 1982: 252-255 - [c2]Claude Labit, Albert Benveniste:
Motion of edges and motion estimation in a sequence of T.V. pictures. ICASSP 1982: 460-463
1970 – 1979
- 1974
- [c1]Albert Benveniste, Pierre Bernhard, Jean Chatelon, Guy Cohen:
A New Algorithm for Gauss Markov Identification. Optimization Techniques 1974: 22-27
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
