Publications

Publications HAL du labo/EPI dreampal

2018

Journal articles

titre
Mathematical programming models for scheduling in a CPU/FPGA architecture with heterogeneous communication delays
auteur
Abdessamad Ait El Cadi, Omar Souissi, Rabie Ben Atitallah, Nicolas Belanger, Abdelhakim Artiba
article
Journal of Intelligent Manufacturing, 2018, pp.1-12. ⟨10.1007/s10845-015-1075-z⟩
Accès au bibtex
BibTex
titre
A modeling front-end for seamless design and generation of context-aware Dynamically Reconfigurable Systems-on-Chip
auteur
Gilberto Ochoa-Ruiz, Pamela Wattebled, Maamar Touiza, Florent de Lamotte, El-Bay Bourennane, Samy Meftali, Jean-Luc Dekeyser, Jean-Philippe Diguet
article
Journal of Parallel and Distributed Computing, 2018, 112, pp.1-19. ⟨10.1016/j.jpdc.2017.09.011⟩
Accès au bibtex
BibTex

2017

Journal articles

titre
A Generic Framework for Symbolic Execution: a Coinductive Approach
auteur
Dorel Lucanu, Vlad Rusu, Andrei Arusoaie
article
Journal of Symbolic Computation, 2017, 80, pp.125-163. ⟨10.1016/j.jsc.2016.07.012⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01238696/file/JSC-PAS_2013_submission_10.pdf BibTex

Conference papers

titre
Proving Partial Correctness Beyond Programs
auteur
Vlad Rusu
article
FROM 2017 – Working Formal Methods Symposium, Jul 2017, Bucharest, Romania. pp.1-3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01627555/file/from2017.pdf BibTex

Theses

titre
Vers une reconfiguration dynamique partielle parallèle par prise en compte de la régularité des architectures FPGA-Xilinx
auteur
Wissem Chouchene
article
Systèmes embarqués. Université de Lille 1, Sciences et Technologies, 2017. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01824169/file/50376-2017-Chouchene.pdf BibTex

Preprints, Working Papers, …

titre
Deductive Verification of a Hypervisor Model
auteur
Vlad Rusu, Gilles Grimaud, Michaël Hauspie, François Serman
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01614509/file/paper.pdf BibTex

2016

Journal articles

titre
Design exploration of efficient implementation on SoC heterogeneous platform: HEVC intra prediction application
auteur
Manel Kammoun, Ahmed Ben Atitallah, Rabie Ben Atitallah, Nouri Masmoudi
article
International Journal of Circuit Theory and Applications, 2016, 45 (12), pp.2243-2259. ⟨10.1002/cta.2308⟩
Accès au bibtex
BibTex
titre
A Language-Independent Proof System for Full Program Equivalence
auteur
Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu
article
Formal Aspects of Computing, 2016, 28 (3), pp.469–497. ⟨10.1007/s00165-016-0361-7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01245528/file/icfem-postproceedings-final-version.pdf BibTex
titre
Circuit Merging versus Dynamic Partial Reconfiguration -The HoMade Implementation
auteur
Jean Perier, Wissem Chouchene, Jean-Luc Dekeyser
article
i-manager’s Journal on Embedded Systems(JES), 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01245800/file/Circuit%20Merging%20versus%20Dynamic%20Partial%20Reconfiguration%20-%20The%20HoMade%20Implementation.pdf BibTex
titre
Language Definitions as Rewrite Theories
auteur
Vlad Rusu, Dorel Lucanu, Traian-Florin Şerbănuţă, Andrei Arusoaie, Andrei Ştefănescu, Grigore Roşu
article
Journal of Logical and Algebraic Methods in Programming, 2016, 85 (1), pp.98–120. ⟨10.1016/j.jlamp.2015.09.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01186005/file/wrla-jlamp.pdf BibTex

Conference papers

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
titre
Proving Reachability-Logic Formulas Incrementally
auteur
Vlad Rusu, Andrei Arusoaie
article
11th International Workshop on Rewriting Logic and its Applications, Apr 2016, Eindhoven, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01282379/file/paper.pdf BibTex
titre
SCAC-Net: Reconfigurable Interconnection Network in SCAC Massively parallel SoC
auteur
Hana Krichene, Mouna Baklouti, Mohamed Abid, Philippe Marquet, Jean-Luc Dekeyser, Samy Meftali
article
PDP 2016 – 24th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2016, Héraklion, Greece. pp.759-762, ⟨10.1109/PDP.2016.94⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01246680/file/PDP2016.pdf BibTex

2015

Journal articles

