Filtrer vos résultats
- 112
- 16
- 82
- 27
- 14
- 2
- 2
- 1
- 82
- 128
- 4
- 3
- 1
- 2
- 5
- 4
- 3
- 2
- 1
- 4
- 2
- 3
- 3
- 3
- 6
- 6
- 7
- 4
- 5
- 7
- 7
- 3
- 3
- 4
- 2
- 1
- 3
- 1
- 2
- 3
- 3
- 2
- 3
- 4
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 1
- 122
- 6
- 128
- 73
- 61
- 12
- 7
- 6
- 6
- 6
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 128
- 32
- 21
- 20
- 18
- 16
- 10
- 10
- 9
- 9
- 8
- 7
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
128 résultats
|
|
Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach[Research Report] RR-4461, INRIA. 2002
Rapport
inria-00072127v1
|
||
|
|
Distributed monitoring of concurrent and asynchronous systems---extended version[Research Report] RR-4842, INRIA. 2004
Rapport
inria-00071743v1
|
||
|
|
Branching cells as local states for event structures and nets: probabilistic applications[Research Report] RR-5347, INRIA. 2004, pp.24
Rapport
inria-00070655v1
|
||
|
|
From Synchrony to Asynchrony[Research Report] RR-3641, INRIA. 1999
Rapport
inria-00073032v1
|
||
|
|
Nonstationary consistency of subspace method[Research Report] PI 1752, 2005, pp.30
Rapport
inria-00000869v1
|
||
|
|
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.IEEE Transactions on Services Computing, 2008, 1 (4), pp.187-200. ⟨10.1109/TSC.2008.17⟩
Article dans une revue
inria-00638213v1
|
||
|
|
A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation[Research Report] RR-2465, INRIA. 1994
Rapport
inria-00074210v1
|
||
|
|
Optimal sensor location for detecting changes in dynamical behavior[Research Report] RR-0498, INRIA. 1986
Rapport
inria-00076056v1
|
||
|
|
Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems[Research Report] RR-0477, INRIA. 1986
Rapport
inria-00076077v1
|
||
|
|
Event Structure Semantics of Orc[Research Report] RR-6221, INRIA. 2007
Rapport
inria-00155016v4
|
||
|
|
Mixed Nondeterministic-Probabilistic Interfaces[Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40
Rapport
hal-02985273v1
|
||
|
|
Concurrency, sigma-algebras and probabilistic fairnessFOSSACS 2009, Mar 2009, York, United Kingdom. pp.380-394
Communication dans un congrès
hal-00267518v4
|
||
|
|
Monotonicity in Service OrchestrationsProceedings 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⟩
Communication dans un congrès
inria-00638289v1
|
||
|
|
Event Structure Semantics of OrcProceedings 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⟩
Communication dans un congrès
inria-00638299v1
|
||
Partial Order Diagnosability of Discrete Event Systems Using Petri Net UnfoldingsProceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, United States. pp.3748-3753, ⟨10.1109/CDC.2003.1271732⟩
Communication dans un congrès
inria-00638329v1
|
|||
|
|
Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code[Research Report] RR-9459, Inria Rennes - Bretagne Atlantique. 2022, pp.1-46
Rapport
hal-03580636v1
|
||
|
|
Handling Multimode Models and Mode Changes in ModelicaModelica 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11, ⟨10.3384/ecp21181507⟩
Communication dans un congrès
hal-03281410v1
|
||
|
|
Markov Nets: Probabilistic Models for Distributed and Concurrent Systems[Research Report] RR-4253, INRIA. 2001
Rapport
inria-00072335v1
|
||
|
|
Multiscale system theory[Research Report] RR-1194, INRIA. 1990
Rapport
inria-00075364v1
|
||
|
|
Monotony in Service Orchestrations[Research Report] RR-6528, INRIA. 2008
Rapport
inria-00276627v2
|
||
|
|
A Theory of QoS for Web Service Orchestrations[Research Report] RR-6951, INRIA. 2009
Rapport
inria-00391592v1
|
||
|
|
Diagnosing mechanical changes in vibrating systems[Research Report] RR-0942, INRIA. 1988
Rapport
inria-00075616v1
|
||
|
|
SIGNAL:Un langage pour le traitement du signal[Rapport de recherche] RR-0206, INRIA. 1983
Rapport
inria-00076352v1
|
||
|
|
Compatibility between DAXML Schemas[Research Report] RR-7559, INRIA. 2011, pp.36
Rapport
inria-00573774v1
|
||
The Fundamentals of Hybrid Systems Modelers49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States
Communication dans un congrès
inria-00554271v1
|
|||
|
|
Truly Concurrent Synchronization of Markov Chains[Research Report] PI 1866, 2007, pp.20
Rapport
inria-00175408v1
|
||
Algorithms for Distributed Fault Management in Telecommunications NetworksProceedings of the 11th International Conference on Telecommunications (ICT'04), 2004, Fortaleza, Brazil, Brazil. pp.820-825
Communication dans un congrès
inria-00638325v1
|
|||
Distributed unfoldings: a tool to address distributed discrete event systems diagnosisProceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, United States. pp.3742-3747, ⟨10.1109/CDC.2003.1271731⟩
Communication dans un congrès
inria-00638327v1
|
|||
Distributed Monitoring of Concurrent and Asynchronous SystemsProceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), 2003, Marseilles, France, France. pp.1-26
Communication dans un congrès
inria-00638342v1
|
|||
|
|
Application of Interface Theories to the Separate Compilation of Synchronous Programs[Research Report] RR-8030, INRIA. 2012
Rapport
hal-00721049v1
|