Skip to Main content Skip to Navigation


hal-01405463v1  Journal articles
Noreddine JanatiGuillaume BouffardJean-Louis LanetSaid Elhajji. Trust Can be Misplaced
Journal of Cryptographic Engineering, Springer, 2016, ⟨10.1007/s13389-016-0142-5⟩
...
hal-02060021v1  Journal articles
Hugues WouafoCyrille ChavetPhilippe Coussy. Clone-Based Encoded Neural Networks to Design Efficient Associative Memories
IEEE Transactions on Neural Networks and Learning Systems, IEEE, 2019, 30 (10), pp.1-14. ⟨10.1109/TNNLS.2018.2890658⟩
hal-00762231v1  Conference papers
Asma MehiaouiSara Tucci PiergiovanniJean-Philippe BabauLaurent Lemarchand. Optimizing the Deployment of Distributed Real-Time Embedded Applications
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2012, Séoul, South Korea. pp.400-403
hal-00760290v1  Conference papers
Eric SennMickael Lanoe. Consumption analysis and estimation in the design of GStreamer based multimedia applications
Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany
hal-00760298v1  Conference papers
Eric SennDominique BlouinOlivier Zendra. A Multi-Paradigm DSML for Quantitative Analysis of Embedded System Architecture Models
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems - MODELS 2012, Sep 2012, Innsbruck, Austria
hal-00760301v1  Conference papers
Eric SennDominique BlouinPierre BomelMickael Lanoe. Functional Validation of AADL Models via Model Transformation to SystemC with ATL
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Sep 2012, Innsbruck, Austria
hal-00760305v1  Conference papers
Eric SennMickael Lanoe. Energy modeling of embedded multimedia streaming applications with GStreamer on heterogeneous MPSoC
The 30th IEEE International Conference on Computer Design, Sep 2012, Montréal, Canada
hal-00760444v1  Conference papers
Eric SennDominique Blouin. A MARTE to AADL Mapping
ACM/IEEE International Conference on Model Driven Engineerging, Oct 2010, Oslo, Norway
hal-00760360v1  Conference papers
Eric SennMickael LanoeJeremy Guillot. Modeling the Energy Consumption of Page Fault for Embedded Linux
Symposium en Architectures nouvelles de machines (Sympa'14), May 2011, Saint(Malo, France
hal-00760365v1  Conference papers
Eric SennDominique Blouin. RDAL: A new language for the definition and verification of requirements against AADL and other architecture models
NEPTUNE Workshop (Nice Environment with a Process and Tools Using Norms and Examples), May 2011, Paris, France
hal-00760335v1  Conference papers
Eric SennLucile Senn. Study of the performance of the embedded processors on NIOS FPGA platforms
IEEE SPOT conference, Dec 2011, Aalborg, Denmark
hal-00760340v1  Conference papers
Eric SennDominique BlouinSkander Turki. Defining an Annex Language to the Architecture Analysis and Design Language for Requirements Engineering Activities Support
The 19th IEEE International Requirements Engineering Conference, Aug 2011, Trento, Italy
hal-00760436v1  Conference papers
Eric SennDominique BlouinSkander Turki. AADL Requirements Annex Explored With FAA Handbook Example
SAE 2012 Aerospace Electronics and Avionics Systems Conference, Oct 2012, Phoenix, United States
hal-00760439v1  Conference papers
Eric SennDominique BlouinSkander Turki. Early Verification of Embedded System Models using the Requirements Definition and Analysis Language Annex of the SAE AADL
SAE 2012 Aerospace Electronics and Avionics Systems Conference, Oct 2012, Phoenix, United States
hal-00760443v1  Conference papers
Eric SennMickael Lanoe. Energy Modeling of the Virtual Memory Subsystem for Real-Time Embedded Systems
Conference on Design and Architectures for Signal and Image Processing, DASIP, Oct 2010, Edinburgh, United Kingdom
hal-00765035v1  Conference papers
Catherine Dezan. From Specifications towards Hardware
Invited seminar, ARCAA, Jul 2012, Brisbane, Australia
hal-00762518v1  Conference papers
Pierre OlivierJalil BoukhobzaEric Senn. Micro-benchmarking Flash Memory File-System Wear leveling and Garbage Collection : a Focus on Initial State Impact
The 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Dec 2012, Paphos, Cyprus. pp.437, ⟨10.1109/ICCSE.2012.67⟩
hal-00762513v1  Conference papers
Stéphane RubiniJean-Philippe BabauJalil Boukhobza. A Hardware/Software CBSE Framework for RTOS Services: the Timing Service Case Study
IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Dec 2012, Phaphos, Cyprus. pp.570--577
hal-01563328v1  Conference papers
Anne-Lise CourbisThomas LambolaisNguyen Thanh-Hung. Safe Incremental Development of UML Architectures
29th international conference on Software Engineering and Knowledge Engineering , Jul 2017, Pittsburgh, United States. ⟨10.18293/SEKE2017-033⟩
hal-01565226v1  Conference papers
Hugues Nono WouafoCyrille ChavetRobin DaniloPhilippe Coussy. Efficient Scalable Hardware Architecture for Highly Performant Encoded Neural Networks
IEEE International Workshop on Signal Processing Systems 2017, Oct 2017, Lorient, France
hal-01557982v1  Conference papers
Yahia BenmoussaEric SennNicolas DerouineauNicolas TizonJalil Boukhobza. Green metadata based adaptive DVFS for energy efficient video decoding
26th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS),, Sep 2016, Bremen, Germany. ⟨10.1109/PATMOS.2016.7833693⟩
...
hal-00768442v1  Conference papers
Van-Trinh HoangNathalie JulienPascal Berruet. Design under Constraints of Availability and Energy for Sensor Node in Wireless Sensor Network
IEEE International Conference on Design and Architectures for Signal and Image Processing (DASIP), October 2012, Oct 2012, Karlsruhe, Germany. pp.E-ISBN : 978-2-9539987-4-0
hal-01558620v1  Conference papers
Hussein El GhorM. ChettoRola El Osta. Minimizing the aperiodic responsiveness in Energy Harvesting Devices
12th IEEE International Symposium on Industrial Embedded Systems, IEEE, Jun 2017, Toulouse, France
...
hal-00771758v1  Conference papers
Jean-Christophe Le LannJoël ChampeauPapa Issa DialloPierre-Laurent Lagalaye. From system-level models to heterogeneous embedded systems
RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
hal-01196952v1  Conference papers
Rahma BouazizLaurent LemarchandFrank SinghoffBechir ZalilaMohamed Jmaiel. Architecture Exploration of Real-time Systems Based on Multi-Objective Optimization
20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Golden Coast, Australia
...
hal-00450001v1  Journal articles
Amor NafkhaEmmanuel BoutillonChristian Roland. Quasi-Maximum-Likelihood Detector Based on Geometrical Diversification Greedy Intensification
IEEE Transactions on Communications, Institute of Electrical and Electronics Engineers, 2009, 57 (4), pp. 926-929