Skip to Main content Skip to Navigation

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-02287105v1  Journal articles
Mounira MsahliAhmed Serhrouchni. Profile Centric Model.
International Journal of Internet Technology and Secured Transactions, 2014, 5 (ISSN online: 1748-5703)
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-02147191v1  Conference papers
Maryline LaurentJean LeneutreSophie ChabridonImane Laaouane. Authenticated and Privacy-Preserving Consent Management in the Internet of Things
ANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT), Apr 2019, Leuven, Belgium. pp.256-263, ⟨10.1016/j.procs.2019.04.037⟩
hal-00922522v1  Conference papers
Vincent LegoutMathieu JanLaurent Pautet. Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses
First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
hal-02354927v1  Journal articles
Mounira MsahliAhmed Serhrouchni. Profile centric modelling
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2014, 5 (4), pp.344. ⟨10.1504/IJITST.2014.068713⟩
hal-02910407v1  Conference papers
Nathanaël DenisPierre ChaffardonDenis ConanMaryline LaurentSophie Chabridon et al.  Privacy-preserving content-based publish/subscribe with encrypted matching and data splitting
SECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
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-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-03628457v1  Directions of work or proceedings
Joaquin Garcia‐alfaroJean LeneutreNora CuppensReda Yaich. Risks and security of internet and systems
CRISIS 2020: 15th International Conference on Risks and Security of Internet and Systems, Nov 2020, Paris, France. 12528, Springer, pp.xi-378, 2021, Lecture Notes in Computer Science (LNCS), 978-3-030-68886-8. ⟨10.1007/978-3-030-68887-5⟩
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-03340371v1  Conference papers
Ankica BarisicDominique BlouinVasco AmaralMiguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
hal-02009646v1  Journal articles
Christophe KiennertIsmail ZiadHervé DebarJean Leneutre. A survey on game-theoretic approaches for intrusion detection and response optimization
ACM Computing Surveys, Association for Computing Machinery, 2019, 51 (5), pp.article 90 -. ⟨10.1145/3232848⟩
hal-02278638v1  Conference papers
Elie Najm. Service Orchestration with Orcharts and Typecharts
Seminaire INRIA, Mar 2010, Rennes, France
cea-01846864v1  Journal articles
V. LegoutM. JanLaurent Pautet. Scheduling algorithms to reduce the static energy consumption of real-time systems
Experiments in Fluids, Springer Verlag (Germany), 2015, 56 (3), pp.153-191. ⟨10.1007/s11241-014-9207-7⟩
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-01649727v1  Conference papers
Ankica BarisicDominique BlouinVasco AmaralMiguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
hal-01113214v1  Journal articles
Ziad IsmailJean LeneutreDavid BatemanLin Chen. A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMI
IEEE Journal on Selected Areas in Communications, Institute of Electrical and Electronics Engineers, 2014, 32 (7), pp.12. ⟨10.1109/JSAC.2014.2332095⟩
hal-01207895v1  Conference papers
Claire CapdevielleColette JohnenPetr KuznetsovAlessia Milani. Brief Announcement: On the Uncontended Complexity of Anonymous Consensus
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
hal-02288439v1  Conference papers
Robin DespouysRémi SharrockIsabelle Demeure. Sensemaking in the autonomic smart-home
UBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
hal-01855989v1  Conference papers
Stephen MarshAda DiaconescuDavid EvansTracy Ann KosaPeter R. Lewis et al.  Public Privacy and Brick Houses Made of Glass
12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.137-148, ⟨10.1007/978-3-319-95276-5_10⟩
hal-01411528v1  Conference papers
Claire CapdevielleColette JohnenPetr KuznetsovAlessia Milani. On the Uncontended Complexity of Anonymous Consensus
19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩
hal-02354920v1  Conference papers
Mayssa JemelMounira MsahliAhmed Serhrouchni. Towards an Efficient File Synchronization between Digital Safes
2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA), Mar 2017, Taipei, France. pp.136-143, ⟨10.1109/AINA.2017.115⟩
hal-02354922v1  Conference papers
Mayssa JemelMounira MsahliAhmed Serhrouchni. SyncDS: A digital safe based file synchronization approach
2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2016, Las Vegas, France. pp.317-318, ⟨10.1109/CCNC.2016.7444796⟩
hal-03559549v1  Journal articles
Petr KuznetsovVitaly Aksenov. Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020
ACM SIGACT News, Association for Computing Machinery (ACM), 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩
hal-01111647v1  Conference papers
Karel de VogeleerGérard MemmiPierre JouvelotFabien Coelho. Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
hal-01622778v1  Conference papers
Karel de VogeleerKameswar Rao VaddinaFlorian BrandnerPierre JouvelotGérard Memmi. Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity Rule
The Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10
hal-01304268v2  Conference papers
Claire CapdevielleColette JohnenPetr KuznetsovAlessia Milani. Complexité du consensus anonyme en l'absence de concurrence
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
hal-02354919v1  Conference papers
Mayssa JemelMounira MsahliAhmed Serhrouchni. Digital safe: Secure synchronization of shared files
2015 11th International Conference on Information Assurance and Security (IAS), Dec 2015, Marrakech, France. pp.67-72, ⟨10.1109/ISIAS.2015.7492747⟩
hal-01664898v1  Conference papers
Vitalii AksenovVincent GramoliPetr KuznetsovAnna MalovaSrivatsan Ravi. A Concurrency-Optimal Binary Search Tree
23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
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-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-03559698v1  Journal articles
Han QiuTian DongTianwei ZhangJialiang LuGerard Memmi et al.  Adversarial Attacks Against Network Intrusion Detection in IoT Systems
IEEE internet of things journal, IEEE, 2021, 8 (13), pp.10327-10335. ⟨10.1109/JIOT.2020.3048038⟩
tel-03719946v1  Theses
Sameh Khalfaoui. Security bootstrapping for Internet of Things
Cryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT023⟩
hal-02287375v1  Journal articles
Gérard Memmi. Deux retours d’expérience avec la méthodologie SCRUM
Genie Logiciel, 2011, 98, pp.52-58
hal-02287379v1  Conference papers
Matthieu Rambaud. optimal Chudnovsky Chudnovsky multiplication algorithms
WAIFI 2014, Jul 2015, gebze, Turkey
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-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-02287944v1  Conference papers
Ziad IsmailJean LeneutreAlia Fourati. Optimal Deployment of Security Policies: Application to Industrial Control Systems
14th European Dependable Computing Conference (EDCC 2018), Sep 2018, Iasi, Romania
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-02287223v1  Conference papers
Petr KuznetsovSrivatsan Ravi. Progressive Transactional Memory in Time and Space
PaCT, Sep 2015, Petrozavodsk, Russia
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
cea-02321547v1  Reports
Petr KuznetsovThibault RieutordSara Tucci-Piergiovanni. Reconfigurable Lattice Agreement and Applications
[Research Report] Institut Polytechnique Paris; CEA List. 2019
hal-02449649v1  Conference papers
Philippe LalandaAda Diaconescu. Integration of Pervasive Platforms with iCasa
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.49-51, ⟨10.1109/FAS-W.2019.00025⟩
hal-02449653v1  Conference papers
Chloe BarnesKirstie BellmanJean F BotevAda DiaconescuLukas Esterle et al.  CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.52-55, ⟨10.1109/FAS-W.2019.00026⟩
hal-03723556v1  Conference papers
Zeinab Abou KhalilStefano Zacchiroli. Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis
ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022), Sep 2022, Helsinki, Finland. ⟨10.1145/3544902.3546239⟩
hal-03024408v1  Conference papers
Antoine DurandGuillaume HébertKhalifa ToumiGérard MemmiEmmanuelle Anceaume. The StakeCube blockchain : Instantiation, Evaluation & Applications
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
hal-03168834v1  Reports
Ankica BarisicDušan SavićRima Al-AliIvan RuchkinDominique Blouin et al.  Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems
[Technical Report] COST European Cooperation in Science and Technology. 2019
hal-01121019v1  Conference papers
Etienne BordeSmail RahmounFabien CadoretLaurent PautetFrank Singhoff et al.  Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
hal-01115723v1  Conference papers
Etienne BordeLaurent PautetFabien CadoretSmail RahmounFrank Singhoff. Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
hal-01113223v1  Conference papers
Ziad IsmailJean LeneutreDavid BatemanLin Chen. A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures
IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, FL, United States. ⟨10.1109/HASE.2015.24⟩
hal-03560232v1  Conference papers
Petr KuznetsovVitaly AksenovVincent GramoliSrivatsan Ravi. Optimal Concurrency for List-Based Sets
Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
hal-02274532v1  Conference papers
Eric CousinGérald OuvradouC. BacO. BergerP. Lalevee et al.  Développer une nouvelle approche pédagogique ", questionnement autour du cas de PicoLibre
Questions de pédagogies dans l'enseignement supérieur : réflexions, projets et pratiques : actes du 2e colloque, Brest, 25-27 juin 2003, organisé par l'ENSIETA et l'ENST Bretagne, Jun 2003, Brest, France. pp.109 - 114
hal-03023217v1  Journal articles
Julian GarbisoAda DiaconescuMarceau CoupechouxBertrand Leroy. Fair Self-Adaptive Clustering for HybridCellular-Vehicular Networks
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2020
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-03559899v1  Conference papers
Florian BrandnerBenjamin BinderMihail AsavoaeBelgacem Ben HediaMathieu Jan. Is This Still Normal? Putting Definitions of Timing Anomalies to the Test
2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2021, Houston, France. pp.139-148, ⟨10.1109/RTCSA52859.2021.00024⟩
hal-03559623v1  Conference papers
Petr KuznetsovAndrei TonkikhYan Zhang. Revisiting Optimal Resilience of Fast Byzantine Consensus
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.343-353, ⟨10.1145/3465084.3467924⟩
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-02288493v1  Conference papers
Florian BrandnerNaji Amine. Worst-Case Execution Time Analysis of Predicated Architectures
Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
hal-02287557v1  Book sections
Samuel KounevPeter LewisKirstie BellmanNelly BencomoJavier Camara et al.  The notion of self-aware computing
Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, pp.3-16, 2017
hal-01887733v1  Conference papers
Vitalii AksenovDan AlistarhPetr Kuznetsov. Brief Announcement: Performance Prediction for Coarse-Grained Locking
PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
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