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
Image document

Spectrum sensing based on cumulative power spectral density

Abbass Nasser , Ali Mansour , K. C Yao , H. Abdallah , H. Charara
EURASIP Journal on Advances in Signal Processing, 2017, 2017 (38), ⟨10.1186/s13634-017-0475-y⟩
Article dans une revue hal-01699322v1

A Model Checkable UML Soccer Player

Valentin Besnard , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Philippe Dhaussy
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
Communication dans un congrès hal-02375996v1
Image document

REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges

Andrey Sadovykh , Tewfik Ziadi , Alessandra Bagnato , Thorsten Berger , Jan-Philipp Steghöfer , et al.
International Conference on Objects, Components, Models and Patterns (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.406-417, ⟨10.1007/978-3-030-29852-4_34⟩
Communication dans un congrès hal-02428581v1
Image document

A Problem-Oriented Approach to Critical System Design and Diagnosis Support

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
Communication dans un congrès hal-01933792v1

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

Valentin Besnard , Frédéric Jouault , Matthias Brun , Ciprian Teodorov , Philippe Dhaussy
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
International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2020, Prague, Czech Republic
Communication dans un congrès hal-02502398v1
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

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

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

A High Abstraction Level Constraint for Object Localization in Marine Observatories

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

Domain-oriented Verification Management

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
Communication dans un congrès hal-01933794v1

Using Parallel and Distributed Reachability in Model Checking

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
Communication dans un congrès hal-01780556v1
Image document

Automatic Verification of BPMN Models

Mihal Brumbulli , Emmanuel Gaudin , Ciprian Teodorov
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Communication dans un congrès hal-02441878v1

Twiddle Factor Generation Using Chebyshev Polynomials and HDL for Frequency Domain Beamforming

Ghattas Akkad , Ali Mansour , Elhassan Boudaia , Mohamad Najem
Applications in Electronics Pervading Industry, Environment and Society, (Applepies, 2018), Sep 2018, Pisa, Italy
Communication dans un congrès hal-01936687v1

Precise use cases in a context-aware model-checking approach

Amel Benabbou , Safia Nait Bahloul , Philippe Dhaussy
International Journal of Critical Computer-Based Systems, 2018, 8 (3/4), ⟨10.1504/IJCCBS.2018.10017704⟩
Article dans une revue hal-01936730v1
Image document

Finding the polygon hull of a network without conditions on the starting vertex

Ahcène Bounceur , Madani Bezoui , Mohammad Hammoudeh , Loïc Lagadec , Reinhardt Euler
Transactions on emerging telecommunications technologies, 2022, 33 (3), pp.e3696. ⟨10.1002/ett.3696⟩
Article dans une revue hal-02303242v1

SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A

Thorsten Berger , Philippe Collet , Laurence Duchien , Thomas Fogdal , Patrick Heymans , et al.
2019
Proceedings/Recueil des communications hal-02386136v1
Image document

Apprentissage par projets à l'école primaire avec les filles qui. . .

Cassandra Balland , Esther Bernard , Morgane Coat , Isabelle Fouqué , Louise Hergoualc 'H , et al.
RJC-EIAH 2018 - Atelier "Organisation et suivi des activités d’apprentissage de l’informatique : outils, modèles et expériences", Apr 2018, Besançon, France
Communication dans un congrès hal-01756178v1
Image document

PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes

Cyrielle Feron , Vianney Lapotre , Loïc Lagadec
SECRYPT: 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain
Communication dans un congrès hal-01595789v1

A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineering

Luisa Rincón , Raul Mazo , Camille Salinesi
SPLC '20: 24th ACM International Systems and Software Product Line Conference, Oct 2020, Montreal (QC), Canada. pp.13-20, ⟨10.1145/3382026.3425774⟩
Communication dans un congrès hal-03104184v1
Image document

Early Validation Framework for Critical and Complex Process-Centric Systems

Fahad Rafique Golra , Joël Champeau , Ciprian Teodorov
20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩
Communication dans un congrès hal-02149584v1

Validation formelle d’architecture logicielle basée sur des patrons de sécurité

Obeid Fadi , Philippe Dhaussy
17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France
Communication dans un congrès hal-01864805v1

Formal verification of security pattern composition: application to SCADA

Fadi Obeid , Philippe Dhaussy
COMPUTING AND INFORMATICS, 2019, 38, pp.1149-1180. ⟨10.31577/cai.2019.5.1149⟩
Article dans une revue hal-02638911v1
Image document

Temperature-based models of batteries for the simulation of Wireless Sensor Networks

Nabil Kadjouh , Ahcène Bounceur , Abdelkamel Tari , Reinhardt Euler , Loïc Lagadec , et al.
3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩
Communication dans un congrès hal-02303250v1

Architecture des ordinateurs

Loïc Lagadec , Sébastien Pillement , Arnaud Tisserand
Loïc Lagadec and Sébastien Pillement and Arnaud Tisserand. Hermes, 32, pp.150, 2013, Technique et science informatique, 9782746245679
Ouvrages hal-00819668v1
Image document

Soft timing closure for soft programmable logic cores: The ARGen approach

Théotime Bollengier , Loïc Lagadec , Mohamad Najem , Jean-Christophe Le Lann , Pierre Guilloux
ARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands
Communication dans un congrès hal-01475251v1

Secure Communication Protocol: Application to Large Number of Distributed Sensors

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-01864790v1
Image document

Transient Key-based Obfuscation for HLS in an Untrusted Cloud Environment

Hannah Badier , Jean-Christophe Le Lann , Philippe Coussy , Guy Gogniat
2019 Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Mar 2019, Florence, Italy
Communication dans un congrès hal-02052433v1

Comparando dos estrategias de aprendizaje activo para enseñar Scrum en un curso introductorio de ingeniería de software

Silvia I. Lozano , Elizabeth Suescún , Paola Vallejo , Raúl Mazo , Daniel Correa
Ingeniare : Revista Chilena de Ingeniería, 2020, 28 (1), pp.83-94. ⟨10.4067/S0718-33052020000100083⟩
Article dans une revue hal-02924096v1

Contract-based design patterns: a design by contract approach to specify security patterns

Caine Silva , Sylvain Guérin , Raul Mazo , Joël Champeau
15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
Communication dans un congrès hal-02958111v1