Skip to Main content Skip to Navigation


hal-00329562v1  Book sections
Serge HaddadPatrice Moreaux. 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
Abdelkader LahmadiLaurent AndreyOlivier Festor. 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
Win Thandar SoeCécile BelleudyAung Ze ya. 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
Valentin GauthierHakim BelhaouariAgnès Arnould. É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
...
inria-00168530v1  Directions of work or proceedings
Isabelle PuautNicolas NavetFrançoise Simonot-Lion. 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
Sara ZermaniCatherine Dezan. 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
Matthieu Renardyliès FalconeAntoine RolletSrinivas PinisettyThierry Jéron et al.  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-01451162v1  Journal articles
Stef GraillatClothilde JeangoudouxChristoph Lauter. 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
Karine AltisenMatthieu Moy. 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
Romain RealMagali PralusMaurice PilletLudovic Guizzi. 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
Fabien BelmonteJean-Louis BoulangerWalter SchonKarim Berkani. Role of supervision systems in railway safety
G. Sciutto. Safety and Security in Railway Engineering, WITPress, pp.59-68, 2010
...
hal-01131424v1  Conference papers
Lotfi ZaoucheSofiane AitarabAnfel KhireddineMawloud OmarEnrico Natalizio et al.  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
David Beniamineyouenn CorreDamien DosimontGuillaume Huard. Memory Organisation Cartography & Analysis
[Research Report] RR-8694, INRIA Grenoble; INRIA. 2015
...
hal-01930324v1  Journal articles
Kossi TiassouKarama KanounMohamed KaânicheChristel SeguinChris Papadopoulos. 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
Thomas BonaldCéline ComteFabien Mathieu. 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
...
in2p3-00907381v1  Conference papers
R. BardenetBalázs KéglM. BrendelMichèle Sebag. Collaborative hyperparameter tuning
30th International Conference on Machine Learning (ICML 2013), Jun 2013, Atlanta, United States. pp.199-207
hal-01131239v1  Conference papers
Julien Iguchi-CartignyPierrick BuretGilles Grimaud. Genetic Algorithm for DWCET Evaluation on Complex Platform
9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy
...
hal-01408979v1  Conference papers
Manuel SelvaLionel MorelKevin Marquet. 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
Matthieu JournaultAntoine MinéRaphaël MonatAbdelraouf Ouadjaout. 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
Divya GuptaLucas PerronneSara Bouchenak. 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
George BosilcaAurélien BouteillerElisabeth BrunetFranck CappelloJack Dongarra et al.  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-00818836v1  Journal articles
Pierre OlivierJalil Boukhobza. 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⟩