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

Filtrer vos résultats

27 Résultats
Structure : Identifiant HAL de la structure : 388505
Image document

Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based Method

Ahcène Bounceur , Madani Bezoui , Loïc Lagadec , Reinhardt Euler , Abdelkader Laouid , et al.
International Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩
Communication dans un congrès hal-01829227v1

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

Phadeo : un environnement pour FPGA virtuel

Sebastián Tleye , Ciprian Teodorov , Erwan Fabiani , Loic Lagadec
2015
Pré-publication, Document de travail hal-01179474v1

CDFG Platform in MORPHEUS

Jalil Boukhobza , Loïc Lagadec , Alain Plantec , Jean-Christophe Le Lann
AETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France
Communication dans un congrès hal-00487063v1

Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging

Loic Lagadec , Ciprian Teodorov , Jean-Christophe Le Lann , Damien Picard , Erwan Fabiani
Science of Computer Programming, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩
Article dans une revue hal-00998533v1
Image document

Model-based Diagnosis Patterns for Model Checking

Vincent Leilde , Vincent Ribaud , Philippe Dhaussy
PAME 2016, Oct 2016, St Malo, France. pp.7-12
Communication dans un congrès hal-01406604v1

Integrating Design and Runtime Variability Support into a System ADL

M. Ludwig , Nicolas Farcet , Jean-Philippe Babau , Joël Champeau
7th European Conference Modelling Foundations and Applications ECMFA 2011, Jun 2011, Birmingham, United Kingdom. pp.270-281, ⟨10.1007/978-3-642-21470-7_19⟩
Communication dans un congrès istex hal-00670414v1

Preface to the special issue on advances in Smalltalk based systems

Loïc Lagadec , Alain Plantec
96 (1), pp.1-3, 2014, Science of Computer Programming, Science direct, ⟨10.1016/j.scico.2014.07.004⟩
Ouvrages hal-01089392v1

A Design Approach to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerator

Mohamed Ben Hammouda , Philippe Coussy , Loic Lagadec
GLSVLSI 2014, May 2014, Houston, United States
Communication dans un congrès hal-01009551v1
Image document

KriQL: a query language for the diagnosis of transition systems

Khaoula Es-Salhi , Siham Rim Boudaoud , Ciprian Teodorov , Zoé Drey , Vincent Ribaud
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
Communication dans un congrès hal-01203649v1
Image document

Techniques and Challenges for Trace Processing from a Model-Checking Perspective

Vincent Ribaud , Ciprian Teodorov , Zoé Drey , Luka Leroux , Philippe Dhaussy
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
Communication dans un congrès hal-01119571v1
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
Image document

When IT female students become teachers: lessons from a French project "Girls who code" as a learning by doing example

Cécile Plaud , Vincent Ribaud
10th European Conference on Gender Equality in Higher Education, Aug 2018, Dublin, Ireland
Communication dans un congrès hal-01841830v1

International workshop on smalltalk technologies 2011 special issue (Journal of Software: Practice and Experience)

Alain Plantec , Loic Lagadec
Wiley, pp.91, 2014, ⟨10.1002/spe.2172⟩
Ouvrages istex hal-00782810v1
Image document

6 leçons de robotique pour les sciences

Ashwarya Arora , Boulc'H Julie , Caza Céline , Gourvil Magali , Karchaoui Ikhlass , et al.
DIDAPRO L'informatique objet d'enseignements, Feb 2020, Lille, France
Communication dans un congrès hal-02482472v1

Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators

Mohamed Ben Hammouda , Philippe Coussy , Loïc Lagadec
ICSAS 2014 - International symposium on circuits and systems, Jun 2014, Melbourne, Australia
Communication dans un congrès hal-01009572v1

Proceedings of the 2012 International Workshop on Smalltalk Technologies

Loic Lagadec , Alain Plantec
ACM digital library, pp.68, 2012, 978-1-4503-1897-6
Ouvrages hal-00822656v1

HLS-based Fast Design Space Exploration of ad hoc hardware accelerators: a key tool for MPSoC Synthesis on FPGA

Youenn Corre , Van-Trinh Hoang , Jean-Philippe Diguet , Dominique Heller , Loic Lagadec
International Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2012, Germany
Communication dans un congrès hal-00747713v1

Editeurs des actes de l'école d'été MDA for Embedded System developpement

Jean-Philippe Babau , Joël Champeau , Sébastien Gérard
Non renseigne, pp.Non renseigne, 2002
Ouvrages hal-00517478v1

A Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators

Mohamed Ben Hammouda , Philippe Coussy , Loic Lagadec
ISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX
Communication dans un congrès hal-00944548v1

Une approche de conception pour générer automatiquement des moniteurs sur puce pendant la synthèse de haut niveau d'accélérateurs matériels

Mohamed Ben Hammouda , Philippe Coussy , Loïc Lagadec
COMPAS 2014 - Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse
Communication dans un congrès hal-00989918v1

Actes de l'école d'été MDA for Embedded System developpement

Jean-Philippe Babau , Joël Champeau , Sébastien Gérard
Actes de l'école d'été MDA for Embedded System developpement, pp.1-200, 2002
Ouvrages hal-00632337v1

Model integration for formal qualification of timing-aware software data acquisition components

Jean-Philippe Babau , Philippe Dhaussy , Pierre-Yves Pillain
Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
Chapitre d'ouvrage hal-00635969v1

Organizational Configurations in Executable Enterprise Architecture Models

Marie Ludwig , Nicolas Farcet , Jean-Philippe Babau , Joël Champeau
poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France
Communication dans un congrès hal-00670420v1
Image document

Ingénierie des projets Savanturiers de l'ingénierie

Vincent Ribaud , Chabha Hireche , Arwa Khannoussi , Vincent Leilde , Cécile Plaud , et al.
Colloque Education par la recherche, Jul 2018, Paris, France
Communication dans un congrès hal-01839091v1
Image document

A Diagnosis Framework for Critical Systems Verification

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
Communication dans un congrès hal-01559688v1

A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerators

Mohamed Ben Hammouda , Philippe Coussy , Loïc Lagadec
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩
Article dans une revue hal-01405531v1