Skip to Main content Skip to Navigation


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-03624198v1  Conference papers
Stefano Zacchiroli. A Large-scale Dataset of (Open Source) License Text Variants
The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528491⟩
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⟩
...
tel-03506284v1  Theses
Adrien Wion. Control plane in dynamic software networks
Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT007⟩
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-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-01161014v1  Conference papers
Susan StepneyAda DiaconescuRené DoursatJean-Louis GiavittoTaras Kowaliw et al.  Gardening Cyber-Physical Systems
Unconventionnal Computation and Natural Computation (UCNC'2012), Sep 2012, Orléans, France. pp.1-1
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-01166136v1  Conference papers
Frank SinghoffAlain PlantecStéphane RubiniHai-Nam TranVincent Gaudel et al.  Teaching Real-Time Scheduling Analysis with Cheddar
9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
...
hal-03735961v1  Conference papers
Daniele SerafiniStefano Zacchiroli. Efficient Prior Publication Identification for Open Source Code
18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain
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-03571837v1  Conference papers
Davide RossiStefano Zacchiroli. Worldwide Gender Differences in Public Code Contributions
44th International Conference on Software Engineering (ICSE 2022) - Software Engineering in Society (SEIS) Track, May 2022, Pittsburgh, PA, United States. ⟨10.1145/3510458.3513011⟩
...
hal-03622621v1  Conference papers
Davide RossiStefano Zacchiroli. Geographic Diversity in Public Code Contributions
The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528471⟩
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-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-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-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-00546934v1  Conference papers
Thomas RobertMatthieu RoyJean-Charles Fabre. Early Error Detection for Fault Tolerance Strategies
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168