List of all-time publications by Albert Benveniste
Search Results –> Url version détaillée , Url version formatée
Criteria : Author : “Albert,Benveniste”
Number of occurrences founded : 152.
Criteria : Author : “Albert,Benveniste”
Number of occurrences founded : 152.
- 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: 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
- 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
- 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
- Concurrency, sigma-algebras, and probabilistic fairness
- auteur
- Samy Abbes, Albert Benveniste
- article
- [Research Report] RR-6724, INRIA. 2008, pp.24
- 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
- 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] PI 1853, 2007, pp.33
- 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
- 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
- Nonstationary consistency of subspace method
- auteur
- Albert Benveniste, Laurent Mevel
- article
- [Research Report] PI 1752, 2005, pp.30
- 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
- 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
- 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
- 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
- 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, Stefan Haar, Claude Jard
- article
- Proceedings of the 6th Workshop on Discrete Event Systems (WODES’02), 2002, Zaragoza, Spain, Spain. pp.182-190
- 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
- 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
- Constructive probability and the SIGNalea language : building and processes via programming
- auteur
- Albert Benveniste
- article
- [Research Report] RR-1532, INRIA. 1991
- titre
- The Synchronous approach to reactive and real-time systems
- auteur
- Albert Benveniste, Gérard Berry
- article
- [Research Report] RR-1445, 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
- 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
- A model to analyse the causality in synchronous real time systems
- auteur
- Albert Benveniste
- article
- [Research Report] RR-0411, 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