Publications HAL de Albert, Benveniste

2023

titre: Towards the separate compilation of Modelica: modularity and interfaces for the index reduction of incomplete DAE systems
article: Modelica 2023 - 15th International Modelica Conference, Oct 2023, Aachen, Germany. pp.10, ⟨10.3384/ecp204⟩
Accès au texte intégral et bibtex

titre: Mixed Nondeterministic-Probabilistic Automata
article: Discrete Event Dynamic Systems, 2023, 2023, pp.1-58. ⟨10.1007/s10626-023-00375-x⟩
Accès au texte intégral et bibtex

2022

titre: Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism
article: [Research Report] RR-9447, Inria Rennes - Bretagne Atlantique. 2022, pp.1-52
Accès au texte intégral et bibtex

titre: Algorithms for the Structural Analysis of Multimode Modelica Models
article: Electronics, 2022, 11 (17), pp.1-63. ⟨10.3390/electronics11172755⟩
Accès au texte intégral et bibtex

titre: Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code
article: [Research Report] RR-9459, Inria Rennes - Bretagne Atlantique. 2022, pp.1-46
Accès au texte intégral et bibtex

titre: Hypercontracts
article: NASA Formal Methods, 13260, Springer International Publishing, pp.674-692, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-06773-0_36⟩
Accès au bibtex

titre: From Hybrid Automata to DAE-Based Modeling
article: Principles of Systems Design, 13660, Springer Nature Switzerland, pp.3-20, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-22337-2_1⟩
Accès au texte intégral et bibtex

2021

titre: Handling Multimode Models and Mode Changes in Modelica
article: Modelica 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11, ⟨10.3384/ecp21181507⟩
Accès au texte intégral et bibtex

titre: A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica Models
article: MODELICA 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
Accès au texte intégral et bibtex

titre: Compile-Time Impulse Analysis in Modelica
article: MODELICA 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
Accès au texte intégral et bibtex

titre: Structural Analysis of Multimode DAE Systems: summary of results
article: [Research Report] RR-9387, Inria Rennes – Bretagne Atlantique. 2021, pp.27
Accès au texte intégral et bibtex

2020

titre: The Mathematical Foundations of Physical Systems Modeling Languages
article: [Research Report] RR-9334, Inria. 2020, pp.112
Accès au texte intégral et bibtex