titre
G-MPSoC: Generic Massively Parallel Architecture on FPGA
auteur
Hana Krichene, Mouna Baklouti, Mohamed Abid, Philippe Marquet, Jean-Luc Dekeyser
article
WSEAS Transactions on circuits and systems, 2015, 14
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01246675/file/b025801-511.pdf BibTex
titre
Symbolic execution based on language transformation
auteur
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
article
Computer Languages, Systems and Structures, 2015, pp.42. ⟨10.1016/j.cl.2015.08.004⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01186008/file/clss2015.pdf BibTex
titre
Program Equivalence by Circular Reasoning
auteur
Dorel Lucanu, Vlad Rusu
article
Formal Aspects of Computing, 2015, 27 (4), pp.701-726. ⟨10.1007/s00165-014-0319-6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01065830/file/ifm-faoc.pdf BibTex
titre
FPGA-based many-core System-on-Chip design
auteur
Mouna Baklouti, Philippe Marquet, Jean-Luc Dekeyser, Mohamed Abid
article
Microprocessors and Microsystems: Embedded Hardware Design , 2015, pp.38. ⟨10.1016/j.micpro.2015.03.007⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01144977/file/elsarticle-template-num.pdf BibTex

Conference papers

titre
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
auteur
Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak
article
Logic, Rewriting, and Concurrency – Festschrift Symposium in Honor of José Meseguer, Sep 2015, Urbana Champaign, United States. ⟨10.1007/978-3-319-23165-5_21⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01158941/file/festchrift.pdf BibTex
titre
Using hardware parallelism for reducing power consumption in video streaming applications
auteur
Karim Mohamed Abedallah Ali, Rabie Ben Atitallah, Nizar Fakhfakh, Jean-Luc Dekeyser
article
10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Jun 2015, Bremen, Germany. ⟨10.1109/ReCoSoC.2015.7238104⟩
Accès au bibtex
BibTex
titre
Adopting New Learning Strategies for Computer Architecture in Higher Education Case Study: Building the S3 Microprocessor in 24 Hours
auteur
Jean-Luc Dekeyser, Ahmad Shadi Aljendi
article
Workshop on Computer Architecture Education held in conjunction with the 42nd International Symposium on Computer Architeture, Jun 2015, Portland, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01152144/file/dekeyser_aljendi_revised%2004_23-final.pdf BibTex
titre
Massively Parallel Dynamically Reconfigurable Multi-FPGA Computing System
auteur
Venkatasubramanian Viswanathan, Rabie Ben Atitallah, Jean-Luc Dekeyser
article
IEEE 23rd Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2015 , May 2015, Vancouver, BC, Canada. ⟨10.1109/FCCM.2015.13⟩
Accès au bibtex
BibTex
titre
A Parallel And Scalable Multi-FPGA based Architecture for High Performance Applications
auteur
Venkatasubramanian Viswanathan, Rabie Ben Atitallah, Jean-Luc Dekeyser, Benjamin Nakache, Maurice Nakache
article
The 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA ’15 , Feb 2015, Monterey, California, United States. ⟨10.1145/2684746.2689115⟩
Accès au bibtex
BibTex
titre
A Theoretical Foundation for Programming Languages Aggregation
auteur
Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu
article
22nd International Workshop on Algebraic Development Techniques, 2015, Sinaia, Romania
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01076641/file/wadtlongfinal.pdf BibTex

Patents

titre
Système de Simulation et de Test
auteur
George Afonso, Wenceslas Godard, Rabie Ben Atitallah, Jean-Luc Dekeyser
article
France, N° de brevet: WO 2015097105. 2015
Accès au bibtex
BibTex

Reports

titre
Formal Proof of Soundness for an RL Prover
auteur
Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu
article
[Technical Report] RR-0471, INRIA Lille – Nord Europe; Alexandru Ioan Cuza, University of Iasi. 2015, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244578/file/RR-471.pdf BibTex
titre
Programming with hardware/software functions
auteur
Julien Forget, Frédéric Guyomarch, Vlad Rusu
article
[Research Report] RR-8835, INRIA Lille Nord Europe. 2015, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248163/file/RR-8835.pdf BibTex
titre
A Generic Framework for Symbolic Execution: Theory and Applications
auteur
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
article
[Research Report] RR-8189, Inria. 2015, pp.41
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00766220/file/jsc2014-techreport.pdf BibTex
titre
Verifying reachability-logic properties on rewriting-logic specifications (extended version)
auteur
Dorel Lucanu, Andrei Arusoaie, Vlad Rusu, David Nowak
article
[Technical Report] Faculty of Computer Science, University “Alexandru Ioan Cuza” of Iasi, Str. Berthelot 16, 6600-Iasi, Romania. 2015
Accès au bibtex
BibTex

2014

