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]