Publications

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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