Sites Inria

English version

Equipe de recherche DART

Publications de l'équipe DART

2016

Communication dans un congrès

titre
AFFORDe: Automatic Allocation and Floorplanning for SPMD Architecture
auteur
Wissem Chouchene, Rabie Ben Atitallah, Jean-Luc Dekeyser
article
MCSOC 2016 - 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Sep 2016, Lyon, France. 〈10.1109/MCSoC.2016.38〉
Accès au bibtex
BibTex

2014

Article dans une revue

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

Communication dans un congrès

titre
Minimizing a real-time task set through Task Clustering
auteur
Antoine Bertout, Julien Forget, Richard Olejnik
article
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. pp.23-31, 2014, 〈10.1145/2659787.2659820〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01073565/file/bertoutRTNS14.pdf BibTex
titre
MID: A MetaCASE Tool For A Better Reuse Of Visual Notations
auteur
Amine El Kouhen, Abdelouahed Gherbi, Cedric Dumoulin, Pierre Boulet, Sébastien Gerard
article
Daniel Amyot; Pau Fonseca i Casas; Gunter Mussbacher. 8th System Analysis and Modelling conference (SAM 2014), Sep 2014, Valencia, Spain. Springer, System Analysis and Modeling: Models and Reusability, 8769, pp.16-31, 2014, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-319-11743-0_2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01011899/file/SAM.pdf BibTex
titre
Using Crowd-sourcing to Improve the Semantic Transparency of Committee-Designed Languages
auteur
Amine El Kouhen, Abdelouahed Gherbi, Cedric Dumoulin
article
ITSLE @ 7th International Conference on Software Language Engineering (SLE), Sep 2014, Vasteras, Sweden. 2014, 〈http://www.sleconf.org/2014/ITSLE.html〉
Accès au bibtex
BibTex
titre
A heuristic to minimize the cardinality of a real-time task set by automated task clustering
auteur
Antoine Bertout, Julien Forget, Richard Olejnik
article
Proceedings of the 29th Annual ACM Symposium on Applied Computing (SAC 2014), Apr 2014, Gyeongju, South Korea. 2014, 〈10.1145/2554850.2554958〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01016182/file/bertoutSAC14.pdf BibTex

2013

Article dans une revue

titre
Test Harness on a Preconditioned Conjugate Gradient Solver on GPUs: An Efficiency Analysis
auteur
Antonio Wendell De Oliveira Rodrigues, Loïc Chevallier, Yvonnick Le Menach, Frédéric Guyomarch
article
IEEE Transactions on Magnetics, Institute of Electrical and Electronics Engineers, 2013, 49, pp.1729 - 1729. 〈10.1109/TMAG.2013.2243830〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01581063/file/06514785.pdf BibTex
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

Communication dans un congrès

