![]() |
Free and accessible knowledge |
|
||
---|---|---|
hal-00329562v1
Book sections
Verification of probabilistic systems - Methods and tools S. Merz and N. Navet. Modeling and Verification of Real-Time Systems, ISTE - John Wiley & Sons, pp.289-318, 2008 |
||
inria-00090144v1
Conference papers
Une approche de benchmarking des pratiques de gestion basées sur un middleware JMX pour les services et les applications Nouvelles Technologies de la Répartion - NOTERE 2006, LAAS-CNRS et l'ENSICA, Jun 2006, Toulouse/France, pp.145-151 |
||
hal-02089661v1
Conference papers
Load Recognition from Smart Plug Sensor for Energy Management in a Smart Home 2019 IEEE Sensors Applications Symposium (SAS) (SAS 2019), Mar 2019, Sophia-Antipolis, France. pp.1-6, ⟨10.1109/SAS.2019.8706089⟩ |
||
hal-01286541v1
Conference papers
Évaluation de la modélisation à base de transformation de graphes avec Jerboa Journées de l'Association Française Graphique (AFIG), Nov 2015, Lyon, France |
||
hal-01127717v1
Journal articles
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation Software and Systems Modeling, Springer Verlag, 2015, pp.173-199. ⟨10.1007/s10270-013-0323-y⟩ |
||
hal-01286338v1
Journal articles
Flow vs. Time Sampling for Throughput Performance Evaluation Performance Evaluation, Elsevier, 2007, ⟨10.1016/j.peva.2007.06.010⟩ |
||
inria-00168530v1
Directions of work or proceedings
Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS'07) Isabelle Puaut and Nicolas Navet and Françoise Simonot-Lion. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.238, 2007, 2-905267-53-4 |
||
hal-02089835v1
Conference papers
Generation of a Reconfigurable Probabilistic Decision-Making Engine based on Decision Networks: UAV Case Study Workshop on Autonomous Systems Design (ASD/DATE), Mar 2019, Florence, Italy |
||
hal-01185238v3
Conference papers
Enforcement of (Timed) Properties with Uncontrollable Events 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩ |
||
hal-00169959v1
Other publications
Comparaison stochastique de modèles markoviens : une approche algorithmique et ses applications en fiabilité et en évaluation de performance 2007 |
||
hal-02887463v1
Book sections
Can an Enterprise System Persuade? The Role of Perceived Effectiveness and Social Influence Lecture Notes in Computer Science (LNCS, volume 10809), pp.45-55, 2018, ⟨10.1007/978-3-319-78978-1_4⟩ |
||
hal-01451162v1
Journal articles
MPDI: A Decimal Multiple-Precision Interval Arithmetic Library Reliable Computing Journal, 2017, Volume 25 (Special volume containing refereed papers from SCAN 2016), 25, pp.38-52 |
||
hal-00648628v1
Conference papers
Causality closure for a new class of curves in real-time calculus Proceedings of the 1st International Workshop on Worst-Case Traversal Time, Nov 2011, Vienna, Austria. pp.3--10, ⟨10.1145/2071589.2071590⟩ |
||
hal-00331430v1
Conference papers
Une première étape vers le Lean dans les entreprises de sous-traitance mécanique (Retour sur 7 ans de pratique) 5ème Conférence Internationale Conception et Production Intégrées CPI'2007, Oct 2007, Rabat, Maroc |
||
hal-00491275v1
Book sections
Role of supervision systems in railway safety G. Sciutto. Safety and Security in Railway Engineering, WITPress, pp.59-68, 2010 |
||
hal-01131424v1
Conference papers
A reputation-based approach using collaborative indictment/exculpation for detecting and isolating selfish nodes in MANETs International conference on advanced Networking, Distributed Systems and applications (INDS 2014), Jun 2014, Béjaia, Algeria |
||
hal-01130478v1
Reports
Memory Organisation Cartography & Analysis [Research Report] RR-8694, INRIA Grenoble; INRIA. 2015 |
||
hal-01930324v1
Journal articles
Fiabilité de mission d’un avion. évaluation stochastique en opération Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, 33 (9-10), pp.777 - 807. ⟨10.3166/tsi.33.777-807⟩ |
||
hal-01773674v1
Conference papers
Un seul serveur vous manque, et tout est découplé ! ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France |
||
hal-02490956v1
Journal articles
Quand des erreurs se produisent dans les supercalculateurs Interstices, INRIA, 2020 |
||
hal-03454318v1
Conference papers
Towards a Relational Model for Collaborative Safety and Security Risk Assessment Processes 31st European Safety and Reliability Conference (ESREL 2021), Sep 2021, Angers, France. pp.2673-2678, ⟨10.3850/978-981-18-2016-8_535-cd⟩ |
||
in2p3-00907381v1
Conference papers
Collaborative hyperparameter tuning 30th International Conference on Machine Learning (ICML 2013), Jun 2013, Atlanta, United States. pp.199-207 |
||
hal-03051751v1
Conference papers
Caching Policies for Delay Minimization in Small Cell Networks with Joint Transmissions ICC 2020 - IEEE International Conference on Communications (ICC), Jun 2020, Dublin, Ireland. pp.1-6, ⟨10.1109/ICC40277.2020.9149237⟩ |
||
hal-01131239v1
Conference papers
Genetic Algorithm for DWCET Evaluation on Complex Platform 9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy |
||
hal-01408979v1
Conference papers
numap: A Portable Library For Low-Level Memory Profiling Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Jul 2016, Samos, Greece. ⟨10.1109/SAMOS.2016.7818331⟩ |
||
hal-02890500v1
Conference papers
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩ |
||
hal-01372672v1
Conference papers
BFT-Bench: A Framework to Evaluate BFT Protocols The 7th ACM/SPEC on International Conference on Performance Engineering (ICPE 2016), Mar 2016, Delft, Netherlands. pp.109-112, ⟨10.1145/2851553.2858667⟩ |
||
hal-00908447v1
Journal articles
Unified Model for Assessing Checkpointing Protocols at Extreme-Scale Concurrency and Computation: Practice and Experience, Wiley, 2013, 26 (17), pp.2727-2810. ⟨10.1002/cpe.3173⟩ |
||
hal-00180751v1
Journal articles
Optimized Design of Survivable MPLS over Optical Transport Networks Optical Switching and Networking, Elsevier, 2006, 3 (3-4), pp.202-218. ⟨10.1016/j.osn.2006.08.001⟩ |
||
hal-00818836v1
Journal articles
Un système de cache hiérarchique pour les E/S présentant des motifs séquentiels pour les mémoires flash NAND Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2013, 32 (2), pp.203-228. ⟨10.3166/tsi.32.203-228⟩ ![]() |
||
|