Filtrer vos résultats
- 30
- 23
- 28
- 12
- 10
- 1
- 1
- 1
- 11
- 42
- 8
- 2
- 1
- 1
- 1
- 3
- 2
- 4
- 3
- 1
- 2
- 4
- 4
- 5
- 3
- 4
- 4
- 3
- 1
- 3
- 2
- 2
- 2
- 52
- 1
- 49
- 49
- 13
- 6
- 5
- 4
- 4
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 53
- 7
- 7
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 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
53 résultats
|
|
triés par
|
|
Formal Techniques for Component-based Design of Embedded SystemsEmbedded Systems. Grenoble University, 2014
HDR
tel-01267041v1
|
||
|
Monotonic Prefix Consistency in Distributed SystemsFORTE 2018 - 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2018, Madrid, Spain. pp.41-57, ⟨10.1007/978-3-319-92612-4_3⟩
Communication dans un congrès
hal-01824817v1
|
||
|
A General Trace-Based Framework of Logical CausalityFACS - 10th International Symposium on Formal Aspects of Component Software - 2013, 2013, Nanchang, China
Communication dans un congrès
hal-00924048v1
|
||
Compositional Strategy MappingFSEN'09, Apr 2009, Kish, Iran. pp.340-354
Communication dans un congrès
hal-00665203v1
|
|||
|
A Correlation Preserving Performance Analysis for Stream Processing SystemsMEMOCODE, Jul 2012, Washington DC, United States. ⟨10.1109/MEMCOD.2012.6292295⟩
Communication dans un congrès
hal-00745819v1
|
||
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuelRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (1-2), pp.63-84. ⟨10.3166/tsi.33.63-84⟩
Article dans une revue
hal-01078220v1
|
|||
|
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
|
||
CoSyMA: a tool for controller synthesis using multi-scale abstractionsHSCC'13 - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphie, United States. pp.83-88, ⟨10.1145/2461328.2461343⟩
Communication dans un congrès
hal-00839613v1
|
|||
|
Counterfactual Causality from First Principles?2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017), 2017, Uppsala, Sweden. pp.47 - 53, ⟨10.4204/EPTCS.259.5⟩
Communication dans un congrès
hal-01631415v1
|
||
|
Blaming in component-based real-time systemsProceedings of the 14th International Conference on Embedded Software - EMSOFT'14, Oct 2014, Delhi, India. ⟨10.1145/2656045.2656048⟩
Communication dans un congrès
hal-01078214v1
|
||
|
Component-based Design of Heterogeneous Reactive Systems in Prometheus[Research Report] RR-6057, INRIA. 2006, pp.18
Rapport
inria-00119245v2
|
||
|
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
|
||
SFC Self-Modeling and Active DiagnosisIEEE Transactions on Network and Service Management, 2021, 18 (3), pp.2515-2530. ⟨10.1109/TNSM.2021.3086424⟩
Article dans une revue
hal-03352706v1
|
|||
Component-Based Construction of Deadlock-Free Systems (Extended Abstract)FSTTCS'03, Dec 2003, Mumbai, India
Communication dans un congrès
hal-00665173v1
|
|||
|
Fault Ascription in Concurrent Systems[Research Report] RR-8772, INRIA Grenoble - Rhône-Alpes. 2015
Rapport
hal-01197486v1
|
||
|
Priority Systems[Research Report] RR-5226, INRIA. 2004
Rapport
inria-00077205v1
|
||
|
Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study[Research Report] RR-7148, INRIA. 2009, pp.23
Rapport
inria-00440437v1
|
||
Causality Analysis in Contract ViolationRuntime Verification, Nov 2010, St Julians, Malta. pp.270-284
Communication dans un congrès
inria-00548815v1
|
|||
|
Explaining Safety Violations in Real-Time SystemsFORMATS 2021 - Formal Modeling and Analysis of Timed Systems, Aug 2021, Paris, France. pp.100-116, ⟨10.1007/978-3-030-85037-1_7⟩
Communication dans un congrès
hal-03348010v1
|
||
|
Modeling and Compositional Analysis of Genetic Regulatory Networks[Research Report] RR-5801, INRIA. 2006
Rapport
inria-00071211v1
|
||
|
Probabilistic Contracts for Component-based Design[Research Report] RR-7328, INRIA. 2012
Rapport
inria-00507785v2
|
||
|
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
|
||
|
Towards Causal Explanations of Property Violations in Discrete Event SystemsDX'19 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-8
Communication dans un congrès
hal-02369014v1
|
||
|
A Hybrid Approach to Causality AnalysisRV 2015 - 6th International Conference on Runtime Verification, Sep 2015, Vienna, Austria. ⟨10.1007/978-3-319-23820-3_16⟩
Communication dans un congrès
hal-01211607v1
|
||
|
Causality analysis and fault ascription in component-based systemsTheoretical Computer Science, 2020, 837, pp.158-180. ⟨10.1016/j.tcs.2020.06.010⟩
Article dans une revue
hal-02927216v1
|
||
|
Explaining Safety Violations in Real-Time Systems[Research Report] RR-9420, INRIA; Verimag, Université Grenoble Alpes. 2021
Rapport
hal-03348046v1
|
||
A Formal Approach to Incremental Converter Synthesis for System-on-Chip DesignACM Transactions on Design Automation of Electronic Systems, 2014, 20, pp.30. ⟨10.1145/2663344⟩
Article dans une revue
hal-01092255v1
|
|||
|
Causality Analysis and Fault Ascription in Component-Based Systems[Research Report] RR-9279, Inria - Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-28
Rapport
hal-02161534v3
|
||
Synthesis of switching controllers using approximately bisimilar multiscale abstractionsHSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, ⟨10.1145/1967701.1967730⟩
Communication dans un congrès
hal-00665219v1
|
|||
Component-Based Modeling and Reachability Analysis of Genetic NetworksIEEE/ACM Transactions on Computational Biology and Bioinformatics, 2011, 8 (3), pp.672-682. ⟨10.1109/TCBB.2010.81⟩
Article dans une revue
hal-00665209v1
|
- 1
- 2