titre
Minimizing the cardinality of a real-time task set by automated task clustering
auteur
Antoine Bertout, Julien Forget, Richard Olejnik
article
Proceedings of the 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013), Oct 2013, Sophia Antipolis, France. pp.9-12, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00874979/file/jrwrtc2013_paper_3.pdf BibTex
titre
A Component-Based Approach for Specifying Reusable Visual Languages
auteur
Amine El Kouhen, Sébastien Gerard, Cedric Dumoulin, Pierre Boulet
article
2013 IEEE Symposium on Visual Languages and Human-Centric Computing, Sep 2013, San José, CA, United States. IEEE, pp.135-138, 2013, 〈10.1109/VLHCC.2013.6645257〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00860909/file/VLHCC13.pdf BibTex
titre
A Component-Based Approach for Specifying DSML's Concrete Syntax
auteur
Amine El Kouhen, Cedric Dumoulin, Sébastien Gerard, Pierre Boulet
article
Heiko Kern; Juha-Pekka Tolvanen; Paolo Bottoni. 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. ACM, pp.3-11, 2013, 〈10.1145/2489820.2489822〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00829173/file/GMLD.pdf BibTex
titre
Dynamic Load Balancing Based on Applications Global States Monitoring
auteur
Eryk Laskowski, Marek Tudruj, Richard Olejnik, Damian Kopanski
article
IEEE. The 12th International Symposium on Parallel and Distributed Computing, Jun 2013, Bucharest, Romania. IEEE, pp.IEEE Proceedings, 2013, IEEE Conference Publication
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00833477/file/ISPDC_2013.pdf BibTex
titre
Extremal Optimization Applied to Task Scheduling of Distributed Java Programs
auteur
Richard Olejnik, Ivanoe De Falco, Eryk Laskowski, Umberto Scafuri, Ernesto Tarantino, Marek Tudruj
article
Springer-Verlag Berlin Heidelberg. EvoApplications 2011, Apr 2013, Turin, Italy. Springer-Verlag Berlin Heidelberg, 6625 (2), p. 61-70, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-20520-0_7〉
Accès au bibtex
BibTex
titre
End-to-end latency computation in a multi-periodic design
auteur
Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget
article
28th Symposium On Applied Computing (SAC'13), Apr 2013, Coimbra, Portugal. pp.1682--1687, 2013
Accès au bibtex
BibTex
titre
Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique
auteur
Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti
article
Approches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France. 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00830675/file/main-paper9-AFADL13.pdf BibTex
titre
Specifez vos éditeurs de diagrammes à l'aide de composants réutilisables
auteur
Amine El Kouhen, Cedric Dumoulin, Sébastien Gerard, Pierre Boulet
article
2ème Conférence en Ingénierie Logiciele (CIEL'13), Apr 2013, Nancy, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00801235/file/CIEL.pdf BibTex
titre
Rank: a tool to check program termination and computational complexity
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
Accès au bibtex
BibTex
titre
Diagrams Editors Specification Using Reusable Components
auteur
Amine El Kouhen
article
SciTePress. MODELSWARD 2013 : International Conference on Model-Driven Engineering and Software Development, Feb 2013, Barcelona, Spain. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00999708/file/Diagrams_Editors_Specification_Using_Reusable_Components.pdf BibTex

Rapport

titre
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction
auteur
Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00780521/file/Sync2Smt_RR_FeautrierGamatieGonnordV2.pdf BibTex
titre
Automated runnable to task mapping
auteur
Antoine Bertout, Julien Forget, Richard Olejnik
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00827798/file/automated_runnable_to_task_mapping.pdf BibTex
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
titre
Abstract Acceleration in Linear relation analysis (extended version)
auteur
Laure Gonnord, Peter Schrammel
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00787212/file/RR_LIFL_soushalV1.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
titre
Spécification d'un Métamodèle pour l'adaptation des outils UML
auteur
Amine El Kouhen
article
Génie logiciel [cs.SE]. 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-00997773/file/These_ELKOUHEN_Amine.pdf BibTex

2012

Article dans une revue

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
A Distributed Program Global Execution Control Environment Applied to Load balancing
auteur
Janusz Borkowski, Damian Kopanski, Eryk Laskowski, Richard Olejnik, Marek Tudruj
article
Scalable Computing : Practice and Experience, West University of Timisoara, 2012, 13 (3), pp.ISSN 1895-1767
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00833488/file/797-442-1-PB.pdf BibTex
titre
An MDE Approach for Automatic Code Generation from UML/MARTE to OpenCL
auteur
De Oliveira Rodrigues Antonio Wendell, Frédéric Guyomarc'H, Jean-Luc Dekeyser
article
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2012, 15 (1), pp.46-55. 〈10.1109/MCSE.2012.35〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01582200/file/06171148.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
IEEE Transactions on Magnetics, Institute of Electrical and Electronics Engineers, 2012, 48 (2), pp.831 - 834. 〈10.1109/TMAG.2011.2179527〉
Accès au bibtex
BibTex
titre
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction
auteur
Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord
article
CSI Journal of Computing, Computer Society of India, 2012, 1 (4), pp.8:86--8:99
Accès au bibtex
BibTex
titre
Abstract Clock-Based Design of a JPEG Encoder
auteur
A. Abdallah, Abdoulaye Gamatié, Rabie Ben Atitallah, J.-L. Dekeyser
article
IEEE Embedded Systems Letters, Institute of Electrical and Electronics Engineers, 2012, 4 (2), pp.29 -32. 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6158576〉. 〈10.1109/LES.2012.2189195〉
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
A synchronous language with partial delay specification for real-time systems programming
auteur
Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti
article
10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.223-238, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00800975/file/wyss12-APLAS.pdf 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
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
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
SToP : Scalable Termination analysis of (C) Programs (tool presentation)
auteur
Guillaume Andrieu, Christophe Alias, Laure Gonnord
article
Tapas 2012, Sep 2012, Deauville, France. 2012
Accès au bibtex
BibTex
titre
Transformation-based Exploration of Data-Parallel Architecture for Customizable Hardware: A JPEG Encoder Case Study
auteur
Rosilde Corvino, Erkan Diken, Abdoulaye Gamatié, Lech Jozwiak
article
Euromicro Conference on Digital System Design (DSD 2012), Sep 2012, Cesme, Izmir, Turkey. IEEE, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00758161/file/rcorvino2012dsd.pdf BibTex
titre
Design Space Exploration in Application-Specific Hardware Synthesis for Multiple Communicating Nested Loops
auteur
Rosilde Corvino, Abdoulaye Gamatié, Marc Geilen, Lech Jozwiak
article
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XII), Jul 2012, Samos, Greece. IEEE, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00758159/file/rcorvino2012samos.pdf BibTex
titre
Abstract Clocks for the DSE of Data-Intensive Applications on MPSoCs
auteur
Rosilde Corvino, Abdoulaye Gamatié
article
10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA), Jul 2012, Leganés, Madrid, Spain. IEEE, pp.729 -736, 2012, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=06280367〉
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
CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs
auteur
Xin An, Sarra Boumedien, Abdoulaye Gamatié, Eric Rutten
article
Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems, May 2012, St. Goar, Germany. ACM, pp.3--12, 2012, 〈http://delivery.acm.org/10.1145/2240000/2236577/p3-an.pdf?ip=134.206.11.177&acc=ACTIVE%20SERVICE&CFID=213116942&CFTOKEN=89241860&__acm__=1354100462_fd58c65634d444dc247f9b1316455eb6〉. 〈10.1145/2236576.2236577〉
Accès au bibtex
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
An Optimized Compilation of UML State Machines
auteur
Asma Charfi Smaoui, Chokri Mraidha, Pierre Boulet
article
ISORC - 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Apr 2012, Shenzhen, China. 2012
Accès au bibtex
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
titre
Design of streaming applications on MPSoCs using abstract clocks
auteur
Abdoulaye Gamatié
article
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, Mar 2012, Dresden, France. pp.763-768, 2012, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6176571〉
Accès au bibtex
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

