Publications by Albert Benveniste

titre

Towards the separate compilation of Modelica: modularity and interfaces for the index reduction of incomplete DAE systems

auteur

Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault

article

Modelica 2023 – 15th International Modelica Conference, Oct 2023, Aachen, Germany. pp.10, ⟨10.3384/ecp204⟩

titre

Mixed Nondeterministic-Probabilistic Automata

auteur

Albert Benveniste, Jean-Baptiste Raclet

article

Discrete Event Dynamic Systems, 2023, 2023, pp.1-58. ⟨10.1007/s10626-023-00375-x⟩

titre

From Hybrid Automata to DAE-Based Modeling

auteur

Albert Benveniste, Benoît Caillaud, Mathias Malandain

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⟩

titre

Algorithms for the Structural Analysis of Multimode Modelica Models

auteur

Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault

article

Electronics, 2022, 11 (17), pp.1-63. ⟨10.3390/electronics11172755⟩

titre

Hypercontracts

auteur

Inigo Incer, Albert Benveniste, Sanjit Seshia, Alberto Sangiovanni-Vincentelli

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⟩

titre

Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code

auteur

Albert Benveniste, Benoît Caillaud, Mathias Malandain

article

[Research Report] RR-9459, Inria Rennes – Bretagne Atlantique. 2022, pp.1-46

titre

Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism

auteur

Albert Benveniste, Jean-Baptiste Raclet

article

[Research Report] RR-9447, Inria Rennes – Bretagne Atlantique. 2022, pp.1-52

titre

Handling Multimode Models and Mode Changes in Modelica

auteur

Albert Benveniste, Benoît Caillaud, Mathias Malandain

article

Modelica 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11, ⟨10.3384/ecp21181507⟩

titre

Compile-Time Impulse Analysis in Modelica

auteur

Albert Benveniste, Benoît Caillaud, Mathias Malandain

article

MODELICA 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11

titre

A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica Models

auteur

Benoît Caillaud, Mathias Malandain, Albert Benveniste

article

MODELICA 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11

titre

Structural Analysis of Multimode DAE Systems: summary of results

auteur

Albert Benveniste, Benoît Caillaud, Mathias Malandain

article

[Research Report] RR-9387, Inria Rennes – Bretagne Atlantique. 2021, pp.27

titre

Mixed Nondeterministic-Probabilistic Interfaces

auteur

Albert Benveniste, Kim G Larsen, Jean-Baptiste Raclet

article

[Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40

titre

The Mathematical Foundations of Physical Systems Modeling Languages

auteur

Albert Benveniste, Benoît Caillaud, Mathias Malandain

article

[Research Report] RR-9334, Inria. 2020, pp.112

titre

The mathematical foundations of physical systems modeling languages

auteur

Albert Benveniste, Benoît Caillaud, Mathias Malandain

article

Annual Reviews in Control, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩

titre

Multi-Mode DAE Models – Challenges, Theory and Implementation

auteur

Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet

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⟩

titre

Building a Hybrid Systems Modeler on Synchronous Languages Principles

auteur

Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet

article

Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 – 1592. ⟨10.1109/JPROC.2018.2858016⟩

titre

Competencies mining with LookinLabs

auteur

William Dedzoe, Jean Hany, Albert Benveniste

article

[Research Report] RR-9158, Inria Rennes Bretagne Atlantique. 2018, pp.1-27

titre

The Signal synchronous language: the principles beyond the language and how to exploit and extend them

auteur

Albert Benveniste, Thierry Gautier

article

École thématique. France. 2018, pp.1-68

titre

Contracts for System Design

auteur

Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Albert Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim G. Larsen

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⟩

titre

A Type-based Analysis of Causality Loops in Hybrid Systems Modelers

auteur

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet

article

Nonlinear Analysis: Hybrid Systems, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩

titre

Synchronous Interfaces and Assume/Guarantee Contracts

auteur

Albert Benveniste, Benoît Caillaud

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⟩

titre

Structural Analysis of Multi-Mode DAE Systems

auteur

Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet

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⟩

titre

Structural Analysis of Multi-Mode DAE Systems

auteur

Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet

article

[Research Report] RR-8933, Inria. 2017, pp.1-23

titre

Loosely Time-Triggered Architectures

auteur

Guillaume Baudart, Albert Benveniste, Timothy Bourke

article

ACM Transactions on Embedded Computing Systems (TECS), 2016, 15, pp.Article 71. ⟨10.1145/2932189⟩

titre

Loosely Time-Triggered Architectures: Improvements and Comparisons

auteur

Guillaume Baudart, Timothy Bourke, Albert Benveniste

article

Proceedings of the 12th International Conference on Embedded Software (EMSOFT ’15), Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318263⟩

titre

Contracts for Schedulability Analysis

auteur

Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand

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

titre

Contracts for Systems Design: Methodology and Application cases

auteur

Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Guldstrand Larsen

article

[Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63

titre

Contracts for Systems Design: Theory

auteur

Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Guldstrand Larsen

article

[Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86

titre

On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)

auteur

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet

article

[Research Report] RR-8630, Inria. 2014, pp.30

titre

Application of branching cells to QoS aware service orchestrations

auteur

Albert Benveniste, Claude Jard, Samy Abbes

article

Theoretical Computer Science, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, ⟨10.1016/j.tcs.2014.02.049⟩

titre

A Type-Based Analysis of Causality Loops in Hybrid Modelers

auteur

Albert Benveniste, Benoît Caillaud, Bruno Pagano, Marc Pouzet

article

HSCC ’14: International Conference on Hybrid Systems: Computation and Control, Apr 2014, Berlin, Germany. pp.13, ⟨10.1145/2562059.2562125⟩

titre

Efficient Monte Carlo simulation of stochastic hybrid systems

auteur

Marc Bouissou, Hilding Elmqvist, Martin Otter, Albert Benveniste

article

The 10th International Modelica Conference 2014, Hubertus Tummescheit; Karl-Erik Årzén, Mar 2014, Lund, Sweden. ⟨10.3384/ECP14096715⟩

titre

A Unifying View of Loosely Time-Triggered Architectures

auteur

Guillaume Baudart, Albert Benveniste, Anne Bouillard, Paul Caspi

article

[Research Report] RR-8494, INRIA. 2014, pp.14

titre

QoS-Aware Management of Monotonic Service Orchestrations

auteur

Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen

article

Formal Methods in System Design, 2014, 44 (1), pp.1-43. ⟨10.1007/s10703-013-0191-7⟩

titre

Compositional Contract Abstraction for System Design

auteur

Albert Benveniste, Dejan Nickovic, Thomas Henzinger

article

[Research Report] RR-8460, INRIA. 2014

titre

A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers

auteur

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet

article

2013

titre

Semantics of multi-mode DAE systems

auteur

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet

article

2013

titre

Application of Interface Theories to the Separate Compilation of Synchronous Programs

auteur

Albert Benveniste, Benoit Caillaud, Jean-Baptiste Raclet

article

51st IEEE Conference on Decision and Control (CDC 2012), Jay A. Farrell, Dec 2012, Maui, Hawaii, United States. ⟨10.1109/CDC.2012.6426437⟩

titre

Contracts for System Design

auteur

Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim Guldstrand Larsen

article

[Research Report] RR-8147, INRIA. 2012, pp.65

titre

Application of Interface Theories to the Separate Compilation of Synchronous Programs

auteur

Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet

article

[Research Report] RR-8030, INRIA. 2012

titre

Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations

auteur

Ajay Kattepur, Albert Benveniste, Claude Jard

article

19th IEEE International Conference on Web Services, Jun 2012, Honolulu, Hawaii, United States

titre

Non-standard semantics of hybrid systems modelers

auteur

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet

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⟩

titre

Optimizing Decisions in Web Services Orchestrations

auteur

Ajay Kattepur, Albert Benveniste, Claude Jard

article

9th International Conference on Service-Oriented Computing, Dec 2011, Paphos, Cyprus. ⟨10.1007/978-3-642-25535-9_6⟩

titre

A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code

auteur

Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet

article

EMSOFT 2011 – Embedded Software, Oct 2011, Taipei, Taiwan. ⟨10.1145/2038642.2038664⟩

titre

Towards the handling of uncertaintie in statistical FDI

auteur

Michele Basseville, Albert Benveniste, Qinghua Zhang

article

18th IFAC World Congress, Aug 2011, Milano, Italy. pp.13203-13208, ⟨10.3182/20110828-6-IT-1002.01552⟩

titre

Pairwise Testing of Dynamic Composite Services

auteur

Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard

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⟩

titre

Divide and recycle: types and compilation for a hybrid synchronous language

auteur

Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet

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⟩

titre

Compatibility between DAXML Schemas

auteur

Benoît Masson, Loïc Hélouët, Albert Benveniste

article

[Research Report] RR-7559, INRIA. 2011, pp.36

titre

A Modal Interface Theory for Component-based Design

auteur

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone

article

Fundamenta Informaticae, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩

titre

The Fundamentals of Hybrid Systems Modelers

auteur

Albert Benveniste, Benoît Caillaud, Marc Pouzet

article

49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States

titre

A unifying view of loosely time-triggered architectures

auteur

Albert Benveniste, Anne Bouillard, Paul Caspi

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⟩

titre

Document based modeling of Web services choreographies using Active XML

auteur

Loic Helouet, Albert Benveniste

article

International conference on Web Services, Jul 2010, Miami, United States

titre

Variability Modeling and QoS Analysis of Web Services Orchestrations

auteur

Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard

article

International Conference on Web Services, 2010, Miami, FL, USA, United States

titre

Modal Interfaces: Unifying Interface Automata and Modal Specifications.

auteur

Jean-Baptiste Raclet, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone

article

Proc. 9th International Conference on Embedded Software (EMSOFT’09), Oct 2009, Grenoble, France

titre

Why are modalities good for Interface Theories?

auteur

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoit Caillaud, Roberto Passerone

article

The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany

titre

Concurrency, sigma-algebras and probabilistic fairness

auteur

Samy Abbes, Albert Benveniste

article

FOSSACS 2009, Mar 2009, York, United Kingdom. pp.380-394

titre

Multi-Viewpoint State Machines for Rich Component Models

auteur

Albert Benveniste, Benoît Caillaud, Roberto Passerone

article

Pieter Mosterman and Gabriela Nicolescu. Model-Based Design of Heterogeneous Embedded Systems, CRC Press, 2009

titre

Monotonicity in Service Orchestrations

auteur

Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar

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⟩

titre

Distributed Active XML and Service Interfaces

auteur

Loïc Hélouët, Albert Benveniste

article

[Research Report] RR-7082, INRIA. 2009, pp.64

titre

Why are modalities good for Interface Theories?

auteur

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoit Caillaud, Roberto Passerone

article

[Research Report] RR-6899, INRIA. 2009

titre

A Theory of QoS for Web Service Orchestrations

auteur

Sidney Rosario, Albert Benveniste, Claude Jard

article

[Research Report] RR-6951, INRIA. 2009

titre

Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.

auteur

Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard

article

IEEE Transactions on Services Computing, 2008, 1 (4), pp.187-200. ⟨10.1109/TSC.2008.17⟩

titre

Probabilistic true-concurrency models: Markov nets and a Law of large numbers

auteur

Samy Abbes, Albert Benveniste

article

Theoretical Computer Science, 2008, 390, pp.129-170. ⟨10.1016/j.tcs.2007.09.018⟩

titre

Concurrency, sigma-algebras, and probabilistic fairness

auteur

Samy Abbes, Albert Benveniste

article

[Research Report] RR-6724, INRIA. 2008, pp.24

titre

Composing Heterogeneous Reactive Systems

auteur

Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli

article

ACM Transactions on Embedded Computing Systems (TECS), 2008, 7 (4, x-editorial-board = yes, x-international-audience = yes), ⟨10.1145/1376804.1376811⟩

titre

Monotony in Service Orchestrations

auteur

Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar

article

[Research Report] RR-6528, INRIA. 2008

titre

Event Structure Semantics of Orc

auteur

Sidney Rosario, David Kitchin, Albert Benveniste, William J. Cook, Stefan Haar, Claude Jard

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⟩

titre

Truly Concurrent Synchronization of Markov Chains

auteur

Samy Abbes, Albert Benveniste

article

[Research Report] PI 1866, 2007, pp.20

titre

Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion

auteur

Michèle Basseville, Albert Benveniste, Maurice Goursat, Laurent Mevel

article

EURASIP Journal on Advances in Signal Processing, 2007, 2007 (1), pp.069136. ⟨10.1155/2007/69136⟩

titre

Loosely Time-Triggered Architectures based on Communication-by-Sampling

auteur

Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli, Stavros Tripakis

article

[Research Report] PI 1854, 2007, pp.41

titre

A Generic Model of Contracts for Embedded Systems

auteur

Albert Benveniste, Benoit Caillaud, Roberto Passerone

article

[Research Report] RR-6214, INRIA. 2007

titre

Partial Order Techniques for Distributed Discrete Event Systems: why you can’t avoid using them

auteur

Eric Fabre, Albert Benveniste

article

[Research Report] RR-5916, INRIA. 2007, pp.38

titre

Event Structure Semantics of Orc

auteur

Sidney Rosario, David Kitchin, Albert Benveniste, William J. Cook, Stefan Haar, Claude Jard

article

[Research Report] RR-6221, INRIA. 2007

titre

Probabilistic QoS and soft contracts for transaction based web services

auteur

Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard

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⟩

titre

Event Structure Semantics of Orc

auteur

Sidney Rosario, David Kitchin, Albert Benveniste, William J. Cook, Stefan Haar, Claude Jard

article

[Research Report] PI 1853, 2007, pp.33

titre

Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures

auteur

Samy Abbes, Albert Benveniste

article

Information and Computation, 2006, 204 (2), pp.231-274

titre

Partial Order Techniques for Distributed Discrete Event Systems: why you can’t avoid using them

auteur

Eric Fabre, Albert Benveniste

article

[Research Report] PI 1800, 2006, pp.32

titre

Concurrency in Synchronous Systems

auteur

Dumitru Potop-Butucaru, Benoit Caillaud, Albert Benveniste

article

Formal Methods in System Design, 2006, 28 (2), pp.111-130. ⟨10.1007/s10703-006-7844-8⟩

titre

Net systems semantics of Web Services Orchestrations modeled in Orc

auteur

Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard

article

[Research Report] PI 1780, 2006

titre

Branching cells as local states for event structures and nets: probabilistic applications

auteur

Samy Abbes, Albert Benveniste

article

Foundations of Software Science and Computation Structures, Apr 2005, Edinburgh, United Kingdom. pp.95-109

titre

Distributed monitoring of concurrent and asynchronous systems.

auteur

Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard

article

Discrete Event Dynamic Systems, 2005, 15 (1), pp.33-84. ⟨10.1007/s10626-005-5238-5⟩

titre

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers

auteur

Samy Abbes, Albert Benveniste

article

[Research Report] PI 1753, 2005, pp.59

titre

Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems

auteur

Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard

article

Proceedings of the 16th IFAC World Congress (IFAC’05), 2005, Prague, Czech Republic, Czech Republic

titre

Nonstationary consistency of subspace method

auteur

Albert Benveniste, Laurent Mevel

article

[Research Report] PI 1752, 2005, pp.30

titre

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling

auteur

Albert Benveniste, Benoit Caillaud, Luca P. Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli

article

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, pp.1-16, ⟨10.1007/b100112⟩

titre

Branching cells as local states for event structures and nets: probabilistic applications

auteur

Samy Abbes, Albert Benveniste

article

[Research Report] RR-5347, INRIA. 2004, pp.24

titre

A Petri net model for distributed estimation

auteur

Samy Abbes, Albert Benveniste, Stefan Haar

article

Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004, Louvain, Belgium. pp.ISBN 90-5682-517-8

titre

Distributed monitoring of concurrent and asynchronous systems—extended version

auteur

Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard

article

[Research Report] RR-4842, INRIA. 2004

titre

Algorithms for Distributed Fault Management in Telecommunications Networks

auteur

Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan

article

Proceedings of the 11th International Conference on Telecommunications (ICT’04), 2004, Fortaleza, Brazil, Brazil. pp.820-825

titre

In-flight structural identification:input/output versus output-only data processing

auteur

Laurent Mevel, Albert Benveniste, Michèle Basseville, Maurice Goursat, Bart Peeters, Herman van Der Auweraer, Antonio Vecchio

article

[Research Report] RR-5108, INRIA. 2004

titre

Concurrency in synchronous systems

auteur

Dumitru Potop-Butucaru, Benoit Caillaud, Albert Benveniste

article

[Research Report] RR-5110, INRIA. 2004

titre

Markov Nets: Probabilistic Models for Distributed and Concurrent Systems.

auteur

Albert Benveniste, Eric Fabre, Stefan Haar

article

IEEE Transactions on Automatic Control, 2003, 48 (11), pp.1936-1950. ⟨10.1109/TAC.2003.819076⟩

titre

Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach.

auteur

Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard

article

IEEE Transactions on Automatic Control, 2003, 48 (5), pp.714-727. ⟨10.1109/TAC.2003.811249⟩

titre

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

auteur

Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli

article

[Research Report] RR-4901, INRIA. 2003

titre

Distributed unfoldings: a tool to address distributed discrete event systems diagnosis

auteur

Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard

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⟩

titre

Distributed Monitoring of Concurrent and Asynchronous Systems

auteur

Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard

article

Proceedings of the 14th International Conference on Concurrency Theory (CONCUR’03), 2003, Marseilles, France, France. pp.1-26

titre

Partial Order Diagnosability of Discrete Event Systems Using Petri Net Unfoldings

auteur

Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard

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⟩

titre

Fast in-flight detection of flutter onset -A statistical approach

auteur

Laurent Mevel, Michèle Basseville, Albert Benveniste

article

[Research Report] RR-4982, INRIA. 2003

titre

A Protocol for Loosely Time-Triggered Architectures

auteur

Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis

article

Embedded Software Conference (EMSOFT ’02), Oct 2002, Grenoble, France. pp.252-265, ⟨10.1007/3-540-45828-X_19⟩

titre

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach

auteur

Albert Benveniste, Eric Fabre, Claude Jard, Stefan Haar

article

[Research Report] RR-4461, INRIA. 2002

titre

Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach

auteur

Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard

article

Proceedings of the 6th Workshop on Discrete Event Systems (WODES’02), 2002, Zaragoza, Spain, Spain. pp.182-190

titre

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design

auteur

Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand

article

40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.3284 – 3289, ⟨10.1109/.2001.980328⟩

titre

Markov Nets: Probabilistic Models for Distributed and Concurrent Systems

auteur

Albert Benveniste, Eric Fabre, Stefan Haar

article

[Research Report] RR-4253, INRIA. 2001

titre

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach

auteur

Albert Benveniste, Eric Fabre, Claude Jard, Stefan Haar

article

[Research Report] RR-4181, INRIA. 2001

titre

Compositionality in dataflow synchronous languages: specification & distributed code generation

auteur

Albert Benveniste, Benoit Caillaud, Paul Le Guernic

article

Information and Computation, 2000, 163 (1), pp.125-171. ⟨10.1006/inco.2000.9999⟩

titre

BDL: A Semantics Backbone for UML Dynamic Diagrams

auteur

Benoit Caillaud, Jean-Pierre Talpin, Jean-Marc Jézéquel, Albert Benveniste, Claude Jard

article

[Research Report] RR-4003, INRIA. 2000

titre

Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors

auteur

Laurent Mevel, Albert Benveniste, Michèle Basseville, Maurice Goursat

article

[Research Report] RR-4024, INRIA. 2000

titre

Pre-Order Semantics of UML State-Machines

auteur

Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic

article

[Research Report] RR-3958, INRIA. 2000

titre

From Synchrony to Asynchrony

auteur

Albert Benveniste, Benoit Caillaud, Paul Le Guernic

article

[Research Report] RR-3641, INRIA. 1999

titre

Hierarchic Normal Forms for Desynchronization

auteur

Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Paul Le Guernic

article

[Research Report] RR-3822, INRIA. 1999

titre

BDl, A Language of Distributed Reactive Objects

auteur

Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon

article

[Research Report] RR-3353, INRIA. 1998

titre

Subspace-based Fault Detection and Isolation Methods – Application to Vibration Monitoring

auteur

Michèle Basseville, Maher Abdelghani, Albert Benveniste

article

[Research Report] RR-3299, INRIA. 1997

titre

Compositionality in Dataflow Synchronous Languages: Specification & Code Generation

auteur

Albert Benveniste, Paul Le Guernic, Pascal Aubry

article

[Research Report] RR-3310, INRIA. 1997

titre

Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach

auteur

Qinghua Zhang, Michèle Basseville, Albert Benveniste

article

[Research Report] RR-3120, INRIA. 1997

titre

Surveillance d’installations industrielles: démarche générale et conception de l’algorithmique

auteur

Michèle Basseville, Albert Benveniste, Qinghua Zhang

article

[Rapport de recherche] RR-2889, INRIA. 1996

titre

A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation

auteur

Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic

article

[Research Report] RR-2465, INRIA. 1994

titre

Wavelets in identification wavelets, splines, neurons, fuzzies : how good for identification

auteur

Anatoli B. Juditsky, Qinghua Zhang, Bernard Delyon, Pierre-Yves Glorennec, Albert Benveniste

article

[Research Report] RR-2315, INRIA. 1994

titre

Data-flow synchronous languages

auteur

Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs

article

[Research Report] RR-2089, INRIA. 1993

titre

High-level primitives for recursive maximum likelihood estimation

auteur

Bernard C. Levy, Albert Benveniste, Ramine Nikoukhah

article

[Research Report] RR-2088, INRIA. 1993

titre

Projet SYNCHRONE : les formats communs des langages synchrones

auteur

Jean-Pierre Paris, Gérard Berry, Frédéric Mignard, Philippe Couronné, Paul Caspi, Nicolas Halbwachs, Yves Sorel, Albert Benveniste, Thierry Gautier, Paul Le Guernic, François Dupont, Claude Le Maire

article

[Rapport de recherche] RT-0157, INRIA. 1993

titre

A denotational theory of synchronous reactive systems

auteur

Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine

article

Information and Computation, 1992, 99 (2), pp.192-230. ⟨10.1016/0890-5401(92)90030-J⟩

titre

Signal as a model for real-time and hybrid systems

auteur

Albert Benveniste, Michel Le Borgne, Paul Le Guernic

article

[Research Report] RR-1608, INRIA. 1992

titre

Early warning of slight changes in systems and plants with application to condition based maintenance

auteur

Qinghua Zhang, Michèle Basseville, Albert Benveniste

article

[Research Report] RR-1750, INRIA. 1992

titre

The Synchronous approach to reactive and real-time systems

auteur

Albert Benveniste, Gérard Berry

article

[Research Report] RR-1445, INRIA. 1991

titre

Constructive probability and the SIGNalea language : building and processes via programming

auteur

Albert Benveniste

article

[Research Report] RR-1532, INRIA. 1991

titre

Multi-scale autoregressive processes

auteur

Michèle Basseville, Albert Benveniste, Alan S. Willsky

article

[Research Report] RR-1206, INRIA. 1990

titre

Multiscale system theory

auteur

Albert Benveniste, Ramine Nikoukhah, Alan S. Willsky

article

[Research Report] RR-1194, INRIA. 1990

titre

Multiscale signal processing : from QMF to wavelets

auteur

Albert Benveniste

article

[Research Report] RR-1299, INRIA. 1990

titre

Modèles statistiques temps-échelle en traitement du signal

auteur

Michèle Basseville, Albert Benveniste

article

[Rapport de recherche] RR-0971, INRIA. 1989

titre

Multiscale statistical signal processing

auteur

Michèle Basseville, Albert Benveniste

article

[Research Report] RR-0970, INRIA. 1989

titre

The signal software environment for real-time system specification, design, and implementation

auteur

Albert Benveniste, Paul Le Guernic, Christian Jacquemot

article

[Research Report] RR-1105, INRIA. 1989

titre

Polynomial ideal theoretic methods in discrete event, and hybrid dynamical systems

auteur

Michel Le Borgne, Albert Benveniste, Paul Le Guernic

article

[Research Report] RR-1091, INRIA. 1989

titre

Hybrid dynamical systems theory and the language “SIGNAL

auteur

Albert Benveniste, Bernard Le Goff, Paul Le Guernic

article

[Research Report] RR-0838, INRIA. 1988

titre

Diagnosing mechanical changes in vibrating systems

auteur

George V. Moustakides, Michèle Basseville, Albert Benveniste, Georges Le Vey

article

[Research Report] RR-0942, INRIA. 1988

titre

A denotational theory of synchronous communicating systems

auteur

Albert Benveniste, Paul Le Guernic

article

[Research Report] RR-0685, INRIA. 1987

titre

Real-time,synchronous,data-flow programming: The language SIGNAL and its mathematical semantics

auteur

Paul Le Guernic, Albert Benveniste

article

[Research Report] RR-0620, INRIA. 1987

titre

Optimal sensor location for detecting changes in dynamical behavior

auteur

Michèle Basseville, Albert Benveniste, George V. Moustakides, Anne Rougée

article

[Research Report] RR-0498, INRIA. 1986

titre

Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems

auteur

Michèle Basseville, Albert Benveniste, George V. Moustakides, Anne Rougée

article

[Research Report] RR-0477, INRIA. 1986

titre

The asymptotic local approach to change detection and model validation

auteur

Albert Benveniste, Michèle Basseville, George V. Moustakides

article

[Research Report] RR-0564, INRIA. 1986

titre

Real-time,synchronous,data-flow programming: the language “SIGNAL” and its mathematical semantics

auteur

Paul Le Guernic, Albert Benveniste

article

[Research Report] RR-0533, INRIA. 1986

titre

Optimum robust detection of changes in the AR part of a multivariable ARMA process

auteur

Anne Rougée, Michèle Basseville, Albert Benveniste, George V. Moustakides

article

[Research Report] RR-0478, INRIA. 1986

titre

A model to analyse the causality in synchronous real time systems

auteur

Albert Benveniste

article

[Research Report] RR-0411, INRIA. 1985

titre

SIGNAL : a data flow oriented language for signal processing

auteur

Albert Benveniste, Patricia Bournai, Thierry Gautier, Paul Le Guernic

article

[Research Report] RR-0378, INRIA. 1985

titre

Detecting changes in the A.R.parameters of a nonstationary A.R.M.A.process

auteur

George V. Moustakides, Albert Benveniste

article

[Research Report] RR-0391, INRIA. 1985

titre

Detection and diagnosis of abrut changes in modal characteristics of nonstationary digital signals

auteur

Michèle Basseville, Albert Benveniste, George V. Moustakides

article

[Research Report] RR-0348, INRIA. 1984

titre

Design of one-step and multistep adaptive of algorithms for the tracking of time varying systems

auteur

Albert Benveniste

article

[Research Report] RR-0340, INRIA. 1984

titre

Blind equalizers

auteur

Albert Benveniste, Maurice Goursat

article

[Research Report] RR-0219, INRIA. 1983

titre

SIGNAL:Un langage pour le traitement du signal

auteur

Paul Le Guernic, Albert Benveniste, Thierry Gautier

article

[Rapport de recherche] RR-0206, INRIA. 1983

titre

Détection séquentielle de changements brusques des caractéristiques spectrales d’un signal numérique

auteur

Michèle Basseville, Albert Benveniste

article

[Research Report] RR-0129, INRIA. 1982

titre

Réalisation stochastique de signaux non stationnaires et identification sur un seul echantillon

auteur

Albert Benveniste, Jean-Jacques Fuchs

article

[Rapport de recherche] RR-0128, INRIA. 1982

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

auteur

Marc Prevosto, Albert Benveniste, Bruno Bernouin

article

[Rapport de recherche] RR-0130, INRIA. 1982

titre

An example of failure detection:design and comparative study of some algorithms

auteur

Michèle Basseville, Albert Benveniste

article

[Research Report] RR-0073, INRIA. 1981