Skip to Main content Skip to Navigation
New interface

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-02278638v1  Conference papers
Elie Najm. Service Orchestration with Orcharts and Typecharts
Seminaire INRIA, Mar 2010, Rennes, France
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-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-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-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-02287105v1  Journal articles
Mounira MsahliAhmed Serhrouchni. Profile Centric Model.
International Journal of Internet Technology and Secured Transactions, 2014, 5 (ISSN online: 1748-5703)
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-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-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-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-03800630v1  Book sections
Thomas AttemaRonald CramerMatthieu Rambaud. Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures
Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩
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-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-03779034v1  Conference papers
Francesco BelardinelliBorja G. LeónVadim Malvone. Enabling Markovian Representations under Imperfect Information
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
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-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
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-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-02288439v1  Conference papers
Robin DespouysRémi SharrockIsabelle Demeure. Sensemaking in the autonomic smart-home
UBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
hal-03628457v1  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-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-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-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-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⟩
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-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-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-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-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⟩
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-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-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-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-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-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-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-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-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-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-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-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-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-02287223v1  Conference papers
Petr KuznetsovSrivatsan Ravi. Progressive Transactional Memory in Time and Space
PaCT, Sep 2015, Petrozavodsk, Russia
hal-02287379v1  Conference papers
Matthieu Rambaud. optimal Chudnovsky Chudnovsky multiplication algorithms
WAIFI 2014, Jul 2015, gebze, Turkey
cea-02321547v1  Reports
Petr KuznetsovThibault RieutordSara Tucci-Piergiovanni. Reconfigurable Lattice Agreement and Applications
[Research Report] Institut Polytechnique Paris; CEA List. 2019
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-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-03749355v1  Conference papers
Nan LiEric GoubaultLaurent PautetS. Putot. Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic Programming
Opportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
hal-03814048v1  Conference papers
Kanvaly FadigaAda DiaconescuJean-Louis DessallesEtienne Houze. To do or not to do: finding causal relations in smart homes
2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Sep 2021, Washington, France. pp.110-119, ⟨10.1109/ACSOS52086.2021.00030⟩
hal-03775550v1  Conference papers
Hassan ChaitouThomas RobertJean LeneutreLaurent Pautet. Assessing adversarial training effect on IDSs and GANs
2021 IEEE International Conference on Cyber Security and Resilience (CSR) Workshop on Resilient Artificial Intelligence, Jul 2021, Rhodes, France. pp.543-550, ⟨10.1109/CSR51186.2021.9527949⟩
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-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-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
insu-02270096v1  Conference papers
J HuguesLaurent PautetB ZalilaP DissauxM Perrotin. Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
hal-00854882v1  Books
Philippe LalandaMccann A. JulieAda Diaconescu. Autonomic Computing - Principles, Design and Implementation
Springer, pp.288, 2013, Undergraduate Topics in Computer Science, 978-1-4471-5007-7. ⟨10.1007/978-1-4471-5007-7⟩
cea-01818894v1  Conference papers
V. LegoutM. JanLaurent Pautet. A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems
RTNS '13 Proceedings of the 21st International conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. pp.99-108, ⟨10.1145/2516821.2516839⟩
hal-03023532v1  Journal articles
Ada Diaconescu. Efficiency vs Creativity as Organising Principles of Socio-Technical Systems
IEEE Technology and Society Magazine, Institute of Electrical and Electronics Engineers, 2019
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-01423637v1  Conference papers
Pierre FraigniaudSergio RajsbaumCorentin TraversPetr KuznetsovThibault Rieutord. Perfect Failure Detection with Very Few Bits
18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
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-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-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-02287875v1  Conference papers
Ada DiaconescuJeremy Pitt. Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective
3rd International Workshop on Self-Awareness in Cyber-Physical Systems (SelPhyS'18), Apr 2018, Birmingham, United Kingdom
hal-02287560v1  Conference papers
Jan KantertSven TomfordeAda DiaconescuChristian Müller-Schloer. Incentive-oriented Task Assignment in Holonic Organic Systems
5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria
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⟩