Filter your results
- 153
- 53
- 1
- 153
- 61
- 23
- 3
- 3
- 2
- 1
- 1
- 151
- 11
- 2
- 2
- 1
- 7
- 8
- 13
- 18
- 15
- 17
- 13
- 23
- 15
- 13
- 4
- 3
- 2
- 2
- 153
- 142
- 8
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 25
- 22
- 19
- 17
- 16
- 14
- 13
- 12
- 10
- 9
- 8
- 8
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Exchange between the German and French Compiler Communities18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Oct 2015, Pörtschach am Wörthersee, Austria. pp.83-84
Conference papers
hal-02287275v1
|
|||
Interactive Self-Governance and Value-Sensitive Design for Self-Organising Socio-Technical SystemsFourth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST@SASO2016), Sep 2016, Ausgburg, Germany
Conference papers
hal-02288465v1
|
|||
Architectural Integration Patterns for Autonomic Management Systems9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia
Conference papers
hal-02286263v1
|
|||
A Cognitive Control System for Managing Runtime Uncertainty in Self-Integrating Autonomic SystemsSISSY workshop, IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Aug 2020, Washington DC (virtual), France
Conference papers
hal-03023108v1
|
|||
COOB: Hybrid secure device pairing scheme in a hostile environment16th EAI International Conference on Security and Privacy in Communication Networks, Oct 2020, Washington DC, United States
Conference papers
hal-03024246v1
|
|||
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES)ICECCS, Dec 2015, Gold Coast, Australia. pp.21-30
Conference papers
hal-02292449v1
|
|||
Availability enhancement and analysis for mixed-criticality systems on multi-core2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, France. pp.1271-1276
Conference papers
hal-01994643v1
|
|||
Automatic Production of Transformation Chains Using Structural Constraints on Output ModelsEuromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165
Conference papers
hal-01115708v1
|
|||
Panel session on AADL and its annexes15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), Mar 2010, Oxford, United Kingdom
Conference papers
hal-00652435v1
|
|||
|
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2022, Auckland (virtual), New Zealand. pp.62--71
Conference papers
hal-03666430v1
|
||
Data-based access control in Named Data Networking9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254180⟩
Conference papers
hal-03042232v1
|
|||
Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2021, Perth, Australia. pp.27-36, ⟨10.1109/PRDC53464.2021.00014⟩
Conference papers
hal-03758375v1
|
|||
|
Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.677-683, ⟨10.1145/3550356.3563129⟩
Conference papers
hal-03905633v1
|
||
Openflow and on demand networks2012 Third International Conference on the Network of the Future (NOF), Nov 2012, Tunis, Tunisia. pp.1-5, ⟨10.1109/NOF.2012.6464006⟩
Conference papers
hal-02354918v1
|
|||
Safe box cloud authentication using TLS extesion2015 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⟩
Conference papers
hal-02354926v1
|
|||
An Attack Execution Model for Industrial Control Systems Security Assessment.CyberICS/WOS-CPS@ESORICS 2015, Jan 2015, Vienna, Austria. pp.157-167
Conference papers
hal-02287737v1
|
|||
Asynchronous Reconfiguration with Byzantine FailuresDISC, Oct 2020, VIRTUAL, France
Conference papers
hal-03022581v1
|
|||
Machine Learning Detection for SMiShing Frauds2021 IEEE 18th Annual Consumer Communications & Networking Conference (CCNC), Jan 2021, Las Vegas, France. pp.1-2, ⟨10.1109/CCNC49032.2021.9369640⟩
Conference papers
hal-03569422v1
|
|||
Controllability of Orchestrated SessionsInvited Talk - WWV'11, 7th Int'l Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland
Conference papers
hal-02288310v1
|
|||
Towards a reference model for multi-goal, highly-distributed and dynamic autonomic systems10th International Conference on Autonomic Computing (ICAC), Self-aware Internet of Things (Self-IoT) track, Jun 2013, San Jose, Ca, United States
Conference papers
hal-02286685v1
|
|||
A Decentralized Approach to Explanatory Artificial Intelligence for Autonomic Systems2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Aug 2020, Washington, France. pp.115-120, ⟨10.1109/ACSOS-C51401.2020.00041⟩
Conference papers
hal-02963566v1
|
|||
Task Computability in Unreliable Anonymous Networks22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.23:1-23:13, ⟨10.4230/LIPIcs.OPODIS.2018.23⟩
Conference papers
hal-02412406v1
|
|||
Parallel Combining: Benefits of Explicit Synchronization22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.11:1-11:16, ⟨10.4230/LIPIcs.OPODIS.2018.11⟩
Conference papers
hal-02412405v1
|
|||
Secure Data Sharing with Fast Access Revocation through Untrusted Clouds2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, France. pp.1-5, ⟨10.1109/NTMS.2019.8763850⟩
Conference papers
hal-02450309v1
|
|||
An efficient Secure Storage Scheme Based on Information Fragmentation4th IEEE Int. Conf. on Cyber Security and Cloud Computing, Jun 2017, New-York, United States. pp.108-113
Conference papers
hal-02287645v1
|
|||
|
SBaaS: Safe Box as a Service9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254190⟩
Conference papers
hal-02343635v1
|
||
|
The Consensus Number of a Cryptocurrencythe 2019 ACM PODC, Jul 2019, Toronto ON, Canada. pp.307-316, ⟨10.1145/3293611.3331589⟩
Conference papers
hal-02364290v1
|
||
Data Integrity and Availability Verification Game in Untrusted Cloud StorageGameSec, Nov 2014, Los Angeles, United States
Conference papers
hal-01110522v1
|
|||
A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical InfrastructuresHASE, IEEE, Jan 2015, Daytona Beach, United States
Conference papers
hal-01110552v1
|
|||
The Role of Causality in a Formal Definition of Timing Anomalies2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Conference papers
hal-03867187v1
|