Search - Equipe Autonomic and Critical Embedded Systems Access content directly

Filter your results

249 Results
Deposit type : Notice

Resisting Adversarial Examples via Wavelet Extension and Denoising

Qinkai Zheng , Han Qiu , Tianwei Zhang , Gerard Memmi , Meikang Qiu , et al.
Smart Computing and Communication, 12608, Springer International Publishing, pp.204-214, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-74717-6_22⟩
Book sections hal-03559661v1

Reactive or Stable: A Plant-inspired Approach for Business Organisation Morphogenesis

Payam Zahada , Ada Diaconescu
International Conference on Artificial Life (ALife), Jul 2020, Montreal (virtual), Canada
Conference papers hal-03023157v1

ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain

Xiao Wu , Han Qiu , Shuyi Zhang , Gerard Memmi , Keke Gai , et al.
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, France. pp.388-393, ⟨10.1109/INFOCOMWKSHPS50562.2020.9163051⟩
Conference papers hal-03559687v1

Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)

Simon van Mierlo , Eugene Syriani , Dominique Blouin , Moussa Amrani , Julien Deantoni , et al.
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Conference papers hal-02428017v1

Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule

Kameswar Vaddina , Florian Brandner , Gerard Memmi , Pierre Jouvelot
2018
Preprints, Working Papers, ... hal-01939768v1

Complementing Ada with other programming languages

Samuel Tardieu , Alexis Polti
ACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
Conference papers hal-00479569v1

A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing

Yanjun Sun , Gérard Memmi , Sylvie Vignes
Int. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
Conference papers hal-02287374v1

CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défis

Yanjun Sun , Gérard Memmi , Sylvie Vignes , Frédéric Daumas
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109, pp.50-60
Journal articles hal-02287057v1

Model-Based Verification Directed by Structural Coverage and Functional Requirements

Yanjun Sun , Gérard Memmi , Sylvie Vignes
Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria
Conference papers hal-02287373v1

Evolving, Growing, and Gardening Cyber-physical Systems

Susan Stepney , Ada Diaconescu , René Doursat , Jean-Louis Giavitto , Julian Miller , et al.
Experimental Architecture - Designing the Unknown, 2019
Book sections hal-03023230v1

Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain

Dongmin Son , Sawsan Al Zahr , Gerard Memmi
2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2021, Sydney, France. pp.1-3, ⟨10.1109/ICBC51069.2021.9461115⟩
Conference papers hal-03559711v1

Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models

Eric Senn , Lucie Bourdon , Dominique Blouin
4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.677-683, ⟨10.1145/3550356.3563129⟩
Conference papers hal-03905633v1

In-Band Synchronization for Distributed SDN Control Planes

Liron Schiff , Stefan Schmid , Petr Kuznetsov
Computer Communication Review, 2016, 46 (1), pp.37-43
Journal articles hal-02287556v1

Replication-Based Self-healing of Mobile Agents Exploring Complex Networks

Arles Rodriguez , Jonatan Gomez , Ada Diaconescu
15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩
Conference papers hal-02287746v1

Explanatory AI for Pertinent Communication in Autonomic Systems

Arles Rodríguez , Nathaly Botina , Jonatan Gómez , Marius Pol , Jean-Louis Dessalles , et al.
Intelligent Systems and Applications, Sep 2019, Londres, United Kingdom. pp.212-227, ⟨10.1007/978-3-030-29516-5_16⟩
Conference papers hal-02449644v1

Self-healing Networks via Self-organising Mobile Agents

Arles Rodriguez , Jonatan Gomez , Ada Diaconescu
Journal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021
Journal articles hal-03023085v1

Improving data collection in complex networks with failure-prone agents via local marking

Arles Rodrigues , Nathaly Botina , Jonatan Gomez , Ada Diaconescu
Journal of Intelligent and Fuzzy Systems, 2019
Journal articles hal-03023128v1

Foraging-inspired Self-organisation for Terrain Exploration with Failure-prone Agents

Arles Rodrigues , Jonatan Gomez , Ada Diaconescu
The 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'15), Sep 2015, Cambridge, MA, United States. pp.10
Conference papers hal-02287382v1

Analyse à partir du modèle

Thomas Robert , Jérôme Hugues
Modélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013
Book sections hal-02286675v1

Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains

Elie Richa , Etienne Borde , Laurent Pautet , Matteo Bordin , José Riuz
MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
Conference papers hal-01115716v1

Translation of ATL to AGT and Application to a Code Generator for Simulink

Elie Richa , Etienne Borde , Laurent Pautet
Software and Systems Modeling, 2017
Journal articles hal-02287624v1

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation

Elie Richa , Etienne Borde , Laurent Pautet , Matteo Bordin , José Riuz
AMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43
Conference papers hal-02287272v1

Translation of ATL to AGT and application to a code generator for Simulink

Elie Richa , Etienne Borde , Laurent Pautet
Software and Systems Modeling, 2019, 18 (1), pp.321-344. ⟨10.1007/s10270-017-0607-8⟩
Journal articles hal-02449688v1

Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour

Artur Rataj , Etienne Borde
the 30th International Workshop, Oct 2019, New York, France. pp.50-56, ⟨10.1145/3339985.3358492⟩
Conference papers hal-02449670v1

optimal Chudnovsky Chudnovsky multiplication algorithms

Matthieu Rambaud
WAIFI 2014, Jul 2015, gebze, Turkey
Conference papers hal-02287379v1

Note sur la cryptanalyse de Diffie-Hellman

Matthieu Rambaud , Gérard Memmi
Génie Logiiel, 2017, 120, pp.56-60
Journal articles hal-02287591v1

Multi-objective exploration of architectural designs by composition of model transformations

Smail Rahmoun , Asma Mehiaoui-Hamitou , Etienne Borde , Laurent Pautet , Elie Soubiran
Software and Systems Modeling, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
Journal articles hal-02292455v1

Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES)

Smail Rahmoun , Etienne Borde , Laurent Pautet
ICECCS, Dec 2015, Gold Coast, Australia. pp.21-30
Conference papers hal-02292449v1

Automatic selection and composition of model transformations alternatives using evolutionary algorithms

Smail Rahmoun , Etienne Borde , Laurent Pautet
ECSA Workshops 2015, Sep 2015, Dubrovnik/Cavtat, Croatia. pp.25:1-25:7
Conference papers hal-02292448v1

DC Coefficients Recovery from AC Coefficients in the JPEG Compression Scenario

Han Qiu , Qinkai Zheng , Meikang Qiu , Gérard Memmi
Smart Computing and Communication, Oct 2019, Birmingham, United Kingdom. pp.266-276, ⟨10.1007/978-3-030-34139-8_26⟩
Conference papers hal-02450312v1