2000-2009 publications

List of publications by Albert Benveniste, Benoît Caillaud and Khalil Ghorbal from 2000 to 2009


Publications HAL de Albert,Benveniste;Benoît,Caillaud;Khalil,Ghorbal

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.

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
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
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

Comments are closed.