Rapport

titre
Modular termination of C programs
auteur
Guillaume Andrieu, Christophe Alias, Laure Gonnord
article
[Research Report] RR-8166, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760917/file/RR-8166.pdf BibTex
titre
CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs
auteur
Xin An, Sarra Boumedien, Abdoulaye Gamatié, Eric Rutten
article
[Research Report] RR-7918, INRIA. 2012, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00683822/file/RR-7918.pdf BibTex
titre
Evaluation of Modeling Tools Adaptation
auteur
Amine El Kouhen, Cedric Dumoulin, Sébastien Gérard, Pierre Boulet
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00706701/file/Evaluation_of_Modeling_Tools_Adaptation.pdf BibTex

2011

Article dans une revue

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

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. 〈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
Using Bounded Model Checking to Focus Fixpoint Iterations
auteur
David Monniaux, Laure Gonnord
article
Eran Yahav. Static analysis symposium (SAS), Sep 2011, Venezia, Italy. Springer, 6887, pp.369-385, 2011, Lecture notes in Computer Science. 〈10.1007/978-3-642-23702-7_27〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00600087/file/Monniaux_Gonnord_SAS2011.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
Safe Design of Dynamically Reconfigurable Embedded Systems
auteur
Xin An, Abdoulaye Gamatié, Eric Rutten
article
2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED2011), Mar 2011, France. pp.00 -- 00, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00903734/file/mbed.pdf 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
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
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. pp.1-8, 2011, 〈10.1109/ReCoSoC.2011.5981497〉
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

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
Papyrus: A UML2 Tool for Domain-Specific Language Modeling Model-Based Engineering of Embedded Real-Time Systems
auteur
Sébastien Gérard, Cedric Dumoulin, Patrick Tessier, Bran Selic
article
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. Model-Based Engineering of Embedded Real-Time Systems, 6100, Springer Berlin Heidelberg, pp.361-368, 2011, Lecture Notes in Computer Science, 〈10.1007/978-3-642-16277-0_19〉
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
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
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
Ontology for Contract Negotiations in an Agent-based Grid Resource Management System
auteur
Michal Drozdowicz, Katarzyna Wasielewska, Maria Ganzha, Marcin Paprzycki, Naoual Attaoui, Ivan Lirkov, Richard Olejnik, Dana Petcu, C. Badica
article
P. Iványi, B.H.V. Topping. Trends in Parallel, Distributed, Grid and Cloud Computing for Engineering, Saxe-Coburg Publications, Stirlingshire, UK, pp.335-354, 2011, Computational & Technology Resources, 〈10.4203/csets.27.15〉
Accès au bibtex
BibTex
titre
Negotiations in an Agent-based Grid Resource Brokering System
auteur
Katarzyna Wasielewska, Maria Ganzha, Marcin Paprzycki, Michal Drozdowicz, Dana Petcu, C. Badica, Naoual Attaoui, Ivan Lirkov, Richard Olejnik
article
P. Iványi, B.H.V. Topping. "Negotiations in an Agent-based Grid Resource Brokering System, Saxe-Coburg Publications, Stirlingshire, UK, pp.355-374, 2011, Computational & Technology Resources, 〈10.4203/csets.27.16〉
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

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

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
Extremal Optimization Approach Applied to Initial Mapping of Distributed Java Programs
auteur
Ivanoe De Falco, Eryk Laskowski, Richard Olejnik, Umberto Scafuri, Ernesto Tarantino, Marek Tudruj
article
Lecture notes in computer science, springer, 2010, Euro-Par 2010 - Parallel Processing, I, pp.180-191. 〈10.1007/978-3-642-15277-1_18〉
Accès au bibtex
BibTex
titre
Parallel Direct Solver for the Finite Integration Technique in Electrokinetic Problems
auteur
Abdellatif Tinzefte, Yvonnick Le Menach, Julien Korecki, Frédéric Guyomarch, Francis Piriou
article
IEEE Transactions on Magnetics, Institute of Electrical and Electronics Engineers, 2010, 46, pp.3269 - 3272. 〈10.1109/TMAG.2010.2045886〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01581077/file/05512847.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
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
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
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
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
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
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
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
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
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
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
auteur
Paul Feautrier, Laure Gonnord
article
Tools for Automatic Program AnalysiS, Sep 2010, Perpignan, France. 2010, 〈10.1016/j.entcs.2010.09.014〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00523320/file/tapas10_FeautrierGonnord.authorversion.pdf BibTex
titre
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
Static Analysis Symposium, Sep 2010, Perpignan, France. 2010, 〈10.1007/978-3-642-15769-1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00523298/file/rankingCompsys_sas2010.pdf 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
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
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
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
Distributed Java Programs Initial Mapping Based on Extremal Optimization
auteur
Richard Olejnik, Ivanoe De Falco, Eryk Laskowski, Umberto Scafuri, Ernesto Tarantino, Marek Tudruj
article
Springer-Verlag Berlin Heidelberg. Applied Parallel and Scientific Computing - 10th International Conference, PARA 2010 (EUROPAR)- Revised Selected Papers, Part I, Jun 2010, Reykjavik, Iceland. Springer-Verlag Berlin Heidelberg, 6271 (1), pp. 180-191, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-28151-8_8〉
Accès au bibtex
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
Utilization of Modified CoreGRID Ontology in an Agent-based Grid Resource Management System
auteur
Michal Drozdowicz, Maria Ganzha, Ivan Lirkov, Richard Olejnik, Katarzyna Wasielewska, Marcin Paprzycki, Naoual Attaoui
article
ISCA. Proceedings of the ISCA 25th International Conference on Computers and Their Applications, CATA 2010, Mar 2010, Honolulu, Hawaii, United States. ISCA, pp 240-245, 2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00834018/file/CATA_2_2010.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. 〈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
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
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

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

