Skip to Main content Skip to Navigation


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-02287275v1  Conference papers
Jens KnoopFlorian Brandner. Exchange between the German and French Compiler Communities
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Oct 2015, Pörtschach am Wörthersee, Austria. pp.83-84
...
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-02287223v1  Conference papers
Petr KuznetsovSrivatsan Ravi. Progressive Transactional Memory in Time and Space
PaCT, Sep 2015, Petrozavodsk, Russia
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-02287383v1  Journal articles
Ada DiaconescuJeremy Pitt. Holonic Institutions for Multi-Scale Polycentric Self-Governance
Coordination, Organizations, Institutions, and Norms in Agent Systems X, Springer Lecture Notes in Computer Science, 2015, 9372, pp.19-35
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-02287025v1  Journal articles
Sylvain FreyAda DiaconescuDavid MengaIsabelle Demeure. A Generic Holonic Control Architecture for Heterogeneous Multi-Scale and Multi-Objective Smart Micro-Grids
ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2015, 10 (2), pp.9:1-9:21
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-02287626v1  Book sections
Ada Diaconescu. Organising Complexity: Hierarchies and Holarchies
Organic Computing: Technical Systems for Survival in the Real World, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.89-106, 2017
hal-02287627v1  Book sections
Ada Diaconescu. Goal-oriented Holonic Systems
Organic Computing: Technical Systems for Survival in the Real World,, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.209-258, 2017
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-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-02287737v1  Conference papers
Ziad IsmailJ. LeneutreAlia Fourati. An Attack Execution Model for Industrial Control Systems Security Assessment.
CyberICS/WOS-CPS@ESORICS 2015, Jan 2015, Vienna, Austria. pp.157-167
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-02286685v1  Conference papers
Sylvain FreyAda DiaconescuMenga DavidIsabelle Demeure. Towards a reference model for multi-goal, highly-distributed and dynamic autonomic systems
10th International Conference on Autonomic Computing (ICAC), Self-aware Internet of Things (Self-IoT) track, Jun 2013, San Jose, Ca, United States
hal-02286502v1  Journal articles
Nouha OualhaJean LeneutreYves Roudier. Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols
Peer-to-Peer Networking and Applications, Springer, 2012, 5 (3), pp.231-243
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