Filter your results
- 247
- 97
- 2
- 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
- 22
- 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
Replication-Based Self-healing of Mobile Agents Exploring Complex Networks15th 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⟩
Conference papers
hal-02287746v1
|
|||
Worst-Case Execution Time Analysis of Predicated ArchitecturesWorkshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
Conference papers
hal-02288493v1
|
|||
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
|
|||
Directed Acyclic Graph Scheduling for Mixed-Criticality SystemsReliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
Conference papers
hal-01995010v1
|
|||
Protocol for preserving privacy in distributed system (PPDS)2017 13th International Wireless Communications and Mobile Computing Conference (IWCMC), Jun 2017, Valencia, France. pp.1885-1890, ⟨10.1109/IWCMC.2017.7986571⟩
Conference papers
hal-02354923v1
|
|||
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
|
|||
Translation of ATL to AGT and Application to a Code Generator for SimulinkSoftware and Systems Modeling, 2017
Journal articles
hal-02287624v1
|
|||
Technological Impacts in Socio-Technical Communities. Values and PathologiesIEEE Technology and Society Magazine, 2017
Journal articles
hal-02287625v1
|
|||
|
An Asynchronous Computability Theorem for Fair Adversaries2017
Preprints, Working Papers, ...
hal-01572257v4
|
||
|
A Concurrency-Optimal Binary Search Tree23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
Conference papers
hal-01664898v1
|
||
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
|
|||
|
A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Sep 2017, Lisbon, France. ⟨10.1109/REW.2017.52⟩
Conference papers
hal-01873945v1
|
||
|
Experimental Energy Profiling of Energy-Critical Embedded Applications25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
Conference papers
hal-01625409v2
|
||
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers
hal-03340371v1
|
|||
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers
hal-01649727v1
|
|||
Secure and Resilient Scheme for Data Protection in Unattanded Wireless Sensor Networks1st IEEE-IFIP CSNet, Oct 2017, Rio de Janero, Brazil
Conference papers
hal-02287748v1
|
|||
Auto-Adaptive Multi-Hop Clustering for Hybrid Cellular-Vehicular NetworksIEEE International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. pp.1-6
Conference papers
hal-02288490v1
|
|||
|
Strengthening fonctional validation of critical system by using Model Checking : application to Instrumentation and control systems in nuclear power plantsSoftware Engineering [cs.SE]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0047⟩
Theses
tel-03419751v1
|
||
|
Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity RuleThe Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10
Conference papers
hal-01622778v1
|
||
|
An efficient data protection architecture based on fragmentation and encryptionCryptography and Security [cs.CR]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0049⟩
Theses
tel-03419019v1
|
||
A Game Theoretical Model for Optimal Distribution of Network Security ResourcesGamesec, Oct 2017, Vienna, Austria. ⟨10.1007/978-3-319-68711-7_13⟩
Conference papers
hal-01688475v1
|
|||
TLS for Cooperative ITS ServicesTLS for Cooperative ITS Services, pp.176-189, 2017, ⟨10.1007/978-3-319-72329-7_16⟩
Book sections
hal-02354921v1
|
|||
Dynamic Arbitration of Memory Requests with TDM-like GuaranteesWorkshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
Conference papers
hal-02287739v1
|
|||
|
Progress-Space Tradeoffs in Single-Writer Memory Implementations21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisbon, Portugal. ⟨10.4230/LIPIcs.OPODIS.2017.9⟩
Conference papers
hal-01787848v1
|
||
Preserving privacy in distributed system (PPDS) protocol: Security analysis2017 IEEE 36th International Performance Computing and Communications Conference (IPCCC), Dec 2017, San Diego, France. pp.1-7, ⟨10.1109/PCCC.2017.8280505⟩
Conference papers
hal-02353278v1
|
|||
|
Approche sémantique de la conception de services connectés : cadre d'architecture, algorithmique de composition, application à la maison connectéeModélisation et simulation. Télécom ParisTech, 2017. Français. ⟨NNT : 2017ENST0072⟩
Theses
tel-03411977v1
|
||
AT2: Asynchronous Trustworthy TransfersCoRR, 2018, abs/1812.10844
Journal articles
hal-02288008v1
|
|||
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
|
|||
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
|
|||
Defining services and service orchestrators acting on shared sensors and actuators6th International Conference on Model-Driven Engineering and Software Development (ModelsWard'18), Jan 2018, Funchal, Portugal
Conference papers
hal-02412326v1
|