Autre publication

titre
Open-PEOPLE ANR Project, Open Power and Energy Optimization Platform and Estimator
auteur
Daniel Chillet, Eric Senn, Olivier Zendra, S. Niar, Cécile Belleudy, V. Tissier, C. Samoyeau
article
Network of Excellence on High Performance and Embedded Architecture and Compilation HiPEAC Newsle.. 2010, vol.24, p.16
Accès au bibtex
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 une revue

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
Speeding Up SSFEM Computation Using Kronecker Tensor Products
auteur
R Gaignaire, F Guyomarc'H, O Moreau, S Clénet, B Sudret
article
IEEE Transactions on Magnetics, Institute of Electrical and Electronics Engineers, 2009, 45, pp.1432 - 1435. 〈10.1109/TMAG.2009.2012662〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01582197/file/04787432.pdf 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
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
Load Balancing Metrics for the SOAJA Framework
auteur
Richard Olejnik, Iyad Alshabani, Bernard Toursel, Eryk Laskowski, Marek Tudruj
article
Scientific International Journal for Parallel and Distributed Computing, Open Journal Systems, 2009, Scalable Computing: Practice and Experience, 10 (4), pp.1-10. 〈http://www.scpe.org/index.php/scpe/article/view/632〉
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
Information Flow and Mirroring in an Agent-Based Grid Resource Brokering System
auteur
Richard Olejnik, Michal Drozdowicz, Maria Ganzha, Ivan Lirkov, Marcin Paprzycki
article
Springer Verlag, Heidelberg. Large-Scale Scientific Computing, 7th International Conference, LSSC 2009, Jun 2009, Sozopol, Bulgaria. Springer Verlag, Heidelberg, 5910, pp 475-482, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-12535-5_56〉
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

