| Publication | Date of Publication | Type |
|---|
| Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism | 2024-03-25 | Paper |
| From hybrid automata to DAE-based modeling | 2023-08-10 | Paper |
| From interface automata to hypercontracts | 2023-08-10 | Paper |
| Multi-mode DAE models -- challenges, theory and implementation | 2022-02-16 | Paper |
| Synchronous Interfaces and Assume/Guarantee Contracts | 2020-02-24 | Paper |
| In-Flight Vibration Monitoring of Aeronautical Structures | 2018-09-14 | Paper |
| Implementing Synchronous Models on Loosely Time Triggered Architectures | 2018-06-12 | Paper |
| A type-based analysis of causality loops in hybrid systems modelers | 2017-11-16 | Paper |
| Nonstationary Consistency of Subspace Methods | 2017-07-27 | Paper |
| Structural Analysis of Multi-Mode DAE Systems | 2017-07-11 | Paper |
| Markov nets: probabilistic models for distributed and concurrent systems | 2017-06-20 | Paper |
| Diagnosis of asynchronous discrete-event systems: a net unfolding approach | 2017-06-20 | Paper |
| A type-based analysis of causality loops in hybrid systems modelers | 2017-05-16 | Paper |
| Contracts for Schedulability Analysis | 2015-09-14 | Paper |
| Discussion on: ``Dynamic wavelet and equivalent models | 2014-08-12 | Paper |
| Foreword in honor of Glynn Winskel | 2014-07-25 | Paper |
| Application of branching cells to QoS aware service orchestrations | 2014-07-25 | Paper |
| QoS-aware management of monotonic service orchestrations | 2014-06-30 | Paper |
| Non-standard semantics of hybrid systems modelers | 2012-08-17 | Paper |
| A Modal Interface Theory for Component-based Design | 2012-07-04 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Subspace-based algorithms for structural identification, damage detection, and sensor data fusion | 2009-09-01 | Paper |
| Monotonicity in Service Orchestrations | 2009-06-30 | Paper |
| Actors without Directors: A Kahnian View of Heterogeneous Systems | 2009-04-30 | Paper |
| Concurrency, σ-Algebras, and Probabilistic Fairness | 2009-03-31 | Paper |
| Multiple Viewpoint Contract-Based Specification and Design | 2009-02-12 | Paper |
| True-concurrency probabilistic models: Markov nets and a law of large numbers | 2008-03-05 | Paper |
| Partial order techniques for distributed discrete event systems: why you cannot avoid using them | 2008-01-07 | Paper |
| Concurrency in synchronous systems | 2006-09-28 | Paper |
| True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures | 2006-04-28 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| Distributed monitoring of concurrent and asynchronous systems | 2005-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3159192 | 2005-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4812998 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473704 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439585 | 2003-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439589 | 2003-12-14 | Paper |
| Compositionality in dataflow synchronous languages: Specification and distributed code generation | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766642 | 2002-06-17 | Paper |
| Subspace-based fault detection algorithms for vibration monitoring | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270056 | 1999-12-20 | Paper |
| Fault detection and isolation in nonlinear dynamic systems: A combined input-output and local approach | 1999-08-22 | Paper |
| Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets | 1999-07-19 | Paper |
| Compositional and uniform modeling of hybrid systems | 1999-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4359377 | 1997-12-01 | Paper |
| A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems | 1997-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4892200 | 1997-02-11 | Paper |
| High-level primitives for recursive maximum likelihood estimation | 1996-12-03 | Paper |
| Multiscale system theory | 1996-07-17 | Paper |
| Nonlinear black-box modeling in system identification: A unified overview | 1996-06-05 | Paper |
| Nonlinear black-box models in system identification: Mathematical foundations | 1996-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4845298 | 1995-09-11 | Paper |
| Multiscale recursive estimation, data fusion, and regularization | 1994-09-21 | Paper |
| Early warning of slight changes in systems | 1994-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4276379 | 1994-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026784 | 1993-02-21 | Paper |
| Multiscale autoregressive processes. I. Schur-Levinson parametrizations | 1992-10-13 | Paper |
| Multiscale autoregressive processes. II. Lattice structures for whitening and modeling | 1992-10-13 | Paper |
| A denotational theory of synchronous reactive systems | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3997575 | 1992-09-17 | Paper |
| Synchronous programming with events and relations: The SIGNAL language and its semantics | 1992-06-28 | Paper |
| Design of adaptive algorithms for the tracking of time‐varying systems | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3348833 | 1990-01-01 | Paper |
| Hybrid dynamical systems theory and the Signal language | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732353 | 1989-01-01 | Paper |
| Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems | 1987-01-01 | Paper |
| Optimum robust detection of changes in the AR part of a multivariable ARMA process | 1987-01-01 | Paper |
| The asymptotic local approach to change detection and model validation | 1987-01-01 | Paper |
| Optimal sensor location for detecting changes in dynamical behavior | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780804 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795106 | 1987-01-01 | Paper |
| Detecting changes in the ar parameters of a nonstationary arma process | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3736900 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3748163 | 1986-01-01 | Paper |
| Single sample modal identification of a nonstationary stochastic process | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3217473 | 1984-01-01 | Paper |
| Blind Equalizers | 1984-01-01 | Paper |
| Sequential segmentation of nonstationary digital signals using spectral analysis | 1983-01-01 | Paper |
| Sequential detection of abrupt changes in spectral characteristics of digital signals | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216554 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3713447 | 1982-01-01 | Paper |
| A measure of the tracking capability of recursive stochastic algorithms with constant gains | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657884 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664951 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914872 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3916379 | 1981-01-01 | Paper |
| AR and ARMA identification algorithms of Levinson type: An innovations approach | 1981-01-01 | Paper |
| Robust identification of a nonminimum phase system: Blind adjustment of a linear equalizer in data communications | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898343 | 1980-01-01 | Paper |
| Analysis of stochastic approximation schemes with discontinuous and dependent forcing terms with applications to data communication algorithms | 1980-01-01 | Paper |
| One application of the representation theorem for martingales; isomorphism for flows of processes with independent increments | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4166673 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178277 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4187675 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4197235 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4136282 | 1977-01-01 | Paper |
| [https://portal.mardi4nfdi.de/wiki/Publication:4148561 Flots filtr�s et flots de processus a accroissements independants] | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4098422 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4073610 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4118590 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4118591 | 1975-01-01 | Paper |
| Systemes de Levy des processus de Markov | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3212978 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5674198 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5678265 | 1973-01-01 | Paper |
