Skip to Main content Skip to Navigation
New interface


hal-03559661v1  Book sections
Qinkai ZhengHan QiuTianwei ZhangGerard MemmiMeikang Qiu et al.  Resisting Adversarial Examples via Wavelet Extension and Denoising
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⟩
hal-03023157v1  Conference papers
Payam ZahadaAda Diaconescu. Reactive or Stable: A Plant-inspired Approach for Business Organisation Morphogenesis
International Conference on Artificial Life (ALife), Jul 2020, Montreal (virtual), Canada
hal-03559687v1  Conference papers
Xiao WuHan QiuShuyi ZhangGerard MemmiKeke Gai et al.  ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, France. pp.388-393, ⟨10.1109/INFOCOMWKSHPS50562.2020.9163051⟩
hal-02428017v1  Conference papers
Simon van MierloEugene SyrianiDominique BlouinMoussa AmraniJulien Deantoni et al.  Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)
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⟩
hal-00479569v1  Conference papers
Samuel TardieuAlexis Polti. Complementing Ada with other programming languages
ACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
hal-02287374v1  Conference papers
Yanjun SunGérard MemmiSylvie Vignes. A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing
Int. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
hal-02287057v1  Journal articles
Yanjun SunGérard MemmiSylvie VignesFrédéric Daumas. CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défis
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109, pp.50-60
hal-02287373v1  Conference papers
Yanjun SunGérard MemmiSylvie Vignes. Model-Based Verification Directed by Structural Coverage and Functional Requirements
Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria
hal-03023230v1  Book sections
Susan StepneyAda DiaconescuRené DoursatJean-Louis GiavittoJulian Miller et al.  Evolving, Growing, and Gardening Cyber-physical Systems
Experimental Architecture - Designing the Unknown, 2019
hal-03559711v1  Conference papers
Dongmin SonSawsan Al ZahrGerard Memmi. Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain
2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2021, Sydney, France. pp.1-3, ⟨10.1109/ICBC51069.2021.9461115⟩
hal-02287556v1  Journal articles
Liron SchiffStefan SchmidPetr Kuznetsov. In-Band Synchronization for Distributed SDN Control Planes
Computer Communication Review, 2016, 46 (1), pp.37-43
hal-02287746v1  Conference papers
Arles RodriguezJonatan GomezAda Diaconescu. Replication-Based Self-healing of Mobile Agents Exploring Complex Networks
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⟩
hal-03023085v1  Journal articles
Arles RodriguezJonatan GomezAda Diaconescu. Self-healing Networks via Self-organising Mobile Agents
Journal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021
hal-02449644v1  Conference papers
Arles RodríguezNathaly BotinaJonatan GómezMarius PolJean-Louis Dessalles et al.  Explanatory AI for Pertinent Communication in Autonomic Systems
Intelligent Systems and Applications, Sep 2019, Londres, United Kingdom. pp.212-227, ⟨10.1007/978-3-030-29516-5_16⟩
hal-02287382v1  Conference papers
Arles RodriguesJonatan GomezAda Diaconescu. Foraging-inspired Self-organisation for Terrain Exploration with Failure-prone Agents
The 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'15), Sep 2015, Cambridge, MA, United States. pp.10
hal-02286675v1  Book sections
Thomas RobertJérôme Hugues. Analyse à partir du modèle
Modélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013
hal-01115716v1  Conference papers
Elie RichaEtienne BordeLaurent PautetMatteo BordinJosé Riuz. Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains
MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
hal-02449688v1  Journal articles
Elie RichaEtienne BordeLaurent Pautet. Translation of ATL to AGT and application to a code generator for Simulink
Software and Systems Modeling, Springer Verlag, 2019, 18 (1), pp.321-344. ⟨10.1007/s10270-017-0607-8⟩
hal-02287379v1  Conference papers
Matthieu Rambaud. optimal Chudnovsky Chudnovsky multiplication algorithms
WAIFI 2014, Jul 2015, gebze, Turkey
hal-02287591v1  Journal articles
Matthieu RambaudGérard Memmi. Note sur la cryptanalyse de Diffie-Hellman
Génie Logiiel, 2017, 120, pp.56-60
hal-02450312v1  Conference papers
Han QiuQinkai ZhengMeikang QiuGérard Memmi. DC Coefficients Recovery from AC Coefficients in the JPEG Compression Scenario
Smart Computing and Communication, Oct 2019, Birmingham, United Kingdom. pp.266-276, ⟨10.1007/978-3-030-34139-8_26⟩