Accéder directement au contenu

Filtrer vos résultats

284 résultats
Structure : Identifiant HAL de la structure : 491189
Image document

Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering

Benoit Combemale , Jörg Kienzle , Gunter Mussbacher , Olivier Barais , Erwan Bousse , et al.
Computer Languages, Systems and Structures, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩
Article dans une revue hal-01803008v1
Image document

On Polyglot Program Testing

Philémon Houdaille , Djamel Eddine Khelladi , Benoît Combemale , Gunter Mussbacher
FSE 2024 - 32nd ACM International Conference on the Foundations of Software Engineering, Jul 2024, Porto de Galinhas, Brazil. pp.1-5, ⟨10.1145/3663529.3663787⟩
Communication dans un congrès hal-04588744v1
Image document

Research software engineering and the importance of scientific models

Benoit Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2023, 22 (4), pp.1081-1083. ⟨10.1007/s10270-023-01119-z⟩
Article dans une revue hal-04216671v1
Image document

Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration)

Dorian Leroy , Erwan Bousse , Manuel Wimmer , Benoit Combemale , Wieland Schwinger
EXE 2017 - 3rd International Workshop on Executable Modeling, Sep 2017, Austin, United States. pp.1-6
Communication dans un congrès hal-01651801v1
Image document

Towards Incremental Build of Software Configurations

Georges Aaron Randrianaina , Djamel Eddine Khelladi , Olivier Zendra , Mathieu Acher
ICSE-NIER 2022 - 44th International Conference on Software Engineering -- New Ideas and Emerging Results, May 2022, Pittsburgh, PA, United States. pp.1-5, ⟨10.1145/3510455.3512792⟩
Communication dans un congrès hal-03558479v1

Seventh international workshop on reverse variability engineering (REVE 2019)

Mathieu Acher , Tewfik Ziadi , Roberto E Lopez-Herrejon , Jabier Martinez
SPLC 2019 - 23rd International Systems and Software Product Line Conference, Sep 2019, Paris, France. pp.1
Communication dans un congrès hal-02268373v1
Image document

Behavioral interfaces for executable DSLs

Dorian Leroy , Erwan Bousse , Manuel Wimmer , Tanja Mayerhofer , Benoit Combemale , et al.
Software and Systems Modeling, 2020, 19 (4), pp.1015-1043. ⟨10.1007/s10270-020-00798-2⟩
Article dans une revue hal-02565549v1
Image document

Towards flexible Integrated Development Environment

Fabien Coulon
Génie logiciel [cs.SE]. Université de Rennes, 2022. Français. ⟨NNT : 2022REN1S021⟩
Thèse tel-03854875v1
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⟩
Thèse tel-02972666v1
Image document

Raising Time Awareness in Model-Driven Engineering

Amine Benelallam , Thomas Hartmann , Ludovic Mouline , Francois Fouquet , Johann Bourcier , et al.
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems., Sep 2017, Austin, Texas, United States
Communication dans un congrès hal-01580554v1
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⟩
Thèse tel-01959918v1
Image document

Modélisation et Évaluation de la Sécurité des IHM

Youssou Ndiaye , Nicolas Aillery , Olivier Barais , Arnaud Blouin , Ahmed Bouabdallah
CIEL 2017 : 6ème Conférence en IngénieriE du Logiciel, Jun 2017, Montpellier, France
Communication dans un congrès hal-01611324v1
Image document

On the Quality of Compositional Prediction for Prospective Analytics on Graphs

Gauthier Lyan , David Gross-Amblard , Jean-Marc Jézéquel
DaWaK 2021 - 23rd International Conference on Big Data Analytics and Knowledge Discovery, Sep 2021, Linz, Austria. pp.91-105, ⟨10.1007/978-3-030-87101-7_10⟩
Communication dans un congrès hal-03356199v1
Image document

On the Feasibility of Cross-Language Detection of Malicious Packages in npm and PyPI

