Sites Inria

English version

Equipe de recherche DART

Publications de l'équipe DART

2014

Article dans des revues

titre
Integrating Profiling into MDE Compilers
auteur
Vincent Aranega, Antonio Wendell De Oliveira Rodrigues, Anne Etien, Frédéric Guyomarch, Jean-Luc Dekeyser
article
International Journal of Software Engineering & Applications (IJSEA), AIRCCSE, 2014, 5 (4), pp.20. <http://airccse.org/journal/ijsea>. <10.5121/ijsea.2014.5401>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01053031/file/5414ijsea01.pdf BibTex
titre
Towards an Automation of the Mutation Analysis Dedicated to Model Transformation
auteur
Vincent Aranega, Jean-Marie Mottu, Anne Etien, Thomas Degueule, Benoit Baudry, Jean-Luc Dekeyser
article
Software Testing, Verification and Reliability, Wiley, 2014, pp.30. <10.1002/stvr.1532>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00988164/file/paper.pdf BibTex

2013

Article dans des revues

titre
Generic for Model Management Operations
auteur
Louis M. Rose, Esther Guerra, Juan De Lara, Anne Etien, Dimitrios Kolovos, Richard F. Paige
article
Software and Systems Modeling, Springer Verlag, 2013, 12 (1), pp.201-219
Accès au bibtex
BibTex

Rapport

titre
PMS+: Un outil pour les processus de production de logiciels
auteur
Amen Souissi, Cedric Dumoulin, Pierre Boulet
article
[Rapport de recherche] 2013, pp.9
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00802213/file/easychair.pdf BibTex

Thèse

titre
Modélisation centrée sur les processus métier pour la génération complète de portails collaboratifs
auteur
Amen Souissi
article
Ingénierie assistée par ordinateur. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00935324/file/ThA_se_Amen-SOUISSI.pdf BibTex

2012

Article dans des revues

titre
System level modeling methodology of NoC design from UML-MARTE to VHDL
auteur
Majdi Elhaji, Pierre Boulet, Abdelkrim Zitouni, Samy Meftali, Jean-Luc Dekeyser, Rached Tourki
article
Design Automation for Embedded Systems, Springer Verlag, 2012, pp.1--27. <10.1007/s10617-012-9101-2>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00797601/file/template.1.pdf BibTex
titre
A High-level Methodology for Automatically Generating Dynamic Partially Reconfigurable Systems using IP-XACT and the UML MARTE Profile.
auteur
Gilberto Ochoa-Ruiz, Ouassila Labbani, El-Bay Bourennane, Philippe Soulard, Sana Cherif
article
Design Automation for Embedded Systems, Springer Verlag, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00745377/file/daem-final.pdf BibTex
titre
Automatic Multi-GPU Code Generation Applied to Simulation of Electrical Machines
auteur
Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'H, Jean-Luc Dekeyser, Yvonnick Le Menach
article
Magnetics, IEEE Transactions on, IEEE Magnetics Society, 2012, 48 (2), pp.831 - 834. <10.1109/TMAG.2011.2179527>
Accès au bibtex
BibTex
titre
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte
auteur
Calin Glitia, Julien Deantoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié
article
Design Automation for Embedded Systems, Springer Verlag, 2012, 16 (2), pp.137-169. <http://www.springerlink.com/content/t03t7nl8463tjpr4/?MUD=MP>. <10.1007/s10617-012-9093-y>
Accès au bibtex
BibTex
titre
Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: advantages, limitations and alternatives
auteur
Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet, Samy Meftali, Jean-Luc Dekeyser
article
Journal of Systems Architecture, Elsevier, 2012, <10.1016/j.sysarc.2012.01.001>
Accès au bibtex
BibTex

Communication dans un congrès

titre
Facilitating IP deployment in a MARTE-based MDE methodology using IP-XACT: a XILINX EDK case study
auteur
Gilberto Ochoa-Ruiz, Ouassila Labbani, El-Bay Bourennane, Sana Cherif, Samy Meftali, Jean-Luc Dekeyser
article
International Conference on Reconfigurable Computing and FPGAs (Reconfig 2012), Dec 2012, Cancun, Mexico. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00745324/file/Reconfig_v3.0.pdf BibTex
titre
Test Harness on a Preconditioned Conjugate Gradient Solver on GPUs: An Efficiency Analysis
auteur
Wendell Rodrigues, Loïc Chevalier, Yvonnick Le Menach, Frédéric Guyomarch
article
CEFC - 2012, Nov 2012, Oita, Japan. 2012
Accès au bibtex
BibTex
titre
A New Preconditionner Based on F.I.T Applied To Solve F.E.M Problem
auteur
Abdellatif Tinzefte, Yvonnick Le Menach, Frédéric Guyomarch
article
CEFC - 2012, Nov 2012, Iota, Japan. 2012
Accès au bibtex
BibTex
titre
Enabling partially reconfigurable IP cores parameterisation and integration using MARTE and IP-XACT
auteur
Gilberto Ochoa-Ruiz, Ouassila Labbani, El-Bay Bourennane, Sana Cherif, Samy Meftali, Jean-Luc Dekeyser
article
2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP), Oct 2012, Finland. pp.107 -113, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00788463/file/Paper_RSPS_v2.0.pdf BibTex
titre
Using Feature Model to Build Model Transformation Chains
auteur
Vincent Aranega, Anne Etien, Sébastien Mosser
article
Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Oct 2012, Innsbruck, Austria. 2012
Accès au bibtex
BibTex
titre
Membrane-based design and management methodology for parallel dynamically reconfigurable embedded systems
auteur
Pamela Wattebled, Jean-Philippe Diguet, Jean-Luc Dekeyser
article
RecoSoc 2012, Jul 2012, YORK, United Kingdom. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00745150/file/39.pdf BibTex
titre
Formal and Fault Tolerant Design
auteur
Ammar Aljer, Philippe Devienne
article
2nd Workshop on Process-based approaches for Model-Driven Engineering, Jul 2012, Denmark
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00832618/file/Devienne_Aljer_PMDE_2012.pdf BibTex
titre
An Efficient Power Estimation Methodology for Complex RISC Processor-based Platforms
auteur
Santhosh Kumar Rethinagiri, Rabie Ben Atitallah, Jean-Luc Dekeyser, Smail Niar, Eric Senn
article
Joseph Cavallaro. GLSVLSI 2012, May 2012, Salt lake city, UTAH, United States. ACM, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00675469/file/paper_12.pdf BibTex
titre
Virtual Platform for Embedded System Power Estimation
auteur
Santhosh Kumar Rethinagiri, Rabie Ben Atitallah, Jean-Luc Dekeyser
article
DATE-2012, Mar 2012, Dresden, Germany. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00673911/file/bare_conf.pdf BibTex

Chapitre d'ouvrage

titre
Models for Co-Design of Heterogeneous Dynamically Reconfigurable SoCs
auteur
Jean-Luc Dekeyser, Abdoulaye Gamatié, Samy Meftali, Imran Rafiq Quadri
article
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
https://hal.inria.fr/inria-00525023/file/IRQ_Chapt-FETCHbook.pdf BibTex

Autre publication

titre
Semi-distributed control for FPGA-based reconfigurable systems
auteur
Chiraz Trabelsi, Samy Meftali, Jean-Luc Dekeyser
article
Conférence DSD Turquie. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00703093/file/article.pdf BibTex
titre
Distributed control for reconfigurable FPGA systems: a high-level design approach
auteur
Chiraz Trabelsi, Samy Meftali, Jean-Luc Dekeyser
article
Workshop Recosoc 2012. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00709755/file/35.pdf BibTex
titre
Broadcast with mask on a Massively Parallel Processing on a Chip
auteur
Hana Krichene, Mouna Baklouti, Mohamed Abid, Philippe Marquet, Jean-Luc Dekeyser
article
workshop drnoc2012. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00688418/file/DRNoC2012.pdf BibTex

Poster

titre
Software Implementation vs. Hardware Implementation: The Avionic Test System Case-Study
auteur
George Afonso, Rabie Ben Atitallah, Jean-Luc Dekeyser
article
ASPLOS, Mar 2012, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00665162/file/ASPLOS-AFONSO.pdf BibTex

2011

Article dans des revues

