Filtrer vos résultats
- 34
- 16
- 35
- 8
- 3
- 1
- 1
- 1
- 1
- 1
- 45
- 3
- 3
- 1
- 1
- 6
- 4
- 2
- 4
- 2
- 5
- 2
- 5
- 3
- 4
- 2
- 4
- 2
- 3
- 1
- 1
- 47
- 3
- 31
- 15
- 14
- 6
- 6
- 6
- 6
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 50
- 25
- 8
- 7
- 5
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
50 résultats
|
|
|
triés par
|
|
|
Towards a formal semantics of the TESL specification language3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Communication dans un congrès
hal-01239669v1
|
||
|
|
Manifestability Verification of Discrete Event SystemsDX 2019 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-9
Communication dans un congrès
hal-02425146v1
|
||
|
|
VerChor: A Framework for the Design and Verification of ChoreographiesIEEE Transactions on Services Computing, 2016, 9 (4), pp.647-660. ⟨10.1109/TSC.2015.2413401⟩
Article dans une revue
hal-01198918v1
|
||
|
|
Automatisation du codage des récits de rêve : une approche basée sur la génération de paraphrasesAffects, Compagnons Artificiels et Interactions, Jul 2023, Strasbourg, France
Poster de conférence
hal-04269424v1
|
||
|
|
Stability of Asynchronously Communicating Systems[Research Report] RR-8561, INRIA. 2014
Rapport
hal-01020777v2
|
||
Predictability in probabilistic discrete event systems8th International Conference on Soft Methods in Probability and Statistics SMPS 2016, Sep 2016, Rome, Italy
Communication dans un congrès
hal-01483427v1
|
|||
|
|
Natural Language Processing for Cognitive Analysis of EmotionsEMPG - Meeting of the EUROPEAN MATHEMATICAL PSYCHOLOGY GROUP 2022, Sep 2022, Rovereto, Italy
Poster de conférence
hal-03805768v1
|
||
|
|
Diagnosability for Patterns in Distributed Discrete Event Systems21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States
Communication dans un congrès
inria-00540844v1
|
||
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular StructuresIEEE Transactions on Automatic Control, 2017, 62 (1086), pp.1768-1780. ⟨10.1109/tac.2016.2593626⟩
Article dans une revue
hal-01483375v1
|
|||
|
|
Erosion rates deduced from seasonal mass balance along the upper Urumqi River in TianshanSolid Earth, 2011, 2, pp.283 - 301. ⟨10.5194/se-2-283-2011⟩
Article dans une revue
hal-01499438v1
|
||
|
|
Probabilistic Analysis of Predictability in Discrete Event SystemsDX 2014, Sep 2014, Graz, Austria
Communication dans un congrès
hal-01107874v1
|
||
|
|
Natural Language Processing for Cognitive Analysis of EmotionsSemantics, Memory, and Emotion 2022, Sep 2022, Paris, France
Communication dans un congrès
hal-03805702v1
|
||
|
|
Analysis of recurrent neural networks via property-directed verification of surrogate modelsInternational Journal on Software Tools for Technology Transfer, 2023, 25 (3), pp.341-354. ⟨10.1007/S10009-022-00684-W⟩
Article dans une revue
hal-04286080v1
|
||
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast (Online), Australia. pp.364-380, ⟨10.1007/978-3-030-88885-5_24⟩
Communication dans un congrès
hal-03285418v1
|
|||
|
|
A Coloured Petri Nets Based Attack Tolerance Framework27th Asia-Pacific Software Engineering Conference (APSEC 2020), IEEE, Dec 2020, Singapore, Singapore
Communication dans un congrès
hal-03133790v1
|
||
|
|
Diagnosability analysis for self-observed distributed discrete event systemsVALID - 4th International Conference on Advances in System Testing and Validation Lifecycle, Nov 2012, Lisbonne, Portugal
Communication dans un congrès
hal-00790135v1
|
||
Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event SystemsInternational Journal On Advances in Systems and Measurements, 2013, 6 (3-4), pp.287-299
Article dans une revue
hal-01276948v1
|
|||
Diagnosability Planning for Controllable Discrete Event Systems31st National Conference on Artificial Intelligence AAAI-17, Feb 2017, San Francisco, United States
Communication dans un congrès
hal-01483416v1
|
|||
|
|
Using Delay Blocks to Make Non-Diagnosable Discrete Event Systems DiagnosableDX 2022 - 33rd International Workshop on Principle of Diagnosis, LAAS-CNRS-ANITI, Sep 2022, Toulouse, France
Communication dans un congrès
hal-03773712v1
|
||
|
|
A general algorithm for pattern diagnosability of distributed discrete event systemsICTAI - 24th International Conference on Tools with Artificial Intelligence, Nov 2012, Athènes, Greece
Communication dans un congrès
hal-00790126v1
|
||
|
|
New Results for Joint Diagnosability of Self-observed Distributed Discrete Event SystemsDX - 23rd International Workshop on Principles of Diagnosis, Jul 2012, Great Malvern, United Kingdom
Communication dans un congrès
hal-00790146v1
|
||
Automating Abstraction Computations of Hybrid SystemsCICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Aug 2018, Hagenberg, Austria
Communication dans un congrès
hal-01839897v1
|
|||
|
|
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* SearchICGI 2021 - 15th International Conference on Grammatical Inference, Aug 2021, New York City / Virtual, United States. pp.113-129
Communication dans un congrès
hal-03285433v1
|
||
|
|
Analyzing Robustness of Angluin's L* Algorithm in Presence of NoiseGandALF 2022 - 13th International Symposium on Games, Automata, Logics and Formal Verification, Sep 2022, Madrid, Spain. pp.81-96, ⟨10.4204/EPTCS.370.6⟩
Communication dans un congrès
hal-03794320v1
|
||
|
|
An Optimized Algorithm for Diagnosability of Component-based Systems10th International Conference on Discrete Event Systems WODES'10, Aug 2008, Berlin, Germany
Communication dans un congrès
inria-00540764v1
|
||
A Probabilistic Analysis of Predictability in Discrete Event Systems25th International Workshop on Principles of Diagnosis, 2015, Unknown, Région indéterminée
Communication dans un congrès
hal-01488233v1
|
|||
Diagnosability Planning for Controllable Discrete Event Systems27th International Workshop on Principles of Diagnosis DX’16, Oct 2016, Denver, United States
Communication dans un congrès
hal-01483420v1
|
|||
|
|
Détection de l'émotion à partir de ses composantes dans des récits émotionnelsExtraction et Gestion des Connaissances, Jan 2023, Lyon, France
Poster de conférence
hal-04269398v1
|
||
Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategies Measuring bedload in gravel-bed mountain rivers: averaging methods and sampling strategiesGeodinamica Acta, 2008, 21 (1-2), pp.81-92. ⟨10.3166/ga.21.81-92⟩
Article dans une revue
hal-01499563v1
|
|||
|
|
How to be Sure a Faulty System Does not Always Appear Healthy?12th International Conference on Verification and Evaluation of Computer and Communication Systems, Sep 2018, Grenoble, France
Communication dans un congrès
hal-01818314v1
|
- 1
- 2