Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

40 résultats
Page :
triés par
Image document

On the construction of pullbacks for safe Petri nets

 Eric Fabre
[Research Report] PI 1750, 2005, pp.12
Rapport inria-00000462v1
Image document

Factored Planning: From Automata to Petri Nets

 Loïg Jezequel , Eric Fabre , Victor Khomenko
International Conference on Application of Concurrency to System Design (ACSD), Jul 2013, Barcelone, Spain
Communication dans un congrès hal-00931844v1
Image document

Convergence of Turbo Algorithms for Systems Defined by Local Constraints

 Eric Fabre
[Research Report] RR-4860, INRIA. 2003
Rapport inria-00071723v1
Image document

SAKURA a Model Based Root Cause Analysis Framework for vIMS

 Sihem Cherrared , Sofiane Imadali , Eric Fabre , Gregor Gössler
MobiSys 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.

 Eric Fabre , Karim Kecir , Loïc Hélouët
[Research Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.21
Rapport hal-01094381v1

Multi-Domain Self Aware Management : Negotiation and Monitoring

 Laurent Ciarletta , Sophie Piekarec , Armen Aghasaryan , Helia Pouyllau , Stefan Haar , et al.
13th International Conference on Telecommunications - ICT 2006, May 2006, Funchal, Madeira island/Portugal, Portugal
Communication dans un congrès inria-00106791v1
Image document

On the construction of pullbacks for safe Petri nets

 Eric Fabre
[Research Report] RR-5722, INRIA. 2005, pp.13
Rapport inria-00070296v1
Image document

A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions

 Sihem Cherrared , Sofiane Imadali , Eric Fabre , Gregor Gössler , Imen Grida Ben Yahia
IEEE Transactions on Network and Service Management, 2019, pp.1-15. ⟨10.1109/TNSM.2019.2948420⟩
Article dans une revue hal-02370378v1
Image document

Trellis Processes : a Compact Representation for Runs of Concurrent Systems

 Eric Fabre
[Research Report] RR-5554, INRIA. 2005, pp.34
Rapport inria-00070452v1
Image document

A-sharp: a Distributed A-star for Factored Planning

 Loïg Jezequel , Eric Fabre
[Research Report] RR-7927, INRIA. 2012
Rapport hal-00687434v1
Image document

Non-Disjoint Clustered Representation for Distributions over a Population of Cells (poster)

 Matthieu Pichené , Sucheendra K. Palaniappan , Eric Fabre , Blaise Genest
CMSB 2017, 2017, Darmstadt, Germany. pp.324-326
Communication dans un congrès hal-01625665v1
Image document

Enhanced OSPF Graceful Restart

 Carole Hounkonnou , Eric Fabre
IFIP/IEEE International Symposium on Integrated Network Management, May 2013, Ghent, Belgium
Communication dans un congrès hal-00931798v1
Image document

Modeling Variability in Populations of Cells using Approximated Multivariate Distributions

 Matthieu Pichené , Sucheendra K. Palaniappan , Eric Fabre , Blaise Genest
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2020, 17 (5), pp.1691-1702. ⟨10.1109/TCBB.2019.2904276⟩
Article dans une revue hal-02350249v1
Image document

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach

 Albert Benveniste , Eric Fabre , Claude Jard , Stefan Haar
[Research Report] RR-4461, INRIA. 2002
Rapport inria-00072127v1
Image document

Distributed monitoring of concurrent and asynchronous systems---extended version

 Albert Benveniste , Stefan Haar , Eric Fabre , Claude Jard
[Research Report] RR-4842, INRIA. 2004
Rapport inria-00071743v1
Image document

Factorization of Unfoldings for Distributed Tile Systems Part 1 : Reduced Interaction Case

 Eric Fabre
[Research Report] RR-4829, INRIA. 2003
Rapport inria-00071757v1
Image document

A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation

 Albert Benveniste , Bernard C. Levy , Eric Fabre , Paul Le Guernic
[Research Report] RR-2465, INRIA. 1994
Rapport inria-00074210v1
Image document

Networks of automata with read arcs: a tool for distributed planning

 Loïg Jezequel , Eric Fabre
18th IFAC World Congress, Aug 2011, Milan, Italy
Communication dans un congrès hal-01699586v1
Image document

Machine Learning Approaches to Early Fault Detection and Identification in NFV Architectures

 Arij Elmajed , Armen Aghasaryan , Eric Fabre
NetSoft 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
Image document

Resilience in Discrete Event Systems

 Eric Fabre
WODES 2022 - 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic. pp.1-6
Communication dans un congrès hal-03777858v1
Image document

Classification among Hidden Markov Models

 S. Akshay , Hugo Bazille , Eric Fabre , Blaise Genest
FSTTCS 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
Image document

Distributed Optimal Planning: an Approach by Weighted Automata Calculus

 Eric Fabre , Loïg Jezequel
48th 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

 Loïc Hélouët , Eric Fabre , Christophe Morvan , Blaise Genest , Karim Kecir , et al.
[Technical Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.32
Rapport hal-01094366v1
Image document

A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways

 Sucheendra K. Palaniappan , Matthieu Pichené , Grégory Batt , Eric Fabre , Blaise Genest
Hybrid 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
Image document

Active diagnosis for probabilistic systems

 Nathalie Bertrand , Eric Fabre , Stefan Haar , Serge Haddad , Loïc Hélouët
17th 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
Image document

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them

 Eric Fabre , Albert Benveniste
[Research Report] PI 1800, 2006, pp.32
Rapport inria-00068387v2
Image document

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them

 Eric Fabre , Albert Benveniste
[Research Report] RR-5916, INRIA. 2007, pp.38
Rapport inria-00077535v2
Image document

Certification formelle des réseaux neuronaux profonds : un état de l’art en 2019

 Hugo Bazille , Eric Fabre , Blaise Genest
AI and Defense 2019 - Artificial Intelligence and defense, Nov 2019, Rennes, France. pp.1-10
Communication dans un congrès hal-02350253v1
Image document

Markov Nets: Probabilistic Models for Distributed and Concurrent Systems

 Albert Benveniste , Eric Fabre , Stefan Haar
[Research Report] RR-4253, INRIA. 2001
Rapport inria-00072335v1
Image document

On the construction of probabilistic diagnosers

 Eric Fabre , Loïg Jezequel
WODES 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
Page :