Filter your results
- 248
- 97
- 1
- 207
- 76
- 25
- 13
- 10
- 4
- 4
- 3
- 2
- 2
- 338
- 30
- 8
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 29
- 39
- 30
- 42
- 29
- 40
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 330
- 16
- 308
- 21
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 49
- 49
- 44
- 38
- 35
- 21
- 21
- 20
- 17
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
346 Results
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
|
|||
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
|
|||
Goal-oriented Holonic SystemsOrganic Computing: Technical Systems for Survival in the Real World,, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.209-258, 2017
Book sections
hal-02287627v1
|
|||
Organising Complexity: Hierarchies and HolarchiesOrganic Computing: Technical Systems for Survival in the Real World, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.89-106, 2017
Book sections
hal-02287626v1
|
|||
Technological Impacts in Socio-Technical Communities. Values and PathologiesIEEE Technology and Society Magazine, 2017
Journal articles
hal-02287625v1
|
|||
Translation of ATL to AGT and Application to a Code Generator for SimulinkSoftware and Systems Modeling, 2017
Journal articles
hal-02287624v1
|
|||
Note sur la cryptanalyse de Diffie-HellmanGénie Logiiel, 2017, 120, pp.56-60
Journal articles
hal-02287591v1
|
|||
Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processorsJournal of Sustainable Computing, Informatics and Systems, 2017, 15, pp.16-27
Journal articles
hal-02287590v1
|
|||
Incentive-oriented Task Assignment in Holonic Organic Systems5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria
Conference papers
hal-02287560v1
|
|||
Interactional Justice for Sustainable Management of Common-Pool ResourcesXVI Biennial IASC Conference "Practicing the commons: self-governance, cooperation, and institutional change, Jul 2017, Utrecht, Netherlands Antilles
Conference papers
hal-02287559v1
|
|||
Towards a framework for the levels and aspects of selfaware computing systemsSelf-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, pp.51-85, 2017
Book sections
hal-02287558v1
|
|||
The notion of self-aware computingSelf-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, pp.3-16, 2017
Book sections
hal-02287557v1
|
|||
In-Band Synchronization for Distributed SDN Control PlanesComputer Communication Review, 2016, 46 (1), pp.37-43
Journal articles
hal-02287556v1
|
|||
POSTER: A Keyless Efficient Algorithm for Data Protection by Means of FragmentationACM Conference on Computer and Communications Security 2016, Oct 2016, Vienna, Austria
Conference papers
hal-02287535v1
|
|||
Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Conference papers
hal-02287520v1
|
|||
Dynamic Cluster Size Optimization in Hybrid Cellular-Vehicular NetworksIEEE Intelligent Transportation Systems Conference, Nov 2016, Rio de Janeiro, Brazil. pp.1-7
Conference papers
hal-02287402v1
|
|||
Value Sensitive Design for Self-Organising Digital CommunitiesCharting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aug 2015, Aarhus, Denmark
Conference papers
hal-02287385v1
|
|||
Holonic Institutions for Multi-Scale Polycentric Self-GovernanceLecture Notes in Computer Science, 2015, 9372, pp.19-35
Journal articles
hal-02287383v1
|
|||
Foraging-inspired Self-organisation for Terrain Exploration with Failure-prone AgentsThe 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'15), Sep 2015, Cambridge, MA, United States. pp.10
Conference papers
hal-02287382v1
|
|||
Goal-oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), Sep 2016, Augsburg, Germany. pp.10
Conference papers
hal-02287380v1
|
|||
optimal Chudnovsky Chudnovsky multiplication algorithmsWAIFI 2014, Jul 2015, gebze, Turkey
Conference papers
hal-02287379v1
|
|||
Eager Stack Cache Memory TransfersWorkshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers
hal-02287376v1
|
|||
Deux retours d’expérience avec la méthodologie SCRUMGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.52-58
Journal articles
hal-02287375v1
|
|||
A Model-Based Testing Process for Enhancing Structural Coverage in Functional TestingInt. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
Conference papers
hal-02287374v1
|
|||
Model-Based Verification Directed by Structural Coverage and Functional RequirementsModel-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria
Conference papers
hal-02287373v1
|
|||
A Comparative Study of the Precision of Stack Cache Occupancy Analyses9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers
hal-02287276v1
|
|||
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
|
|||
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph TransformationAMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43
Conference papers
hal-02287272v1
|
|||
Improving Reusability of Model Transformations by Automating their CompositionEUROMICRO-SEAA, Aug 2015, Madeira, Portugal. pp.267-274
Conference papers
hal-02287271v1
|
|||
Progressive Transactional Memory in Time and SpacePaCT, Sep 2015, Petrozavodsk, Russia
Conference papers
hal-02287223v1
|
|||
Access Control in Probative Value CloudThe 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013), Dec 2013, London, United Kingdom
Conference papers
hal-02287110v1
|
|||
Data-based access control in named data networkingIEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
Conference papers
hal-02287109v1
|
|||
Towards a Fine-Grained Access Control for Cloud2014 IEEE 11th International Conference on e-Business Engineering, Oct 2013, Guangzhou, China
Conference papers
hal-02287108v1
|
|||
Profile Centric Model.International Journal of Internet Technology and Secured Transactions, 2014, 5 (ISSN online: 1748-5703)
Journal articles
hal-02287105v1
|
|||
Formal Analysis of Secure Device Pairing ProtocolsIEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States
Conference papers
hal-02287084v1
|
|||
CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défisGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109, pp.50-60
Journal articles
hal-02287057v1
|
|||
A Generic Holonic Control Architecture for Heterogeneous Multi-Scale and Multi-Objective Smart Micro-GridsACM Transactions on Autonomous and Adaptive Systems, 2015, 10 (2), pp.9:1-9:21
Journal articles
hal-02287025v1
|
|||
Algorithmic Self-Governance and the Design of Socio-Technical SystemsEuropean Conference on Social Intelligence, Nov 2014, Barcelona, Spain
Conference papers
hal-02287024v1
|
|||
The Algorithmic Governance Of Common-Pool ResourcesFrom 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
Book sections
hal-02287022v1
|
|||
Technology for Collective Action [Special Section Introduction]IEEE Technology and Society Magazine, 2014, 3, pp.32-34
Journal articles
hal-02287021v1
|
|||
Safety of session-based service orchestration revisited with an unreliable communication modelWeb Services Formal Methods, Aug 2013, beijing, China
Conference papers
hal-02286789v1
|
|||
Towards a model driven refinement process through architecture evaluationNFPinDSML '12, Dec 2012, Innsbruck, Austria. pp.4:1-4:6, ⟨10.1145/2420942.2420946⟩
Conference papers
hal-02286708v1
|
|||
Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and DependabilityISARCS'13, Aug 2013, Montréal, Canada
Conference papers
hal-02286706v1
|
|||
Model-Based Code GenerationEmbedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
Book sections
hal-02286688v1
|
|||
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
|
|||
Analyse à partir du modèleModélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013
Book sections
hal-02286675v1
|
|||
Introduction to special issue: papers from UML&FM'2009Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3
Journal articles
hal-02286673v1
|
|||
An Emerging Need for a New Software Engineering MethodInternational Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
Conference papers
hal-02286672v1
|
|||
Model driven code generation for critical and adaptative embedded systemsACM SIGBED Review, 2009, 6 (3), pp.10:1-10:5
Journal articles
hal-02286671v1
|
|||
Autonomic Computing: Principles, Design and ImplementationSpringer, pp.298, 2013
Books
hal-02286670v1
|