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

Filtrer vos résultats

90 Résultats
Structure : Identifiant HAL de la structure : 395444

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

A Prototyping Platform for Virtual Reconfigurable Units

Loïc Lagadec , Jean-Christophe Le Lann , Théotime Bollengier
RECOSOC 2014, May 2014, Montpellier, France
Communication dans un congrès hal-01006128v1

An approach for describing concurrency and communication of heterogeneous systems

Papa Issa Diallo , Joël Champeau , Vincent Leilde
BM-FA'11, Jun 2011, Birmingham, United Kingdom
Communication dans un congrès hal-01156533v1

Context-aware Veri cation of a Landing Gear System

Philippe Dhaussy , Ciprian Teodorov
ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
Communication dans un congrès hal-01006697v1

Validation formelle d’implantation de patrons de sécurité : Application aux SCADA

Obeid Fadi , Dhaussy Philippe
AFADL 2016, Jun 2016, Besançon, France
Communication dans un congrès hal-01326340v1

Model-Based Product Line Evolution: an Incremental Growing by Extension

Stephen Creff , Joël Champeau , Jean-Marc Jézéquel
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
Communication dans un congrès hal-00738772v1

A Model based Methodology for SCA Waveform Design Enhancing Portability: Application to the FM3TR Waveform Application

Frédéric Le Roy , Joël Champeau , J.P. Delehaye
SDR'11 WInnComm Europe, Jun 2011, Washington, United States
Communication dans un congrès hal-00676745v1

New reconfigurable fault tolerant FPGA architecture: A design for mission critical applications

Chagun Basha Basheer Ahmed , Sébastien Pillement , Loïc Lagadec
Workshop on Reconfigurable Computing (WRC), Jan 2014, Vienne, Austria. pp.WRC 2014
Communication dans un congrès hal-00921552v1

Model Based Engineering for the support of Models of Computation: The Cometa Approach

Papa Issa Diallo , Joël Champeau , Vincent Leilde
International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
Communication dans un congrès hal-00635594v1

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

A High-level Formalism to Elaborate Context for a Context-aware Verification Approach

Amel Benabbou , Safia Nait Bahloul , Philippe Dhaussy
ICIST 2016, Mar 2016, Barcelone, Spain
Communication dans un congrès hal-01298704v1

A High-Level Programming Model to Ease Pipeline Parallelism Expression On Shared Memory Multicore Architectures

Nader Khammassi , Jean-Christophe Le Lann
HPC 2014, Apr 2014, Tampa, FL, United States. pp.XX
Communication dans un congrès hal-00989661v1

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

MHPM : Multi-Scale Hybrid Programming Model A flexible parallelization Medthodology

Nader Khammassi , Jean-Christophe Le Lann , Jean-Philippe Diguet , Alexandre Skrzyniarz
HPCC 2012, Jun 2012, Liverpool, United Kingdom
Communication dans un congrès hal-00728364v1

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

A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation

Papa Issa Diallo , Joël Champeau , Loïc Lagadec
SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
Communication dans un congrès hal-00912574v1

Une organisation des Lignes de Produits Logiciels autour d'un motif architectural

Stephen Creff , Joël Champeau , Arnaud Monégier , Jean-Marc Jézéquel
CAL 2012, May 2012, Montpellier, France
Communication dans un congrès hal-00704312v1
Image document

Overlay Architectures for Heterogeneous FPGA Cluster Management.

Théotime Bollengier , Mohamad Najem , Jean-Christophe Le Lann , Loïc Lagadec
DASIP 2016, Oct 2016, Rennes, France
Communication dans un congrès hal-01405890v1

Model-Based Analysis

Frederic Boniol , Philippe Dhaussy , Luka Le Roux , Jean-Charles Roger
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
Chapitre d'ouvrage hal-00843139v1
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

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