Publications de l'équipe DART

2013

Communications avec actes

Titre

Méthodologie basée sur des membranes pour la gestion de la reconfiguration dynamique dans les systèmes embarqués parallèles

Auteurs

Pamela Wattebled ; Jean-Philippe Diguet

Détail

Compas 2013, Jan 2013, Grenoble, France.

Accès au bibtex

2012

Articles dans des revues avec comité de lecture

Titre

A High-level Methodology for Automatically Generating Dynamic Partially Reconfigurable Systems using IP-XACT and the UML MARTE Profile.

Auteurs

Gilberto Ochoa-Ruiz; Ouassila Labbani; El-Bay Bourennane; Philippe Soulard; Sana Cherif

Détail

Design Automation for Embedded Systems, Springer Verlag (Germany), 2012

Accès au texte intégral et bibtex

Titre

Automatic Multi-GPU Code Generation Applied to Simulation of Electrical Machines

Auteurs

Antonio Wendell De Oliveira Rodrigues ; Frédéric Guyomarc'H; Jean-Luc Dekeyser; Yvonnick Le Menach

Détail

Magnetics, IEEE Transactions on, IEEE Magnetics Society, 2012, 48 (2), pp. 831 - 834

Accès au bibtex

Titre

Extended Model Driven Architecture to B Method

Auteurs

Philippe Devienne; Aljer Ammar

Détail

Ubiquitous Computing and Communication Journal, UBICC publishers, 2012

Accès au bibtex

Titre

Embedding domain-specific modeling languages into Maude specifications

Auteurs

Vlad Rusu

Détail

Software and Systems Modeling, Springer, 2012

Accès au texte intégral et bibtex

Titre

Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: advantages, limitations and alternatives

Auteurs

Imran Rafiq Quadri; Abdoulaye Gamatié; Pierre Boulet; Samy Meftali; Jean-Luc Dekeyser

Détail

Journal of Systems Architecture, Elsevier, 2012

Accès au bibtex

Titre

Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte

Auteurs

Calin Glitia; Julien Deantoni ; Frédéric Mallet ; Jean-Vivien Millo ; Pierre Boulet; Abdoulaye Gamatié

Détail

Design Automation for Embedded Systems, Springer Science+Business Media, LLC 2012, 2012, 16 (2), pp. 137-169

Accès au bibtex

Communications avec actes

Titre

Facilitating IP deployment in a MARTE-based MDE methodology using IP-XACT: a XILINX EDK case study

Auteurs

Gilberto Ochoa-Ruiz; Ouassila Labbani; El-Bay Bourennane; Sana Cherif; Samy Meftali; Jean-Luc Dekeyser

Détail

International Conference on Reconfigurable Computing and FPGAs (Reconfig 2012), Dec 2012, Cancun, Mexico.

Accès au texte intégral et bibtex

Titre

Test Harness on a Preconditioned Conjugate Gradient Solver on GPUs: An Efficiency Analysis

Auteurs

Wendell Rodrigues; Loïc Chevalier; Yvonnick Le Menach; Frédéric Guyomarch

Détail

CEFC - 2012, Nov 2012, Oita, Japan.

Accès au bibtex

Titre

A New Preconditionner Based on F.I.T Applied To Solve F.E.M Problem

Auteurs

Abdellatif Tinzefte; Yvonnick Le Menach; Frédéric Guyomarch

Détail

CEFC - 2012, Nov 2012, Iota, Japan.

Accès au bibtex

Titre

Membrane-based design and management methodology for parallel dynamically reconfigurable embedded systems

Auteurs

Pamela Wattebled ; Jean-Philippe Diguet ; Jean-Luc Dekeyser

Détail

RecoSoc 2012, Jul 2012, YORK, United Kingdom.

Accès au texte intégral et bibtex

Titre

An Efficient Power Estimation Methodology for Complex RISC Processor-based Platforms

Auteurs

Santhosh Kumar Rethinagiri; Rabie Ben Atitallah; Jean-Luc Dekeyser; Smail Niar; Eric Senn

Détail

Joseph Cavallaro. GLSVLSI 2012, May 2012, Salt lake city, UTAH, United States. ACM

Accès au texte intégral et bibtex

Titre

Virtual Platform for Embedded System Power Estimation

Auteurs

Santhosh Kumar Rethinagiri; Rabie Ben Atitallah; Jean-Luc Dekeyser

Détail

DATE-2012, Mar 2012, Dresden, Germany.

Accès au texte intégral et bibtex

Titre

Virtual Platform for Embedded System Power Estimation

Auteurs

Santhosh Kumar Rethinagiri; Rabie Ben Atitallah; Jean-Luc Dekeyser

Détail

QVVP'12 (conjunction with DATE), Mar 2012, Dresden, Germany.

Accès au texte intégral et bibtex

Titre

Design of Streaming Applications on MPSoCs using Abstract Clocks

Auteurs

Abdoulaye Gamatié

Détail

