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
- Towards a parallel partial dynamic reconfiguration by taking into account the regularity of FPGA-Xilinx architectures
- 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
- 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
- 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
- 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
- Test and simulation system
- 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
- Hardware Control of partially reconfigurable FPGA-systems: from modeling to implementation
- 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