List of publications by Albert Benveniste, Benoît Caillaud and Khalil Ghorbal from 2000 to 2009
Search Results –> Url version détaillée , Url version formatée
Criteria : Author : “Albert,Benveniste;Benoît,Caillaud;Khalil,Ghorbal”, Publication year >= “2000” to “2009”
Number of occurrences founded : 64.
Criteria : Author : “Albert,Benveniste;Benoît,Caillaud;Khalil,Ghorbal”, Publication year >= “2000” to “2009”
Number of occurrences founded : 64.
- 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
- Space Software Validation using Abstract Interpretation
- auteur
- Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Khalil Ghorbal, Eric Goubault, David Lesens, Laurent Mauborgne, Antoine Miné, Sylvie Putot, Xavier Rival, Michel Turin
- article
- The International Space System Engineering Conference : Data Systems in Aerospace – DASIA 2009, EUROSPACE, May 2009, Istambul, Turkey. pp.1-7
- 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
- Compositional Design Methodology with Constraint Markov Chains
- auteur
- Benoit Caillaud, Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
- article
- [Research Report] RR-6993, INRIA. 2009
- titre
- Compositional Reasoning on (Probabilistic) Contracts
- auteur
- Benoît Delahaye, Benoit Caillaud, Axel Legay
- article
- [Research Report] RR-6970, INRIA. 2009
- 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
- A Model for Probabilistic Reasoning on Assume/Guarantee Contracts
- auteur
- Benoît Delahaye, Benoit Caillaud
- article
- [Research Report] RR-6719, INRIA. 2008, pp.17
- 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
- Concurrent Secrets
- auteur
- Eric Badouel, Marek Bednarczyk, Andrzej Borzyszkowski, Benoit Caillaud, Philippe Darondeau
- article
- [Research Report] RR-5771, INRIA. 2005, pp.22
- 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
- Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications
- auteur
- Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoit Caillaud
- article
- [Research Report] PI 1730, 2005, pp.22
- titre
- Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications
- auteur
- Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoit Caillaud
- article
- [Research Report] RR-5610, INRIA. 2005, pp.22
- 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
- Modular system development with pullbacks
- auteur
- Marek Bednarczyk, Luca Bernardinello, Benoit Caillaud, Wieslaw Pawlowski, Lucia Pomello
- article
- [Research Report] RR-4828, INRIA. 2003
- 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
- HMSCs en tant que spécifications partielles et leurs complétions dans les réseaux de Petri
- auteur
- Benoit Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes
- article
- [Rapport de recherche] RR-3970, 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
