Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

817 Results
Structure: Internal structure identifier : 491188
Image document

On modularity and performances of external domain-specific language implementations

Manuel Leduc
Software Engineering [cs.SE]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S112⟩
Theses tel-02972666v1
Image document

Fault management of programmable multi-tenant networks

Sihem Cherrared
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S016⟩
Theses tel-03047092v1
Image document

Constraint System Decomposition

Joan Thibault
[Research Report] RR-9478, Inria Rennes. 2022, pp.1-68
Reports hal-03740562v2
Image document

A Systematic Mapping Study on Modeling for Industry 4.0

Andreas Wortmann , Benoit Combemale , Olivier Barais
[Research Report] RR-9062, INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2017, pp.25
Reports hal-01514421v2
Image document

Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types

Jeremy Buisson , Seidali Rehab
MODELSWARD 2018, Jan 2018, Santa Cruz, Portugal. ⟨10.5220/0006608604880495⟩
Conference papers hal-01693939v1
Image document

Distribution-based objectives for Markov Decision Processes

S. Akshay , Blaise Genest , Nikhil Vyas
LICS 2018, the 33rd Annual ACM/IEEE Symposium, Jul 2018, Oxford, United Kingdom. pp.36-45, ⟨10.1145/3209108.3209185⟩
Conference papers hal-01933978v1
Image document

MLExplain

Kévin Le Bon , Alan Schmitt
OCaml 2018, Sep 2018, Saint Louis, United States. pp.1-4
Conference papers hal-02056392v1
Image document

Synthèse d'applications de réalité virtuelle à partir de modèles

Gwendal Le Moulec
Synthèse d'image et réalité virtuelle [cs.GR]. INSA de Rennes, 2018. Français. ⟨NNT : 2018ISAR0010⟩
Theses tel-01959918v1
Image document

Type-Driven Verification of Non-functional Properties

Christopher Brown , Adam D Barwell , Yoann Marquer , Céline Minh , Olivier Zendra
PPDP 2019 - 21st International Symposium on Principles and Practice of Declarative Programming, Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1145/3354166.3354171⟩
Conference papers hal-02314723v1
Image document

CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler

Daniel Kästner , Jörg Barrho , Ulrich Wünsche , Marc Schlickling , Bernhard Schommer , et al.
ERTS2 2018 - 9th European Congress Embedded Real-Time Software and Systems, 3AF, SEE, SIE, Jan 2018, Toulouse, France. pp.1-9
Conference papers hal-01643290v1

Predictive runtime enforcement

Srinivas Pinisetty , Viorel Preoteasa , Stavros Tripakis , Thierry Jéron , Yliès Falcone , et al.
Formal Methods in System Design, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩
Journal articles hal-01647787v1
Image document

SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

Braham Lotfi Mediouni , Ayoub Nouri , Marius Bozga , Mahieddine Dellabani , Axel Legay , et al.
ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis, Oct 2018, Los Angeles, CA, United States. pp.536-542, ⟨10.1007/978-3-030-01090-4_33⟩
Conference papers hal-01888538v1
Image document

Specification-Based Protocol Obfuscation

Julien Duchene , Eric Alata , Vincent Nicomette , Mohamed Kaâniche , Colas Le Guernic
DSN 2018 - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2018, Luxembourg City, Luxembourg. pp.1-12, ⟨10.1109/DSN.2018.00056⟩
Conference papers hal-01848573v1

Profiled SCA with a New Twist: Semi-supervised Learning

Annelie Heuser , Stjepan Picek , Axel Legay , Karlo Knezevic
2017
Preprints, Working Papers, ... hal-01645130v1
Image document

State of the art of network protocol reverse engineering tools

Julien Duchene , Colas Le Guernic , Eric Alata , Vincent Nicomette , Mohamed Kaâniche
Journal of Computer Virology and Hacking Techniques, 2018, 14 (1), pp.53-68. ⟨10.1007/s11416-016-0289-8⟩
Journal articles hal-01496958v1
Image document

Securing Compilation Against Memory Probing

