Filter your results
- 410
- 184
- 68
- 41
- 39
- 35
- 12
- 7
- 5
- 5
- 4
- 3
- 2
- 2
- 61
- 53
- 45
- 40
- 38
- 35
- 32
- 28
- 26
- 25
- 24
- 24
- 23
- 23
- 23
- 22
- 22
- 21
- 20
- 19
- 15
- 15
- 15
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 808
- 12
- 11
- 10
- 9
- 5
- 5
- 4
- 1
- 817
- 732
- 37
- 26
- 24
- 21
- 17
- 16
- 15
- 14
- 14
- 14
- 14
- 14
- 13
- 12
- 11
- 10
- 10
- 10
- 10
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 817
- 816
- 816
- 816
- 816
- 816
- 816
- 816
- 816
- 816
- 815
- 814
- 814
- 735
- 735
- 735
- 733
- 732
- 681
- 200
- 194
- 180
- 174
- 158
- 154
- 134
- 120
- 82
- 79
- 77
- 68
- 64
- 59
- 59
- 58
- 57
- 57
- 56
- 51
- 48
- 45
- 43
- 43
- 43
- 43
- 42
- 42
- 41
- 41
- 39
- 37
- 37
- 37
- 36
- 35
- 35
- 32
- 32
- 32
- 31
- 31
- 30
- 29
- 29
- 28
- 28
- 28
- 27
- 26
- 25
- 24
- 24
- 22
- 21
- 21
- 19
- 17
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 773
- 43
- 1
- 683
- 129
- 5
- 46
- 99
- 93
- 107
- 139
- 135
- 174
- 8
- 2
- 5
- 2
- 1
- 1
- 2
- 1
- 1
- 1
|
On modularity and performances of external domain-specific language implementationsSoftware Engineering [cs.SE]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S112⟩
Theses
tel-02972666v1
|
||
|
Fault management of programmable multi-tenant networksNetworking and Internet Architecture [cs.NI]. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S016⟩
Theses
tel-03047092v1
|
||
|
Constraint System Decomposition[Research Report] RR-9478, Inria Rennes. 2022, pp.1-68
Reports
hal-03740562v2
|
||
|
A Systematic Mapping Study on Modeling for Industry 4.0[Research Report] RR-9062, INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2017, pp.25
Reports
hal-01514421v2
|
||
|
Automatic Transformation from Ecore Metamodels towards Gallina Inductive TypesMODELSWARD 2018, Jan 2018, Santa Cruz, Portugal. ⟨10.5220/0006608604880495⟩
Conference papers
hal-01693939v1
|
||
|
Distribution-based objectives for Markov Decision ProcessesLICS 2018, the 33rd Annual ACM/IEEE Symposium, Jul 2018, Oxford, United Kingdom. pp.36-45, ⟨10.1145/3209108.3209185⟩
Conference papers
hal-01933978v1
|
||
|
MLExplainOCaml 2018, Sep 2018, Saint Louis, United States. pp.1-4
Conference papers
hal-02056392v1
|
||
|
Synthèse d'applications de réalité virtuelle à partir de modèlesSynthèse d'image et réalité virtuelle [cs.GR]. INSA de Rennes, 2018. Français. ⟨NNT : 2018ISAR0010⟩
Theses
tel-01959918v1
|
||
|
Type-Driven Verification of Non-functional PropertiesPPDP 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
|
||
|
CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing CompilerERTS2 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 enforcementFormal Methods in System Design, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩
Journal articles
hal-01647787v1
|
||
|
SBIP 2.0: Statistical Model Checking Stochastic Real-time SystemsATVA 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
|
||
|
Specification-Based Protocol ObfuscationDSN 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 Learning2017
Preprints, Working Papers, ...
hal-01645130v1
|
|||
|
State of the art of network protocol reverse engineering toolsJournal of Computer Virology and Hacking Techniques, 2018, 14 (1), pp.53-68. ⟨10.1007/s11416-016-0289-8⟩
Journal articles
hal-01496958v1
|
||
|
Securing Compilation Against Memory ProbingPLAS '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
|
||
|
On the Expressiveness of Joining and SplittingModels, 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
|
||
|
Dynamic program analysis for suggesting test improvements to developersSoftware Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English. ⟨NNT : ⟩
Theses
tel-02459572v1
|
||
|
MASSE: Modular Automated Syntactic Signature ExtractionRESSI 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
|
||
|
Octogones entiers pour le problème RCPSPJFPC 2019 - Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. pp.1-10
Conference papers
hal-02157804v1
|
||
|
On modularity and performance of External Domain-Specific Language implementationsSoftware Engineering [cs.SE]. Université de rennes 1, 2019. English. ⟨NNT : ⟩
Theses
tel-02418676v1
|
||
|
Application of machine learning techniques to side-channel analysis on code-based cryptography[Research Report] Univ Rennes, Inria, CNRS, IRISA. 2018
Reports
hal-02017561v1
|
||
|
Demand Side Management A model driven approach to promote energy self-consumptionColloque de l'institut Mines Télécom, Jun 2018, Rennes, France
Poster communications
hal-02317918v1
|
||
|
On Understanding Context Modelling for Adaptive Authentication SystemsACM Transactions on Autonomous and Adaptive Systems, 2023, pp.1-36. ⟨10.1145/3582696⟩
Journal articles
hal-04037520v1
|
||
|
Caught in the Game: On the History and Evolution of Web Browser GamingThe Web Conference 2023, Apr 2023, Austin (TX), United States. pp.1-9
Conference papers
hal-04084097v1
|
||
|
A novel approach for Software Architecture Product Line EngineeringJournal of Systems and Software, 2022, 186, pp.111191. ⟨10.1016/j.jss.2021.111191⟩
Journal articles
hal-03885616v1
|
||
|
From feature models to feature toggles in practiceSPLC 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
|
||
|
Perpetual Assurances for Self-Adaptive SystemsSoftware Engineering for Self-Adaptive Systems III. Assurances, 2017
Book sections
hal-02054220v1
|
||
|
RISCLESS: A Reinforcement Learning Strategy to Exploit Unused Cloud Resources[Research Report] ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne. 2022, pp.1-9
Reports
hal-03652738v1
|
||
|
Towards flexible Integrated Development EnvironmentGénie logiciel [cs.SE]. Université de Rennes, 2022. Français. ⟨NNT : 2022REN1S021⟩
Theses
tel-03854875v1
|