Design, Automation and Test in Europe Conference (DATE'2012), Mar 2012, Dresden, Germany.

Accès au bibtex

Titre

A K-Based Formal Framework for Domain-Specific Modelling Languages

Auteurs

Vlad Rusu; Dorel Lucanu

Détail

Formal Verification of Object-Oriented Systems, Oct 2011, Torino, Italy. Springer Verlag, Formal Verification of Object-Oriented Software International Conference (FoVeOOS 2011), revised and selected papers, 7421, pp. 214-231, 2012, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Models for Co-Design of Heterogeneous Dynamically Reconfigurable SoCs

Auteurs

Jean-Luc Dekeyser; Abdoulaye Gamatié; Samy Meftali; Imran Rafiq Quadri

Détail

Nicolescu, Gabriela; O'Connor, Ian; Piguet, Christian. Heterogeneous Embedded Systems - Design Theory and Practice, Springer, 26 p., 2012

Accès au texte intégral et bibtex

Autres publications

Titre

Semi-distributed control for FPGA-based reconfigurable systems

Auteurs

Chiraz Trabelsi; Samy Meftali; Jean-Luc Dekeyser

Détail

Sep. 2012. Conférence DSD Turquie

Accès au texte intégral et bibtex

Titre

Distributed control for reconfigurable FPGA systems: a high-level design approach

Auteurs

Chiraz Trabelsi; Samy Meftali; Jean-Luc Dekeyser

Détail

Jun. 2012. Workshop Recosoc 2012

Accès au texte intégral et bibtex

Titre

Broadcast with mask on a Massively Parallel Processing on a Chip

Auteurs

Hana Krichene; Mouna Baklouti; Mohamed Abid; Philippe Marquet; Jean-Luc Dekeyser

Détail

2012. DRNoC

Accès au texte intégral et bibtex

Titre

Broadcast with mask on a Massively Parallel Processing on a Chip

Auteurs

Hana Krichene; Mouna Baklouti; Mohamed Abid; Philippe Marquet; Jean-Luc Dekeyser

Détail

2012. workshop drnoc2012

Accès au texte intégral et bibtex

Documents associés à des manifestations scientifiques (Tutoriel, poster/prés./préface, papier court, digest de conférence, …)

Titre

Software Implementation vs. Hardware Implementation: The Avionic Test System Case-Study

Auteurs

George Afonso; Rabie Ben Atitallah; Jean-Luc Dekeyser

Détail

[Poster]. ASPLOS, Mar 2012, London, United Kingdom

Accès au texte intégral et bibtex

Rapports

Titre

Program Equivalence by Circular Reasoning

Auteurs

Dorel Lucanu; Vlad Rusu

Détail

[Research Report], 2012, pp. 26. RR-8116

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

AModel-Driven Approach for Hybrid Power Estimation in Embedded Systems Design

Auteurs

Chiraz Trabelsi; Rabie Ben Atitallah; Samy Meftali; Jean-Luc Dekeyser; Abderrazak Jemai

Détail

Eurasip Journal on Embedded Systems, Hindawi Publishing Corporation, 2011

Accès au texte intégral et bibtex

Titre

Embedding Domain-Specific Modelling Languages in Maude Specifications

Auteurs

Vlad Rusu

Détail

ACM SIGSOFT Software Engineering Notes, ACM, 2011, 36 (1)

Accès au texte intégral et bibtex

Titre

Repetitive model refactoring strategy for the design space exploration of intensive signal processing applications

Auteurs

Calin Glitia; Pierre Boulet; Eric Lenormand; Michel Barreteau

Détail

Journal of Systems Architecture, Elsevier, 2011, 57 (9), pp. 815-829

Accès au texte intégral et bibtex

Titre

A Multi-Level Design Methodology of Multistage Interconnection Network for MPSOCs

Auteurs

Yassine Aydi; Mouna Baklouti; Jean-Luc Dekeyser; Mohamed Abid

Détail

International Journal of Computer Applications in Technology (IJCAT), Inderscience Publishers, 2011, 42 (1-2)

Accès au bibtex

Titre

Generic Model Management

Auteurs

Louis M. Rose; Esther Guerra; Juan De Lara; Anne Etien; Dimitrios Kolovos; Richard F. Paige

Détail

Software and Systems Modeling, Springer Berlin Heidelberg, 2011

Accès au bibtex

Titre

Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone

Auteurs

Adolf Abdallah; Abdoulaye Gamatié; Jean-Luc Dekeyser

Détail

RSTI - TSI - 30/2011. Architecture des ordinateurs, Lavoisier, 2011, 30, pp. 1089 - 1114

Accès au bibtex

Titre

A Model Driven Design Framework for Massively Parallel Embedded Systems

Auteurs

Abdoulaye Gamatié; Sébastien Le Beux; Éric Piel; Rabie Ben Atitallah; Anne Etien; Philippe Marquet; Jean-Luc Dekeyser

Détail

ACM Transactions on Embedded Computing Systems (TECS), ACM, 2011, 10 (4)

Accès au bibtex

Titre

Multi-task implementation of multi-periodic synchronous programs

Auteurs

Claire Pagetti; Julien Forget; Frédéric Boniol; Mikel Cordovilla; David Lesens

Détail

Discrete Event Dynamic Systems, Springer Netherlands, 2011, 21 (3), pp. 307-338

Accès au texte intégral et bibtex

Articles de vulgarisation scientifique

Titre

Modélisation et analyse de systèmes embarqués ou temps-réel avec le profil UML MARTE

Auteurs

Pierre Boulet

Détail

Techniques de l'Ingenieur, Éditions TI, 2011, IN120

Accès au bibtex

Communications avec actes

Titre

Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset

Auteurs

Mikel Cordovilla; Frédéric Boniol; Julien Forget; Eric Noulard; Claire Pagetti

Détail

19th International Conference on Real-Time and Network Systems, Sep 2011, Nantes, France.

Accès au texte intégral et bibtex

Titre

Dynamic Priority Scheduling of Periodic Tasks with Extended Precedences

Auteurs

Julien Forget; Emmanuel Grolleau; Claire Pagetti; Pascal Richard

Détail

IEEE 16th Conference on Emerging Technologies Factory Automation (ETFA), Sep 2011, Toulouse, France.

Accès au texte intégral et bibtex

Titre

K Semantics for OCL - a Proposal for a Formal Definition for OCL

Auteurs

Vlad Rusu; Dorel Lucanu

Détail

Rosu, Grigore. 2nd International K Workshop, Aug 2011, Cheile Gradistei (Brasov), Romania.

Accès au bibtex

Titre

Automatic Multi-GPU Code Generation applied to Simulation of Electrical Machines

Auteurs

Antonio Wendell De Oliveira Rodrigues; Frédéric Guyomarc'H; Jean-Luc Dekeyser; Yvonnick Le Menach

Détail

Compumag 2011, Jul 2011, Sydney, Australia.

Accès au texte intégral et bibtex

Titre

A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics

Auteurs

Benoit Combemale; Laure Gonnord; Vlad Rusu

Détail

Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. Springer Verlag, 6698, pp. 35-51, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Harnessing the Power of GPUs without Losing Abstractions in SaC and ArrayOL: A Comparative Study

Auteurs

Jing Guo; Antonio Wendell De Oliveira Rodrigues; Jerarajan Thiyagalingam; Frédéric Guyomarch; Pierre Boulet; Sven-Bodo Scholz

Détail

HIPS 2011, 16th International Workshop on High-Level Parallel Programming Models and Supportive Environments, May 2011, Anchorage (Alaska), United States.

Accès au texte intégral et bibtex

Titre

A Modeling Approach based on UML/MARTE for GPU Architecture

Auteurs

Antonio Wendell De Oliveira Rodrigues; Frédéric Guyomarc'H; Jean-Luc Dekeyser

Détail

Symposium en Architectures nouvelles de machines (SympA'14), May 2011, Saint Malo, France.

Accès au texte intégral et bibtex

Titre

Modeling Networks-on-Chip at System Level with the MARTE UML profile

Auteurs

Majdi Elhaji; Pierre Boulet; Rached Tourki; Abdelkrim Zitouni; Jean-Luc Dekeyser; Samy Meftali

Détail

M-BED'2011, Mar 2011, Grenoble, France.

Accès au texte intégral et bibtex

Titre

Programming Massively Parallel Architectures using MARTE: a Case Study

Auteurs

Antonio Wendell De Oliveira Rodrigues; Frédéric Guyomarc'H; Jean-Luc Dekeyser

Détail

2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011) on Date Conference 2011, Mar 2011, Grenoble, France.

Accès au texte intégral et bibtex

Titre

Traceability for Mutation Analysis in Model Transformation

Auteurs

Vincent Aranega; Jean-Marie Mottu ; Anne Etien; Jean-Luc Dekeyser

Détail

MODELS'10, Oct 2010, Oslo, Norway. Springer-Verlag, pp. 259-273, 2011

Accès au texte intégral et bibtex

Titre

Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems

Auteurs

Abdoulaye Gamatié; Laure Gonnord

Détail

ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. pp. 71-80

Accès au bibtex

Titre

SMT based false causal loop detection during code synthesis from Polychronous specifications

Auteurs

Bijoy Anthony Jose; Abdoulaye Gamatié; Julien Ouy; Sandeep Kumar Shukla

Détail

9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom.

Accès au bibtex

Communications sans actes

Titre

Ordonnancement de tâches périodiques avec précédences étendues sans sémaphores

Auteurs

Julien Forget; Emmanuel Grolleau; Claire Pagetti

Détail

ROADEF 2011, Mar 2011, SAINT ETIENNE, France.

Accès au texte intégral et bibtex

Conférences invitées

Titre

FERONOC : FLEXIBLE AND EXTENSIBLE ROUTER IMPLEMENTATION FOR DIAGONAL MESH TOPOLOGY

Auteurs

Elhajji Majdi; Brahim Attia; Abdelkrim Zitouni; Rached Tourki; Samy Meftali; Jean-Luc Dekeyser

Détail

Conference on Design and Architectures for Signal and Image Processing, Nov 2011, Tampere, Finland.

Accès au texte intégral et bibtex

Titre

High Level Design of adaptive distributed controller for Partial Dynamic reconfiguration in FPGA

Auteurs

Sana Cherif; Chiraz Trabelsi; Samy Meftali; Jean-Luc Dekeyser

Détail

Proceeding of Design and Architectures for Signal and Image Processing, DASIP 2011, Nov 2011, Tampere, Finland.

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Using Trace to Situate Errors in Model Transformations

Auteurs

Vincent Aranega; Jean-Marie Mottu; Anne Etien; Jean-Luc Dekeyser

Détail

Cordeiro, José and Ranchordas, AlpeshKumar and Shishkov, Boris. Software and Data Technologies, 50, Springer Berlin Heidelberg, Apr. 2011, Communications in Computer and Information Science, 978-3-642-20116-5

Accès au bibtex

Titre

A Design Methodology of MIN-Based Network for MPPSoC on Reconfigurable Architecture

Auteurs

Yassine Aydi; Mouna Baklouti; Philippe Marquet; Jean-Luc Dekeyser; Mohamed Abid

Détail

Mohamed Khalgui and Hans-Michael Hanisch. Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI-Global, pp. 209-234, 2011

Accès au bibtex

Titre

Specification of Data Intensive Applications with Data Dependency and Abstract Clocks

Auteurs

Abdoulaye Gamatié

Détail

Borko Furht and Armando Escalante. Handbook of Data Intensive Computing, Springer, 2011

Accès au bibtex

Titre

Design Space Exploration for Efficient Data Intensive Computing on SoCs

Auteurs

Rosilde Corvino; Abdoulaye Gamatié; Pierre Boulet

Détail

Borko Furht and Armando Escalante. Handbook of Data Intensive Computing, Springer, 2011

Accès au bibtex

Autres publications

Titre

Open Power and Energy Optimization Platform and Estimator (Open-People) ANR Project

Auteurs

Eric Senn; Daniel Chillet; Smail Niar; Cécile Belleudy; Olivier Zendra; Victor Tissier; Christian Samoyeau

Détail

Oct. 2011. University Booth Same

Accès au bibtex

Titre

Open Power and Energy Optimization Platform and Estimator (Open-People) ANR Project

Auteurs

Eric Senn; Jérémie Guillot; Daniel Chillet; Cécile Belleudy; Smail Niar; Olivier Zendra; Christian Samoyeau

Détail

May. 2011. University Booth Date

Accès au bibtex

Ouvrages scientifiques

Titre

Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering

Auteurs

Francisco Duran; Vlad Rusu

Détail

Electronic proceedings in theoretical computer science, pp. 97, 2011

Accès au bibtex

Documents associés à des manifestations scientifiques (Tutoriel, poster/prés./préface, papier court, digest de conférence, …)

Titre

Using ArrayOL to Identify Potentially Shareable Data in Thread Work-Groups of GPUs

Auteurs

Antonio Wendell De Oliveira Rodrigues; Frédéric Guyomarc'H; Jean-Luc Dekeyser

Détail

[Poster]. Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications on DATE 2011, Mar 2011, Grenoble, France

Accès au texte intégral et bibtex

Rapports

Titre

Modélisation centrée sur les processus métier pour la génération complète de portails collaboratifs

Auteurs

Amen Souissi; Pierre Boulet; Cedric Dumoulin; Michael Launay

Détail

[Research Report], 2011

Accès au texte intégral et bibtex

Titre

Enabling Traceability in an MDE Approach to Improve Performance of GPU Applications

Auteurs

Antonio Wendell De Oliveira Rodrigues; Vincent Aranega; Anne Etien; Frédéric Guyomarc'H; Jean-Luc Dekeyser

Détail

[Research Report], 2011. RR-7720

Accès au texte intégral et bibtex

Titre

Correct and Energy-Efficient Design of a Multimedia Application on SoCs

Auteurs

Adolf Abdallah; Abdoulaye Gamatié; Rabie Ben Atitallah; Jean-Luc Dekeyser

Détail

[Research Report], 2011. RR-7715

Accès au texte intégral et bibtex

Titre

An MDE Approach for Automatic Code Generation from MARTE to OpenCL

Auteurs

Antonio Wendell De Oliveira Rodrigues; Frédéric Guyomarc'H; Jean-Luc Dekeyser

Détail

[Research Report], 2011, pp. 27. RR-7525

Accès au texte intégral et bibtex

Titre

Improved False Causal Loop Detection in Polychronous Specificationof Embedded Software

Auteurs

Bijoy Anthony Jose; Abdoulaye Gamatié; Matthew Kracht; Sandeep Kumar Shukla

Détail

[Research Report], 2011, pp. 28

Accès au texte intégral et bibtex

Thèses

Titre

Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE

Auteurs

Adolf Abdallah

Détail

Université des Sciences et Technologie de Lille - Lille I, Mar. 2011. French

Accès au texte intégral et bibtex

Titre

Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE

Auteurs

Adolf Samir Abdallah

Détail

Université des Sciences et Technologie de Lille - Lille I, Mar. 2011. French

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design

Auteurs

Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Jean-Luc Dekeyser

Détail

Knowledge Engineering Review, Cambridge university press, 2010, 21 p.

Accès au texte intégral et bibtex

Titre

Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation

Auteurs

Imran Rafiq Quadri; Huafeng Yu; Abdoulaye Gamatié; Samy Meftali; Jean-Luc Dekeyser; Éric Rutten

Détail

International Journal of Embedded Systems, InderScience Publishers, 2010, 18 p

Accès au texte intégral et bibtex

Titre

Parallel Application Sampling in MPSoC Simulation

Auteurs

Melhem Tawk; Khaled Ibrahim; Smail Niar

Détail

in International Journal on Design Automation for Embedded Systems, 2010, pp. 1

Accès au texte intégral et bibtex

Titre

The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded System

Auteurs

Abdoulaye Gamatié; Thierry Gautier

Détail

IEEE Transactions on Parallel and Distributed Systems, 2010, 21 (5), pp. 641-657

Accès au texte intégral et bibtex

Titre

The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems

Auteurs

Abdoulaye Gamatié; Thierry Gautier

Détail

IEEE Transactions on Parallel and Distributed Systems, IEEE Computer Society, 2010, 21 (5), pp. 641-657

Accès au bibtex

Titre

Scalable mpNoC for massively parallel systems - Design and implementation on FPGA

Auteurs

Mouna Baklouti; Yassine Aydi; Philippe Marquet; Jean-Luc Dekeyser; Mohamed Abid

Détail

Journal of Systems Architecture, Elsevier B.V, 2010, 56 (7), pp. 278 - 292

Accès au texte intégral et bibtex

Titre

Design and Performance Estimation of Delta Networks for MPSOC on Programmable Circuits

Auteurs

Yassine Aydi; Mohamed Abid; Jean-Luc Dekeyser

Détail

International Journal on Sciences and Techniques of Automatic control & computer engineering (IJ-STA), Academic Publication Center, 2010, 4 (1), pp. 1126-1137

Accès au bibtex

Articles de vulgarisation scientifique

Titre

Open Power and Energy Optimization Platform and Estimator (Open-People) ANR Project

Auteurs

Daniel Chillet; Eric Senn; Olivier Zendra; Cécile Belleudy; Smail Niar; Victor Tissier; Christian Samoyeau

Détail

Hipeac info 24, Compilation Architecture, HiPEAC Network of Excellence, 2010, pp. 16

Accès au bibtex

Communications avec actes

Titre

Designing dynamically reconfigurable SoCs: From UML MARTE models to automatic code generation

Auteurs

Imran Rafiq Quadri; Samy Meftali; Jean-Luc Dekeyser

Détail

Conference on Design and Architectures for Signal and Image Processing (DASIP 2010), Oct 2010, Edinburgh, United Kingdom.

Accès au texte intégral et bibtex

Titre

Towards Transformation Migration After Metamodel Evolution

Auteurs

David Mendez; Anne Etien; Alexis Muller; Rubby Casallas

Détail

Model and Evolution Wokshop, Oct 2010, Olso, Norway.

Accès au bibtex

Titre

Using Traceability to Enhance Mutation Analysis Dedicated to Model Transformation

Auteurs

Vincent Aranega; Jean-Marie Mottu; Anne Etien; Jean-Luc Dekeyser

Détail

Workshop on Model driven Engineering Verification and Validation, Oct 2010, Olso, Norway.

Accès au bibtex

Titre

Using an Alternative Trace for QVT

Auteurs

Vincent Aranega; Anne Etien; Jean-Luc Dekeyser

Détail

Workshop on Multi-Paradigm Modeling, Oct 2010, Olso, Norway.

Accès au bibtex

Titre

Comparing Model-Metamodel and Transformation-Metamodel Co-evolution

Auteurs

Louis Rose; Anne Etien; David Mendez; Dimitrios Kolovos; Fiona Polack; Richard F. Paige

Détail

Model and Evolution Wokshop, Oct 2010, Olso, Norway.

Accès au bibtex

Titre

Modeling reconfigurable Systems-on-Chips with UML MARTE profile: an exploratory analysis

Auteurs

Sana Cherif; Imran Rafiq Quadri; Samy Meftali; Jean-Luc Dekeyser

Détail

13th Euromicro Conference on Digital System Design (DSD 2010), Sep 2010, Lille, France.

Accès au texte intégral et bibtex

Titre

IP based configurable SIMD massively parallel SoC

Auteurs

Mouna Baklouti; Philippe Marquet; Jean-Luc Dekeyser; Mohamed Abid

Détail

20th International Conference on Field Programmable Logic and Applications, FPL 2010, Aug 2010, Milano, Italy.

Accès au texte intégral et bibtex

Titre

Combining Independent Model Transformations

Auteurs

Anne Etien; Alexis Muller; Thomas Legrand; Xavier Blanc

Détail

ACM Symposium On Applied Computing (SAC), Mar 2010, Sierre, Switzerland.

Accès au bibtex

Titre

Modeling of Configurations for Embedded System Implementations in MARTE

Auteurs

Imran Rafiq Quadri; Abdoulaye Gamatié; Pierre Boulet; Jean-Luc Dekeyser

Détail

1st workshop on Model Based Engineering for Embedded Systems Design - Design, Automation and Test in Europe (DATE 2010), Mar 2010, Dresden, Germany.

Accès au texte intégral et bibtex

Titre

An MDE Approach for Energy Consumption Estimation in MPSoC Design

Auteurs

Chiraz Trabelsi; Samy Meftali; Rabie Ben Atitallah; Abderrazak Jemai; Jean Luc Dekeyser; Smail Niar

Détail

2nd Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, May 2010, Pisa, Italy. 6 p.

Accès au texte intégral et bibtex

Titre

Toward optimized code generation through model-based optimization

Auteurs

A. Charfi; C. Mraidha; S. Gerard; F. Terrier; Pierre Boulet

Détail

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010, Mar 2010, Dresden, Germany. pp. 1313-1316

Accès au texte intégral et bibtex

Titre

Does Code Generation Promote or Prevent Optimizations?

Auteurs

A. Charfi; C. Mraidha; S. Gérard; F. Terrier; Pierre Boulet

Détail

IEEE Computer Society. Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2010 13th IEEE International Symposium on, May 2010, Parador of Carmona, Spain. pp. 75-79

Accès au texte intégral et bibtex

Titre

Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design

Auteurs

Abdoulaye Gamatié; Vlad Rusu; Éric Rutten

Détail

9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey.

Accès au texte intégral et bibtex

Titre

Correct and Energy-Efficient Design of SoCs: the H.264 Encoder Case Study

Auteurs

Adolf Abdallah; Abdoulaye Gamatié; Jean-Luc Dekeyser

Détail

International Symposium on System-on-Chip (SoC'2010), Sep 2010, Tampere, Finland.

Accès au bibtex

Titre

A Generic Formal Model for RTOS: Synchronous Approach for Rapid Virtual Prototyping

Auteurs

Abdoulaye Gamatié

Détail

10th African Conference on Research in Computer Science and Applied Mathematics (CARI'2010), Oct 2010, Yamoussoukro, Côte D'Ivoire.

Accès au bibtex

Titre

Mapping Real Time Applications on NoC Architecture with Hybrid Multi-objective Algorithm

Auteurs

Abou El Hassan Benyamina; Pierre Boulet; A. Aroui; S. Eltar; Karima Dellal

Détail

META'10 Intenational Conference on Metaheuristics and Nature Inspired Computing, Oct 2010, Djerba Island, Tunisia.

Accès au texte intégral et bibtex

Titre

Reconfigurable Communication Networks in a Parametric SIMD Parallel System on Chip

Auteurs

Mouna Baklouti; Philippe Marquet; Jean-Luc Dekeyser; Mohamed Abid

Détail

Phaophak Sirisuk and Fearghal Morgan and Tarek El-Ghazawi and Hideharu Amano. 6th International Symposium on Applied Reconfigurale Computing, ARC 2010, Mar 2010, Bangkok, Thailand. Springer, Reconfigurable computing: Architectures, tools and applications, 5992, pp. 110-121, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

An MDE approach for modeling network on chip topologies

Auteurs

M. Elhaji; Pierre Boulet; S. Meftali; A. Zitouni; J. Dekeyser; R. Tourki

Détail

Design and Technology of Integrated Systems in Nanoscale Era (DTIS), 2010 5th International Conference on, Mar 2010, Hammamet, Tunisia.

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

A High Level Synthesis Flow Using Model Driven Engineering

Auteurs

Sébastien Le Beux; Laurent Moss; Philippe Marquet; Jean-Luc Dekeyser

Détail

Gogniat, G.; Milojevic, D.; Morawiec, A.; Erdogan, A. Algorithm-Architecture Matching for Signal and Image Processing, 73, Springer, pp. 253-274, Nov. 2010, Lecture Notes in Electrical Engineering, 978-90-481-9964-8

Accès au texte intégral et bibtex

Titre

From MARTE to Reconfigurable NoCs: A model driven design methodology

Auteurs

Imran Rafiq Quadri; Majdi Elhaji; Samy Meftali; Jean-Luc Dekeyser

Détail

Jih-Sheng Shen. Dynamic Reconfigurable Network-on-Chip Design: Innovations for Computational Processing and Communication, IGI Global, Sep. 2010, 1615208070

Accès au texte intégral et bibtex

Titre

Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications

Auteurs

Rosilde Corvino; Abdoulaye Gamatié; Pierre Boulet

Détail

Pasqua D'Ambra and Mario Guarracino and Domenico Talia. Euro-Par 2010 - Parallel Processing, 6271, Springer Berlin / Heidelberg, pp. 101-116, 2010

Accès au texte intégral et bibtex

HDR

Titre

Vers la reconfiguration dynamique dans les systèmes embarqués: de la modélisation à l'implémentation

Auteurs

Samy Meftali

Détail

Université des Sciences et Technologie de Lille - Lille I, Jul. 2010. French

Accès au texte intégral et bibtex

Titre

Vers la reconfiguration dynamique dans les systèmes embarqués: de la modélisation à l'implémentation

Auteurs

Samy Meftali

Détail

Université des Sciences et Technologie de Lille - Lille I, Jul. 2010. French

Accès au texte intégral et bibtex

Rapports

Titre

Have Multiple Views with one Single Diagram! A Layer Based Approach of UML Diagrams

Auteurs

Cedric Dumoulin; Sébastien Gerard

Détail

[Research Report], 2010, pp. 9. RR-7432

Accès au texte intégral et bibtex

Titre

Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics

Auteurs

Vlad Rusu; Laure Gonnord; Benoît Combemale

Détail

[Research Report], 2010. RR-7423

Accès au texte intégral et bibtex

Thèses

Titre

Méthode de conception rapide d'architecture massivement parallèle sur puce : de la modélisation à l'expérimentation sur FPGA

Auteurs

Mouna Baklouti

Détail

informatique. Université Lille 1 Sciences et Technologies; École Nationale d'Ingénieurs de Sfax, Dec. 2010. French

Accès au texte intégral et bibtex

Titre

MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs

Auteurs

Imran Rafiq Quadri

Détail

Université des Sciences et Technologie de Lille - Lille I, Apr. 2010. English

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Performance Evaluation and Design Tradeoffs of On-Chip Interconnect Architectures

Auteurs

Mohmed Bakhouya; Suboh Suboh; Jaafar Gaber; Tarek El-Ghazawi; Smail Niar

Détail

Oct. 2010

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

Trade-Off Exploration for Target Tracking Application in a CustomizedMultiprocessor Architecture

Auteurs

Jehangir Khan; Smail Niar; Mazen Saghir; Y. El-Hillali; A. Rivencq-Menhaj

Détail

Eurasip Journal on Embedded Systems, 2009, Volume 2009, Article ID 175043, 21 pages (ID 175043), 21 p.

Accès au texte intégral et bibtex

Titre

A Model based design flow for Dynamic Reconfigurable FPGAs

Auteurs

Imran Rafiq Quadri; Samy Meftali; Jean-Luc Dekeyser

Détail

International Journal of Reconfigurable Computing, Hindawi Publishing Corporation, 2009

Accès au texte intégral et bibtex

Titre

Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing

Auteurs

Calin Glitia; Philippe Dumont; Pierre Boulet

Détail

Multidimensional Systems and Signal Processing, Springer, 2009, 21 (2), pp. 105-131

Accès au bibtex

Titre

Business process/information system co-evolution

Auteurs

Anne Etien

Détail

Ingénierie des Systèmes d'Information, Lavoisier, 2009, 14 (6), pp. 41-57

Accès au bibtex

Titre

Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems

Auteurs

Abdoulaye Gamatié; Éric Rutten; Huafeng Yu; Pierre Boulet; Jean-Luc Dekeyser

Détail

Scalable Computing: Practice and Experience (SCPE), West University of Timisoara, Romania, 2009, 10 (2)

Accès au bibtex

Communications avec actes

Titre

Parallel Sparse Matrix Solver on the GPU Applied to Simulation of Electrical Machines

Auteurs

Antonio Wendell De Oliveira Rodrigues; Frédéric Guyomarch; Yvonnick Le Menach; Jean-Luc Dekeyser

Détail

Compumag 2009, Nov 2009, Florianopolis, Brazil.

Accès au texte intégral et bibtex

Titre

Model based design flow for implementing an Anti-Collision Radar detection system

Auteurs

Imran Rafiq Quadri; Yassin Elhillali; Samy Meftali; Jean-Luc Dekeyser

Détail

9th International IEEE Conference on ITS Telecommunications (ITS-T 2009), Oct 2009, Lille, France.

Accès au texte intégral et bibtex

Titre

MARTE based design flow for Partially Reconfigurable Systems-on-Chips

Auteurs

Imran Rafiq Quadri; Alexis Muller; Samy Meftali; Jean-Luc Dekeyser

Détail

17th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 09), Oct 2009, Florianapolis, Brazil.

Accès au texte intégral et bibtex

Titre

Integrating Mode Automata Control Models in SoC Co-Design for Dynamically Reconfigurable FPGAs

Auteurs

Imran Rafiq Quadri; Samy Meftali; Jean-Luc Dekeyser

Détail

International Conference on Design and Architectures for Signal and Image Processing (DASIP 09), Sep 2009, Nice, France.

Accès au texte intégral et bibtex

Titre

Traceability mechanism for error localization in model transformation

Auteurs

Vincent Aranega; Jean-Marie Mottu; Anne Etien; Jean-Luc Dekeyser

Détail

ICSOFT 2009 - 4th International Conference on Software and Data Technologies, Jul 2009, Sofia, Bulgaria. pp. 66-73

Accès au bibtex

Titre

Interaction between inter-repetition dependences and high-level transformations in Array-OL

Auteurs

Calin Glitia; Pierre Boulet

Détail

Conference on Design and Architectures for Signal and Image Processing (DASIP 2009), 2009, Sophia Antipolis, France.

Accès au bibtex

Conférences invitées

Titre

MARTE based design approach for targeting Reconfigurable Architectures

Auteurs

Imran Rafiq Quadri; Samy Meftali; Jean-Luc Dekeyser

Détail

2nd Embedded Systems Conference - ESC'09, May 2008, Alger, Algeria. 2009

Accès au texte intégral et bibtex

Titre

Tutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing

Auteurs

Imran Rafiq Quadri; Abdoulaye Gamatié; Jean-Luc Dekeyser

Détail

Colloque International Télécom'2009 & 6èmes JFMMA, Mar 2009, Agadir, Morocco.

Accès au texte intégral et bibtex

Autres publications

Titre

Adaptation fonctionnelle de composants gros-grain avec JBOSS/AOP

Auteurs

Olivier Caron; Bernard Carré ; Alexis Muller; Gilles Vanwormhoudt

Détail

Jan. 2009. Section GT COSMAL des actes des journées nationales du GDR CNRS GPL (Génie de la Programmation et du
Logiciel
), Toulouse, 28
-
30 janvier 2009, Toulouse


Accès au bibtex

Titre

Conception de systèmes par applications de modèles paramétrés

Auteurs

Olivier Caron; Bernard Carré ; Alexis Muller; Gilles Vanwormhoudt

Détail

Jan. 2009. Section Démos des actes des journées nationales du GDR CNRS GPL (Génie de la Programmation et du
Logiciel
), Toulouse, 28
-
30 janvier 2009, Toulouse


Accès au bibtex

Ouvrages scientifiques

Titre

Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification

Auteurs

A. Gamatié

Détail

Springer, New York, pp. 260, 2009, 978-1-4419-0940-4

Accès au bibtex

Rapports

Titre

Repetitive Model Refactoring for Design Space Exploration of Intensive Signal Processing Applications

Auteurs

Calin Glitia; Pierre Boulet; Eric Lenormand; Michel Barreteau

Détail

[Research Report], 2009, pp. 21

Accès au texte intégral et bibtex

Titre

From MARTE to dynamically reconfigurable FPGAs : Introduction of a control extension in a model based design flow

Auteurs

Imran Rafiq Quadri; Samy Meftali; Jean-Luc Dekeyser

Détail

[Research Report], 2009. RR-6862

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

MARTE-based Design of a Multimedia Application and Formal Analysis

Auteurs

Adolf Abdallah; Abdoulaye Gamatié; Jean-Luc Dekeyser

Détail

Forum on Specification, Verification and Design Languages (FDL 2008), IEEE Xplore, 2008, pp. 6

Accès au texte intégral et bibtex

Titre

Synchronous Modeling and Analysis of Data Intensive Applications

Auteurs

Abdoulaye Gamatié; Éric Rutten; Huafeng Yu; Pierre Boulet; Jean-Luc Dekeyser

Détail

Eurasip Journal on Embedded Systems, Eurasip, 2008, 2008

Accès au bibtex

Communications avec actes

Titre

MARTE based modeling approach for Partial Dynamic Reconfigurable FPGAs

Auteurs

Imran Rafiq Quadri; Samy Meftali; Jean-Luc Dekeyser

Détail

Sixth IEEE Workshop on Embedded Systems for Real-time Multimedia (ESTIMedia 2008), Oct 2008, Atlanta, United States.

Accès au texte intégral et bibtex

Titre

High level modeling of Partially Dynamically Reconfigurable FPGAs based on MDE and MARTE

Auteurs

Imran Rafiq Quadri; Samy Meftali; Jean-Luc Dekeyser

Détail

Reconfigurable Communication-centric SoCs (ReCoSoC'08), Jul 2008, Barcelona, Spain.

Accès au texte intégral et bibtex

Titre

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

Auteurs

Sagar Sen; Benoit Baudry; Jean-Marie Mottu

Détail

IEEE International Conference on Software Testing, ICST'08, Lillehammer, Norway, 2008, Apr 2008, France. pp. 328-337

Accès au bibtex

Titre

Adaptation des Templates UML pour la modélisation de composants paramétrables~: application à Gaspard2

Auteurs

Cesar De Moura; Julien Taillard; Frédéric Guyomarch; Cedric Dumoulin

Détail

4èmes Jounées sur l'Ingénierie Dirigée par les Modèles (IDM 08), Jun 2008, Mulhouse, France.

Accès au bibtex

Titre

Using the UML Profile for MARTE to MPSoC Co-Design

Auteurs

Jean-Luc Dekeyser; Abdoulaye Gamatié; Anne Etien; Rabie Ben Atitallah; Pierre Boulet

Détail

First International Conference on Embedded Systems & Critical Applications (ICESCA'08), May 2008, Tunis, Tunisia.

Accès au bibtex

Titre

Fine Grained Traceability for an MDE Approach of Embedded System Conception

Auteurs

Flori Glitia; Anne Etien; Cedric Dumoulin

Détail

ECMDA Traceability Workshop, Jun 2008, Berlin, Germany. pp. 27-38

Accès au bibtex

Titre

Gaspard2: from MARTE to SystemC Simulation

Auteurs

Rabie Ben Atitallah; Philippe Marquet; Éric Piel; Samy Meftali; Smail Niar; Anne Etien; Jean-Luc Dekeyser; Pierre Boulet

Détail

Proceeedings of the DATE'08 workshop on Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile, Mar 2008, Washington, United States.

Accès au bibtex

Titre

An Hybrid algorithm for Mapping on NoC Architectures

Auteurs

Abou El Hassan Benyamina; Pierre Boulet

Détail

2nd International Conference on Metaheuristics and Nature Inspired Computing, META'08, 2008, Hammamet, Tunisia.

Accès au bibtex

Titre

High Level Loop Transformations for Multidimensional Signal Processing Embedded Applications

Auteurs

Calin Glitia; Pierre Boulet

Détail

International Symposium on Systems, Architectures, MOdeling, and Simulation (SAMOS VIII), 2008, Samos, Greece.

Accès au bibtex

Titre

Using An MDE Approach for Modeling of Interconnection networks

Auteurs

Imran Rafiq Quadri; Pierre Boulet; Samy Meftali; Jean-Luc Dekeyser

Détail

The International Symposium on Parallel Architectures, Algorithms and Networks Conference (ISPAN 08), 2008, Sydney, Australia.

Accès au bibtex

Rapports

Titre

Formal Semantics of Array-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing

Auteurs

Pierre Boulet

Détail

[Research Report], 2008, pp. 33. RR-6467

Accès au texte intégral et bibtex

Titre

High Level Loop Transformations for Systematic Signal Processing Embedded Applications

Auteurs

Calin Glitia; Pierre Boulet

Détail

[Research Report], 2008, pp. 27. RR-6469

Accès au texte intégral et bibtex

Titre

A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems

Auteurs

Abdoulaye Gamatié; Éric Rutten; Huafeng Yu

Détail

[Research Report], 2008, pp. 26. RR-6589

Accès au texte intégral et bibtex

Titre

A Model Driven Design Framework for High Performance Embedded Systems

Auteurs

Abdoulaye Gamatié; Sébastien Le Beux; Éric Piel; Anne Etien; Rabie Ben Atitallah; Philippe Marquet; Jean-Luc Dekeyser

Détail

[Research Report], 2008, pp. 47. RR-6614

Accès au texte intégral et bibtex

Titre

Model Driven Engineering Benefits for High Level Synthesis

Auteurs

Sébastien Le Beux; Philippe Marquet; Jean-Luc Dekeyser

Détail

[Research Report], 2008, pp. 46. RR-6615

Accès au texte intégral et bibtex

Titre

Component-based Models Going Generic : the MARTE Case-Study

Auteurs

César Olavo De Moura Filho; Anne Etien; Julien Taillard; Cedric Dumoulin; Frédéric Guyomarc'H

Détail

[Research Report], 2008. RR-6632

Accès au texte intégral et bibtex

Thèses

Titre

Un Modèle Réactif Basé sur MARTE Dédié au Calcul Intensif à Parallélisme de Données : Transformation vers le Modèle Synchrone

Auteurs

Yu Huafeng

Détail

Université des Sciences et Technologie de Lille - Lille I, Nov. 2008. English

Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre

Programmation d'objets structurée en contextes

Auteurs

Olivier Caron; Bernard Carré; Alexis Muller; Gilles Vanwormhoudt

Détail

L'Objet, logiciel, base de données, réseaux (RSTI série), 2007, 13 (2-3), pp. 11-42

Accès au bibtex

Titre

Mise en oeuvre d'aspects fonctionnels réutilisables par adaptation.

Auteurs

Olivier Caron; Bernard Carré; Alexis Muller; Gilles Vanwormhoudt

Détail

L'Objet, logiciel, base de données, réseaux (RSTI série), 2007, 11 (3), pp. 105-118

Accès au bibtex

Titre

Morphing de métamodèles

Auteurs

Cedric Dumoulin; Anne Etien

Détail

L'Objet, logiciel, base de données, réseaux (RSTI série), hermes, 2007, Ingénierie dirigée par les modèles, VOL 13/4 (1262-1137), pp.33-53

Accès au bibtex

Titre

Polychronous design of embedded real-time applications

Auteurs

Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin

Détail

ACM Transaction Software Engineering and Methodology, ACM, 2007, 16 (2)

Accès au bibtex

Titre

Multi-objective Mapping for NoC Architecture

Auteurs

Abou El Hassan Benyamina; Pierre Boulet

Détail

Journal of Digital Information Management, Digital Information Research Foundation, 2007, 5 (6), pp. 378-384

Accès au bibtex

Communications avec actes

Titre

Ingénierie multi-modèles : Projection flexible d'assemblages de modèles

Auteurs

Olivier Caron; Bernard Carré ; Alexis Muller; Gilles Vanwormhoudt; Salim Bouzitouna

Détail

Isabelle Borne, Xavier Crégut, Sophie Ebersold, Frédéric Migeon. Langages et Modèles à Objets, Mar 2007, Toulouse, France. Hermès Lavoisier, 13, pp. 167-182, RSTI

Accès au bibtex

Titre

Une approche modèle pour la génération de scénarios de tests : Application au système ERTMS/ETCS

Auteurs

Souha Kamoun; Pierre Boulet

Détail

Workshop International : Logistique and Transport 2007, 2007, Sousse, Tunisia.

Accès au bibtex

Titre

Model-Based Testing of the ERTMS System with SysML and MARTE

Auteurs

Souha Kamoun; Pierre Boulet

Détail

MoDeVVa'07, 2007, Nashville, United States.

Accès au bibtex

Titre

Repetitive Allocation Modeling with MARTE

Auteurs

Pierre Boulet; Philippe Marquet; Éric Piel; Julien Taillard

Détail

Forum on specification and design languages (FDL'07), 2007, Barcelona, Spain.

Accès au bibtex

Titre

Multi-objective Mapping for NoC Architectures

Auteurs

Abou El Hassan Benyamina; Pierre Boulet

Détail

1st International Conference on Digital Communications and Computer Applications, 2007, Irbid, Jordan. pp. 132-139

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

UML2 Profile for Modeling Controlled Data Parallel Applications

Auteurs

Ouassila Labbani; Jean-Luc Dekeyser; Pierre Boulet; Éric Rutten

Détail

Huss, Sorin Alexander. Advances in Design and Specification Languages for SoCs, Selected contributions from FDL'06, Springer, 2007, ChDL

Accès au bibtex

Rapports

Titre

Array-OL Revisited, Multidimensional Intensive Signal Processing Specification

Auteurs

Pierre Boulet

Détail

[Research Report], 2007, pp. 24. RR-6113

Accès au texte intégral et bibtex

Titre

Towards a Unified Notation to Represent Model Transformation

Auteurs

Anne Etien; Cedric Dumoulin; Emmanuel Renaux

Détail

[Research Report], 2007, pp. 14. RR-6187

Accès au texte intégral et bibtex

Titre

Modeling of Topologies of Interconnection Networks based on Multidimensional Multiplicity

Auteurs

Imran Rafiq Quadri; Pierre Boulet; Jean-Luc Dekeyser

Détail

[Research Report], 2007. RR-6201

Accès au texte intégral et bibtex

Titre

Gaspard2 UML profile documentation

Auteurs

Rabie Ben Atitallah; Pierre Boulet; Arnaud Cuccuru; Jean-Luc Dekeyser; Antoine Honoré; Ouassila Labbani; Sébastien Le Beux; Philippe Marquet; Eric Piel; Julien Taillard; Huafeng Yu

Détail

[Technical Report], 2007, pp. 45. RT-0342

Accès au texte intégral et bibtex

Titre

Model Transformations from a Data Parallel Formalism towards Synchronous Languages

Auteurs

Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Jean-Luc Dekeyser

Détail

[Research Report], 2007. RR-6291

Accès au texte intégral et bibtex

Thèses

Titre

Un flot de conception pour applications de traitement du signal systématique implémentées sur FPGA à base d'Ingénierie Dirigée par les Modèles

Auteurs

Sébastien Le Beux

Détail

informatique. Université des Sciences et Technologie de Lille - Lille I, Dec. 2007. French

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

Synchronous design of avionic applications based on model refinements

Auteurs

Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic

Détail

Journal of Embedded Computing (IOS Press), 2006, 2 (3-4), pp. 273-289

Accès au texte intégral et bibtex

Communications avec actes

Titre

Experimenting a Modeling Approach for Designing Organization's Strategies in the Context of Strategic Alignment

Auteurs

Laure-Hélène Thevenet; Camille Salinesi; Anne Etien; Ines Gam; Menel Lassoued

Détail

Australian Workshop on Requirements Engineering (AWRE), Dec 2006, Adelaide, Australia. pp. 1

Accès au texte intégral et bibtex

Titre

Vers des transformations d'applications à parallélisme de données en équations synchrones

Auteurs

Yu Huafeng; Abdoulaye Gamatié; Éric Rutten; Pierre Boulet; Jean-Luc Dekeyser

Détail

9ème édition de SYMPosium en Architectures nouvelles de machines(SympA'2006), Oct 2006, France. pp. 166-177

Accès au texte intégral et bibtex

Titre

FPGA Implementation of Embedded Cruise Control and Anti-Collision Radar

Auteurs

Sébastien Le Beux; Philippe Marquet; Ouassila Labbani; Jean-Luc Dekeyser

Détail

EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, Sep 2006, Dubrovnik, Croatia.

Accès au texte intégral et bibtex

Titre

Toward Static Analysis of SIGNAL Programs using Interval Techniques

Auteurs

Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic

Détail

Synchronous Languages, Applications, and Programming (SLAP 2006), Mar 2006, Vienna, Austria. SLAP 2006

Accès au texte intégral et bibtex

Titre

Polychronous mode automata

Auteurs

Jean-Pierre Talpin; Christian Brunette; Thierry Gautier; Abdoulaye Gamatié

Détail

EMSOFT '06, Oct 2006, Seoul, Korea, Republic Of. ACM Press, pp. 83-92

Accès au texte intégral et bibtex

Titre

Hardware/Software Exploration for an Anti-collision Radar System

Auteurs

Sébastien Le Beux; Vincent Gagné; El Mostpaha Aboulhamid; Philippe Marquet; Jean-Luc Dekeyser

Détail

Midwest Symposium on Circuits and Systems, Aug 2006, San Juan/ Puerto Rico.

Accès au texte intégral et bibtex

Titre

Vers des transformations d'applications à parallélisme de données en équations synchrones

Auteurs

Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Pierre Boulet; Jean-Luc Dekeyser

Détail

9ème édition de SYMPosium en Architectures nouvelles de machines, Oct 2006, Perpignan, France.

Accès au texte intégral et bibtex

Titre

Synchronous Modeling of Data-Intensive Applications

Auteurs

Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Pierre Boulet; Jean-Luc Dekeyser

Détail

International Open Workshop on Synchronous Programming (Synchron 2006), 2006, Alpe d'Huez, France.

Accès au bibtex

Titre

UML2 Profile for Modeling Controlled Data Parallel Applications

Auteurs

Ouassila Labbani; Jean-Luc Dekeyser; Pierre Boulet; Éric Rutten

Détail

Forum on specification and Design Languages (FDL'06), 2006, Darmstadt, Germany.

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Model Driven Engineering for System-on-Chip Design

Auteurs

Pierre Boulet; Cédric Dumoulin; Antoine Honoré

Détail

Jean-Philippe Babau and Joël Champeau and Sébastien Gérard. From MDD concepts to experiments and illustrations, ISTE, Hermes science and Lavoisier, 2006, 1-905209-59-0

Accès au bibtex

Titre

Towards Distributed Process Networks with CORBA

Auteurs

Abdelkader Amar; Pierre Boulet; Jean-Luc Dekeyser

Détail

Frédéric Desprez. Algorithms and Tools for Parallel Computing On Heterogeneous Clusters, Nova Science Publishers, Inc, 2006

Accès au bibtex

Rapports

Titre

Synchronous Modeling of Data Intensive Applications

Auteurs

Abdoulaye Gamatié; Éric Rutten; Huafeng Yu; Pierre Boulet; Jean-Luc Dekeyser

Détail

[Research Report], 2006, pp. 21. RR-5876

Accès au texte intégral et bibtex

Titre

Separating Control and Data Flow: Methodology and Automotive System Case Study

Auteurs

Ouassila Labbani; Jean-Luc Dekeyser; Éric Rutten

Détail

[Research Report], 2006, pp. 32. RR-5832

Accès au texte intégral et bibtex

Titre

Hardware/Software Exploration for an Anti-collision Radar System

Auteurs

Sébastien Le Beux; Vincent Gagné; El Mostapha Aboulhamid; Philippe Marquet; Jean-Luc Dekeyser

Détail

[Research Report], 2006, pp. 15. RR-5820

Accès au texte intégral et bibtex

Titre

FPGA Configuration of Intensive Multimedia Processing Tasks Modeled in UML

Auteurs

Sébastien Le Beux; Jean-Luc Dekeyser; Philippe Marquet

Détail

[Research Report], 2006, pp. 13. RR-5810

Accès au texte intégral et bibtex

Titre

Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach

Auteurs

Ouassila Labbani; Jean-Luc Dekeyser; Pierre Boulet; Éric Rutten

Détail

[Research Report], 2006, pp. 49. RR-5794

Accès au texte intégral et bibtex

2005

Articles dans des revues avec comité de lecture

Titre

Extracting a data flow analyser in constructive logic

Auteurs

David Cachera; Thomas Jensen; David Pichardie; Vlad Rusu

Détail

Theoretical Computer Science, Elsevier Science, 2005, 342 (1)

Accès au texte intégral et bibtex

Communications avec actes

Titre

A domain-specific language for task handlers generation, applying discrete controller synthesis

Auteurs

Gwenaël Delaval; Éric Rutten

Détail

ACM Symposium on Applied Computing, Apr 2006, Dijon/France.

Accès au texte intégral et bibtex

Titre

Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach

Auteurs

Ouassila Labbani; Jean-Luc Dekeyser; Pierre Boulet; Éric Rutten

Détail

International Workshop MARTES: Modeling and Analysis of Real-Time and Embedded Systems, Oct 2005, Montego Bay, Jamaica.

Accès au texte intégral et bibtex

Titre

Mode-Automata based Methodology for Scade

Auteurs

Ouassila Labbani; Jean-Luc Dekeyser; Pierre Boulet

Détail

Hybrid Systems: Computation and Control (HSCC05), Mar 2005, Zurich, Switzerland.

Accès au texte intégral et bibtex

Titre

Projection of the Array-OL Specification Language onto the Kahn Process Network Computation Model

Auteurs

Abdelkader Amar; Pierre Boulet; Philippe Dumont

Détail

International Symposium on Parallel Architectures, Algorithms, and Networks, 2005, Las Vegas, Nevada, United States.

Accès au bibtex

Titre

Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies - A partial answer to the MARTE RFP

Auteurs

Arnaud Cuccuru; Jean-Luc Dekeyser; Philippe Marquet; Pierre Boulet

Détail

MoDELS/UML 2005, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005, Montego Bay, Jamaica. Lecture Notes in Computer Science vol. 3713, pp. 445-459

Accès au bibtex

Titre

Model Driven Scheduling Framework for Multiprocessor SoC Design

Auteurs

Ashish Meena; Pierre Boulet

Détail

Workshop on Scheduling for Parallel Computing (SPC 2005), 2005, Poznan, Poland. Springer-Verlag

Accès au bibtex

Titre

Traceability and Interoperability at Different Levels of Abstraction in Model Transformations

Auteurs

Lossan Bondé; Pierre Boulet; Jean-Luc Dekeyser

Détail

Forum on Specification and Design Languages, FDL'05, 2005, Lausanne, Switzerland.

Accès au bibtex

Titre

Model Driven Engineering for SoC Co-Design

Auteurs

Jean-Luc Dekeyser; Pierre Boulet; Philippe Marquet; Samy Meftali

Détail

NEWCAS'05, 2005, Québec, Canada.

Accès au bibtex

Titre

Model Driven Engineering for Regular MPSoC Co-design

Auteurs

Pierre Boulet; Arnaud Cuccuru; Jean-Luc Dekeyser; Ashish Meena

Détail

ReCoSoC-05, 2005, Montpellier, France.

Accès au bibtex

Titre

Why to do Without Model Driven Architecture in Embedded System Codesign?

Auteurs

Jean-Luc Dekeyser; Philippe Marquet; Samy Meftali; Cédric Dumoulin; Pierre Boulet; Smaïl Niar

Détail

The first annual IEEE BENELUX/DSP Valley Signal Processing Symposium, (SPS-DARTS 2005), 2005, Antwerp, Belgium.

Accès au bibtex

Titre

The case for Globally Irregular Locally Regular Algorithm Architecture Adequation

Auteurs

Pierre Boulet; Ashish Meena

Détail

Journées Francophones sur l'Adéquation Algorithme Architecture (JFAAA'05), 2005, Dijon, France.

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Model Driven Architecture for Intensive Embedded Systems

Auteurs

Lossan Bondé; Pierre Boulet; Arnaud Cuccuru; Jean-Luc Dekeyser; Cédric Dumoulin; Philippe Marquet; Samy Meftali; Mickaël Samyn

Détail

Sébastien Gérard and Jean-Philippe Babeau and Joël Champeau. Model Driven Engineering for Distributed Embedded Real-Time Systems, ISTE, Hermes science and Lavoisier, 2005, 1-905209-32-0

Accès au bibtex

Directions d'ouvrages

Titre

Modélisation des systèmes réactifs, Actes du Colloque Francophone MSR 05

Auteurs

Hassane Alla; Éric Rutten

Détail

Hermès, Oct. 2005

Accès au bibtex

Titre

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL'04

Auteurs

Pierre Boulet

Détail

Pierre Boulet. Kluwer Academic Publishers, pp. 303, 2005, 0-387-26149-4

Accès au bibtex

Rapports

Titre

A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis

Auteurs

Gwenaël Delaval; Éric Rutten

Détail

[Research Report], 2005, pp. 44. RR-5690

Accès au texte intégral et bibtex

Titre

ARTiS, an Asymmetric Real-Time Scheduler for Linux on Multi-Processor Architectures

Auteurs

Éric Piel; Philippe Marquet; Julien Soula; Christophe Osuna; Jean-Luc Dekeyser

Détail

[Research Report], 2005, pp. 32. RR-5781

Accès au texte intégral et bibtex

Titre

Another Multidimensional Synchronous Dataflow: Simulating Array-OL in Ptolemy II

Auteurs

Philippe Dumont; Pierre Boulet

Détail

[Research Report], 2005, pp. 19. RR-5516

Accès au texte intégral et bibtex

Titre

Projection of the Array-OL Specification Language onto the Kahn Process Network Computation Model

Auteurs

Abdelkader Amar; Pierre Boulet; Pierre Dumont

Détail

[Research Report], 2005, pp. 18. RR-5515

Accès au texte intégral et bibtex

2004

Articles dans des revues avec comité de lecture

Titre

Ensuring the conformance of reactive discrete-event systems by means of supervisory control

Auteurs

Thierry Jéron; Hervé Marchand; Vlad Rusu; Valéry Tschaen

Détail

International Journal of Production Research, Taylor & Francis, 2004, 42 (14), pp. 2809-2826

Accès au texte intégral et bibtex

Communications avec actes

Titre

Implementation of ARTiS, an Asymmetric Real-Time Extension of SMP Linux

Auteurs

Philippe Marquet; Éric Piel; Julien Soula; Jean-Luc Dekeyser

Détail

Sixth Realtime Linux Workshop, Nov 2004, Singapore.

Accès au texte intégral et bibtex

Titre

An Example of Synchronous Design of Embedded Real-Time Systems based on IMA

Auteurs

Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic

Détail

10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA 2004), Aug 2004, Gothenburg, Sweden. pp. RTCSA 2004

Accès au texte intégral et bibtex

Titre

A Behavioral Type Inference System for Compositional System-on-Chip Design

Auteurs

Jean-Pierre Talpin; David Berner; Sandeep Shukla; Paul Le Guernic; Abdoulaye Gamatié; R.K. Gupta

Détail

Fourth International Conference on Application of Concurrency to System Design (ACSD'04), Jun 2004, Hamilton, Ontario, Canada. pp. 47-56

Accès au texte intégral et bibtex

Titre

An OCL formulation of UML2 template binding

Auteurs

Olivier Caron; Bernard Carré ; Alexis Muller; Gilles Vanwormhoudt

Détail

7th International Conference on the Unified Modeling Language, Oct 2004, Lisbon, Portugal. Springer-Verlag, 3273, pp. 27-40, Lecture notes in computer science

Accès au bibtex

Titre

Extracting a Data Flow Analyser in Constructive Logic

Auteurs

David Cachera; Thomas Jensen; David Pichardie; Vlad Rusu

Détail

ESOP, 2004, Barcelona, Spain.

Accès au texte intégral et bibtex

Titre

Regular Hardware Architecture Modeling with UML2

Auteurs

Arnaud Cuccuru; Pierre Boulet; Jean-Luc Dekeyser

Détail

FDL04, 2004, Lille, France.

Accès au bibtex

Rapports

Titre

UML2 as an ADL Hierarchichal Hardware Modeling

Auteurs

Arnaud Cuccuru; Philippe Marquet; Jean-Luc Dekeyser

Détail

[Research Report], 2004. RR-5166

Accès au texte intégral et bibtex

2003

Articles dans des revues avec comité de lecture

Titre

Combining formal verification and conformance testing for validating reactive systems

Auteurs

Vlad Rusu

Détail

Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2003

Accès au bibtex

Communications avec actes

Titre

Synchronous modeling of avionics applications using the SIGNAL language

Auteurs

Abdoulaye Gamatié; Thierry Gautier

Détail

9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 2003, Toronto, Canada. pp. 144-151

Accès au texte intégral et bibtex

Titre

The SIGNAL Approach to the Design of System Architectures

Auteurs

Abdoulaye Gamatié; Thierry Gautier

Détail

10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), Apr 2003, Huntsville, Alabama, United States. IEEE Computer Society, pp. 80-88

Accès au texte intégral et bibtex

Titre

Extending methods to express change requirements

Auteurs

Anne Etien; Rebecca Deneckere ; Camille Salinesi

Détail

Engineering Methods to support information Systems Evolution (EMSISE'03), 2003, Geneva, Switzerland. pp. 15

Accès au bibtex

Titre

Réutilisation d'aspects fonctionnels : des vues aux composants

Auteurs

Alexis Muller; Olivier Caron; Bernard Carré ; Gilles Vanwormhoudt

Détail

Langages et Modèles à Objets, Feb 2003, Vannes, France. Hermès Lavoisier, 9, pp. 241-255, RSTI

Accès au bibtex

Titre

A framework for supporting views in Component Oriented Information Systems

Auteurs

Olivier Caron; Bernard Carré ; Alexis Muller; Gilles Vanwormhoudt

Détail

Dimitri Konstantas, Michel Léonard, Yves Pigneur, Shushma Patel. Object-Oriented Information Systems, 9th International Conference, OOIS 2003, 2003, Genève, Switzerland. Springer, 2817, pp. 164-178, Lecture Notes in Computer Science

Accès au bibtex

Titre

Sophocles: Cyber-Enterprise for System-on-Chip Distributed Simulation -- Model Unification

Auteurs

Pierre Boulet; Jean-Luc Dekeyser; Cédric Dumoulin; Philippe Marquet; Philippe Kajfasz; Dominique Ragot

Détail

IFIP International Workshop on IP Based System-on-Chip Design, 2003, Grenoble, France.

Accès au bibtex

Titre

MDA for SoC Embedded Design, Intensive Signal Processing Experiment

Auteurs

Pierre Boulet; Jean-Luc Dekeyser; Cédric Dumoulin; Philippe Marquet

Détail

SIVOES-MDA, 2003, San Francisco, United States.

Accès au bibtex

Titre

MDA for SoC Design, Intensive Signal Processing Experiment

Auteurs

Cédric Dumoulin; Pierre Boulet; Jean-Luc Dekeyser; Philippe Marquet

Détail

FDL'03, 2003, Frankfurt, Germany.

Accès au bibtex

Rapports

Titre

L'effet du degré de réseau d'interconnexion multi-étages sur ses performances: le cas des réseaux Delta et réseaux Delta surdimensionnés

Auteurs

Chadi Ahmad Aljundi; Jean-Luc Dekeyser

Détail

[Research Report], 2003. RR-4880

Accès au texte intégral et bibtex

Titre

UML 2.0 Structure Diagram for Intensive Signal Processing Application Specification

Auteurs

Cedric Dumoulin; Pierre Boulet; Jean-Luc Dekeyser; Philippe Marquet

Détail

[Research Report], 2003. RR-4766

Accès au texte intégral et bibtex

Titre

Distributed Process Networks Using Half FIFO Queues in CORBA

Auteurs

Abdelkader Amar; Pierre Boulet; Jean-Luc Dekeyser; Frans Theeuwen

Détail

[Research Report], 2003. RR-4765

Accès au texte intégral et bibtex

2002

Articles dans des revues avec comité de lecture

Titre

Towards Distributed Process Networks with CORBA

Auteurs

Abdelkader Amar; Pierre Boulet; Jean-Luc Dekeyser

Détail

Parallel and Distributed Computing Practices, Nova Science, 2002, 5 (4)

Accès au bibtex

Ouvrages scientifiques

Titre

Automatic code-transformations, and architecture rafinement for application-specific multiprocessor

Auteurs

S. Meftali; F. Rousseau; F. Gharsalli; A. A. Jerraya

Détail

Kluwer Academic Publishers, pp. 193-204, 2002

Accès au bibtex

2001

Articles dans des revues avec comité de lecture

Titre

SPPoC: manipulation automatique de polyèdres pour la compilation

Auteurs

Pierre Boulet; Xavier Redon

Détail

Revue Technique et Science Informatiques, Hermes, 2001, 20 (8), pp. 1019-1048

Accès au bibtex

Communications avec actes

Titre

Assembling Dynamic Components for Metacomputing using CORBA

Auteurs

Abdelkader Amar; Pierre Boulet; Jean-Luc Dekeyser

Détail

Parallel Computing, 2001, Naples, Italy. Lecture Notes in Computer Science

Accès au bibtex

Titre

A Visual Development Environment for Meta-Computing Applications

Auteurs

Pierre Boulet; Jean-Luc Dekeyser; Florent Devin; Philippe Marquet

Détail

HCI International 2001, 9th Int'l Conf. on Human-Computer Interaction, 2001, New Orleans, Lousiana, United States. Lawrence Erlbaum Associates, Publishers

Accès au bibtex

Titre

Visual Data-parallel Programming for Signal Processing Applications

Auteurs

Pierre Boulet; Jean-Luc Dekeyser; Jean-Luc Levaire; Philippe Marquet; Julien Soula; Alain Demeure

Détail

9th Euromicro Workshop on Parallel and Distributed Processing, PDP 2001, 2001, Mantova, Italy. pp. 105-112

Accès au bibtex

2000

Communications avec actes

Titre

High Level Parallelization of a 3D Electromagnetic Simulation Code With Irregular Communication Patterns

Auteurs

Emmanuel Cagniot; Thomas Brandes; Jean-Luc Dekeyser; Francis Piriou; Pierre Boulet; Stéphane Clénet

Détail

4th International Meeting on Vector and Parallel Processing (VECPAR'2000), 2000, Porto, Portugal. Lecture Notes in Computer Science vol. 1470, pp. 519-528

Accès au bibtex

Titre

Parallelization of 3D Magnetostatic Code Using High Performance Fortran

Auteurs

Emmanuel Cagniot; Thomas Brandes; Jean-Luc Dekeyser; Francis Piriou; Pierre Boulet; Georges Marques

Détail

International Conference on Parallel Computing in Electrical Engineering, PARELEC'2000, 2000, Trois-Rivières, Quebec, Canada. pp. 181-185

Accès au bibtex

Titre

Parallélisation d'un code 3D Magnétostatique avec le Langage de Programmation High Performance Fortran

Auteurs

Emmanuel Cagniot; Jean-Luc Dekeyser; Pierre Boulet; Thomas Brandes; Francis Piriou; Georges Marques

Détail

Conférence Européenne sur les Méthodes Numériques en Éléctomagnétisme, NUMELEC'2000 (poster session), 2000, Poitiers, France. pp. 184-185

Accès au bibtex

1999

Communications avec actes

Titre

Une approche à la SQL du traitement de données intensif dans Gaspard

Auteurs

Pierre Boulet; Jean-Luc Dekeyser; Alain Demeure; Florent Devin; Philippe Marquet

Détail

RenPar'11, Rencontres Francophones du Parallélisme des Architectures et des Systèmes, 1999, Rennes, France.

Accès au bibtex

Titre

Parallelization of a Fortran 90 Program for Electromagnetic Problems

Auteurs

Emmanuel Cagniot; Thomas Brandes; Jean-Luc Dekeyser; Francis Piriou; Pierre Boulet; Stéphane Clénet; Yvonnick Le Menach; Georges Marques

Détail

3rd Annual HPF User Group Meeting, HUG'99, 1999, Redondo Beach, CA, United States.

Accès au bibtex

1998

Communications avec actes

Titre

Communication Pre-evaluation in HPF

Auteurs

Pierre Boulet; Xavier Redon

Détail

Euro-Par'98, 1998, Southampton, United Kingdom. Lecture Notes in Computer Science, 1470, pp. 263-272

Accès au bibtex