Frédéric Besson , Alexandre Dang , Thomas Jensen
PLAS '18 - 13th Workshop on Programming Languages and Analysis for Security, Oct 2018, Toronto, Canada. pp.29-40, ⟨10.1145/3264820.3264822⟩
Conference papers hal-01901765v1
Image document

On the Expressiveness of Joining and Splitting

Thomas Given-Wilson , Axel Legay
Models, Mindsets, Meta: The What, the How, and the Why Not?, LNCS-11200, Springer, pp.326-355, 2018, Lecture Notes in Computer Science, 978-3-030-22347-2. ⟨10.1007/978-3-030-22348-9_20⟩
Book sections hal-01955922v1
Image document

Dynamic program analysis for suggesting test improvements to developers

Oscar Luis Vera-Pérez
Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English. ⟨NNT : ⟩
Theses tel-02459572v1
Image document

MASSE: Modular Automated Syntactic Signature Extraction

François Déchelle , Bruno Lebon , Olivier Zendra
RESSI 2019 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France. pp.1
Conference papers hal-02159947v1
Image document

Octogones entiers pour le problème RCPSP

Pierre Talbot , David Cachera , Eric Monfroy , Charlotte Truchet
JFPC 2019 - Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. pp.1-10
Conference papers hal-02157804v1
Image document

On modularity and performance of External Domain-Specific Language implementations

Manuel Leduc
Software Engineering [cs.SE]. Université de rennes 1, 2019. English. ⟨NNT : ⟩
Theses tel-02418676v1
Image document

Application of machine learning techniques to side-channel analysis on code-based cryptography

Tania Richmond
[Research Report] Univ Rennes, Inria, CNRS, IRISA. 2018
Reports hal-02017561v1
Image document

Demand Side Management A model driven approach to promote energy self-consumption

Alexandre Rio , Yoann Maurel , Olivier Barais , Yoran Bugni
Colloque de l'institut Mines Télécom, Jun 2018, Rennes, France
Poster communications hal-02317918v1
Image document

On Understanding Context Modelling for Adaptive Authentication Systems

Anne Bumiller , Stéphanie Challita , Benoit Combemale , Olivier Barais , Nicolas Aillery , et al.
ACM Transactions on Autonomous and Adaptive Systems, 2023, pp.1-36. ⟨10.1145/3582696⟩
Journal articles hal-04037520v1
Image document

Caught in the Game: On the History and Evolution of Web Browser Gaming

Naif Mehanna , Walter Rudametkin
The Web Conference 2023, Apr 2023, Austin (TX), United States. pp.1-9
Conference papers hal-04084097v1
Image document

A novel approach for Software Architecture Product Line Engineering

Mohamed Lamine Kerdoudi , Tewfik Ziadi , Chouki Tibermacine , Salah Sadou
Journal of Systems and Software, 2022, 186, pp.111191. ⟨10.1016/j.jss.2021.111191⟩
Journal articles hal-03885616v1
Image document

From feature models to feature toggles in practice

Jean-Marc Jézéquel , Jörg Kienzle , Mathieu Acher
SPLC 2022 - 26th ACM International Systems and Software Product Line Conference, Sep 2022, Graz / Hybrid, Austria. pp.234-244, ⟨10.1145/3546932.3547009⟩
Conference papers hal-03788437v1
Image document

Perpetual Assurances for Self-Adaptive Systems

Danny Weyns , Nelly Bencomo , Radu Calinescu , Javier Cámara , Carlo Ghezzi , et al.
Software Engineering for Self-Adaptive Systems III. Assurances, 2017
Book sections hal-02054220v1
Image document

RISCLESS: A Reinforcement Learning Strategy to Exploit Unused Cloud Resources

Sidahmed Yalles , Mohamed Handaoui , Jean-Emile Dartois , Olivier Barais , Laurent d'Orazio , et al.
[Research Report] ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne. 2022, pp.1-9
Reports hal-03652738v1
Image document

Towards flexible Integrated Development Environment

Fabien Coulon
Génie logiciel [cs.SE]. Université de Rennes, 2022. Français. ⟨NNT : 2022REN1S021⟩
Theses tel-03854875v1