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

Filtrer vos résultats

126 Résultats
Structure : Identifiant HAL de la structure : 81533

Improving Model Checking with Context Modelling

Philippe Dhaussy , Frédéric Boniol , Jean-Charles Roger , Luka Leroux
Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
Article dans une revue hal-00738735v1

Mise en œuvre des probabilités et des statistiques

Ali Mansour , Christophe Osswald
Ellipses, 552 p., 2019, 9782340032965
Ouvrages hal-02303379v1
Image document

Modulation Recognition for MIMO Communications

Vincent V. Choqueuse , Stéphane Azou , Koffi Clément Yao , Ludovic Collin , Gilles Burel
IEEE COMM'08, Jun 2008, Bucarest, Romania. pp.283-286
Communication dans un congrès hal-00485432v1
Image document

Overlay Architectures For FPGA Resource Virtualization

Théotime Bollengier , Mohamad Najem , Jean-Christophe Le Lann , Loïc Lagadec
GDR SOC SIP, Jun 2016, Nantes, France
Communication dans un congrès hal-01405912v1

Formalisation d’une Approche Compositionnelle de Patrons de Propriétés

Djamila Baroudi , Philippe Dhaussy , Nait Bahloul Safia
AFADL 2016, i, Jun 2016, Besançon, France
Communication dans un congrès hal-01326333v1
Image document

Model Checking of SCADE Designed Systems

S Heim , Xavier Dumas , E Bonnafous , Philippe Dhaussy , C Teodorov , et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès hal-01289454v1
Image document

PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines

Stephen Creff , Joël Champeau
MODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès hal-00914377v1

Early exploring design alternatives of smart sensor software with Model of Computation implemented with actors

Jean-Philippe Schneider , Zoé Drey , Jean-Christophe Le Lann
ESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France
Communication dans un congrès hal-00913335v1

Fast Prototyping of a New Reconfigurable Architecture : Toward Tailored Space FPGA

Chagun Basha Basheer Ahmed , Sébastien Pillement , Loïc Lagadec , Arnaud Tisserand
Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jun 2015, Villeneuve d'Ascq, France. pp.10
Communication dans un congrès hal-01153568v1

A Role Language to Interpret Multi-Formalism System of Systems Models

Jean-Philippe Schneider , Joël Champeau , Ciprian Teodorov , Eric Senn , Loic Lagadec
Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
Communication dans un congrès hal-01156518v1
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
Image document

Hierarchical Space-Time Block Code Recognition Using correlation matrices

Vincent V. Choqueuse , Koffi Clément Yao , Ludovic Collin , Gilles Burel
IEEE Transactions on Wireless Communications, 2008, 7 (9), pp.3526-3534. ⟨10.1109/TWC.2008.070364⟩
Article dans une revue hal-00395163v1
Image document

From Smalltalk to Silicon: Towards a methodology to turn Smalltalk code into FPGA

Le Xuan Sang , Loïc Lagadec , Luc Fabresse , Jannik Laval , Noury Bouraqadi
IWST 14, Aug 2014, Cambridge, United Kingdom
Communication dans un congrès hal-01326520v1

Fast Template-based Heterogeneous MPSoC Synthesis on FPGA

Youenn Corre , Jean-Philippe Diguet , Loic Lagadec , Dominique Heller , Dominique Blouin
9th Int. Symposium on Applied Reconfigurable Computing, Mar 2013, Los Angeles, United States
Communication dans un congrès hal-00780378v1

Flexible Model-Based Simulation as a System’s

Jean-Philippe Schneider
Complex System Design & Management, Nov 2014, Paris, France
Communication dans un congrès hal-01090376v1

Role Framework for Systems of Systems

Jean-Philippe Schneider
Forum Académie Entreprise de l'Association Française d'Ingénierie Système 2014, Dec 2014, Cergy, France
Poster de conférence hal-01090429v1
Image document

FPGAs virtuels : enjeux et usages

Loïc Lagadec
COMPAS 2014, Apr 2014, Neuchâtel, Switzerland
Communication dans un congrès hal-00989984v1

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

Role Framework to Support Collaborative Virtual Prototyping of System of Systems

Jean-Philippe Schneider , Joël Champeau , Loïc Lagadec , Eric Senn
WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus
Communication dans un congrès hal-01192720v1

Framework for Integrating ESL Tools

Ali Koudri , Teodora Petrisor , Joël Champeau , Vincent Leilde
PMDE 2011, Jun 2011, United Kingdom
Communication dans un congrès hal-00678272v1
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
Image document

Distributed algorithm under cooperative or competitive priority users in cognitive networks

Mahmoud Almasri , Ali Mansour , Christophe Moy , Ammar Assoum , Christophe Osswald , et al.
EURASIP Journal on Wireless Communications and Networking, 2020, 2020 (2020:145), ⟨10.1186/s13638-020-01738-w⟩
Article dans une revue hal-02924010v1

A tracking algorithm for GNSS reflected signals on sea surface

Sarab Tay , Arnaud Coatanhay , Frederic Maussang , René Garello
IGARSS 2010 : IEEE International Geoscience and Remote Sensing Symposium, Jul 2010, Honolulu, Hawaii, United States. pp.3821 - 3824
Communication dans un congrès hal-00540877v1
Image document

Mine classification using a hybrid set of descriptors

Isabelle Quidu , Jean-Philippe Malkasse , Gilles Burel , Pierre Vilbé
IEEE OCEANS'2000, Sep 2000, Providence, Rhode Island, United States
Communication dans un congrès hal-00504822v1
Image document

Denotational Semantics of A User-Oriented, Domain-Specific Language

Julien Mercadal , Zoé Drey , Charles Consel
Electronic Proceedings in Theoretical Computer Science, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩
Article dans une revue hal-00865381v1
Image document

Les observatoires du trait de côte en France métropolitaine et dans les DOM

Serge S. Suanez , Manuel Garcin , Thomas Bulteau , Mathias Rouan , Loïc Lagadec , et al.
EchoGéo, 2012, 19, ⟨10.4000/echogeo.12942⟩
Article dans une revue hal-00657607v1

Relationships in Variability Modeling Approaches: A Survey and Classification

Stephen Creff , Joël Champeau
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
Communication dans un congrès hal-00771748v1

Domain Specific Modeling Language for Object Localization in Marine Observatories

Charbel Geryes Aoun , Iyas Alloush , Yvon Kermarrec , Oussama Kassem Zein , Joël Champeau
SENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal
Communication dans un congrès hal-01118931v1

Formal Validation with Model-Checking Techniques

Philippe Dhaussy
ICNTC'2012, Dec 2012, Chlef, Algérie
Communication dans un congrès hal-01206527v1