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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain
Xiao Wu
,
Han Qiu
,
Shuyi Zhang
,
Gerard Memmi
,
Keke Gai
,
et al.
Conference papers
hal-03559687v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain
Dongmin Son
,
Sawsan Al Zahr
,
Gerard Memmi
Conference papers
hal-03559711v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Explanatory AI for Pertinent Communication in Autonomic Systems
Arles Rodríguez
,
Nathaly Botina
,
Jonatan Gómez
,
Marius Pol
,
Jean-Louis Dessalles
,
et al.
Conference papers
hal-02449644v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Translation of ATL to AGT and application to a code generator for Simulink
Elie Richa
,
Etienne Borde
,
Laurent Pautet
Journal articles
hal-02449688v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour
Artur Rataj
,
Etienne Borde
Conference papers
hal-02449670v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
optimal Chudnovsky Chudnovsky multiplication algorithms
Matthieu Rambaud
WAIFI 2014 , Jul 2015, gebze, Turkey
Conference papers
hal-02287379v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Note sur la cryptanalyse de Diffie-Hellman
Matthieu Rambaud
,
Gérard Memmi
Génie Logiiel , 2017, 120, pp.56-60
Journal articles
hal-02287591v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multi-objective exploration of architectural designs by composition of model transformations
Smail Rahmoun
,
Asma Mehiaoui-Hamitou
,
Etienne Borde
,
Laurent Pautet
,
Elie Soubiran
Journal articles
hal-02292455v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
DC Coefficients Recovery from AC Coefficients in the JPEG Compression Scenario
Han Qiu
,
Qinkai Zheng
,
Meikang Qiu
,
Gérard Memmi
Conference papers
hal-02450312v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More