titre: Mixed Nondeterministic-Probabilistic Interfaces
article: [Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40
Accès au texte intégral et bibtex

titre: The mathematical foundations of physical systems modeling languages
article: Annual Reviews in Control, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
Accès au texte intégral et bibtex

2019

titre: Multi-Mode DAE Models - Challenges, Theory and Implementation
article: Computing and Software Science: State of the Art and Perspectives, LNCS-10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩
Accès au texte intégral et bibtex

2018

titre: The Signal synchronous language: the principles beyond the language and how to exploit and extend them
article: École thématique. France. 2018, pp.1-68
Accès au texte intégral et bibtex

titre: Contracts for System Design
article: Now Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩
Accès au bibtex

titre: Competencies mining with LookinLabs
article: [Research Report] RR-9158, Inria Rennes Bretagne Atlantique. 2018, pp.1-27
Accès au texte intégral et bibtex

titre: Building a Hybrid Systems Modeler on Synchronous Languages Principles
article: Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 - 1592. ⟨10.1109/JPROC.2018.2858016⟩
Accès au texte intégral et bibtex

2017

titre: Synchronous Interfaces and Assume/Guarantee Contracts
article: Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Radu Mardare. Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, Springer, pp.233-248, 2017, Theoretical Computer Science and General Issues, 978-3-319-63121-9. ⟨10.1007/978-3-319-63121-9_12⟩
Accès au texte intégral et bibtex

titre: Structural Analysis of Multi-Mode DAE Systems
article: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Apr 2017, Pittsburgh, PA, United States. ⟨10.1145/3049797.3049806⟩
Accès au texte intégral et bibtex

titre: Structural Analysis of Multi-Mode DAE Systems
article: [Research Report] RR-8933, Inria. 2017, pp.1-23
Accès au texte intégral et bibtex

titre: A Type-based Analysis of Causality Loops in Hybrid Systems Modelers
article: Nonlinear Analysis: Hybrid Systems, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩
Accès au texte intégral et bibtex

2016

titre: Loosely Time-Triggered Architectures
article: ACM Transactions on Embedded Computing Systems (TECS), 2016, 15, pp.Article 71. ⟨10.1145/2932189⟩
Accès au texte intégral et bibtex

2015

titre: Contracts for Systems Design: Theory
article: [Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86
Accès au texte intégral et bibtex

titre: Contracts for Schedulability Analysis
article: 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, Sriram Sankaranarayanan (University of Colorado at Boulder, USA); Enrico Vicario (University of Florence, Italy), Sep 2015, Madrid, Spain
Accès au texte intégral et bibtex

titre: Loosely Time-Triggered Architectures: Improvements and Comparisons
article: Proceedings of the 12th International Conference on Embedded Software (EMSOFT '15), Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318263⟩
Accès au texte intégral et bibtex

titre: Contracts for Systems Design: Methodology and Application cases
article: [Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63
Accès au texte intégral et bibtex

2014

titre: Efficient Monte Carlo simulation of stochastic hybrid systems
article: The 10th International Modelica Conference 2014, Hubertus Tummescheit; Karl-Erik Årzén, Mar 2014, Lund, Sweden. ⟨10.3384/ECP14096715⟩
Accès au texte intégral et bibtex

titre: A Unifying View of Loosely Time-Triggered Architectures
article: [Research Report] RR-8494, INRIA. 2014, pp.14
Accès au texte intégral et bibtex

titre: Compositional Contract Abstraction for System Design
article: [Research Report] RR-8460, INRIA. 2014
Accès au texte intégral et bibtex

titre: Application of branching cells to QoS aware service orchestrations
article: Theoretical Computer Science, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, ⟨10.1016/j.tcs.2014.02.049⟩
Accès au texte intégral et bibtex

titre: QoS-Aware Management of Monotonic Service Orchestrations
article: Formal Methods in System Design, 2014, 44 (1), pp.1-43. ⟨10.1007/s10703-013-0191-7⟩
Accès au texte intégral et bibtex

titre: On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)
article: [Research Report] RR-8630, Inria. 2014, pp.30
Accès au texte intégral et bibtex

titre: A Type-Based Analysis of Causality Loops in Hybrid Modelers
article: HSCC '14: International Conference on Hybrid Systems: Computation and Control, Apr 2014, Berlin, Germany. pp.13, ⟨10.1145/2562059.2562125⟩
Accès au bibtex

2013

titre: A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers
article: 2013
Accès au texte intégral et bibtex

titre: Semantics of multi-mode DAE systems
article: 2013
Accès au texte intégral et bibtex

2012

titre: Contracts for System Design
article: [Research Report] RR-8147, INRIA. 2012, pp.65
Accès au texte intégral et bibtex

titre: Non-standard semantics of hybrid systems modelers
article: Journal of Computer and System Sciences, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. ⟨10.1016/j.jcss.2011.08.009⟩
Accès au bibtex

titre: Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations
article: 19th IEEE International Conference on Web Services, Jun 2012, Honolulu, Hawaii, United States
Accès au texte intégral et bibtex

titre: Application of Interface Theories to the Separate Compilation of Synchronous Programs
article: [Research Report] RR-8030, INRIA. 2012
Accès au texte intégral et bibtex

titre: Application of Interface Theories to the Separate Compilation of Synchronous Programs
article: 51st IEEE Conference on Decision and Control (CDC 2012), Jay A. Farrell, Dec 2012, Maui, Hawaii, United States. ⟨10.1109/CDC.2012.6426437⟩
Accès au bibtex

2011

titre: A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code
article: EMSOFT 2011 - Embedded Software, Oct 2011, Taipei, Taiwan. ⟨10.1145/2038642.2038664⟩
Accès au texte intégral et bibtex

titre: A Modal Interface Theory for Component-based Design
article: Fundamenta Informaticae, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩
Accès au bibtex

titre: Optimizing Decisions in Web Services Orchestrations
article: 9th International Conference on Service-Oriented Computing, Dec 2011, Paphos, Cyprus. ⟨10.1007/978-3-642-25535-9_6⟩
Accès au texte intégral et bibtex

titre: Compatibility between DAXML Schemas
article: [Research Report] RR-7559, INRIA. 2011, pp.36
Accès au texte intégral et bibtex

titre: Pairwise Testing of Dynamic Composite Services
article: The 6th international symposium on Software engineering for adaptive and self-managing systems, SIGSOFT ACM Special Interest Group on Software Engineering, IEEE CS, May 2011, Waikiki, Honolulu, Hawaii, United States. pp.138--147, ⟨10.1145/1988008.1988028⟩
Accès au texte intégral et bibtex

titre: Divide and recycle: types and compilation for a hybrid synchronous language
article: Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. ⟨10.1145/1967677.1967687⟩
Accès au bibtex

titre: Towards the handling of uncertaintie in statistical FDI
article: 18th IFAC World Congress, Aug 2011, Milano, Italy. pp.13203-13208, ⟨10.3182/20110828-6-IT-1002.01552⟩
Accès au bibtex

2010

titre: A unifying view of loosely time-triggered architectures
article: EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software , Oct 2010, Scottsdale, Arizona, United States. pp.189 - 198, ⟨10.1145/1879021.1879047⟩
Accès au texte intégral et bibtex

titre: The Fundamentals of Hybrid Systems Modelers
article: 49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States
Accès au bibtex

titre: Variability Modeling and QoS Analysis of Web Services Orchestrations
article: International Conference on Web Services, 2010, Miami, FL, USA, United States
Accès au texte intégral et bibtex

titre: Document based modeling of Web services choreographies using Active XML
article: International conference on Web Services, Jul 2010, Miami, United States
Accès au texte intégral et bibtex

2009

titre: A Theory of QoS for Web Service Orchestrations
article: [Research Report] RR-6951, INRIA. 2009
Accès au texte intégral et bibtex

titre: Monotonicity in Service Orchestrations
article: Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (ICATPN'09), 2009, Paris, France, France. pp.263-282, ⟨10.1007/978-3-642-02424-5_16⟩
Accès au bibtex

titre: Concurrency, sigma-algebras and probabilistic fairness
article: FOSSACS 2009, Mar 2009, York, United Kingdom. pp.380-394
Accès au texte intégral et bibtex

titre: Modal Interfaces: Unifying Interface Automata and Modal Specifications.
article: Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France
Accès au bibtex

titre: Why are modalities good for Interface Theories?
article: The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany
Accès au texte intégral et bibtex

titre: Why are modalities good for Interface Theories?
article: [Research Report] RR-6899, INRIA. 2009
Accès au texte intégral et bibtex

titre: Distributed Active XML and Service Interfaces
article: [Research Report] RR-7082, INRIA. 2009, pp.64
Accès au texte intégral et bibtex

titre: Multi-Viewpoint State Machines for Rich Component Models
article: Pieter Mosterman and Gabriela Nicolescu. Model-Based Design of Heterogeneous Embedded Systems, CRC Press, 2009
Accès au bibtex

2008

titre: Concurrency, sigma-algebras, and probabilistic fairness
article: [Research Report] RR-6724, INRIA. 2008, pp.24
Accès au texte intégral et bibtex

titre: Probabilistic true-concurrency models: Markov nets and a Law of large numbers
article: Theoretical Computer Science, 2008, 390, pp.129-170. ⟨10.1016/j.tcs.2007.09.018⟩
Accès au texte intégral et bibtex

titre: Composing Heterogeneous Reactive Systems
article: ACM Transactions on Embedded Computing Systems (TECS), 2008, 7 (4, x-editorial-board = yes, x-international-audience = yes), ⟨10.1145/1376804.1376811⟩
Accès au bibtex

titre: Event Structure Semantics of Orc
article: Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM'07), 2008, Brisbane, Australia, Australia. pp.154-168, ⟨10.1007/978-3-540-79230-7_11⟩
Accès au bibtex

titre: Monotony in Service Orchestrations
article: [Research Report] RR-6528, INRIA. 2008
Accès au texte intégral et bibtex

titre: Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.
article: IEEE Transactions on Services Computing, 2008, 1 (4), pp.187-200. ⟨10.1109/TSC.2008.17⟩
Accès au texte intégral et bibtex

2007

titre: Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them
article: [Research Report] RR-5916, INRIA. 2007, pp.38
Accès au texte intégral et bibtex

titre: Event Structure Semantics of Orc
article: [Research Report] PI 1853, 2007, pp.33
Accès au texte intégral et bibtex

titre: Event Structure Semantics of Orc
article: [Research Report] RR-6221, INRIA. 2007
Accès au texte intégral et bibtex

titre: Loosely Time-Triggered Architectures based on Communication-by-Sampling
article: [Research Report] PI 1854, 2007, pp.41
Accès au texte intégral et bibtex

titre: Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion
article: EURASIP Journal on Advances in Signal Processing, 2007, 2007 (1), pp.069136. ⟨10.1155/2007/69136⟩
Accès au texte intégral et bibtex

titre: Probabilistic QoS and soft contracts for transaction based web services
article: Proceedings of the 6th International Conference on Web Services (ICWS'07), 2007, Salt Lake City, Utah, USA, United States. pp.126-133, ⟨10.1109/ICWS.2007.144⟩
Accès au bibtex

titre: A Generic Model of Contracts for Embedded Systems
article: [Research Report] RR-6214, INRIA. 2007
Accès au texte intégral et bibtex

titre: Truly Concurrent Synchronization of Markov Chains
article: [Research Report] PI 1866, 2007, pp.20
Accès au texte intégral et bibtex

2006

titre: Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them
article: [Research Report] PI 1800, 2006, pp.32
Accès au texte intégral et bibtex

titre: Net systems semantics of Web Services Orchestrations modeled in Orc
article: [Research Report] PI 1780, 2006
Accès au texte intégral et bibtex

titre: Concurrency in Synchronous Systems
article: Formal Methods in System Design, 2006, 28 (2), pp.111-130. ⟨10.1007/s10703-006-7844-8⟩
Accès au texte intégral et bibtex

titre: Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures
article: Information and Computation, 2006, 204 (2), pp.231-274
Accès au texte intégral et bibtex

2005

titre: Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems
article: Proceedings of the 16th IFAC World Congress (IFAC'05), 2005, Prague, Czech Republic, Czech Republic
Accès au bibtex

titre: True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers
article: [Research Report] PI 1753, 2005, pp.59
Accès au texte intégral et bibtex

titre: Nonstationary consistency of subspace method
article: [Research Report] PI 1752, 2005, pp.30
Accès au texte intégral et bibtex

titre: Distributed monitoring of concurrent and asynchronous systems.
article: Discrete Event Dynamic Systems, 2005, 15 (1), pp.33-84. ⟨10.1007/s10626-005-5238-5⟩
Accès au texte intégral et bibtex

titre: Branching cells as local states for event structures and nets: probabilistic applications
article: Foundations of Software Science and Computation Structures, Apr 2005, Edinburgh, United Kingdom. pp.95-109
Accès au texte intégral et bibtex

2004

titre: Distributed monitoring of concurrent and asynchronous systems---extended version
article: [Research Report] RR-4842, INRIA. 2004
Accès au texte intégral et bibtex

titre: Branching cells as local states for event structures and nets: probabilistic applications
article: [Research Report] RR-5347, INRIA. 2004, pp.24
Accès au texte intégral et bibtex

titre: Concurrency in synchronous systems
article: [Research Report] RR-5110, INRIA. 2004
Accès au texte intégral et bibtex

titre: In-flight structural identification:input/output versus output-only data processing
article: [Research Report] RR-5108, INRIA. 2004
Accès au texte intégral et bibtex

titre: A Petri net model for distributed estimation
article: Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004, Louvain, Belgium. pp.ISBN 90-5682-517-8
Accès au bibtex

titre: Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
article: Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, pp.1-16, ⟨10.1007/b100112⟩
Accès au texte intégral et bibtex

titre: Algorithms for Distributed Fault Management in Telecommunications Networks
article: Proceedings of the 11th International Conference on Telecommunications (ICT'04), 2004, Fortaleza, Brazil, Brazil. pp.820-825
Accès au bibtex

2003

titre: Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach.
article: IEEE Transactions on Automatic Control, 2003, 48 (5), pp.714-727. ⟨10.1109/TAC.2003.811249⟩
Accès au texte intégral et bibtex

titre: Fast in-flight detection of flutter onset -A statistical approach
article: [Research Report] RR-4982, INRIA. 2003
Accès au texte intégral et bibtex

titre: Partial Order Diagnosability of Discrete Event Systems Using Petri Net Unfoldings
article: Proceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, United States. pp.3748-3753, ⟨10.1109/CDC.2003.1271732⟩
Accès au bibtex

titre: Markov Nets: Probabilistic Models for Distributed and Concurrent Systems.
article: IEEE Transactions on Automatic Control, 2003, 48 (11), pp.1936-1950. ⟨10.1109/TAC.2003.819076⟩
Accès au texte intégral et bibtex

titre: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
article: [Research Report] RR-4901, INRIA. 2003
Accès au texte intégral et bibtex

titre: Distributed unfoldings: a tool to address distributed discrete event systems diagnosis
article: Proceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, United States. pp.3742-3747, ⟨10.1109/CDC.2003.1271731⟩
Accès au bibtex

titre: Distributed Monitoring of Concurrent and Asynchronous Systems
article: Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), 2003, Marseilles, France, France. pp.1-26
Accès au bibtex

2002

titre: Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach
article: Proceedings of the 6th Workshop on Discrete Event Systems (WODES'02), 2002, Zaragoza, Spain, Spain. pp.182-190
Accès au bibtex

titre: Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach
article: [Research Report] RR-4461, INRIA. 2002
Accès au texte intégral et bibtex

titre: A Protocol for Loosely Time-Triggered Architectures
article: Embedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. pp.252-265, ⟨10.1007/3-540-45828-X_19⟩
Accès au bibtex

2001

titre: Markov Nets: Probabilistic Models for Distributed and Concurrent Systems
article: [Research Report] RR-4253, INRIA. 2001
Accès au texte intégral et bibtex

titre: Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach
article: [Research Report] RR-4181, INRIA. 2001
Accès au texte intégral et bibtex

titre: The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design
article: 40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.3284 - 3289, ⟨10.1109/.2001.980328⟩
Accès au texte intégral et bibtex

2000

titre: Compositionality in dataflow synchronous languages: specification & distributed code generation
article: Information and Computation, 2000, 163 (1), pp.125-171. ⟨10.1006/inco.2000.9999⟩
Accès au texte intégral et bibtex

titre: Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors
article: [Research Report] RR-4024, INRIA. 2000
Accès au texte intégral et bibtex

titre: Pre-Order Semantics of UML State-Machines
article: [Research Report] RR-3958, INRIA. 2000
Accès au texte intégral et bibtex

titre: BDL: A Semantics Backbone for UML Dynamic Diagrams
article: [Research Report] RR-4003, INRIA. 2000
Accès au texte intégral et bibtex

1999

titre: From Synchrony to Asynchrony
article: [Research Report] RR-3641, INRIA. 1999
Accès au texte intégral et bibtex

titre: Hierarchic Normal Forms for Desynchronization
article: [Research Report] RR-3822, INRIA. 1999
Accès au texte intégral et bibtex

1998

titre: BDl, A Language of Distributed Reactive Objects
article: [Research Report] RR-3353, INRIA. 1998
Accès au texte intégral et bibtex

1997

titre: Compositionality in Dataflow Synchronous Languages: Specification & Code Generation
article: [Research Report] RR-3310, INRIA. 1997
Accès au texte intégral et bibtex

titre: Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach
article: [Research Report] RR-3120, INRIA. 1997
Accès au texte intégral et bibtex

titre: Subspace-based Fault Detection and Isolation Methods - Application to Vibration Monitoring
article: [Research Report] RR-3299, INRIA. 1997
Accès au texte intégral et bibtex

1996

titre: Surveillance d'installations industrielles: démarche générale et conception de l'algorithmique
article: [Rapport de recherche] RR-2889, INRIA. 1996
Accès au texte intégral et bibtex

1994

titre: Wavelets in identification wavelets, splines, neurons, fuzzies : how good for identification
article: [Research Report] RR-2315, INRIA. 1994
Accès au texte intégral et bibtex

titre: A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation
article: [Research Report] RR-2465, INRIA. 1994
Accès au texte intégral et bibtex

1993

titre: Projet SYNCHRONE : les formats communs des langages synchrones
article: [Rapport de recherche] RT-0157, INRIA. 1993
Accès au texte intégral et bibtex

titre: High-level primitives for recursive maximum likelihood estimation
article: [Research Report] RR-2088, INRIA. 1993
Accès au texte intégral et bibtex

titre: Data-flow synchronous languages
article: [Research Report] RR-2089, INRIA. 1993
Accès au texte intégral et bibtex

1992

titre: Signal as a model for real-time and hybrid systems
article: [Research Report] RR-1608, INRIA. 1992
Accès au texte intégral et bibtex

titre: Early warning of slight changes in systems and plants with application to condition based maintenance
article: [Research Report] RR-1750, INRIA. 1992
Accès au texte intégral et bibtex

titre: A denotational theory of synchronous reactive systems
article: Information and Computation, 1992, 99 (2), pp.192-230. ⟨10.1016/0890-5401(92)90030-J⟩
Accès au texte intégral et bibtex

1991

titre: Constructive probability and the SIGNalea language : building and processes via programming
article: [Research Report] RR-1532, INRIA. 1991
Accès au texte intégral et bibtex

titre: The Synchronous approach to reactive and real-time systems
article: [Research Report] RR-1445, INRIA. 1991
Accès au texte intégral et bibtex

1990

titre: Multi-scale autoregressive processes
article: [Research Report] RR-1206, INRIA. 1990
Accès au texte intégral et bibtex

titre: Multiscale system theory
article: [Research Report] RR-1194, INRIA. 1990
Accès au texte intégral et bibtex

titre: Multiscale signal processing : from QMF to wavelets
article: [Research Report] RR-1299, INRIA. 1990
Accès au texte intégral et bibtex

1989

titre: The signal software environment for real-time system specification, design, and implementation
article: [Research Report] RR-1105, INRIA. 1989
Accès au texte intégral et bibtex

titre: Modèles statistiques temps-échelle en traitement du signal
article: [Rapport de recherche] RR-0971, INRIA. 1989
Accès au texte intégral et bibtex

titre: Polynomial ideal theoretic methods in discrete event, and hybrid dynamical systems
article: [Research Report] RR-1091, INRIA. 1989
Accès au texte intégral et bibtex

titre: Multiscale statistical signal processing
article: [Research Report] RR-0970, INRIA. 1989
Accès au texte intégral et bibtex

1988

titre: Hybrid dynamical systems theory and the language "SIGNAL
article: [Research Report] RR-0838, INRIA. 1988
Accès au texte intégral et bibtex

titre: Diagnosing mechanical changes in vibrating systems
article: [Research Report] RR-0942, INRIA. 1988
Accès au texte intégral et bibtex

1987

titre: Real-time,synchronous,data-flow programming: The language SIGNAL and its mathematical semantics
article: [Research Report] RR-0620, INRIA. 1987
Accès au texte intégral et bibtex

titre: A denotational theory of synchronous communicating systems
article: [Research Report] RR-0685, INRIA. 1987
Accès au texte intégral et bibtex

1986

titre: The asymptotic local approach to change detection and model validation
article: [Research Report] RR-0564, INRIA. 1986
Accès au texte intégral et bibtex

titre: Optimal sensor location for detecting changes in dynamical behavior
article: [Research Report] RR-0498, INRIA. 1986
Accès au texte intégral et bibtex

titre: Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems
article: [Research Report] RR-0477, INRIA. 1986
Accès au texte intégral et bibtex

titre: Real-time,synchronous,data-flow programming: the language "SIGNAL" and its mathematical semantics
article: [Research Report] RR-0533, INRIA. 1986
Accès au texte intégral et bibtex

titre: Optimum robust detection of changes in the AR part of a multivariable ARMA process
article: [Research Report] RR-0478, INRIA. 1986
Accès au texte intégral et bibtex

1985

titre: SIGNAL : a data flow oriented language for signal processing
article: [Research Report] RR-0378, INRIA. 1985
Accès au texte intégral et bibtex

titre: A model to analyse the causality in synchronous real time systems
article: [Research Report] RR-0411, INRIA. 1985
Accès au texte intégral et bibtex

titre: Detecting changes in the A.R.parameters of a nonstationary A.R.M.A.process
article: [Research Report] RR-0391, INRIA. 1985
Accès au texte intégral et bibtex

1984

titre: Design of one-step and multistep adaptive of algorithms for the tracking of time varying systems
article: [Research Report] RR-0340, INRIA. 1984
Accès au texte intégral et bibtex

titre: Detection and diagnosis of abrut changes in modal characteristics of nonstationary digital signals
article: [Research Report] RR-0348, INRIA. 1984
Accès au texte intégral et bibtex

1983

titre: SIGNAL:Un langage pour le traitement du signal
article: [Rapport de recherche] RR-0206, INRIA. 1983
Accès au texte intégral et bibtex

titre: Blind equalizers
article: [Research Report] RR-0219, INRIA. 1983
Accès au texte intégral et bibtex

1982

titre: Réalisation stochastique de signaux non stationnaires et identification sur un seul echantillon
article: [Rapport de recherche] RR-0128, INRIA. 1982
Accès au texte intégral et bibtex

titre: Modélisation et identification des caractéristiques d'une structure vibratoire:un problème de réalisation stochastique d'un grand système non stationnaire
article: [Rapport de recherche] RR-0130, INRIA. 1982
Accès au texte intégral et bibtex

titre: Détection séquentielle de changements brusques des caractéristiques spectrales d'un signal numérique
article: [Research Report] RR-0129, INRIA. 1982
Accès au texte intégral et bibtex

1981

titre: An example of failure detection:design and comparative study of some algorithms
article: [Research Report] RR-0073, INRIA. 1981
Accès au texte intégral et bibtex