Piergiorgio Ladisa , Serena Elisa Ponta , Nicola Ronzoni , Matias Martinez , Olivier Barais
ACSAC 2023 - Annual Computer Security Applications Conference, Dec 2023, Austin TX, United States. pp.71-82, ⟨10.1145/3627106.3627138⟩
Communication dans un congrès hal-04423806v1
Image document

Beyond risk scores : context-aware adaptive authentication

Anne Bumiller
Cryptography and Security [cs.CR]. Université de Rennes, 2023. English. ⟨NNT : 2023URENS052⟩
Thèse tel-04609160v1
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⟩
Communication dans un congrès hal-03788437v1
Image document

Automatic non-functional testing and tuning of configurable generators

Mohamed Boussaa
Mathematical Software [cs.MS]. Université de Rennes, 2017. English. ⟨NNT : 2017REN1S011⟩
Thèse tel-01598821v2
Image document

Browser Fingerprinting : Exploring Device Diversity to Augment Authentification and Build Client-Side Countermeasures

Pierre Laperdrix
Cryptography and Security [cs.CR]. INSA de Rennes, 2017. English. ⟨NNT : 2017ISAR0016⟩
Thèse tel-01729126v1
Image document

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Quentin Plazar , Mathieu Acher , Gilles Perrouin , Xavier Devroey , Maxime Cordy
ICST 2019 - 12th IEEE International Conference on Software Testing, Verification, and Validation, Apr 2019, Xian, China. pp.240-251, ⟨10.1109/ICST.2019.00032⟩
Communication dans un congrès hal-01991857v1
Image document

Supporting A Flexible Grouping Mechanism for Collaborating Engineering Teams

Georgios Kanakis , Stefan Fischer , Djamel Eddine Khelladi , Alexander Egyed
ICGSE 2019 - 14th ACM/IEEE International Conference on Global Software Engineering, May 2019, Montreal, QC, Canada. pp.129-138, ⟨10.1109/ICGSE.2019.00033⟩
Communication dans un congrès hal-02192482v1
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 hal-02317918v1
Image document

Experience Report on the Development of a Specialized Multi-view Multi-stakeholder Model-Based Engineering Framework (extended version)

Gurvan Le Guernic
[Research Report] RR-9283, Inria Rennes - Bretagne Atlantique; IRISA. 2019
Rapport hal-02398051v1
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 : ⟩
Thèse tel-02418676v1
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 : ⟩
Thèse tel-02459572v1
Image document

Leveraging Cloud unused heterogeneous resources for applications with SLA guarantees

Jean-Emile Dartois
Software Engineering [cs.SE]. Univ-Rennes1, 2020. English. ⟨NNT : ⟩
Thèse tel-03009816v1

C&ESAR'22: Ensuring Trust in a Decentralized World

Gurvan Le Guernic
Computer & Electronics Security Application Rendezvous 2022, CEUR Workshop Proceedings, 3329, 2023
Proceedings/Recueil des communications hal-04408264v1
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
Rapport hal-01514421v2
Image document

Specialization of Run-time Configuration Space at Compile-time: An Exploratory Study

Xhevahire Tërnava , Mathieu Acher , Benoit Combemale
SAC 2023 - The 38th ACM/SIGAPP Symposium on Applied Computing, Mar 2023, Tallinn, Estonia. pp.1-10
Communication dans un congrès hal-03916459v1

Large language models as an “operating” system for software and systems modeling

Benoit Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2023, 22 (5), pp.1391-1392. ⟨10.1007/s10270-023-01126-0⟩
Article dans une revue hal-04425734v1
Image document

Interacto: A Modern User Interaction Processing Model

Arnaud Blouin , Jean-Marc Jézéquel
IEEE Transactions on Software Engineering, 2022, 48 (9), pp.3206-3226. ⟨10.1109/TSE.2021.3083321⟩
Article dans une revue hal-03231669v1