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-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-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-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-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-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
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-01229113v1  Conference papers
Elie RichaEtienne BordeLaurent Pautet. Translating ATL Model Transformations to Algebraic Graph Transformations
8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015, Jul 2015, L'Aquila, Italy. pp.183-198, ⟨10.1007/978-3-319-21155-8_14⟩
hal-01625409v2  Conference papers
Kameswar Rao VaddinaFlorian BrandnerGérard MemmiPierre Jouvelot. Experimental Energy Profiling of Energy-Critical Embedded Applications
25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
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⟩
hal-01212143v1  Journal articles
Han QiuGerard Memmi. Fast Selective Encryption Methods for Bitmap Images
International Journal of Multimedia Data Engineering and Management (IJMDEM), 2015, 6 (51-69), pp.18
hal-03860813v1  Book sections
Mingming QiuElie NajmRémi SharrockBruno Traverson. PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services
Christine Strauss; Alfredo Cuzzocrea; Gabriele Kotsis; A Min Tjoa; Ismail Khalil. Database and Expert Systems Applications. 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part II, 13427, Springer International Publishing, pp.158-173, 2022, Lecture Notes in Computer Science, 978-3-031-12425-9. ⟨10.1007/978-3-031-12426-6_13⟩
hal-01212126v1  Conference papers
Han QiuGerard Memmi. Fast Selective Encryption Method for Bitmaps Based on GPU Acceleration
2014 IEEE International Symposium on Multimedia (ISM), Dec 2014, Taichung, Taiwan
tel-03419019v1  Theses
Han Qiu. An efficient data protection architecture based on fragmentation and encryption
Cryptography and Security [cs.CR]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0049⟩
hal-02287645v1  Conference papers
Han QiuGérard MemmiHassan Noura. An efficient Secure Storage Scheme Based on Information Fragmentation
4th IEEE Int. Conf. on Cyber Security and Cloud Computing, Jun 2017, New-York, United States. pp.108-113
hal-03023108v1  Conference papers
Marius PolAda Diaconescu. A Cognitive Control System for Managing Runtime Uncertainty in Self-Integrating Autonomic Systems
SISSY workshop, IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Aug 2020, Washington DC (virtual), France
hal-02287385v1  Conference papers
Jeremy PittAndrzej NowakAda Diaconescu. Value Sensitive Design for Self-Organising Digital Communities
Charting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aug 2015, Aarhus, Denmark
hal-02287022v1  Book sections
Jeremy PittAda Diaconescu. The Algorithmic Governance Of Common-Pool Resources
From Bitcoin to Burning Man and Beyond: The Quest for Identity and Autonomy in a Digital Society, Edited by John H. Clippinger and David Bollier, Published by ID3 in cooperation with Off the Common Books, pp.133-145, 2014
hal-02288465v1  Conference papers
Jeremy PittAda Diaconescu. Interactive Self-Governance and Value-Sensitive Design for Self-Organising Socio-Technical Systems
Fourth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST@SASO2016), Sep 2016, Ausgburg, Germany
hal-02287559v1  Conference papers
Jeremy PittAda Diaconescu. Interactional Justice for Sustainable Management of Common-Pool Resources
XVI Biennial IASC Conference "Practicing the commons: self-governance, cooperation, and institutional change, Jul 2017, Utrecht, Netherlands Antilles
hal-02287021v1  Journal articles
Jeremy PittAda DiaconescuDavid Bollier. Technology for Collective Action [Special Section Introduction]
IEEE Technology and Society Magazine, 2014, 3, pp.32-34
hal-02287024v1  Conference papers
Jeremy PittDidac BusquetsAda DiaconescuAndrzej NowakAgnieszka Rychwalska et al.  Algorithmic Self-Governance and the Design of Socio-Technical Systems
European Conference on Social Intelligence, Nov 2014, Barcelona, Spain
hal-02286673v1  Journal articles
Isabelle. PerseilJean-Michel BruelAgusti CanalsRobert de SimoneSébastien Gérard et al.  Introduction to special issue: papers from UML&FM'2009
Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3
hal-02270295v1  Conference papers
I PerseilLaurent Pautet. COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
hal-02288369v1  Conference papers
Isabelle. PerseilLaurent Pautet. An Efficient Modeling and Execution Framework for Complex Systems Development
International Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331
hal-02286672v1  Conference papers
Laurent PautetIsabelle. Perseil. An Emerging Need for a New Software Engineering Method
International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
hal-02286688v1  Book sections
Laurent PautetB. Zalila. Model-Based Code Generation
Embedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
hal-01115671v1  Conference papers
Laurent PautetEtienne BordeThomas RobertAntoine Jaouen. PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems
International Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
hal-02288430v1  Conference papers
Trung NguyenJean Leneutre. A Secure and Effective Device Pairing Protocol
12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
hal-02287084v1  Conference papers
Trung NguyenJean Leneutre. Formal Analysis of Secure Device Pairing Protocols
IEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States
hal-02278638v1  Conference papers
Elie Najm. Service Orchestration with Orcharts and Typecharts
Seminaire INRIA, Mar 2010, Rennes, France
hal-02288310v1  Conference papers
Elie Najm. Controllability of Orchestrated Sessions
Invited Talk - WWV'11, 7th Int'l Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland
hal-01246343v1  Conference papers
Amine NajiFlorian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
hal-02287105v1  Journal articles
Mounira MsahliAhmed Serhrouchni. Profile Centric Model.
International Journal of Internet Technology and Secured Transactions, 2014, 5 (ISSN online: 1748-5703)
hal-02287108v1  Conference papers
Mounira MsahliAhmed SerhrouchniXiuzhen Chen. Towards a Fine-Grained Access Control for Cloud
2014 IEEE 11th International Conference on e-Business Engineering, Oct 2013, Guangzhou, China
hal-02354927v1  Journal articles
Mounira MsahliAhmed Serhrouchni. Profile centric modelling
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2014, 5 (4), pp.344. ⟨10.1504/IJITST.2014.068713⟩
hal-02343634v1  Conference papers
Mounira MsahliXiuzhen ChenAhmed Serhrouchni. Towards a Fine-Grained Access Control for Cloud
2014 IEEE 11th International Conference on e-Business Engineering (ICEBE), Nov 2014, Guangzhou, France. pp.286-291, ⟨10.1109/ICEBE.2014.56⟩
hal-02343631v1  Conference papers
Mounira MsahliAhmed SerhrouchniMohamad Badra. Extending TLS with KMIP Protocol for Cloud Computing
2016 8th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Nov 2016, Larnaca, France. pp.1-6, ⟨10.1109/NTMS.2016.7792452⟩
hal-03042230v1  Conference papers
Mounira MsahliRached AbdeljaouedAhmed Serhrouchni. Access control in probative value cloud
8th International Conference for Internet Technology and Secured Transactions (ICITST 2013), Dec 2013, London, France. pp.607-611, ⟨10.1109/ICITST.2013.6750274⟩
hal-02288435v1  Conference papers
Mounira MsahliAhmed Serhrouchni. SBaaS: Safe Box as a service
IEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
hal-02288436v1  Conference papers
Mounira MsahliAhmed Serhrouchni. PCM in cloud
IEEE International Conference on Granular Computing (GrC), Oct 2014, Noboribetsu, Japan
hal-02354925v1  Conference papers
Mounira Msahli. Keynote speech
2018 Fourth International Conference on Mobile and Secure Services (MobiSecServ), Feb 2018, Miami Beach, France. pp.1-1, ⟨10.1109/MOBISECSERV.2018.8311434⟩
hal-02354918v1  Conference papers
Mounira MsahliGuy PujolleAhmed SerhrouchniAhmad FadlallahFouad Guenane. Openflow and on demand networks
2012 Third International Conference on the Network of the Future (NOF), Nov 2012, Tunis, Tunisia. pp.1-5, ⟨10.1109/NOF.2012.6464006⟩
hal-02287110v1  Conference papers
Mounira MsahliRached AbdeljaouedAhmed Serhrouchni. Access Control in Probative Value Cloud
The 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013), Dec 2013, London, United Kingdom
hal-03569422v1  Conference papers
Mounira MsahliBadr Eddine BoukariAkshaya Ravi. Machine Learning Detection for SMiShing Frauds
2021 IEEE 18th Annual Consumer Communications & Networking Conference (CCNC), Jan 2021, Las Vegas, France. pp.1-2, ⟨10.1109/CCNC49032.2021.9369640⟩
hal-02354926v1  Conference papers
Mounira MsahliMohamed Tahar HammiAhmed Serhrouchni. Safe box cloud authentication using TLS extesion
2015 International Conference on Cyber Security of Smart cities, Industrial Control System and Communications (SSIC), Aug 2015, Shanghai, France. pp.1-6, ⟨10.1109/SSIC.2015.7245679⟩
hal-02343635v1  Conference papers
Mounira MsahliAhmed Serhrouchni. SBaaS: Safe Box as a Service
9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254190⟩
hal-02354694v1  Conference papers
Mounira MsahliHouda LabiodGilles Ampt. Security Interoperability for Cooperative ITS: Architecture and Validation
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, France. pp.1-6, ⟨10.1109/NTMS.2019.8763819⟩
hal-03569465v1  Journal articles
Sihem MesnagerBimal MandalMounira Msahli. Survey on recent trends towards generalized differential and boomerang uniformities
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2021, ⟨10.1007/s12095-021-00551-6⟩
hal-03089815v3  Reports
Gérard Memmi. Description de la méthode SCRUM à travers deux expériences en entreprise
[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
hal-02287375v1  Journal articles
Gérard Memmi. Deux retours d’expérience avec la méthodologie SCRUM
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.52-58
hal-03022599v1  Journal articles
Gerard MemmiMatthieu Rambaud. Note sur la cryptanalyse de Diffie-Hellman
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017
hal-01212158v1  Conference papers
Gerard MemmiKatarzyna KapustaHan Qiu. Data Protection: combining fragmentation, encryption, and dispersion
2015 International Conference on Cyber Security of Smart Cities, Industrial Control System and Communications, Aug 2015, Shanghai, China