Filtrer vos résultats
- 34
- 6
- 18
- 15
- 3
- 2
- 1
- 1
- 16
- 1
- 1
- 40
- 2
- 3
- 4
- 1
- 1
- 2
- 4
- 3
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 2
- 2
- 1
- 2
- 1
- 39
- 1
- 39
- 34
- 6
- 4
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 40
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 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
40 résultats
|
|
triés par
|
|
On the construction of pullbacks for safe Petri nets[Research Report] PI 1750, 2005, pp.12
Rapport
inria-00000462v1
|
||
|
Factored Planning: From Automata to Petri NetsInternational Conference on Application of Concurrency to System Design (ACSD), Jul 2013, Barcelone, Spain
Communication dans un congrès
hal-00931844v1
|
||
|
Convergence of Turbo Algorithms for Systems Defined by Local Constraints[Research Report] RR-4860, INRIA. 2003
Rapport
inria-00071723v1
|
||
|
SAKURA a Model Based Root Cause Analysis Framework for vIMSMobiSys 2019 - 17th ACM International Conference on Mobile Systems, Applications, and Services, Jun 2019, Seoul, South Korea. ACM Press, pp.594-595
Poster de conférence
hal-02291163v1
|
||
Deliverable L3.1 : Model for regulated urban railway systems.[Research Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.21
Rapport
hal-01094381v1
|
|||
|
A Survey of Fault Management in Network Virtualization Environments: Challenges and SolutionsIEEE Transactions on Network and Service Management, 2019, pp.1-15. ⟨10.1109/TNSM.2019.2948420⟩
Article dans une revue
hal-02370378v1
|
||
Multi-Domain Self Aware Management : Negotiation and Monitoring13th International Conference on Telecommunications - ICT 2006, May 2006, Funchal, Madeira island/Portugal, Portugal
Communication dans un congrès
inria-00106791v1
|
|||
|
On the construction of pullbacks for safe Petri nets[Research Report] RR-5722, INRIA. 2005, pp.13
Rapport
inria-00070296v1
|
||
|
Trellis Processes : a Compact Representation for Runs of Concurrent Systems[Research Report] RR-5554, INRIA. 2005, pp.34
Rapport
inria-00070452v1
|
||
|
A-sharp: a Distributed A-star for Factored Planning[Research Report] RR-7927, INRIA. 2012
Rapport
hal-00687434v1
|
||
|
Non-Disjoint Clustered Representation for Distributions over a Population of Cells (poster)CMSB 2017, 2017, Darmstadt, Germany. pp.324-326
Communication dans un congrès
hal-01625665v1
|
||
|
Enhanced OSPF Graceful RestartIFIP/IEEE International Symposium on Integrated Network Management, May 2013, Ghent, Belgium
Communication dans un congrès
hal-00931798v1
|
||
|
Modeling Variability in Populations of Cells using Approximated Multivariate DistributionsIEEE/ACM Transactions on Computational Biology and Bioinformatics, 2020, 17 (5), pp.1691-1702. ⟨10.1109/TCBB.2019.2904276⟩
Article dans une revue
hal-02350249v1
|
||
|
Markov Nets: Probabilistic Models for Distributed and Concurrent Systems[Research Report] RR-4253, INRIA. 2001
Rapport
inria-00072335v1
|
||
|
On the construction of probabilistic diagnosersWODES 2010 - 10th International Workshop on Discrete Event Systems, Aug 2010, Berlin, Germany. pp.229 - 234, ⟨10.3182/20100830-3-DE-4013.00039⟩
Communication dans un congrès
hal-01699592v1
|
||
|
LUMEN: A Global Fault Management Framework For Network Virtualization EnvironmentsICIN 2018 - 21st Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2018, Paris, France. pp.1-8, ⟨10.1109/ICIN.2018.8401622⟩
Communication dans un congrès
hal-01851610v1
|
||
Diagnosis with Petri Net UnfoldingsCarla Seatzu and Manuel Silva and Jan H. van Schuppen. Control of Discrete-Event Systems - Automata and Petri Net Perspectives, Springer, pp.301-318, 2013, Lecture Notes in Control and Information Sciences, 978-1-4471-4276-8. ⟨10.1007/978-1-4471-4276-8_15⟩
Chapitre d'ouvrage
istex
hal-00926087v1
|
|||
|
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
|
||
|
Factorization of Unfoldings for Distributed Tile Systems Part 1 : Reduced Interaction Case[Research Report] RR-4829, INRIA. 2003
Rapport
inria-00071757v1
|
||
|
A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation[Research Report] RR-2465, INRIA. 1994
Rapport
inria-00074210v1
|
||
|
Networks of automata with read arcs: a tool for distributed planning18th IFAC World Congress, Aug 2011, Milan, Italy
Communication dans un congrès
hal-01699586v1
|
||
|
Classification among Hidden Markov ModelsFSTTCS 2019 - 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2019, Bombay, India. pp.1-14, ⟨10.4230/LIPIcs.FSTTCS.2019.29⟩
Communication dans un congrès
hal-02350252v1
|
||
|
Machine Learning Approaches to Early Fault Detection and Identification in NFV ArchitecturesNetSoft 2020 - 6th IEEE International Conference on Network Softwarization, Jun 2020, Ghent, France. pp.200-208, ⟨10.1109/NetSoft48620.2020.9165361⟩
Communication dans un congrès
hal-03129396v1
|
||
|
Resilience in Discrete Event SystemsWODES 2022 - 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic. pp.1-6
Communication dans un congrès
hal-03777858v1
|
||
|
Distributed Optimal Planning: an Approach by Weighted Automata Calculus48th IEEE Conference on Decision and Control, Dec 2009, Shanghai, China. pp.211-216
Communication dans un congrès
hal-00931846v1
|
||
Deliverable L1 : State of the art and selected references[Technical Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.32
Rapport
hal-01094366v1
|
|||
|
A Look-Ahead Simulation Algorithm for DBN Models of Biochemical PathwaysHybrid Systems Biology, 5th International Workshop, HSB 2016, Oct 2016, Grenoble, France. pp.3-15, ⟨10.1007/978-3-319-47151-8_1⟩
Communication dans un congrès
hal-01406115v1
|
||
|
Active diagnosis for probabilistic systems17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), Verimag- INRIA Rhône Alpes, Apr 2014, Grenoble, France. pp.29-42, ⟨10.1007/978-3-642-54830-7_2⟩
Communication dans un congrès
hal-00930919v1
|
||
|
Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them[Research Report] PI 1800, 2006, pp.32
Rapport
inria-00068387v2
|
- 1
- 2