Journal articles

titre
Pharmacokinetic tools for the dose adjustment of ciclosporin in haematopoietic stem cell transplant patients.
auteur
Jean-Baptiste Woillard, Vincent Lebreton, Michael Neely, Pascal Turlure, Stéphane Girault, Jean Debord, Pierre Marquet, Franck Saint-Marcoux
article
British Journal of Clinical Pharmacology, 2014, 78 (4), pp.836-46. ⟨10.1111/bcp.12394⟩
Accès au texte intégral et bibtex
https://www.hal.inserm.fr/inserm-00965397/file/clean_publi_ciclo_moelle_070314_rev1_corFSM_.pdf BibTex
titre
New MIP model for multiprocessor scheduling problem with communication delays
auteur
Abdessamad Ait El Cadi, Rabie Ben Atitallah, Said Hanafi, Nenad Mladenovic, Abdelhakim Artiba
article
Optimization Letters, 2014, 11 (6), pp.1091-1107. ⟨10.1007/s11590-014-0802-2⟩
Accès au bibtex
BibTex
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, 2014, 5 (4), pp.20. ⟨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
Journal of : Software Testing, Verification and Reliability, 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

Conference papers

titre
A Generic Pixel Distribution Architecture for Parallel Video Processing
auteur
Karim Mohamed Abedallah Ali, Rabie Ben Atitallah, Said Hanafi, Jean-Luc Dekeyser
article
International Conference on Reconfigurable Computing and FPGAs – ReConFig 2014, Dec 2014, Cancun, Mexico. ⟨10.1109/ReConFig.2014.7032547⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01070541/file/Pixel_distribution.pdf BibTex
titre
A Language-Independent Proof System for Mutual Program Equivalence
auteur
Ştefan Ciobâcǎ, Dorel Lucanu, Vlad Rusu, Grigore Rosu
article
ICFEM’14 – 16th International Conference on Formal Engineering Methods, Nov 2014, Luxembourg-Ville, Luxembourg
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01030754/file/submission.pdf BibTex
titre
Model-Driven design flow for distributed control in reconfigurable FPGA systems
auteur
Chiraz Trabelsi, Rabie Ben Atitallah, Samy Meftali, Jean-Luc Dekeyser
article
Conference on Design and Architectures for Signal and Image Processing (DASIP 2014), Oct 2014, Madrid, Spain. ⟨10.1109/DASIP.2014.7115631⟩
Accès au bibtex
BibTex
titre
Programming Language Aggregation with Applications in Equivalence Checking
auteur
Ştefan Ciobâcǎ, Dorel Lucanu, Vlad Rusu, Grigore Rosu
article
Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2014), Jul 2014, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00998930/file/pas2014_submission_14_1_.pdf BibTex
titre
Language Definitions as Rewrite Theories
auteur
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Serbanuta, Andrei Stefanescu, Grigore Rosu
article
International Workshop on Rewriting Logic and Application, Apr 2014, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00950775/file/wrla2014.pdf BibTex
titre
Redefining the role of FPGAs in the next generation avionic systems
auteur
Venkatasubramanian Viswanathan, Rabie Ben Atitallah, Jean-Luc Dekeyser, Benjamin Nakache, Maurice Nakache
article
The 2014 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA ’14, Feb 2014, Monterey, United States. ⟨10.1145/2554688.2554744⟩
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Dynamic reconfiguration and low power design : towards self-adaptive massively parallel embedded systems
auteur
Rabie Ben Atitallah
article
Computer Science [cs]. Université de Valenciennes et Hainaut-Cambrésis, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01104009/file/HDR-Rabie-Ben-Atitallah.pdf BibTex

Other publications

titre
Communication-Computation overlap in massively parallel System on Chip
auteur
Hana Krichene, Mouna Baklouti, Mohamed Abid, Philippe Marquet, Jean-Luc Dekeyser
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01104157/file/TWESD2014.pdf BibTex

Reports

titre
Language-Independent Program Verification Using Symbolic Execution
auteur
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
article
[Research Report] RR-8369, Inria. 2014, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00864341/file/jfla2015-techreport.pdf BibTex

Theses

titre
A Generic Framework for Symbolic Execution:Theory and Applications
auteur
Andrei Arusoaie
article
Computer Science [cs]. Alexandru Ioan Cuza, University of Iasi, 2014. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01094765/file/aarusoaie_2014_FMSE.pdf BibTex

2013

Journal articles