titre
Extended Model driven Architecture to B Method
auteur
Ammar Aljer, Philippe Devienne
article
Ubiquitous Computing and Communication Journal, UBICC publishers, 2011, Special Issue on ICIT 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00832612/file/UBICC_MDA_B_aljer_BookC_ICIT2011-570_600.pdf BibTex
titre
AModel-Driven Approach for Hybrid Power Estimation in Embedded Systems Design
auteur
Chiraz Trabelsi, Rabie Ben Atitallah, Samy Meftali, Jean-Luc Dekeyser, Abderrazak Jemai
article
EURASIP Journal on Embedded Systems, SpringerOpen, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00584360/file/569031.pdf BibTex
titre
Modélisation et analyse de systèmes embarqués ou temps-réel avec le profil UML MARTE
auteur
Pierre Boulet
article
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2011, <http://www.techniques-ingenieur.fr/base-documentaire/electronique-photonique-th13/innovations-electronique-et-tic-ti358/modelisation-et-analyse-de-systemes-embarques-ou-temps-reel-avec-le-profil-uml-marte-in120/>
Accès au bibtex
BibTex
titre
Embedding Domain-Specific Modelling Languages in Maude Specifications
auteur
Vlad Rusu
article
ACM SIGSOFT Software Engineering Notes, ACM, 2011, 36 (1), <10.1145/1921532.1921557>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00527859/file/paper-final-rusu.pdf BibTex
titre
Repetitive model refactoring strategy for the design space exploration of intensive signal processing applications
auteur
Calin Glitia, Pierre Boulet, Eric Lenormand, Michel Barreteau
article
Journal of Systems Architecture, Elsevier, 2011, 57 (9), pp.815-829. <10.1016/j.sysarc.2010.12.002>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00605069/file/refactoringSTAP.pdf BibTex
titre
A Multi-Level Design Methodology of Multistage Interconnection Network for MPSOCs
auteur
Yassine Aydi, Mouna Baklouti, Jean-Luc Dekeyser, Mohamed Abid
article
International Journal of Computer Applications in Technology (IJCAT), Inderscience Publishers, 2011, 42 (1-2)
Accès au bibtex
BibTex
titre
Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone
auteur
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2011, Architecture des ordinateurs, 30 (9), pp.1089 -- 1114. <http://tsi.revuesonline.com/article.jsp?articleId=16828>
Accès au bibtex
BibTex
titre
Multi-task implementation of multi-periodic synchronous programs
auteur
Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens
article
Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.307-338
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00638936/file/DEDS2010.pdf BibTex
titre
A Model Driven Design Framework for Massively Parallel Embedded Systems
auteur
Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Rabie Ben Atitallah, Anne Etien, Philippe Marquet, Jean-Luc Dekeyser
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2011, 10 (4)
Accès au bibtex
BibTex

Communication dans un congrès

titre
High Level Design of adaptive distributed controller for Partial Dynamic reconfiguration in FPGA
auteur
Sana Cherif, Chiraz Trabelsi, Samy Meftali, Jean-Luc Dekeyser
article
Proceeding of Design and Architectures for Signal and Image Processing, DASIP 2011, Nov 2011, Tampere, Finland. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00609122/file/dasip2.pdf BibTex
titre
FERONOC : FLEXIBLE AND EXTENSIBLE ROUTER IMPLEMENTATION FOR DIAGONAL MESH TOPOLOGY
auteur
Elhajji Majdi, Brahim Attia, Abdelkrim Zitouni, Rached Tourki, Samy Meftali, Jean-Luc Dekeyser
article
Conference on Design and Architectures for Signal and Image Processing, Nov 2011, Tampere, Finland. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00609117/file/papier_-majdi-dasip2011.pdf BibTex
titre
Fast and Accurate Hybrid Power Estimation Methodology for Embedded Systems
auteur
Eric Senn, Rabie Ben Atitallah, Santhosh Kumar Rethinagiri, Smail Niar, Jean-Luc Dekeyser
article
The Conference on Design and Architectures for Signal and Image Processing, Nov 2011, Tampere, Finland. 2011
Accès au bibtex
BibTex
titre
A K-Based Formal Framework for Domain-Specific Modelling Languages
auteur
Vlad Rusu, Dorel Lucanu
article
Formal Verification of Object-Oriented Systems, Oct 2011, Torino, Italy. Springer Verlag, 7421, pp.214-231, 2012, Lecture Notes in Computer Science; Formal Verification of Object-Oriented Software International Conference (FoVeOOS 2011), revised and selected papers. <10.1007/978-3-642-31762-0>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00637099/file/rusu-lucanu-2012-foveoos.pdf BibTex
titre
Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset
auteur
Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti
article
19th International Conference on Real-Time and Network Systems, Sep 2011, Nantes, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00618587/file/cordovilla-RTNS11.pdf BibTex
titre
Dynamic Priority Scheduling of Periodic Tasks with Extended Precedences
auteur
Julien Forget, Emmanuel Grolleau, Claire Pagetti, Pascal Richard
article
IEEE 16th Conference on Emerging Technologies Factory Automation (ETFA), Sep 2011, Toulouse, France. 2011, <10.1109/ETFA.2011.6059015>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00638941/file/main.pdf BibTex
titre
K Semantics for OCL - a Proposal for a Formal Definition for OCL
auteur
Vlad Rusu, Dorel Lucanu
article
Rosu, Grigore. 2nd International K Workshop, Aug 2011, Cheile Gradistei (Brasov), Romania. 2011
Accès au bibtex
BibTex
titre
Automatic Multi-GPU Code Generation applied to Simulation of Electrical Machines
auteur
Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'H, Jean-Luc Dekeyser, Yvonnick Le Menach
article
Compumag 2011, Jul 2011, Sydney, Australia. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00605645/file/compumag2011-2.pdf BibTex
titre
SMT based false causal loop detection during code synthesis from Polychronous specifications
auteur
Bijoy Anthony Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep Kumar Shukla
article
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom. 2011, <10.1109/MEMCOD.2011.5970517>
Accès au bibtex
BibTex
titre
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
auteur
Benoit Combemale, Laure Gonnord, Vlad Rusu
article
Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. Springer Verlag, 6698, pp.35-51, 2011, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00593425/file/ecmfa11-tracematching-camera.pdf BibTex
titre
Harnessing the Power of GPUs without Losing Abstractions in SaC and ArrayOL: A Comparative Study
auteur
Jing Guo, Antonio Wendell De Oliveira Rodrigues, Jerarajan Thiyagalingam, Frédéric Guyomarch, Pierre Boulet, Sven-Bodo Scholz
article
HIPS 2011, 16th International Workshop on High-Level Parallel Programming Models and Supportive Environments, May 2011, Anchorage (Alaska), United States. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00569100/file/paper.pdf BibTex
titre
A Modeling Approach based on UML/MARTE for GPU Architecture
auteur
Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'H, Jean-Luc Dekeyser
article
Symposium en Architectures nouvelles de machines (SympA'14), May 2011, Saint Malo, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00593863/file/sympa2011.pdf BibTex
titre
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems
auteur
Abdoulaye Gamatié, Laure Gonnord
article
ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. pp.71-80, 2011, <10.1145/1967677.1967688>
Accès au bibtex
BibTex
titre
Modeling Networks-on-Chip at System Level with the MARTE UML profile
auteur
Majdi Elhaji, Pierre Boulet, Rached Tourki, Abdelkrim Zitouni, Jean-Luc Dekeyser, Samy Meftali
article
M-BED'2011, Mar 2011, Grenoble, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00569077/file/ElhajiBouletDekeyser.pdf BibTex
titre
Programming Massively Parallel Architectures using MARTE: a Case Study
auteur
Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'H, Jean-Luc Dekeyser
article
2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011) on Date Conference 2011, Mar 2011, Grenoble, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578646/file/wsmbedFinal.pdf BibTex
titre
Open Power and Energy Optimization Platform and Estimator (Open-People) ANR Project
auteur
Eric Senn, Jérémie Guillot, Daniel Chillet, Cécile Belleudy, Smail Niar, Olivier Zendra, Christian Samoyeau
article
Design, Automation & Test in Europe (DATE 2011), University Booth, Mar 2011, Grenoble, France. 2011
Accès au bibtex
BibTex
titre
Ordonnancement de tâches périodiques avec précédences étendues sans sémaphores
auteur
Julien Forget, Emmanuel Grolleau, Claire Pagetti
article
ROADEF 2011, Mar 2011, SAINT ETIENNE, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00563798/file/roadef11-forget.pdf BibTex
titre
A prototyping environment for high performance reconfigurable computing
auteur
George Afonso, Rabie Ben Atitallah, Nicolas Belanger, Martial Rubio, Jean-Luc Dekeyser, Alexandre Loyer
article
6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011, Montpellier, France. 2011
Accès au bibtex
BibTex
titre
A System Level Power Consumption Estimation for MPSoC
auteur
Santhosh Kumar Rethinagiri, Rabie Ben Atitallah, Jean-Luc Dekeyser
article
International Symposium on System-on-Chip 2011, 2011, Unknown, 2011
Accès au bibtex
BibTex
titre
Toward Generic and Adaptive Avionic Test Systems
auteur
George Afonso, Rabie Ben Atitallah, Nicolas Belanger, Martial Rubio, Jean-Luc Dekeyser, Stephan Stilkerich
article
NASA/ESA Conference on Adaptive Hardware and Systems, 2011, San Diego, United States. 2011
Accès au bibtex
BibTex
titre
Hybrid System Level Power Consumption Estimation for 29FPGA-Based MPSoC
auteur
Santhosh Kumar Rethinagiri, Rabie Ben Atitallah, Smal Niar, Eric Senn, Jean-Luc Dekeyser
article
29th IEEE International Conference on Computer Design ICCD 2011, 2011, Unknown, 2011
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Using Trace to Situate Errors in Model Transformations
auteur
Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser
article
Cordeiro, José and Ranchordas, AlpeshKumar and Shishkov, Boris. Software and Data Technologies, 50, Springer Berlin Heidelberg, 2011, Communications in Computer and Information Science, 978-3-642-20116-5. <10.1007/978-3-642-20116-5_11>
Accès au bibtex
BibTex
titre
A Design Methodology of MIN-Based Network for MPPSoC on Reconfigurable Architecture
auteur
Yassine Aydi, Mouna Baklouti, Philippe Marquet, Jean-Luc Dekeyser, Mohamed Abid
article
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
BibTex
titre
Design Space Exploration for Efficient Data Intensive Computing on SoCs
auteur
Rosilde Corvino, Abdoulaye Gamatié, Pierre Boulet
article
Borko Furht and Armando Escalante. Handbook of Data Intensive Computing, Springer, 2011
Accès au bibtex
BibTex
titre
Specification of Data Intensive Applications with Data Dependency and Abstract Clocks
auteur
Abdoulaye Gamatié
article
Borko Furht and Armando Escalante. Handbook of Data Intensive Computing, Springer, 2011
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings

titre
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering
auteur
Francisco Duran, Vlad Rusu
article
Francisco Durán and Vlad Rusu. 56, Electronic Proceedings in Theoretical Computer Science, pp.97, 2011, <10.4204/EPTCS.56>
Accès au bibtex
BibTex
titre
Modélisation des systèmes réactifs MSR 2011
auteur
Abdoulaye Gamatié, Etienne Craye
article
Abdoulaye Gamatié and Étienne Craye. 45/1-3, Lavoisier, pp.268, 2011, Journal Européen des Systèmes Automatisés
Accès au bibtex
BibTex

Poster

titre
Using ArrayOL to Identify Potentially Shareable Data in Thread Work-Groups of GPUs
auteur
Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'H, Jean-Luc Dekeyser
article
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
https://hal.inria.fr/inria-00594304/file/depcp.pdf BibTex

Rapport

titre
Modélisation centrée sur les processus métier pour la génération complète de portails collaboratifs
auteur
Amen Souissi, Pierre Boulet, Cedric Dumoulin, Michael Launay
article
[Rapport de recherche] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00638298/file/doc-article-hermes.pdf BibTex
titre
Enabling Traceability in an MDE Approach to Improve Performance of GPU Applications
auteur
Antonio Wendell De Oliveira Rodrigues, Vincent Aranega, Anne Etien, Frédéric Guyomarc'H, Jean-Luc Dekeyser
article
[Research Report] RR-7720, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00617912/file/RR-7720.pdf BibTex
titre
Correct and Energy-Efficient Design of a Multimedia Application on SoCs
auteur
Adolf Abdallah, Abdoulaye Gamatié, Rabie Ben Atitallah, Jean-Luc Dekeyser
article
[Research Report] RR-7715, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00616223/file/RR-7715.pdf BibTex
titre
An MDE Approach for Automatic Code Generation from MARTE to OpenCL
auteur
Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'H, Jean-Luc Dekeyser
article
[Research Report] RR-7525, INRIA. 2011, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00563411/file/RR-7525.pdf BibTex
titre
Improved False Causal Loop Detection in Polychronous Specificationof Embedded Software
auteur
Bijoy Anthony Jose, Abdoulaye Gamatié, Matthew Kracht, Sandeep Kumar Shukla
article
[Research Report] 2011, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00637582/file/techrep1108.pdf BibTex

Thèse

titre
Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE
auteur
Adolf Samir Abdallah
article
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00597031/file/thesis.pdf BibTex

2010

Article dans des revues

titre
Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design
auteur
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser
article
Knowledge Engineering Review, Cambridge University Press (CUP), 2010, 21 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536883/file/ker10-yu-hal.pdf BibTex
titre
Open Power and Energy Optimization Platform and Estimator (Open-People) ANR Project
auteur
Daniel Chillet, Eric Senn, Olivier Zendra, Cécile Belleudy, Smail Niar, Victor Tissier, Christian Samoyeau
article
Hipeac info 24, Compilation Architecture, HiPEAC Network of Excellence, 2010, pp.16
Accès au bibtex
BibTex
titre
Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation
auteur
Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Samy Meftali, Jean-Luc Dekeyser, Éric Rutten
article
International Journal of Embedded Systems, Inderscience, 2010, 18 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525015/file/ijes09.pdf BibTex
titre
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded System
auteur
Abdoulaye Gamatié, Thierry Gautier
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (5), pp.641-657. <10.1109/TPDS.2009.125>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00550056/file/tpds_2010.pdf BibTex
titre
Formal executable semantics for conformance in the MDE framework
auteur
Marina Egea, Vlad Rusu
article
Innovations in Software and Systems Engineering, Springer Verlag, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00527502/file/paper-IEEE.pdf BibTex
titre
Design and Performance Estimation of Delta Networks for MPSOC on Programmable Circuits
auteur
Yassine Aydi, Mohamed Abid, Jean-Luc Dekeyser
article
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
BibTex
titre
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
auteur
Abdoulaye Gamatié, Thierry Gautier
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (5), pp.641-657. <10.1109/TPDS.2009.125>
Accès au bibtex
BibTex
titre
Scalable mpNoC for massively parallel systems - Design and implementation on FPGA
auteur
Mouna Baklouti, Yassine Aydi, Philippe Marquet, Jean-Luc Dekeyser, Mohamed Abid
article
Journal of Systems Architecture, Elsevier, 2010, 56 (7), pp.278 - 292. <10.1016/j.sysarc.2010.04.001>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525343/file/jsa.pdf BibTex

Communication dans un congrès

