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
Survey on recent trends towards generalized differential and boomerang uniformitiesCryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2021, ⟨10.1007/s12095-021-00551-6⟩
Journal articles
hal-03569465v1
|
|||
SyncDS: A digital safe based file synchronization approach2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2016, Las Vegas, France. pp.317-318, ⟨10.1109/CCNC.2016.7444796⟩
Conference papers
hal-02354922v1
|
|||
|
Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168834v1
|
||
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
|
|||
|
Teaching Real-Time Scheduling Analysis with Cheddar9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
Conference papers
hal-01166136v1
|
||
Technological Impacts in Socio-Technical Communities. Values and PathologiesIEEE Technology and Society Magazine, 2017
Journal articles
hal-02287625v1
|
|||
Technology for Collective Action [Special Section Introduction]IEEE Technology and Society Magazine, 2014, 3, pp.32-34
Journal articles
hal-02287021v1
|
|||
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
|
|||
|
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
|
||
|
The devil hides in the model: Reviewing Blockchain and BFT protocolsBlockchain 22 4th International Congress on Blockchain and Applications, Jul 2022, L'Aquila, Italy
Conference papers
hal-03860862v1
|
||
|
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile DevicesWorkshop on Power and Energy Aspects of Computation, In conjunction with the 10th International Conference on Parallel Processing and Applied Mathematics (PPAM'2013), Sep 2013, Varsovie, Poland. pp 793-803, ⟨10.1007/978-3-642-55224-3_74⟩
Conference papers
hal-00919414v1
|
||
The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017SIGACT News, 2018, 49 (1), pp.81-90. ⟨10.1145/3197406.3197421⟩
Journal articles
hal-02287904v1
|
|||
|
The General Index of Software Engineering PapersMSR 2022 - The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528494⟩
Conference papers
hal-03623109v1
|
||
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
|
|||
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
|
|||
The Role of Digital Technologies in Responding to the Grand Challenges of the Natural Environment: The Windermere AccordPatterns, In press
Journal articles
hal-03023290v1
|
|||
|
The StakeCube blockchain : Instantiation, Evaluation & ApplicationsBCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
Conference papers
hal-03024408v1
|
||
|
The weakest failure detector for eventual consistencyDistributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Journal articles
hal-02413314v1
|
||
|
The Weakest Failure Detector for Eventual Consistency34th Annual ACM Symposium on Principles of Distributed Computing (PODC-2015), Donostia-San Sebastián, Spain, Jul 2015, Donostia-San Sebastián, Spain. pp.375-384, ⟨10.1145/2767386.2767404⟩
Conference papers
hal-01213330v1
|
||
Thermal behavior and Energy/Frequency Convexity Rule of Energy Consumption for ProgramsInternational Conference on Software & Systems Engineering and their Applications (ICSSEA'16) , May 2016, Paris, France
Conference papers
hal-01531505v1
|
|||
Threats to Adversarial Training for IDSs and Mitigation19th International Conference on Security and Cryptography, Jul 2022, Lisbon, France. pp.226-236, ⟨10.5220/0011277600003283⟩
Conference papers
hal-03801012v1
|
|||
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
|
|||
|
To do or not to do: finding causal relations in smart homes2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Sep 2021, Washington, France. pp.110-119, ⟨10.1109/ACSOS52086.2021.00030⟩
Conference papers
hal-03814048v1
|
||
Topological Graph Convolutional Network-Based Urban Traffic Flow and Density PredictionIEEE Transactions on Intelligent Transportation Systems, 2020, pp.1-10. ⟨10.1109/TITS.2020.3032882⟩
Journal articles
hal-03042201v1
|
|||
Towards a Fine-Grained Access Control for Cloud2014 IEEE 11th International Conference on e-Business Engineering (ICEBE), Nov 2014, Guangzhou, France. pp.286-291, ⟨10.1109/ICEBE.2014.56⟩
Conference papers
hal-02343634v1
|
|||
Towards a Fine-Grained Access Control for Cloud2014 IEEE 11th International Conference on e-Business Engineering, Oct 2013, Guangzhou, China
Conference papers
hal-02287108v1
|
|||
Towards a Formal Specification of Multi-paradigm ModellingFirst International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany
Conference papers
hal-03022707v1
|
|||
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
|
|||
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
|
|||
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
|
|||
Towards an Efficient File Synchronization between Digital Safes2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA), Mar 2017, Taipei, France. pp.136-143, ⟨10.1109/AINA.2017.115⟩
Conference papers
hal-02354920v1
|
|||
|
Towards end-to-end privacy for publish/subscribe architectures in the Internet of ThingsM4IoT 2018: 5th Workshop on Middleware and Applications for the Internet of Things at the 2018 ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.35 - 40, ⟨10.1145/3286719.3286727⟩
Conference papers
hal-01940866v1
|
||
Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Conference papers
hal-02287520v1
|
|||
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph TransformationAMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43
Conference papers
hal-02287272v1
|
|||
|
Translating ATL Model Transformations to Algebraic Graph Transformations8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015, Jul 2015, L'Aquila, Italy. pp.183-198, ⟨10.1007/978-3-319-21155-8_14⟩
Conference papers
hal-01229113v1
|
||
Translation of ATL to AGT and Application to a Code Generator for SimulinkSoftware and Systems Modeling, 2017
Journal articles
hal-02287624v1
|
|||
Translation of ATL to AGT and application to a code generator for SimulinkSoftware and Systems Modeling, 2019, 18 (1), pp.321-344. ⟨10.1007/s10270-017-0607-8⟩
Journal articles
hal-02449688v1
|
|||
|
Using AADL to build critical real-time systems: Experiments in the IST-ASSERT projectEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers
insu-02270096v1
|
||
|
Validate, Simulate and Implement ARINC653 Systems using the AADLACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Journal articles
hal-00745370v1
|
||
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
|
|||
Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocolsPeer-to-Peer Networking and Applications, 2012, 5 (3), pp.231-243
Journal articles
hal-02286502v1
|
|||
|
What Should I Notice? Using Algorithmic Information Theory to Evaluate the Memorability of Events in Smart HomesEntropy, 2022, 24 (3), pp.346. ⟨10.3390/e24030346⟩
Journal articles
hal-03813989v1
|
||
|
Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systemsHardware Architecture [cs.AR]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT044⟩
Theses
tel-02494421v1
|
||
Work-conserving dynamic time-division multiplexing for multi-criticality systemsReal-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩
Journal articles
hal-02447512v1
|
|||
|
Worldwide Gender Differences in Public Code Contributions44th International Conference on Software Engineering (ICSE 2022) - Software Engineering in Society (SEIS) Track, May 2022, Pittsburgh, PA, United States. ⟨10.1145/3510458.3513011⟩
Conference papers
hal-03571837v1
|
||
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
|