titre
Decentralized control for dynamically reconfigurable FPGA systems
auteur
Samy Meftali, Jean-Luc Dekeyser, Chiraz Trabelsi
article
Microprocessors and Microsystems: Embedded Hardware Design , 2013, 37 (8), pp.871-884. ⟨10.1016/j.micpro.2013.04.012⟩
Accès au bibtex
BibTex
titre
An Efficient Framework for Power-Aware Design of Heterogeneous MPSoC
auteur
Rabie Ben Atitallah, Eric Senn, Daniel Chillet, Mickael Lanoe, Dominique Blouin
article
IEEE Transactions on Industrial Informatics, 2013, 9 (1), pp.487-501. ⟨10.1109/TII.2012.2198657⟩
Accès au bibtex
BibTex
titre
Embedding domain-specific modeling languages into Maude specifications
auteur
Vlad Rusu
article
Software and Systems Modeling, 2013, 12 (4), pp.847-869. ⟨10.1007/s10270-012-0232-5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00660104/file/paper.pdf BibTex

Conference papers

titre
Mathematical Programming Models for Scheduling in a CPU/FPGA Architecture with Communication Delay
auteur
Abdessamad Ait El Cadi, Rabie Ben Atitallah, Abdelhakim Artiba
article
IESM’2013 – International Conference on Industrial Engineering and Systems Management – 2013, Oct 2013, Rabat, Morocco
Accès au bibtex
BibTex
titre
Real-Time Simulator supporting Heterogeneous CPU/FPGA Architecture
auteur
Zeineb Baklouti, David Duvivier, Rabie Ben Atitallah, Abdelhakim Artiba, Nicolas Belanger
article
International Conference on Industrial Engineering and Systems Management, Oct 2013, Rabat, Morocco
Accès au bibtex
BibTex
titre
A Generic Framework for Symbolic Execution
auteur
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
article
6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, United States. pp.281-301
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00853588/file/sle2013.pdf BibTex
titre
Master-Slave Control structure for massively parallel System on Chip
auteur
Hana Krichene, Mouna Baklouti, Jean-Luc Dekeyser, Philippe Marquet, Mohamed Abid
article
DSD SEAA – 16th Euromicro Conference on Digital System Design, Sep 2013, Santander, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00906906/file/06628376.pdf BibTex
titre
Design Space Exploration on Heterogeneous SoC: The H.264 encoder case-study
auteur
Mokhtar Bouain, Rabie Ben Atitallah, Ahmed Ben Atitallah, Nouri Masmoudi, Jean Luc Dekeyser
article
Colloque GDR SOC-SIP 2013 , Jun 2013, Lyon, France. ⟨10.5802/aif.2754⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01353349/file/paper.pdf BibTex
titre
Program Equivalence by Circular Reasoning
auteur
Dorel Lucanu, Vlad Rusu
article
Integrated Formal Methods, Jun 2013, Turku, Finland. pp.362-377
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00820871/file/ifm.pdf BibTex
titre
Heterogeneous CPU/FPGA reconfigurable computing system for avionic test application
auteur
George Afonso, Zeineb Baklouti, David Duvivier, Rabie Ben Atitallah, Eli Billauer, Stephan Stilkerich
article
IEEE 27th International Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW), May 2013, Cambridge, United Kingdom
Accès au bibtex
BibTex
titre
Méthodologie basée sur des membranes pour la gestion de la reconfiguration dynamique dans les systèmes embarqués parallèles
auteur
Pamela Wattebled, Jean-Philippe Diguet
article
ComPAS, Jan 2013, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00922289/file/wattebled_compas13.pdf BibTex

Reports

titre
Program Equivalence by Circular Reasoning
auteur
Dorel Lucanu, Vlad Rusu
article
[Research Report] RR-8116, INRIA. 2013, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00744374/file/ifm-facs-techreport.pdf BibTex

Theses

titre
Contrôle matériel des systèmes partiellement reconfigurables sur FPGA : de la modélisation à l’implémentation
auteur
Chiraz Trabelsi
article
Systèmes embarqués. Université des Sciences et Technologie de Lille – Lille I, 2013. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00852361/file/thesis_chiraz.pdf BibTex
titre
Vers une nouvelle génération de systèmes de test et de simulation avionique dynamiquement reconfigurables
auteur
George Afonso
article
Architectures Matérielles [cs.AR]. Université des Sciences et Technologie de Lille – Lille I, 2013. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00921874/file/50376-2013-Afonso.pdf BibTex

2011

Conference papers

titre
Towards a K Semantics for OCL
auteur
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
article
2nd International Workshop on the K Framework and its Applications (K 2011), Aug 2011, Sinaia, Romania. pp.81-96, ⟨10.1016/j.entcs.2014.05.004⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00998923/file/paper.pdf BibTex

2004

Conference papers

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. ⟨10.1007/0-387-26151-6_8⟩
Accès au bibtex
BibTex