titre
Fast and Accurate Power Estimation Methodology for Embedded Systems
auteur
Eric Senn, Rabie Ben Atitallah, Jean-Luc Dekeyser, Smail Niar, Santhosh Kumar Rethinagiri
article
PROGram for Research on Embedded Systems & Software (PROGRESS) workshop, Nov 2010, Veldhoven, Netherlands. 2010
Accès au bibtex
BibTex
titre
Designing dynamically reconfigurable SoCs: From UML MARTE models to automatic code generation
auteur
Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser
article
Conference on Design and Architectures for Signal and Image Processing (DASIP 2010), Oct 2010, Edinburgh, United Kingdom. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525003/file/PID1487011.pdf BibTex
titre
A Generic Formal Model for RTOS: Synchronous Approach for Rapid Virtual Prototyping
auteur
Abdoulaye Gamatié
article
10th African Conference on Research in Computer Science and Applied Mathematics (CARI'2010), Oct 2010, Yamoussoukro, Côte d’Ivoire. 2010
Accès au bibtex
BibTex
titre
Traceability for Mutation Analysis in Model Transformation
auteur
Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser
article
MODELS'10, Oct 2010, Oslo, Norway. Springer-Verlag, pp.259-273, 2011, <10.1007/978-3-642-21210-9_25>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00731016/file/modevva2010-extendedMoDELS.pdf BibTex
titre
Towards Transformation Migration After Metamodel Evolution
auteur
David Mendez, Anne Etien, Alexis Muller, Rubby Casallas
article
Model and Evolution Workshop, Oct 2010, Olso, Norway. 2010, Model and Evolution Workshop
Accès au bibtex
BibTex
titre
Using an Alternative Trace for QVT
auteur
Vincent Aranega, Anne Etien, Jean-Luc Dekeyser
article
Workshop on Multi-Paradigm Modeling, Oct 2010, Olso, Norway. 2010
Accès au bibtex
BibTex
titre
Comparing Model-Metamodel and Transformation-Metamodel Co-evolution
auteur
Louis Rose, Anne Etien, David Mendez, Dimitrios Kolovos, Fiona Polack, Richard F. Paige
article
Model and Evolution Workshop, Oct 2010, Olso, Norway. 2010
Accès au bibtex
BibTex
titre
Using Traceability to Enhance Mutation Analysis Dedicated to Model Transformation
auteur
Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser
article
Workshop on Model driven Engineering Verification and Validation, Oct 2010, Olso, Norway. 2010
Accès au bibtex
BibTex
titre
Mapping Real Time Applications on NoC Architecture with Hybrid Multi-objective Algorithm
auteur
Abou El Hassan Benyamina, Pierre Boulet, A. Aroui, S. Eltar, Karima Dellal
article
META'10 Intenational Conference on Metaheuristics and Nature Inspired Computing, Oct 2010, Djerba Island, Tunisia. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00523969/file/paper-93-full.pdf BibTex
titre
Correct and Energy-Efficient Design of SoCs: the H.264 Encoder Case Study
auteur
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser
article
International Symposium on System-on-Chip (SoC'2010), Sep 2010, Tampere, Finland. 2010
Accès au bibtex
BibTex
titre
Modeling reconfigurable Systems-on-Chips with UML MARTE profile: an exploratory analysis
auteur
Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser
article
13th Euromicro Conference on Digital System Design (DSD 2010), Sep 2010, Lille, France. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525004/file/PID1322209.pdf BibTex
titre
IP based configurable SIMD massively parallel SoC
auteur
Mouna Baklouti, Philippe Marquet, Jean-Luc Dekeyser, Mohamed Abid
article
20th International Conference on Field Programmable Logic and Applications, FPL 2010, Aug 2010, Milano, Italy. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525333/file/FPL.pdf BibTex
titre
Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications
auteur
Rosilde Corvino, Abdoulaye Gamatié, Pierre Boulet
article
Pasqua D'Ambra and Mario Guarracino and Domenico Talia. Euro-Par - 16th International Euro-Par Conference - 2010, Aug 2010, Ischia, Italy. Springer Berlin / Heidelberg, 6271, pp.101--116, 2010, LNCS. <10.1007/978-3-642-15277-1_11>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00522786/file/main.pdf BibTex
titre
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design
auteur
Abdoulaye Gamatié, Vlad Rusu, Éric Rutten
article
9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00522787/file/gamatie_ispdc10.pdf BibTex
titre
An MDE Approach for Energy Consumption Estimation in MPSoC Design
auteur
Chiraz Trabelsi, Samy Meftali, Rabie Ben Atitallah, Abderrazak Jemai, Jean Luc Dekeyser, Smail Niar
article
2nd Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, May 2010, Pisa, Italy. 6 p., 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00486200/file/article_Rapido10_Chiraz_VFinale.pdf BibTex
titre
Does Code Generation Promote or Prevent Optimizations?
auteur
A. Charfi, C. Mraidha, S. Gérard, F. Terrier, Pierre Boulet
article
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, 2010, <10.1109/ISORC.2010.25>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00522661/file/ISORC2010.pdf BibTex
titre
Combining Independent Model Transformations
auteur
Anne Etien, Alexis Muller, Thomas Legrand, Xavier Blanc
article
ACM Symposium On Applied Computing (SAC), Mar 2010, Sierre, Switzerland. ACM, pp.2237-2243, 2010, <10.1145/1774088.1774557>
Accès au bibtex
BibTex
titre
Reconfigurable Communication Networks in a Parametric SIMD Parallel System on Chip
auteur
Mouna Baklouti, Philippe Marquet, Jean-Luc Dekeyser, Mohamed Abid
article
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, 5992, pp.110-121, 2010, Lecture Notes in Computer Science; Reconfigurable computing: Architectures, tools and applications. <10.1007/978-3-642-12133-3_12>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00524987/file/ARC.pdf BibTex
titre
Modeling of Configurations for Embedded System Implementations in MARTE
auteur
Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet, Jean-Luc Dekeyser
article
1st workshop on Model Based Engineering for Embedded Systems Design - Design, Automation and Test in Europe (DATE 2010), Mar 2010, Dresden, Germany. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00486845/file/Mbesd.pdf BibTex
titre
An MDE approach for modeling network on chip topologies
auteur
M. Elhaji, Pierre Boulet, S. Meftali, A. Zitouni, J. Dekeyser, R. Tourki
article
Design and Technology of Integrated Systems in Nanoscale Era (DTIS), 2010 5th International Conference on, Mar 2010, Hammamet, Tunisia. 2010, <10.1109/DTIS.2010.5487596>
Accès au bibtex
BibTex
titre
Toward optimized code generation through model-based optimization
auteur
A. Charfi, C. Mraidha, S. Gerard, F. Terrier, Pierre Boulet
article
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010, Mar 2010, Dresden, Germany. pp.1313--1316, 2010, <http://www.date-conference.com/proceedings/PAPERS/2010/DATE10/PDFFILES/IP4_05.PDF>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00522657/file/DATE2010.pdf BibTex

Chapitre d'ouvrage

titre
A High Level Synthesis Flow Using Model Driven Engineering
auteur
Sébastien Le Beux, Laurent Moss, Philippe Marquet, Jean-Luc Dekeyser
article
Gogniat, G.; Milojevic, D.; Morawiec, A.; Erdogan, A. Algorithm-Architecture Matching for Signal and Image Processing, 73, Springer, pp.253-274, 2010, Lecture Notes in Electrical Engineering, 978-90-481-9964-8
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00524821/file/dasip08-book.pdf BibTex
titre
From MARTE to Reconfigurable NoCs: A model driven design methodology
auteur
Imran Rafiq Quadri, Majdi Elhaji, Samy Meftali, Jean-Luc Dekeyser
article
Jih-Sheng Shen. Dynamic Reconfigurable Network-on-Chip Design: Innovations for Computational Processing and Communication, IGI Global, 2010, 1615208070
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525020/file/Chapter-DRNOC-IRQnew.pdf BibTex

HDR

titre
Vers la reconfiguration dynamique dans les systèmes embarqués: de la modélisation à l'implémentation
auteur
Samy Meftali
article
Informatique [cs]. Université des Sciences et Technologie de Lille - Lille I, 2010
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00528470/file/HDR_Imprimer.pdf BibTex

Rapport

titre
Have Multiple Views with one Single Diagram! A Layer Based Approach of UML Diagrams
auteur
Cedric Dumoulin, Sébastien Gerard
article
[Research Report] RR-7432, INRIA. 2010, pp.9
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00527850/file/RR-7432.pdf BibTex
titre
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
auteur
Vlad Rusu, Laure Gonnord, Benoît Combemale
article
[Research Report] RR-7423, INRIA. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00526561/file/RR-7423.pdf BibTex

Thèse

titre
Méthode de conception rapide d'architecture massivement parallèle sur puce : de la modélisation à l'expérimentation sur FPGA
auteur
Mouna Baklouti
article
Informatique [cs]. Université Lille 1 Sciences et Technologies; École Nationale d'Ingénieurs de Sfax, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00527894/file/2010_12_baklouti_mouna_phd.pdf BibTex
titre
MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs
auteur
Imran Rafiq Quadri
article
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2010. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00486483/file/thesis.pdf BibTex

Pré-publication, Document de travail

titre
Performance Evaluation and Design Tradeoffs of On-Chip Interconnect Architectures
auteur
Mohmed Bakhouya, Suboh Suboh, Jaafar Gaber, Tarek El-Ghazawi, Smail Niar
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00534521/file/bakhouya.pdf BibTex

2009

Article dans des revues

titre
A Model based design flow for Dynamic Reconfigurable FPGAs
auteur
Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser
article
International Journal of Reconfigurable Computing, Hindawi Publishing Corporation, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525017/file/jrecosoc08.pdf BibTex
titre
Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems
auteur
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser
article
Scalable Computing : Practice and Experience, West University of Timisoara, 2009, 10 (2)
Accès au bibtex
BibTex
titre
Business process/information system co-evolution
auteur
Anne Etien
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2009, 14 (6), pp.41-57
Accès au bibtex
BibTex
titre
Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing
auteur
Calin Glitia, Philippe Dumont, Pierre Boulet
article
Multidimensional Systems and Signal Processing, Springer Verlag, 2009, 21 (2), pp.105--131. <10.1007/s11045-009-0085-4>
Accès au bibtex
BibTex
titre
A metamodel for the design of polychronous systems
auteur
Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier
article
Journal of Logic and Algebraic Programming, Elsevier, 2009, 78 (4), pp.233-259. <10.1016/j.jlap.2008.11.005>
Accès au bibtex
BibTex

Communication dans un congrès

titre
Parallel Sparse Matrix Solver on the GPU Applied to Simulation of Electrical Machines
auteur
Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarch, Yvonnick Le Menach, Jean-Luc Dekeyser
article
Compumag 2009, Nov 2009, Florianopolis, Brazil. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00528419/file/compumag2009.pdf BibTex
titre
Model based design flow for implementing an Anti-Collision Radar detection system
auteur
Imran Rafiq Quadri, Yassin Elhillali, Samy Meftali, Jean-Luc Dekeyser
article
9th International IEEE Conference on ITS Telecommunications (ITS-T 2009), Oct 2009, Lille, France. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525006/file/itst09.pdf BibTex
titre
MARTE based design flow for Partially Reconfigurable Systems-on-Chips
auteur
Imran Rafiq Quadri, Alexis Muller, Samy Meftali, Jean-Luc Dekeyser
article
17th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 09), Oct 2009, Florianapolis, Brazil. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00486846/file/vlsisoc09.pdf BibTex
titre
Integrating Mode Automata Control Models in SoC Co-Design for Dynamically Reconfigurable FPGAs
auteur
Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser
article
International Conference on Design and Architectures for Signal and Image Processing (DASIP 09), Sep 2009, Nice, France. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00486919/file/dasip09_irq_paper.pdf BibTex
titre
Traceability mechanism for error localization in model transformation
auteur
Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser
article
ICSOFT 2009 - 4th International Conference on Software and Data Technologies, Jul 2009, Sofia, Bulgaria. pp. 66-73, 2009
Accès au bibtex
BibTex
titre
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems
auteur
Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten
article
International Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, 2009, <10.1109/ICESS.2009.12>
Accès au bibtex
BibTex
titre
Tutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing
auteur
Imran Rafiq Quadri, Abdoulaye Gamatié, Jean-Luc Dekeyser
article
Colloque International Télécom'2009 & 6èmes JFMMA, Mar 2009, Agadir, Morocco. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525012/file/GaspardDoc-JFMA.pdf BibTex
titre
Conception de systèmes par applications de modèles paramétrés
auteur
Olivier Caron, Bernard Carré, Areski Flissi, Alexis Muller, Gilles Vanwormhoudt
article
Journées nationales du GDR CNRS GPL (Génie de la Programmation et du Logiciel), Jan 2009, Toulouse, France. 2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00714122/file/GPL2009_CocoaModeler.pdf BibTex
titre
Interaction between inter-repetition dependences and high-level transformations in Array-OL
auteur
Calin Glitia, Pierre Boulet
article
Conference on Design and Architectures for Signal and Image Processing (DASIP 2009), 2009, Sophia Antipolis, France. 2009
Accès au bibtex
BibTex

Autre publication

titre
Adaptation fonctionnelle de composants gros-grain avec JBOSS/AOP
auteur
Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt
article
Groupe de travail COSMAL du GDR CNRS GPL (Génie de la Programmation et du 
Logiciel
), Toulouse, .. 2009
Accès au bibtex
BibTex

Ouvrage (y compris édition critique et traduction)

titre
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification
auteur
Abdoulaye Gamatié
article
Springer, New York, pp.260, 2009, 978-1-4419-0940-4
Accès au bibtex
BibTex

Rapport

titre
Repetitive Model Refactoring for Design Space Exploration of Intensive Signal Processing Applications
auteur
Calin Glitia, Pierre Boulet, Eric Lenormand, Michel Barreteau
article
[Research Report] 2009, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00465456/file/RRrefactSTAP.pdf BibTex
titre
From MARTE to dynamically reconfigurable FPGAs : Introduction of a control extension in a model based design flow
auteur
Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser
article
[Research Report] RR-6862, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00365061/file/RR-6862.pdf BibTex

2008

Article dans des revues

titre
Synchronous Modeling and Analysis of Data Intensive Applications
auteur
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser
article
EURASIP Journal on Embedded Systems, SpringerOpen, 2008, 2008 (1), pp.561863. <10.1155/2008/561863>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00784459/file/1687-3963-2008-561863.pdf BibTex

Communication dans un congrès

titre
MARTE based modeling approach for Partial Dynamic Reconfigurable FPGAs
auteur
Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser
article
Sixth IEEE Workshop on Embedded Systems for Real-time Multimedia (ESTIMedia 2008), Oct 2008, Atlanta, United States. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525007/file/ESTImedia08_IRQ.pdf BibTex
titre
MARTE-based Design of a Multimedia Application and Formal Analysis
auteur
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser
article
FDL 2008, Sep 2008, Stuttgart, Germany. IEEE Xplore, pp.6, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00567972/file/fdl08_AGD.pdf BibTex
titre
High level modeling of Partially Dynamically Reconfigurable FPGAs based on MDE and MARTE
auteur
Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser
article
Reconfigurable Communication-centric SoCs (ReCoSoC'08), Jul 2008, Barcelona, Spain. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525008/file/recosoc08.pdf BibTex
titre
Fine Grained Traceability for an MDE Approach of Embedded System Conception
auteur
Flori Glitia, Anne Etien, Cedric Dumoulin
article
ECMDA Traceability Workshop, Jun 2008, Berlin, Germany. pp.27--38, 2008
Accès au bibtex
BibTex
titre
Adaptation des Templates UML pour la modélisation de composants paramétrables~: application à Gaspard2
auteur
Cesar De Moura, Julien Taillard, Frédéric Guyomarch, Cedric Dumoulin
article
4èmes Jounées sur l'Ingénierie Dirigée par les Modèles (IDM 08), Jun 2008, Mulhouse, France. 2008
Accès au bibtex
BibTex
titre
Using the UML Profile for MARTE to MPSoC Co-Design
auteur
Jean-Luc Dekeyser, Abdoulaye Gamatié, Anne Etien, Rabie Ben Atitallah, Pierre Boulet
article
First International Conference on Embedded Systems & Critical Applications (ICESCA'08), May 2008, Tunis, Tunisia. 2008
Accès au bibtex
BibTex
titre
MARTE based design approach for targeting Reconfigurable Architectures
auteur
Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser
article
2nd Embedded Systems Conference - ESC'09, May 2008, Alger, Algeria. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525009/file/paper_ESC_09_IRQ.pdf BibTex
titre
Gaspard2: from MARTE to SystemC Simulation
auteur
Rabie Ben Atitallah, Philippe Marquet, Éric Piel, Samy Meftali, Smail Niar, Anne Etien, Jean-Luc Dekeyser, Pierre Boulet
article
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. 2008
Accès au bibtex
BibTex
titre
An Hybrid algorithm for Mapping on NoC Architectures
auteur
Abou El Hassan Benyamina, Pierre Boulet
article
2nd International Conference on Metaheuristics and Nature Inspired Computing, META'08, 2008, Hammamet, Tunisia. 2008
Accès au bibtex
BibTex
titre
High Level Loop Transformations for Multidimensional Signal Processing Embedded Applications
auteur
Calin Glitia, Pierre Boulet
article
International Symposium on Systems, Architectures, MOdeling, and Simulation (SAMOS VIII), 2008, Samos, Greece. 2008
Accès au bibtex
BibTex
titre
Using An MDE Approach for Modeling of Interconnection networks
auteur
Imran Rafiq Quadri, Pierre Boulet, Samy Meftali, Jean-Luc Dekeyser
article
The International Symposium on Parallel Architectures, Algorithms and Networks Conference (ISPAN 08), 2008, Sydney, Australia. 2008
Accès au bibtex
BibTex

Rapport

titre
Component-based Models Going Generic : the MARTE Case-Study
auteur
César Olavo De Moura Filho, Anne Etien, Julien Taillard, Cedric Dumoulin, Frédéric Guyomarc'H
article
[Research Report] RR-6632, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00319159/file/RR-6632.pdf BibTex
titre
A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems
auteur
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu
article
[Research Report] RR-6589, INRIA. 2008, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00293909/file/RR-6589.pdf BibTex
titre
Formal Semantics of Array-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing
auteur
Pierre Boulet
article
[Research Report] RR-6467, INRIA. 2008, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00261178/file/RR-6467.pdf BibTex
titre
Model Driven Engineering Benefits for High Level Synthesis
auteur
Sébastien Le Beux, Philippe Marquet, Jean-Luc Dekeyser
article
[Research Report] RR-6615, INRIA. 2008, pp.46
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00311300/file/RR-6615.pdf BibTex
titre
A Model Driven Design Framework for High Performance Embedded Systems
auteur
Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Anne Etien, Rabie Ben Atitallah, Philippe Marquet, Jean-Luc Dekeyser
article
[Research Report] RR-6614, INRIA. 2008, pp.47
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00311115/file/RR-6614.pdf BibTex
titre
High Level Loop Transformations for Systematic Signal Processing Embedded Applications
auteur
Calin Glitia, Pierre Boulet
article
[Research Report] RR-6469, INRIA. 2008, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00262023/file/RR-6469.pdf BibTex

Thèse

titre
A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model
auteur
Yu Huafeng
article
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2008. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00497248/file/huafengyu_thesis.pdf BibTex

2007

Article dans des revues

titre
Multi-objective Mapping for NoC Architecture
auteur
Abou El Hassan Benyamina, Pierre Boulet
article
Journal of Digital Information Management, Digital Information Research Foundation, 2007, 5 (6), pp.378--384
Accès au bibtex
BibTex
titre
Polychronous design of embedded real-time applications
auteur
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
article
ACM Transaction Software Engineering and Methodology, ACM, 2007, 16 (2), <10.1145/1217295.1217298>
Accès au bibtex
BibTex
titre
Morphing de métamodèles
auteur
Cedric Dumoulin, Anne Etien
article
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, Ingénierie dirigée par les modèles, VOL 13/4 (1262-1137), pp.33-53. <10.3166/obj.13.4.33-53>
Accès au bibtex
BibTex
titre
Mise en oeuvre d'aspects fonctionnels réutilisables par adaptation.
auteur
Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt
article
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 11 (3), pp.105-118. <10.3166/objet.11.3.105-118>
Accès au bibtex
BibTex
titre
Programmation d'objets structurée en contextes
auteur
Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt
article
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13 (2-3), pp.11-42. <10.3166/obj.13.2-3.11-42>
Accès au bibtex
BibTex

Communication dans un congrès

titre
Ingénierie multi-modèles : Projection flexible d'assemblages de modèles
auteur
Alexis Muller, Olivier Caron, Bernard Carré, Gilles Vanwormhoudt, Salim Bouzitouna
article
Isabelle Borne, Xavier Crégut, Sophie Ebersold, Frédéric Migeon. Langages, Modèles, Objets (LMO'07), Mar 2007, Toulouse, France. Hermès Lavoisier, 13 (Hors Série), pp.167-182, 2007, RSTI
Accès au bibtex
BibTex
titre
Une approche modèle pour la génération de scénarios de tests : Application au système ERTMS/ETCS
auteur
Souha Kamoun, Pierre Boulet
article
Workshop International : Logistique and Transport 2007, 2007, Sousse, Tunisie. 2007
Accès au bibtex
BibTex
titre
Model-Based Testing of the ERTMS System with SysML and MARTE
auteur
Souha Kamoun, Pierre Boulet
article
MoDeVVa'07, 2007, Nashville, United States. 2007
Accès au bibtex
BibTex
titre
Repetitive Allocation Modeling with MARTE
auteur
Pierre Boulet, Philippe Marquet, Éric Piel, Julien Taillard
article
Forum on specification and design languages (FDL'07), 2007, Barcelona, Spain. 2007
Accès au bibtex
BibTex
titre
Multi-objective Mapping for NoC Architectures
auteur
Abou El Hassan Benyamina, Pierre Boulet
article
1st International Conference on Digital Communications and Computer Applications, 2007, Irbid, Jordan. pp.132-139, 2007
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
UML2 Profile for Modeling Controlled Data Parallel Applications
auteur
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet, Éric Rutten
article
Huss, Sorin Alexander. Advances in Design and Specification Languages for SoCs, Selected contributions from FDL'06, Springer, 2007, ChDL
Accès au bibtex
BibTex

Rapport

titre
Modeling of Topologies of Interconnection Networks based on Multidimensional Multiplicity
auteur
Imran Rafiq Quadri, Pierre Boulet, Jean-Luc Dekeyser
article
[Research Report] RR-6201, INRIA. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00149527/file/RR-6201.pdf BibTex
titre
Towards a Unified Notation to Represent Model Transformation
auteur
Anne Etien, Cedric Dumoulin, Emmanuel Renaux
article
[Research Report] RR-6187, INRIA. 2007, pp.14
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00145204/file/RR.pdf BibTex
titre
Model Transformations from a Data Parallel Formalism towards Synchronous Languages
auteur
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser
article
[Research Report] RR-6291, INRIA. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00172302/file/RR-6291.pdf BibTex
titre
Gaspard2 UML profile documentation
auteur
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
article
[Technical Report] RT-0342, INRIA. 2007, pp.45
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00171137/file/gaspard-profile.pdf BibTex
titre
Array-OL Revisited, Multidimensional Intensive Signal Processing Specification
auteur
Pierre Boulet
article
[Research Report] RR-6113, INRIA. 2007, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00128840/file/RR-6113v2.pdf BibTex

Thèse

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
auteur
Sébastien Le Beux
article
Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00322195/file/Lebe07phd.pdf BibTex

2006

Article dans des revues

titre
Synchronous design of avionic applications based on model refinements
auteur
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic
article
Journal of Embedded Computing (IOS Press), IOS Press, 2006, 2 (3-4), pp.273-289
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00541523/file/jec05.pdf BibTex

Communication dans un congrès

titre
Experimenting a Modeling Approach for Designing Organization's Strategies in the Context of Strategic Alignment
auteur
Laure-Hélène Thevenet, Camille Salinesi, Anne Etien, Ines Gam, Menel Lassoued
article
Australian Workshop on Requirements Engineering (AWRE), Dec 2006, Adelaide, Australia. pp.1, 2006
Accès au texte intégral et bibtex
https://halshs.archives-ouvertes.fr/halshs-00176319/file/Paper_L_Thevenet.pdf BibTex
titre
Polychronous mode automata
auteur
Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié
article
EMSOFT '06, Oct 2006, Seoul, South Korea. ACM Press, pp.83-92, 2006, <10.1145/1176887.1176900>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00541469/file/emsoft06.pdf BibTex
titre
Vers des transformations d'applications à parallélisme de données en équations synchrones
auteur
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Pierre Boulet, Jean-Luc Dekeyser
article
9ème édition de SYMPosium en Architectures nouvelles de machines, Oct 2006, Perpignan, France, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00124125/file/yu_sympa06.pdf BibTex
titre
FPGA Implementation of Embedded Cruise Control and Anti-Collision Radar
auteur
Sébastien Le Beux, Philippe Marquet, Ouassila Labbani, Jean-Luc Dekeyser
article
EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, Sep 2006, Dubrovnik, Croatia, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00079057/file/dsd06.pdf BibTex
titre
Hardware/Software Exploration for an Anti-collision Radar System
auteur
Sébastien Le Beux, Vincent Gagné, El Mostpaha Aboulhamid, Philippe Marquet, Jean-Luc Dekeyser
article
Midwest Symposium on Circuits and Systems, Aug 2006, San Juan/ Puerto Rico, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00079054/file/MWCAS06.pdf BibTex
titre
A domain-specific language for task handlers generation, applying discrete controller synthesis
auteur
Gwenaël Delaval, Éric Rutten
article
ACM Symposium on Applied Computing, Apr 2006, Dijon/France, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000865/file/article-nemo.pdf BibTex
titre
Toward Static Analysis of SIGNAL Programs using Interval Techniques
auteur
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic
article
Synchronous Languages, Applications, and Programming (SLAP 2006), Mar 2006, Vienna, Austria. pp.SLAP 2006, 2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00544123/file/slap06_interv.pdf BibTex
titre
UML2 Profile for Modeling Controlled Data Parallel Applications
auteur
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet, Éric Rutten
article
Forum on specification and Design Languages (FDL'06), 2006, Darmstadt, Germany. 2006
Accès au bibtex
BibTex
titre
Synchronous Modeling of Data-Intensive Applications
auteur
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Pierre Boulet, Jean-Luc Dekeyser
article
International Open Workshop on Synchronous Programming (Synchron 2006), 2006, Alpe d'Huez, France. 2006
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Model Driven Engineering for System-on-Chip Design
auteur
Pierre Boulet, Cédric Dumoulin, Antoine Honoré
article
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
BibTex
titre
Towards Distributed Process Networks with CORBA
auteur
Abdelkader Amar, Pierre Boulet, Jean-Luc Dekeyser
article
Frédéric Desprez. Algorithms and Tools for Parallel Computing On Heterogeneous Clusters, Nova Science Publishers, Inc, 2006
Accès au bibtex
BibTex

Rapport

titre
Synchronous Modeling of Data Intensive Applications
auteur
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser
article
[Research Report] RR-5876, INRIA. 2006, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001216/file/gamatie.pdf BibTex
titre
FPGA Configuration of Intensive Multimedia Processing Tasks Modeled in UML
auteur
Sébastien Le Beux, Jean-Luc Dekeyser, Philippe Marquet
article
[Research Report] RR-5810, INRIA. 2006, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070214/file/RR-5810.pdf BibTex
titre
Separating Control and Data Flow: Methodology and Automotive System Case Study
auteur
Ouassila Labbani, Jean-Luc Dekeyser, Éric Rutten
article
[Research Report] RR-5832, INRIA. 2006, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070193/file/RR-5832.pdf BibTex
titre
Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach
auteur
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet, Éric Rutten
article
[Research Report] RR-5794, INRIA. 2006, pp.49
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070228/file/RR-5794.pdf BibTex
titre
Hardware/Software Exploration for an Anti-collision Radar System
auteur
Sébastien Le Beux, Vincent Gagné, El Mostapha Aboulhamid, Philippe Marquet, Jean-Luc Dekeyser
article
[Research Report] RR-5820, INRIA. 2006, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070205/file/RR-5820.pdf BibTex

2005

Article dans des revues

titre
Extracting a data flow analyser in constructive logic
auteur
David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu
article
Theoretical Computer Science, Elsevier, 2005, 342 (1)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00564611/file/extract-tcs.pdf BibTex

Communication dans un congrès

titre
Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach
auteur
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet, Éric Rutten
article
International Workshop MARTES: Modeling and Analysis of Real-Time and Embedded Systems, Oct 2005, Montego Bay, Jamaica, 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000911/file/Martes2C.pdf BibTex
titre
Mode-Automata based Methodology for Scade
auteur
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet
article
Hybrid Systems: Computation and Control (HSCC05), Mar 2005, Zurich, Switzerland, 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000912/file/hscc05.pdf BibTex
titre
Model Driven Engineering for Regular MPSoC Co-design
auteur
Pierre Boulet, Arnaud Cuccuru, Jean-Luc Dekeyser, Ashish Meena
article
ReCoSoC-05, 2005, Montpellier, France. 2005
Accès au bibtex
BibTex
titre
The case for Globally Irregular Locally Regular Algorithm Architecture Adequation
auteur
Pierre Boulet, Ashish Meena
article
Journées Francophones sur l'Adéquation Algorithme Architecture (JFAAA'05), 2005, Dijon, France. 2005
Accès au bibtex
BibTex
titre
Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies - A partial answer to the MARTE RFP
auteur
Arnaud Cuccuru, Jean-Luc Dekeyser, Philippe Marquet, Pierre Boulet
article
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, 2005
Accès au bibtex
BibTex
titre
Model Driven Engineering for SoC Co-Design
auteur
Jean-Luc Dekeyser, Pierre Boulet, Philippe Marquet, Samy Meftali
article
NEWCAS'05, 2005, Québec, Canada. 2005
Accès au bibtex
BibTex
titre
Why to do Without Model Driven Architecture in Embedded System Codesign?
auteur
Jean-Luc Dekeyser, Philippe Marquet, Samy Meftali, Cédric Dumoulin, Pierre Boulet, Smaïl Niar
article
The first annual IEEE BENELUX/DSP Valley Signal Processing Symposium, (SPS-DARTS 2005), 2005, Antwerp, Belgium. 2005
Accès au bibtex
BibTex
titre
Projection of the Array-OL Specification Language onto the Kahn Process Network Computation Model
auteur
Abdelkader Amar, Pierre Boulet, Philippe Dumont
article
International Symposium on Parallel Architectures, Algorithms, and Networks, 2005, Las Vegas, Nevada, United States. 2005
Accès au bibtex
BibTex
titre
Model Driven Scheduling Framework for Multiprocessor SoC Design
auteur
Ashish Meena, Pierre Boulet
article
Workshop on Scheduling for Parallel Computing (SPC 2005), 2005, Poznan, Poland. Springer-Verlag, 2005
Accès au bibtex
BibTex
titre
Traceability and Interoperability at Different Levels of Abstraction in Model Transformations
auteur
Lossan Bondé, Pierre Boulet, Jean-Luc Dekeyser
article
Forum on Specification and Design Languages, FDL'05, 2005, Lausanne, Switzerland. 2005
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Model Driven Architecture for Intensive Embedded Systems
auteur
Lossan Bondé, Pierre Boulet, Arnaud Cuccuru, Jean-Luc Dekeyser, Cédric Dumoulin, Philippe Marquet, Samy Meftali, Mickaël Samyn
article
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
BibTex

Direction d'ouvrage, Proceedings

titre
Modélisation des systèmes réactifs, Actes du Colloque Francophone MSR 05
auteur
Hassane Alla, Éric Rutten
article
Hermès, 2005
Accès au bibtex
BibTex
titre
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL'04
auteur
Pierre Boulet
article
Pierre Boulet. Kluwer Academic Publishers, pp.303, 2005, 0-387-26149-4. <10.1007/b136935>
Accès au bibtex
BibTex

Rapport

titre
A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis
auteur
Gwenaël Delaval, Éric Rutten
article
[Research Report] RR-5690, INRIA. 2005, pp.44
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000867/file/RR-5690.pdf BibTex
titre
Another Multidimensional Synchronous Dataflow: Simulating Array-OL in Ptolemy II
auteur
Philippe Dumont, Pierre Boulet
article
[Research Report] RR-5516, INRIA. 2005, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070490/file/RR-5516.pdf BibTex
titre
Projection of the Array-OL Specification Language onto the Kahn Process Network Computation Model
auteur
Abdelkader Amar, Pierre Boulet, Pierre Dumont
article
[Research Report] RR-5515, INRIA. 2005, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070491/file/RR-5515.pdf BibTex
titre
ARTiS, an Asymmetric Real-Time Scheduler for Linux on Multi-Processor Architectures
auteur
Éric Piel, Philippe Marquet, Julien Soula, Christophe Osuna, Jean-Luc Dekeyser
article
[Research Report] RR-5781, INRIA. 2005, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070240/file/RR-5781.pdf BibTex

2004

Communication dans un congrès

titre
Implementation of ARTiS, an Asymmetric Real-Time Extension of SMP Linux
auteur
Philippe Marquet, Éric Piel, Julien Soula, Jean-Luc Dekeyser
article
Sixth Realtime Linux Workshop, Nov 2004, Singapore, 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000140/file/paper.pdf BibTex
titre
An OCL formulation of UML2 template binding
auteur
Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt
article
7th International Conference on the Unified Modeling Language, Oct 2004, Lisbon, Portugal. Springer-Verlag, 3273, pp.27-40, 2004, Lecture notes in computer science. <10.1007/978-3-540-30187-5_3>
Accès au bibtex
BibTex
titre
An Example of Synchronous Design of Embedded Real-Time Systems based on IMA
auteur
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic
article
10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA 2004), Aug 2004, Gothenburg, Sweden. pp.RTCSA 2004, 2004
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00541790/file/rtcsa04.pdf BibTex
titre
A Behavioral Type Inference System for Compositional System-on-Chip Design
auteur
Jean-Pierre Talpin, David Berner, Sandeep Shukla, Paul Le Guernic, Abdoulaye Gamatié, R.K. Gupta
article
Fourth International Conference on Application of Concurrency to System Design (ACSD'04), Jun 2004, Hamilton, Ontario, Canada. pp.47-56, 2004, <10.1109/CSD.2004.1309115>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00542146/file/acsd04.pdf BibTex
titre
Regular Hardware Architecture Modeling with UML2
auteur
Arnaud Cuccuru, Pierre Boulet, Jean-Luc Dekeyser
article
FDL04, 2004, Lille, France. 2004
Accès au bibtex
BibTex
titre
Extracting a Data Flow Analyser in Constructive Logic
auteur
David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu
article
ESOP, 2004, Barcelona, Spain. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00564633/file/extractDataFlow-ESOP-nospringerlogo.pdf BibTex

Rapport

titre
UML2 as an ADL Hierarchichal Hardware Modeling
auteur
Arnaud Cuccuru, Philippe Marquet, Jean-Luc Dekeyser
article
[Research Report] RR-5166, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071423/file/RR-5166.pdf BibTex

2003

Article dans des revues

titre
Combining formal verification and conformance testing for validating reactive systems
auteur
Vlad Rusu
article
Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2003
Accès au bibtex
BibTex

Communication dans un congrès

titre
Synchronous modeling of avionics applications using the SIGNAL language
auteur
Abdoulaye Gamatié, Thierry Gautier
article
9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 2003, Toronto, Canada. pp.144-151, 2003, <10.1109/RTTAS.2003.1203046>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00541841/file/RTAS-03.pdf BibTex
titre
The SIGNAL Approach to the Design of System Architectures
auteur
Abdoulaye Gamatié, Thierry Gautier
article
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, 2003, <10.1109/ECBS.2003.1194786>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00541913/file/ecbs-03.pdf BibTex
titre
Réutilisation d'aspects fonctionnels : des vues aux composants
auteur
Alexis Muller, Olivier Caron, Bernard Carré, Gilles Vanwormhoudt
article
Langages et Modèles à Objets, Feb 2003, Vannes, France. Hermès Lavoisier, 9 (1-2), pp.241-255, 2003, RSTI
Accès au bibtex
BibTex
titre
Sophocles: Cyber-Enterprise for System-on-Chip Distributed Simulation -- Model Unification
auteur
Pierre Boulet, Jean-Luc Dekeyser, Cédric Dumoulin, Philippe Marquet, Philippe Kajfasz, Dominique Ragot
article
IFIP International Workshop on IP Based System-on-Chip Design, 2003, Grenoble, France. 2003
Accès au bibtex
BibTex
titre
MDA for SoC Design, Intensive Signal Processing Experiment
auteur
Cédric Dumoulin, Pierre Boulet, Jean-Luc Dekeyser, Philippe Marquet
article
FDL'03, 2003, Frankfurt, Germany. 2003
Accès au bibtex
BibTex
titre
MDA for SoC Embedded Design, Intensive Signal Processing Experiment
auteur
Pierre Boulet, Jean-Luc Dekeyser, Cédric Dumoulin, Philippe Marquet
article
SIVOES-MDA, 2003, San Francisco, United States. 2003
Accès au bibtex
BibTex
titre
Extending methods to express change requirements
auteur
Anne Etien, Rebecca Deneckere, Camille Salinesi
article
Engineering Methods to support information Systems Evolution (EMSISE'03), 2003, Geneva, Switzerland. pp.15, 2003
Accès au bibtex
BibTex
titre
A framework for supporting views in Component Oriented Information Systems
auteur
Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt
article
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, 2003, Lecture Notes in Computer Science. <10.1007/978-3-540-45242-3_16>
Accès au bibtex
BibTex

Rapport

titre
Distributed Process Networks Using Half FIFO Queues in CORBA
auteur
Abdelkader Amar, Pierre Boulet, Jean-Luc Dekeyser, Frans Theeuwen
article
[Research Report] RR-4765, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071821/file/RR-4765.pdf BibTex
titre
UML 2.0 Structure Diagram for Intensive Signal Processing Application Specification
auteur
Cedric Dumoulin, Pierre Boulet, Jean-Luc Dekeyser, Philippe Marquet
article
[Research Report] RR-4766, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071820/file/RR-4766.pdf BibTex
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
auteur
Chadi Ahmad Aljundi, Jean-Luc Dekeyser
article
[Rapport de recherche] RR-4880, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071703/file/RR-4880.pdf BibTex

2002

Article dans des revues

titre
Towards Distributed Process Networks with CORBA
auteur
Abdelkader Amar, Pierre Boulet, Jean-Luc Dekeyser
article
Parallel and Distributed Computing Practices, Nova Science, 2002, 5 (4)
Accès au bibtex
BibTex

Ouvrage (y compris édition critique et traduction)

titre
Automatic code-transformations, and architecture rafinement for application-specific multiprocessor
auteur
S. Meftali, F. Rousseau, F. Gharsalli, A. A. Jerraya
article
Kluwer Academic Publishers, pp.193-204, 2002
Accès au bibtex
BibTex

2001

Article dans des revues

titre
SPPoC: manipulation automatique de polyèdres pour la compilation
auteur
Pierre Boulet, Xavier Redon
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2001, 20 (8), pp.1019-1048
Accès au bibtex
BibTex

Communication dans un congrès

titre
Visual Data-parallel Programming for Signal Processing Applications
auteur
Pierre Boulet, Jean-Luc Dekeyser, Jean-Luc Levaire, Philippe Marquet, Julien Soula, Alain Demeure
article
9th Euromicro Workshop on Parallel and Distributed Processing, PDP 2001, 2001, Mantova, Italy. pp.105--112, 2001
Accès au bibtex
BibTex
titre
Assembling Dynamic Components for Metacomputing using CORBA
auteur
Abdelkader Amar, Pierre Boulet, Jean-Luc Dekeyser
article
Parallel Computing, 2001, Naples, Italy. Lecture Notes in Computer Science, 2001
Accès au bibtex
BibTex
titre
A Visual Development Environment for Meta-Computing Applications
auteur
Pierre Boulet, Jean-Luc Dekeyser, Florent Devin, Philippe Marquet
article
HCI International 2001, 9th Int'l Conf. on Human-Computer Interaction, 2001, New Orleans, Lousiana, United States. Lawrence Erlbaum Associates, Publishers, 2001
Accès au bibtex
BibTex

2000

Communication dans un congrès

titre
Parallélisation d'un code 3D Magnétostatique avec le Langage de Programmation High Performance Fortran
auteur
Emmanuel Cagniot, Jean-Luc Dekeyser, Pierre Boulet, Thomas Brandes, Francis Piriou, Georges Marques
article
Conférence Européenne sur les Méthodes Numériques en Éléctomagnétisme, NUMELEC'2000 (poster session), 2000, Poitiers, France. pp.184-185, 2000
Accès au bibtex
BibTex
titre
High Level Parallelization of a 3D Electromagnetic Simulation Code With Irregular Communication Patterns
auteur
Emmanuel Cagniot, Thomas Brandes, Jean-Luc Dekeyser, Francis Piriou, Pierre Boulet, Stéphane Clénet
article
4th International Meeting on Vector and Parallel Processing (VECPAR'2000), 2000, Porto, Portugal. Lecture Notes in Computer Science vol. 1470, pp.519--528, 2000
Accès au bibtex
BibTex
titre
Parallelization of 3D Magnetostatic Code Using High Performance Fortran
auteur
Emmanuel Cagniot, Thomas Brandes, Jean-Luc Dekeyser, Francis Piriou, Pierre Boulet, Georges Marques
article
International Conference on Parallel Computing in Electrical Engineering, PARELEC'2000, 2000, Trois-Rivières, Quebec, Canada. pp.181--185, 2000
Accès au bibtex
BibTex

1999

Communication dans un congrès

titre
Une approche à la SQL du traitement de données intensif dans Gaspard
auteur
Pierre Boulet, Jean-Luc Dekeyser, Alain Demeure, Florent Devin, Philippe Marquet
article
RenPar'11, Rencontres Francophones du Parallélisme des Architectures et des Systèmes, 1999, Rennes, France. 1999
Accès au bibtex
BibTex
titre
Parallelization of a Fortran 90 Program for Electromagnetic Problems
auteur
Emmanuel Cagniot, Thomas Brandes, Jean-Luc Dekeyser, Francis Piriou, Pierre Boulet, Stéphane Clénet, Yvonnick Le Menach, Georges Marques
article
3rd Annual HPF User Group Meeting, HUG'99, 1999, Redondo Beach, CA, United States. 1999
Accès au bibtex
BibTex

1998

Communication dans un congrès

titre
Communication Pre-evaluation in HPF
auteur
Pierre Boulet, Xavier Redon
article
Euro-Par'98, 1998, Southampton, United Kingdom. Lecture Notes in Computer Science, 1470, pp.263-272, 1998
Accès au bibtex
BibTex

Suivez Inria tout au long de son 50e anniversaire et au-delà !