Filtrer vos résultats
- 64
- 47
- 55
- 27
- 20
- 6
- 2
- 1
- 20
- 111
- 2
- 2
- 2
- 2
- 5
- 4
- 3
- 4
- 9
- 8
- 8
- 9
- 3
- 5
- 5
- 6
- 5
- 2
- 3
- 4
- 9
- 4
- 3
- 4
- 3
- 1
- 111
- 72
- 64
- 40
- 29
- 17
- 16
- 7
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 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
- 111
- 20
- 17
- 16
- 14
- 11
- 9
- 9
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
111 résultats
|
Unfolding-based Diagnosis of Systems with an Evolving TopologyInformation and Computation, 2010, 10, pp.1169-1192. ⟨10.1016/j.ic.2009.11.009⟩
Article dans une revue
inria-00638204v1
|
||
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
|
|||
|
Cyclic Ordering through Partial Orders *Journal of Multiple-Valued Logic and Soft Computing, 2016, 27 (2-3), pp.209-228
Article dans une revue
hal-01360144v1
|
||
|
Forecasting Passenger Loads in Transportation Networks2016
Pré-publication, Document de travail
hal-01259585v2
|
||
|
Characterization of Reachable Attractors Using Petri Net UnfoldingsCMSB 2014, Nov 2014, Manchester, United Kingdom. pp.14, ⟨10.1007/978-3-319-12982-2_10⟩
Communication dans un congrès
hal-01060450v1
|
||
|
Computing the Reveals Relation in Occurrence NetsTheoretical Computer Science, 2013, 493, pp.66-79. ⟨10.1016/j.tcs.2013.04.028⟩
Article dans une revue
hal-00925742v1
|
||
|
D-SPACES: Implementing Declarative Semantics for Spatially Structured Information11th International Conference on Semantic Computing , IEEE, Jan 2017, San Diego, California, United States
Communication dans un congrès
hal-01328189v4
|
||
|
Active Prediction for Discrete Event SystemsFSTTCS 2020 - 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2020, Goa / Virtual, India
Communication dans un congrès
hal-02951944v3
|
||
Closed Sets in Occurrence Nets with ConflictsFundamenta Informaticae, 2014, 133 (4), pp.323-344
Article dans une revue
hal-01091152v1
|
|||
|
Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets[Research Report] RR-6902, INRIA. 2009
Rapport
inria-00379540v1
|
||
|
Decoupling Passenger Flows for Improved Load Prediction13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) , Aug 2016, Québec City, Canada
Communication dans un congrès
hal-01330136v1
|
||
|
A Passenger-centric Multi-agent System Model for Multimodal Public Transportation2016
Pré-publication, Document de travail
hal-01322956v1
|
||
|
On Equivalence between Timed State Machines and Time Petri Nets[Research Report] RR-4049, INRIA. 2000
Rapport
inria-00072589v1
|
||
|
Probabilistic Cluster Unfoldings for Petri Nets[Research Report] RR-4426, INRIA. 2002
Rapport
inria-00072162v1
|
||
Cyclic Ordering through Partial OrdersJournal of Multiple-Valued Logic and Soft Computing, 2015
Article dans une revue
hal-01242990v1
|
|||
What Topology Tells us about Diagnosability in Partial Order SemanticsProceedings of the 10th Workshop on Discrete Event Systems (WODES'10), Aug 2010, Berlin, Germany. pp.221-226
Communication dans un congrès
inria-00638285v1
|
|||
|
Unfold and Cover: Qualitative Diagnosability for Petri NetsProceedings of the 46th IEEE Conference on Decision and Control (CDC'07), 2007, New Orleans, LA, USA, United States. pp.1886-1891, ⟨10.1109/CDC.2007.4434691⟩
Communication dans un congrès
inria-00638308v1
|
||
Probabilistic QoS and soft contracts for transaction based web servicesProceedings 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⟩
Communication dans un congrès
inria-00638311v1
|
|||
|
Markov Nets: Probabilistic Models for Distributed and Concurrent Systems.IEEE Transactions on Automatic Control, 2003, 48 (11), pp.1936-1950. ⟨10.1109/TAC.2003.819076⟩
Article dans une revue
inria-00638221v1
|
||
|
Blocking a transition in a Free Choice net and what it tells about its throughputJournal of Computer and System Sciences, 2003, 66 (3), pp.515-548. ⟨10.1016/S0022-0000(03)00039-4⟩
Article dans une revue
inria-00072394v2
|
||
|
Model-based Testing for Concurrent Systems: Unfolding-based Test SelectionInternational Journal on Software Tools for Technology Transfer, 2014, pp.14-28. ⟨10.1007/s10009-014-0353-y⟩
Article dans une revue
hal-00996000v2
|
||
|
Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics[Research Report] RR-5248, INRIA. 2004, pp.25
Rapport
inria-00070750v1
|
||
|
Distributed monitoring of concurrent and asynchronous systems---extended version[Research Report] RR-4842, INRIA. 2004
Rapport
inria-00071743v1
|
||
|
Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets[Research Report] RR-4754, INRIA. 2003
Rapport
inria-00071832v1
|
||
|
Non-Ambiguous Petri Nets[Research Report] RR-3691, INRIA. 1999
Rapport
inria-00072978v1
|
||
|
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
|
||
|
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory NetworksTheoretical Computer Science, 2019, 765, pp.120-144. ⟨10.1016/j.tcs.2018.03.009⟩
Article dans une revue
hal-01734805v1
|
||
|
Computing the Reveals Relation in Occurrence NetsGandalf, Jun 2011, Minori, Italy. pp.31-44, ⟨10.4204/EPTCS.54.3⟩
Communication dans un congrès
inria-00638262v1
|