Chapitre d'ouvrage

titre
Resource Management in Grids: Overview and a discussion of a possible approach for an Agent-Based Middleware
auteur
M. Senobari, Michal Drozdowicz, Maria Ganzha, Marcin Paprzycki, Richard Olejnik, Ivan Lirkov, P. Telegin, N.M. Charkari
article
Saxe-Coburg Publications, Stirlingshire, UK. PARALLEL, DISTRIBUTED AND GRID COMPUTING FOR ENGINEERING, Saxe-Coburg Publications, Stirlingshire, UK, pp 141-164, 2009, Computational Science, Engineering & Technology Series, ISSN 1759-3158. 〈10.4203/csets.21.8〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00834409/file/middleware-agent-marcin-richard.pdf BibTex
titre
Ontologies, Agents and the Grid: An Overview
auteur
Michal Drozdowicz, Maria Ganzha, Marcin Paprzycki, Richard Olejnik, Ivan Lirkov, P. Telegin, M. Senobari
article
Saxe-Coburg Publications, Stirlingshire, UK. Parallel, Distributed and Grid Computing for Engineering, Saxe-Coburg Publications, Stirlingshire, UK, pp 117-140, 2009, Computational & Technology Resources, ISSN 1759-3158. 〈10.4203/csets.21.7〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00834412/file/otonlogies-marcin-richard.pdf 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
), Toulo.. 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 une revue

titre
An autoadaptative limited memory Broyden’s method to solve systems of nonlinear equations
auteur
Mohammed Ziani, Frédéric Guyomarc'H
article
Applied Mathematics and Computation, Elsevier, 2008, 205 (1), 〈10.1016/j.amc.2008.06.047〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01580904/file/AutoBroyden.pdf BibTex
titre
Webservices oriented data mining in knowledge architecture.
auteur
Richard Olejnik, Teodor-Florin Fortis, Bernard Toursel
article
Future Generation Computer Systems, Elsevier, 2008, 25 (4), pp 436-443. 〈10.1016/j.future.2008.09.011〉
Accès au bibtex
BibTex
titre
Numerical Solution of a Pile Problem
auteur
Rajae Aboulaich, Frédéric Guyomarc'H, Mohammed Ziani
article
International Journal of Applied Mathematics, 2008, 21 (3), pp.395-407
Accès au bibtex
BibTex
titre
Data Mining on Desktop Grid Platforms
auteur
Valerie Fiolet, Richard Olejnik, Eryk Laskowski, Łukasz Masko, Marek Tudruj, Bernard Toursel
article
Lecture notes in computer science, springer, 2008, Parallel Processing and Applied Mathematics, 4967, pp.912-921. 〈10.1007/978-3-540-68111-3_97〉
Accès au bibtex
BibTex
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
Speeding up in SSFEM computation using Kronecker tensor products
auteur
Roman Gaignaire, Frédéric Guyomarc'H, O Moreau, Stéphane Clénet, B Sudret
article
13th Biennial IEEE Conference on Electromagnetic Field Computation (CEFC), May 2008, Athens, Greece
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01581090/file/CEFC2008_SSFEM.pdf 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
A Graphical Framework for High Performance Computing Using An MDE Approach
auteur
Julien Taillard, Frédéric Guyomarc ', Jean-Luc Dekeyser
article
16th Euromicro International Conference on Parallel, Distributed and network-based Processing, Feb 2008, Toulouse, France. pp.165 - 173, 2008, 〈http://www.pdp2008.org/〉. 〈10.1109/PDP.2008.74〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01580911/file/pdp2008.pdf 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 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
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
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
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
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

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

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

