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
|
Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers
hal-02454258v1
|
||
|
CoRA: a scalable Collective Remote Attestation protocol for sensor networksICISSP 2020: 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valletta, Malta. pp.84-95, ⟨10.5220/0008962700840095⟩
Conference papers
hal-03024074v1
|
||
AADL: A Language to Specify the Architecture of Cyber-Physical SystemsFoundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
Book sections
hal-03022808v1
|
|||
Multi-hop Data Fragmentation in Energy Harvesting Wireless Sensor Networks2020 Global Internet of Things Summit (GIoTS), Jun 2020, Dublin, France. pp.1-6, ⟨10.1109/GIOTS49054.2020.9119569⟩
Conference papers
hal-03559678v1
|
|||
Precise and Efficient Analysis of Context-Sensitive Cache Conflict SetsRTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.44-55, ⟨10.1145/3394810.3394811⟩
Conference papers
hal-02894150v1
|
|||
Online Payments by Merely Broadcasting MessagesDSN, Jun 2020, Valencia, Spain
Conference papers
hal-03022579v1
|
|||
ChainIDE 2.0: Facilitating Smart Contract Development for Consortium BlockchainIEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, France. pp.388-393, ⟨10.1109/INFOCOMWKSHPS50562.2020.9163051⟩
Conference papers
hal-03559687v1
|
|||
|
Privacy-preserving content-based publish/subscribe with encrypted matching and data splittingSECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
Conference papers
hal-02910407v1
|
||
Reactive or Stable: A Plant-inspired Approach for Business Organisation MorphogenesisInternational Conference on Artificial Life (ALife), Jul 2020, Montreal (virtual), Canada
Conference papers
hal-03023157v1
|
|||
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
|
|||
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
|
|||
|
Seamless Integration between Real-time Analyses and Systems Engineering with the PST ApproachIEEE SYSCON2020, Aug 2020, Vancouver (virtual conference), Canada
Conference papers
hal-02940241v1
|
||
Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore ArchitectureInternational Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria
Conference papers
hal-03022552v1
|
|||
|
Revisiting Shared Data Protection Against Key ExposureAsiaCCS, Sep 2020, taipei, Taiwan. ⟨10.1145/3320269.3372198⟩
Conference papers
hal-03024707v1
|
||
RFC 8902 TLS Authentication Using Intelligent Transport System (ITS) Certificates2020
Books
hal-03023137v1
|
|||
|
Affine Tasks for k-Test-and-Set2020
Preprints, Working Papers, ...
hal-01810601v2
|
||
Brief Announcement: On Decidability of 2-Process Affine ModelsDISC, Oct 2020, VIRTUAL, France
Conference papers
hal-03022583v1
|
|||
Asynchronous Reconfiguration with Byzantine FailuresDISC, Oct 2020, VIRTUAL, France
Conference papers
hal-03022581v1
|
|||
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
|
|||
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
|
|||
|
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
|
||
Privacy as a Service: Anonymisation of NetFlow TracesAdvances in E-Business Engineering for Ubiquitous Computing, pp.561-571, 2020, ⟨10.1007/978-3-030-34986-8_39⟩
Book sections
hal-03042197v1
|
|||
|
Energy trading marketplace using Ethereum private network[Technical Report] Telecom Paris. 2020
Reports
hal-03157038v1
|
||
|
Perfect failure detection with very few bitsInformation and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
Journal articles
hal-03559548v1
|
||
|
Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZAdvances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩
Book sections
hal-03800662v1
|
||
Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020ACM SIGACT News, 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩
Journal articles
hal-03559549v1
|
|||
|
Description de la méthode SCRUM à travers deux expériences en entreprise[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
Reports
hal-03089815v3
|
||
Self-healing Networks via Self-organising Mobile AgentsJournal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021
Journal articles
hal-03023085v1
|
|||
The Role of Digital Technologies in Responding to the Grand Challenges of the Natural Environment: The Windermere AccordPatterns, In press
Journal articles
hal-03023290v1
|
|||
|
Risks and security of internet and systemsCRISIS 2020: 15th International Conference on Risks and Security of Internet and Systems, Nov 2020, Paris, France. 12528, Springer, pp.xi-378, 2021, Lecture Notes in Computer Science (LNCS), 978-3-030-68886-8. ⟨10.1007/978-3-030-68887-5⟩
Proceedings
hal-03628457v1
|
||
Self-improving system integration: Mastering continuouschangeFuture Generation Computer Systems, 2021
Journal articles
hal-03023144v1
|
|||
An ontology for multi-paradigm modellingMulti-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
Book sections
hal-03219279v1
|
|||
An ontological foundation for multi-paradigm modelling for cyber-physical systemsMulti-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.9-43, 2021, ⟨10.1016/B978-0-12-819105-7.00007-6⟩
Book sections
hal-03225338v1
|
|||
|
Exogenous coordination in multi-scale systems: How information flows and timing affect system propertiesFuture Generation Computer Systems, 2021
Journal articles
hal-03023050v1
|
||
|
Multi-Paradigm Modeling for Cyber-Physical Systems: A Systematic Mapping ReviewJournal of Systems and Software, 2021, ⟨10.1016/j.jss.2021.111081⟩
Journal articles
hal-03338594v1
|
||
|
An integrated ontology for multi-paradigm modelling for cyber-physical systemsBedir Tekinerdogan; Dominique Blouin; Hans Vangheluwe; Miguel Goulão; Paulo Carreira; Vasco Amaral. Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.123-145, 2021, 978-0-12-819105-7. ⟨10.1016/B978-0-12-819105-7.00010-6⟩
Book sections
hal-03167819v1
|
||
|
A Survey on the Current Security Landscape of Intelligent Transportation SystemsIEEE Access, 2021, pp.1-1. ⟨10.1109/ACCESS.2021.3050038⟩
Journal articles
hal-03104867v1
|
||
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
|
|||
|
On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometryRussian Mathematical Surveys, 2021, 76 (1), pp.29-89. ⟨10.1070/RM9928⟩
Journal articles
hal-03661954v1
|
||
|
Fair Self-Adaptive Clustering for Hybrid Cellular-Vehicular NetworksIEEE Transactions on Intelligent Transportation Systems, 2021, 22 (2), pp.1225-1236
Journal articles
hal-02421005v1
|
||
|
Control plane in dynamic software networksNetworking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT007⟩
Theses
tel-03506284v1
|
||
Resisting Adversarial Examples via Wavelet Extension and DenoisingSmart Computing and Communication, 12608, Springer International Publishing, pp.204-214, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-74717-6_22⟩
Book sections
hal-03559661v1
|
|||
Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2021, Sydney, France. pp.1-3, ⟨10.1109/ICBC51069.2021.9461115⟩
Conference papers
hal-03559711v1
|
|||
|
Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
Conference papers
hal-03210222v1
|
||
|
Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic ProgrammingOpportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
Conference papers
hal-03749355v1
|
||
|
Multi-paradigm modelling for cyber–physical systems: a descriptive frameworkSoftware and Systems Modeling, 2021, 20, pp.611 - 639. ⟨10.1007/s10270-021-00876-z⟩
Journal articles
hal-03572782v1
|
||
|
Natural Strategic Abilities in Voting ProtocolsSocio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
Book sections
hal-03779036v1
|
||
Precise, efficient, and context-sensitive cache analysisReal-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩
Journal articles
hal-03559857v1
|
|||
Revisiting Optimal Resilience of Fast Byzantine ConsensusPODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.343-353, ⟨10.1145/3465084.3467924⟩
Conference papers
hal-03559623v1
|
|||
Adversarial Attacks Against Network Intrusion Detection in IoT SystemsIEEE Internet of Things Journal, 2021, 8 (13), pp.10327-10335. ⟨10.1109/JIOT.2020.3048038⟩
Journal articles
hal-03559698v1
|