Filter your results
- 229
- 77
- 2
- 181
- 72
- 24
- 13
- 8
- 3
- 2
- 2
- 2
- 1
- 301
- 26
- 8
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 29
- 38
- 30
- 41
- 22
- 36
- 19
- 28
- 21
- 18
- 9
- 5
- 4
- 5
- 1
- 1
- 293
- 15
- 308
- 18
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 46
- 42
- 36
- 34
- 28
- 21
- 21
- 20
- 16
- 15
- 13
- 11
- 11
- 10
- 10
- 10
- 9
- 9
- 8
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 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
- 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
- 3
- 3
- 3
- 3
- 3
- 3
- 3
|
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and ApplicationsJournal of Artificial Intelligence Research, 2022, 73, pp.897-932. ⟨10.1613/jair.1.12539⟩
Journal articles
hal-03779030v1
|
||
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
|
|||
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
|
|||
|
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
|
||
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
|
|||
Asymptotically-Good Arithmetic Secret Sharing over Z/pℓZ with Strong Multiplication and Its Applications to Efficient MPCAdvances in Cryptology – CRYPTO 2021, 12827, Springer International Publishing, pp.656-686, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-84252-9_22⟩
Book sections
hal-03800642v1
|
|||
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
|
|||
Technological Impacts in Socio-Technical Communities. Values and PathologiesIEEE Technology and Society Magazine, 2017
Journal articles
hal-02287625v1
|
|||
Safety and Deferred Update in Transactional MemoryTransactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩
Book sections
hal-02287873v1
|
|||
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
|
|||
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
|
|||
From Behavioural Contracts to Session TypesModels, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩
Book sections
hal-02448995v1
|
|||
Holonic Institutions for Multi-Scale Polycentric Self-GovernanceLecture Notes in Computer Science, 2015, 9372, pp.19-35
Journal articles
hal-02287383v1
|
|||
|
Agreement in Spiking Neural NetworksJournal of Computational Biology, 2022, 29 (4), pp.358 - 369. ⟨10.1089/cmb.2021.0365⟩
Journal articles
inserm-03719607v1
|
||
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
|
|||
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
|
|||
|
Exogenous coordination in multi-scale systems: How information flows and timing affect system propertiesFuture Generation Computer Systems, 2021
Journal articles
hal-03023050v1
|
||
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
|
|||
|
Fair Self-Adaptive Clustering for Hybrid Cellular-Vehicular NetworksIEEE Transactions on Intelligent Transportation Systems, 2021, 22 (2), pp.1225-1236
Journal articles
hal-02421005v1
|
||
|
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
|
||
|
Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services2022
Other publications
hal-03860833v1
|
||
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
|
|||
|
Controlling self-organising software applications with archetypesIEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2012, Lyon, France. ⟨10.1109/SASO.2012.21⟩
Conference papers
hal-02286412v1
|
||
|
New architecture and function to improve autonomy, dynamicity, and intelligence of future network managementNetworking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT042⟩
Theses
tel-03910691v1
|
||
Data Integrity and Availability Verification Game in Untrusted Cloud StorageGameSec, Nov 2014, Los Angeles, United States
Conference papers
hal-01110522v1
|
|||
|
Modeling and Validation of ARINC653 architecturesERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Conference papers
hal-02269428v1
|
||
|
Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity DomainEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers
insu-02270097v1
|
||
Improving Reusability of Model Transformations by Automating their CompositionEUROMICRO-SEAA, Aug 2015, Madeira, Portugal. pp.267-274
Conference papers
hal-02287271v1
|
|||
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph TransformationAMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43
Conference papers
hal-02287272v1
|
|||
Shedding the Shackles of Time-Division MultiplexingRTSS 2018 - IEEE Real-Time Systems Symposium, Dec 2018, Nashville, France. pp.456-468, ⟨10.1109/RTSS.2018.00059⟩
Conference papers
hal-01994629v1
|
|||
|
Scénarios pour un Micro Smart Grid Autonomique.UbiMob, Jun 2011, Toulouse, France. pp.88-95
Conference papers
hal-00639077v1
|
||
|
Sélection des brokers dans un réseau de capteurs en mode publication / souscription14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, La Grande Motte, France. pp.1-4
Conference papers
hal-00690477v1
|
||
Selective All-Or-Nothing Transform: Protecting Outsourced Data Against Key ExposureCSS’18, 10th International Symposium on Cyberspace Safety and Security, Oct 2018, Amalfi, Italy
Conference papers
hal-02288014v1
|
|||
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
|
|||
Data Protection: combining fragmentation, encryption, and dispersion2015 International Conference on Cyber Security of Smart Cities, Industrial Control System and Communications, Aug 2015, Shanghai, China
Conference papers
hal-01212158v1
|
|||
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
|
|||
|
Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected CarsInformation, 2022, 13 (5), pp.242. ⟨10.3390/info13050242⟩
Journal articles
hal-03670106v1
|
||
|
DUX4-induced constitutive DNA damage and oxidative stress contribute to aberrant differentiation of myoblasts from FSHD patientsFree Radical Biology and Medicine, 2016, 99, pp.244 - 258. ⟨10.1016/j.freeradbiomed.2016.08.007⟩
Journal articles
hal-01804819v1
|
||
Multi-Scale Feedbacks for Large-Scale Coordination in Self-Systems2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Jun 2019, Umea, France. pp.137-142, ⟨10.1109/SASO.2019.00025⟩
Conference papers
hal-02449657v1
|
|||
|
Efficiency Versus Creativity as Organizing Principles of Socio-Technical Systems: Why Do We Build (Intelligent) Systems? [Commentary]IEEE Technology and Society Magazine, 2019, 38 (1), pp.13-22. ⟨10.1109/MTS.2019.2894455⟩
Journal articles
hal-02449500v1
|
||
In-Band Synchronization for Distributed SDN Control PlanesComputer Communication Review, 2016, 46 (1), pp.37-43
Journal articles
hal-02287556v1
|
|||
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
|
|||
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
|
|||
|
Improving quality of experience in multimedia streaming by leveraging Information-Centric NetworkingNetworking and Internet Architecture [cs.NI]. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT012⟩
Theses
tel-02164014v1
|
||
|
Formal semantics of behavior specifications in the architecture analysis and design language standardHLDVT 2016 - 18th IEEE International High-Level Design Validation and Test Workshop, Oct 2016, Santa Cruz, United States. pp.30-39, ⟨10.1109/HLDVT.2016.7748252⟩
Conference papers
hal-01419968v1
|
||
|
Building an Efficient Overlay for Publish/Subscribe in Wireless Sensor Networks9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON), Jun 2012, Seoul, South Korea. pp.362-370, ⟨10.1109/SECON.2012.6275798⟩
Conference papers
hal-00780006v1
|
||
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
|
|||
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
|
|||
|
Affine Tasks for k-Test-and-Set2020
Preprints, Working Papers, ...
hal-01810601v2
|
||
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
|
|||
Improving data collection in complex networks with failure-prone agents via local markingJournal of Intelligent and Fuzzy Systems, 2019
Journal articles
hal-03023128v1
|
|||
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
|
|||
|
Arbitration-Induced Preemption Delays31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
Conference papers
hal-02447339v1
|
||
|
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
|
||
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
|
|||
Scheduling of mixed-criticality systems with RUN2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), Sep 2015, Luxembourg, France. pp.1-8, ⟨10.1109/ETFA.2015.7301484⟩
Conference papers
hal-02922757v1
|
|||
Automatic selection and composition of model transformations alternatives using evolutionary algorithmsECSA Workshops 2015, Sep 2015, Dubrovnik/Cavtat, Croatia. pp.25:1-25:7
Conference papers
hal-02292448v1
|
|||
How to measure usable security: Natural strategies in voting protocols1Journal of Computer Security, 2022, 30 (3), pp.381-409. ⟨10.3233/JCS-210049⟩
Journal articles
hal-03779032v1
|
|||
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
|
|||
|
Anticanonical codes from del Pezzo surfaces with Picard rank oneTransactions of the American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩
Journal articles
hal-02075926v1
|
||
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architectureInternational Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
Journal articles
hal-03702426v1
|
|||
Security Interoperability for Cooperative ITS: Architecture and Validation2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, France. pp.1-6, ⟨10.1109/NTMS.2019.8763819⟩
Conference papers
hal-02354694v1
|
|||
|
Robust and Scalable Content-and-Structure IndexingThe VLDB Journal, In press
Journal articles
hal-03787268v1
|
||
|
A Large-scale Dataset of (Open Source) License Text VariantsThe 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528491⟩
Conference papers
hal-03624198v1
|
||
|
Consensus Byzantin et blockchain : Modèles unifiés et nouveaux protocolesData Structures and Algorithms [cs.DS]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT025⟩
Theses
tel-03583890v1
|
||
|
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
|
||
|
Seamless Integration between Real-time Analyses and Systems Engineering with the PST ApproachIEEE SYSCON2020, Aug 2020, Vancouver (virtual conference), Canada
Conference papers
hal-02940241v1
|
||
|
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
|
||
AT2: Asynchronous Trustworthy TransfersCoRR, 2018, abs/1812.10844
Journal articles
hal-02288004v1
|
|||
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
|
|||
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
|
|||
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
|
|||
Analyse à partir du modèleModélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013
Book sections
hal-02286675v1
|
|||
Technology for Collective Action [Special Section Introduction]IEEE Technology and Society Magazine, 2014, 3, pp.32-34
Journal articles
hal-02287021v1
|
|||
Algorithmic Self-Governance and the Design of Socio-Technical SystemsEuropean Conference on Social Intelligence, Nov 2014, Barcelona, Spain
Conference papers
hal-02287024v1
|
|||
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
|