Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

76 Résultats
Structure : Identifiant HAL de la structure : 497668

Modular Deployment of UML Models for V&V Activities and Embedded Execution

Valentin Besnard , Frédéric Jouault , Matthias Brun , Ciprian Teodorov , Philippe Dhaussy et al.
MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
Communication dans un congrès hal-02929122v1
Image document

Preference-based Conflict Resolution for Collaborative Configuration of Product Lines

Sabrine Edded , Sihem Ben Sassi , Raúl Mazo , Camille Salinesi , Henda Ben Ghézala et al.
International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2020, Prague, Czech Republic
Communication dans un congrès hal-02502398v1

Towards one Model Interpreter for Both Design and Deployment

Valentin Besnard , Matthias Brun , Philippe Dhaussy , Frédéric Jouault , David Olivier et al.
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
Communication dans un congrès hal-01585318v1
Image document

A New Leader Election Algorithm based on the WBS Algorithm Dedicated to Smart-cities

Nabil Kadjouh , Ahcène Bounceur , Abdelkamel Tari , Loïc Lagadec , Reinhardt Euler et al.
3rd International Conference on Future Networks and Distributed Systems (ICFNDS '19), Jul 2019, Paris, France. pp.1-5, ⟨10.1145/3341325.3342014⟩
Communication dans un congrès hal-02303247v2

A High Abstraction Level Constraint for Object Localization in Marine Observatories

Joël Champeau , Loïc Lagadec , Charbel Geryes Aoun , Jad Moussa , Elio Hanna et al.
CSCI 2017, Dec 2017, Las Vegas, United States
Communication dans un congrès hal-01653617v1

An Automated Transformation Approach for Requirement Specification

Amel Benabbou , Safia Nait Bahloul , Philippe Dhaussy
Conf ITQM’16, Aug 2016, Séoul, South Korea
Communication dans un congrès hal-01864825v1

Model-checking for Secured Component Implementation.

Obeid Fadi , Philippe Dhaussy
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
Communication dans un congrès hal-01864787v1

An Integrated Toolchain for Overlay-centric System-on-chip

Jean-Christophe Le Lann , Théotime Bollengier , Mohamad Najem , Loïc Lagadec
13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip 2018 (ReCoSoC 2018), Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449388⟩
Communication dans un congrès hal-01867638v1

Unified LTL Verification and Embedded Execution of UML Models

Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy et al.
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
Communication dans un congrès hal-01887948v1
Image document

Towards a new template for the specification of requirements in semi-structured natural language

Raul Mazo , Carlos Andrés Jaramillo , Paola Vallejo , Jhon Harvey Medina
Journal of Software Engineering Research and Development, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
Article dans une revue hal-02502411v1

Distributed algorithm to fight the state explosion problem

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
Article dans une revue hal-01716143v1

Designing a combined personal communicator and data entry terminal for disaster relief & remote operations

Paul Gardner-Stephen , Angus Wallace , Lucas Moss , Loïc Lagadec , Matthew Lloyd et al.
IEEE Global Humanitarian Technology Conference (GHTC), Oct 2019, Seattle, WA, United States
Communication dans un congrès hal-02553261v1
Image document

Partially Bounded Context-Aware Verification

Luka Le Roux , Ciprian Teodorov
17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩
Communication dans un congrès hal-02434620v1
Image document

A Domain-specific Modeling Framework for Attack Surface Modeling

Tithnara Nicolas Sun , Bastien Drouot , Fahad R Golra , Joël Champeau , Sylvain Guerin et al.
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
Communication dans un congrès hal-02502387v1
Image document

Automated Exploration of Homomorphic Encryption Scheme Input Parameters

Cyrielle Feron , Loïc Lagadec , Vianney Lapotre
Journal of Information Security and Applications, 2020, 55, pp.102627. ⟨10.1016/j.jisa.2020.102627⟩
Article dans une revue hal-02960569v2

Designing, Animating, and Verifying Partial UML Models

Frédéric Jouault , Valentin Besnard , Théo Le Calvar , Ciprian Teodorov , Matthias Brun et al.
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
Communication dans un congrès hal-02931876v1
Image document


Charbel Aoun
Computer Science [cs]. ENSTA Bretagne, 2018. English. ⟨NNT : ⟩
Thèse tel-03250233v1

FFT Radix-2 and Radix-4 FPGA Acceleration Techniques Using HLS and HDL for Digital Communication Systems

Ghattas Akkad , Ali Mansour , Elhassan Boudaia , Frédéric Le Roy , Mohamad Najem et al.
IEEE International Multidisciplinary Conference on Engineering Technology, (IMCET 2018), Nov 2018, Beirut, Lebanon
Communication dans un congrès hal-01936699v1
Image document

CupCarbon-Lab: An IoT Emulator

Ahcène Bounceur , Olivier Marc Marc , Massinissa Lounis , Julien Soler , Laurent Clavier et al.
IEEE Consumer Communications & Networking Conference, Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319313⟩
Communication dans un congrès hal-01704422v1

Environment-driven reachability for timed systems

Ciprian Teodorov , Philippe Dhaussy , Luka Le Roux
International Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
Article dans une revue hal-01373335v1

Asserting causal properties in High Level Synthesis

Erwan Fabiani , Loïc Lagadec , Mohamed Ben Hammouda , Ciprian Teodorov
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
Communication dans un congrès hal-01623030v1

Model Federation based on Role Modeling

Bastien Drouot , Joël Champeau
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development 2019, Feb 2019, Prague, Czech Republic. pp.74-85
Communication dans un congrès hal-02123046v1
Image document

Towards a Hardware DSL Ecosystem: RubyRTL and Friends

Jean-Christophe Le Lann , Hannah Badier , Florent Kermarrec
OSDA'2020 Open Source Hardware Design, colocated with DATE'20, Mar 2020, Grenoble, France
Communication dans un congrès hal-02513256v1
Image document

Fast Evaluation of Homomorphic Encryption Schemes Based on Ring-LWE

Cyrielle Feron , Vianney Lapotre , Loïc Lagadec
2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Feb 2018, Paris, France. ⟨10.1109/NTMS.2018.8328693⟩
Communication dans un congrès hal-01757093v1

A Role Modeling Based Approach for Cyber Threat Analysis

Bastien Drouot , Fahad R. Golra , Joël Champeau
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.76-100, ⟨10.1007/978-3-030-37873-8_4⟩
Communication dans un congrès hal-02461502v1

Data Management Mechanisms for Internet of Things: A position paper

Ousmane Diallo , Philippe Dhaussy , Ciprian Teodorov
CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
Communication dans un congrès hal-02515160v1

Proposed Algorithms to the State Explosion Problem

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
Chapitre d'ouvrage hal-02515359v1

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime

Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy et al.
MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
Communication dans un congrès hal-01802247v1
Image document

Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructurado

Raúl Mazo , Carlos Jaramillo
Requirements Engineering Track (RET) of CIbSE, 2019, Habana, Cuba
Communication dans un congrès hal-02502483v1
Image document

Collaborative configuration approaches in software product lines engineering: a systematic mapping study

Sabrine Edded , Sihem Ben Sassi , Raúl Mazo , Camille Salinesi , Henda Ben Ghézala et al.
Journal of Systems and Software, 2019, 158, ⟨10.1016/j.jss.2019.110422⟩
Article dans une revue hal-02302669v1