Communication dans un congrès

titre
Papyrus: A UML2 Tool for Domain-Specific Language Modeling.
auteur
Sébastien Gérard, Cedric Dumoulin, Patrick Tessier, Bran Selic
article
International Dagstuhl Workshop, Nov 2007, Dagstuhl, Germany. 2007
Accès au bibtex
BibTex
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
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
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

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

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

Chapitre d'ouvrage

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

Autre publication

titre
Motifs pour la métamodélisation : Relation, relation Dirigée, association
auteur
Cedric Dumoulin, Cucurru Arnaud, Antoine Honoré
article
Communication dans Workshop MP2006, 2éme journées sur l'Ingénierie Dirigée par les Modèles. 2006
Accès au bibtex
BibTex

Rapport

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

2005

Article dans une revue

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
Marte: A new profile rfp for the modeling and analysis of real-time embedded systems
auteur
Cedric Dumoulin, Laurent Rioux, Thierry Saunier, Sébastien Gérard, Ansgar Radermacher, Robert De Simone, Thierry Gautier, Yves Sorel, Julien Forget, Jean-Luc Dekeyser, Arnaud Cuccuru, Charles André
article
Dac Workshop - UML-SoC05, Jun 2005, Anaheim CA, United States. 2005
Accès au bibtex
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
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
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
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
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
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 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, Dossier

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
The TopModL Initiative
auteur
Pierre-Alain Muller, Cédric Dumoulin, Frédéric Fondement, Michel Hassenforder
article
3rd Workshop in Software Model Engineering (WISME @ UML 2004), Oct 2004, Lisbon, Portugal. 3297, pp.242-245, 2004, Lecture Notes in Computer Science. 〈10.1007/978-3-540-31797-5_25〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00943566/file/MullerDFH_04_WISME.pdf BibTex
titre
Metamodels and MDA Transformations for Embedded Systems.
auteur
Lossan Bonde, Cedric Dumoulin, Jean-Luc Dekeyser
article
Forum on specification and Design Languages, FDL 2004, Sep 2004, Lille, France. 2004, 〈10.1007/0-387-26151-6_8〉
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
MDA for SoC Design, UML to SystemC Experiment
auteur
Cedric Dumoulin, P. Boulet, A. Cuccuru, J. L Dekeyser, P. Marquet, M. Samyn, R. D Simone, G. Siegel, T. Saunier
article
UML-SOC'04-International Workshop on UML for SoC Design, Jan 2004, unknown, United States. 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
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

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

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
Interoperability between Design and Simulation tools using Model Transformation techniques
auteur
Cedric Dumoulin, Jean-Luc Dekeyser, Boris Kokoszko, S Pulon, Gerard Cristau
article
FDL'03, Sep 2003, frankfurt, France. 2003, Forum on specification and Design Languages
Accès au bibtex
BibTex
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
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
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
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

Ouvrage (y compris édition critique et traduction)

titre
Struts in action
auteur
Ted Husted, Cedric Dumoulin, George Franciscus, David Winterfeld
article
Manning, pp.630, 2003, 9781930110502. 〈https://www.manning.com/books/struts-in-action〉
Accès au bibtex
BibTex

Rapport

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

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

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

1999

Communication dans un congrès

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

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

1995

Communication dans un congrès

titre
Dream: A distributed shared memory model using PVM
auteur
Cedric Dumoulin
article
EuroPVM User Group Meeting, Jan 1995, Lyon, France. 1995
Accès au bibtex
BibTex

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