Filter your results
- 245
- 100
- 2
- 208
- 76
- 24
- 14
- 11
- 4
- 3
- 3
- 2
- 2
- 6
- 5
- 347
- 30
- 9
- 5
- 5
- 2
- 1
- 1
- 1
- 6
- 31
- 37
- 30
- 42
- 29
- 40
- 21
- 35
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 331
- 16
- 310
- 21
- 9
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 50
- 49
- 44
- 38
- 35
- 21
- 21
- 19
- 18
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 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
- 5
- 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
|
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
|
||
|
Inherent limitations of hybrid transactional memoryDistributed Computing, 2018, 31 (3), pp.167-185. ⟨10.1007/s00446-017-0305-3⟩
Journal articles
hal-02364297v1
|
||
|
Reconfigurable Lattice Agreement and Applications[Research Report] Institut Polytechnique Paris; CEA List. 2019
Reports
cea-02321547v1
|
||
On the Uncontended Complexity of Anonymous Consensus19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩
Conference papers
hal-01411528v1
|
|||
|
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
|
||
|
Security bootstrapping for Internet of ThingsCryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT023⟩
Theses
tel-03719946v1
|
||
|
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
|
||
CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.52-55, ⟨10.1109/FAS-W.2019.00026⟩
Conference papers
hal-02449653v1
|
|||
Safety of session-based service orchestration revisited with an unreliable communication modelWeb Services Formal Methods, Aug 2013, beijing, China
Conference papers
hal-02286789v1
|
|||
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsIEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
Conference papers
hal-01121019v1
|
|||
|
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
|
||
|
Complexité du consensus anonyme en l'absence de concurrenceALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Conference papers
hal-01304268v2
|
||
Fast Selective Encryption Methods for Bitmap ImagesInternational Journal of Multimedia Data Engineering and Management (IJMDEM), 2015, 6 (51-69), pp.18
Journal articles
hal-01212143v1
|
|||
A Methodology to Apply a Game Theoretic Model of Security Risks Interdependencies Between ICT and Electric InfrastructuresGameSec, Nov 2016, New York, United States
Conference papers
hal-01418446v1
|
|||
SBaaS: Safe Box as a serviceIEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
Conference papers
hal-02288435v1
|
|||
Optimal Deployment of Security Policies: Application to Industrial Control Systems14th European Dependable Computing Conference (EDCC 2018), Sep 2018, Iasi, Romania
Conference papers
hal-02287944v1
|
|||
Parallel Combining: Making Use of Free CyclesCoRR, 2017, abs/1710.07588
Journal articles
hal-02287770v1
|
|||
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
|
|||
|
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application ProcessorsEmbedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Conference papers
hal-01111647v1
|
||
Progressive Transactional Memory in Time and SpacePaCT, Sep 2015, Petrozavodsk, Russia
Conference papers
hal-02287223v1
|
|||
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
|
|||
|
Geographic Diversity in Public Code ContributionsThe 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528471⟩
Conference papers
hal-03622621v1
|
||
|
Note sur la cryptanalyse de Diffie-HellmanGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017
Journal articles
hal-03022599v1
|
||
|
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
|
||
Integration of Pervasive Platforms with iCasa2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.49-51, ⟨10.1109/FAS-W.2019.00025⟩
Conference papers
hal-02449649v1
|
|||
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
|
|||
|
Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168834v1
|
||
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
|
|||
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
|
|||
|
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
|
||
|
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
|
||
|
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
|
||
|
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports
hal-00970244v2
|
||
Assessing adversarial training effect on IDSs and GANs2021 IEEE International Conference on Cyber Security and Resilience (CSR) Workshop on Resilient Artificial Intelligence, Jul 2021, Rhodes, France. pp.543-550, ⟨10.1109/CSR51186.2021.9527949⟩
Conference papers
hal-03775550v1
|
|||
|
Software Artifact Mining in Software Engineering Conferences: A Meta-AnalysisACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022), Sep 2022, Helsinki, Finland. ⟨10.1145/3544902.3546239⟩
Conference papers
hal-03723556v1
|
||
|
Efficient Prior Publication Identification for Open Source Code18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain
Conference papers
hal-03735961v1
|
||
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
|
|||
|
Using the Uniqueness of Global Identifiers to Determine the Provenance of Python Software Source CodeEmpirical Software Engineering, In press, ⟨10.1007/s10664-023-10317-8⟩
Journal articles
hal-04101937v1
|
||
PCM in cloudIEEE International Conference on Granular Computing (GrC), Oct 2014, Noboribetsu, Japan
Conference papers
hal-02288436v1
|
|||
Autonomic Computing: Principles, Design and ImplementationSpringer, pp.298, 2013
Books
hal-02286670v1
|
|||
|
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 abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect informationArtificial Intelligence, 2023, 316, pp.103847. ⟨10.1016/j.artint.2022.103847⟩
Journal articles
hal-03960910v1
|
|||
Online Payments by Merely Broadcasting MessagesDSN, Jun 2020, Valencia, Spain
Conference papers
hal-03022579v1
|
|||
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
|
|||
|
Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩
Conference papers
hal-03559551v1
|
||
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsInternational Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Conference papers
hal-01115723v1
|
|||
A benchmark of incremental model transformation tools based on an industrial case study with AADLSoftware and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩
Journal articles
hal-03905646v1
|
|||
Brief Announcement: On Decidability of 2-Process Affine ModelsDISC, Oct 2020, VIRTUAL, France
Conference papers
hal-03022583v1
|
|||
All-Or-Nothing data protection for ubiquitous communication: Challenges and perspectivesInformation Sciences, 2019, 502, pp.434-445. ⟨10.1016/j.ins.2019.06.031⟩
Journal articles
hal-02450300v1
|
|||
Digital safe: Secure synchronization of shared files2015 11th International Conference on Information Assurance and Security (IAS), Dec 2015, Marrakech, France. pp.67-72, ⟨10.1109/ISIAS.2015.7492747⟩
Conference papers
hal-02354919v1
|
|||
|
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩
Conference papers
hal-04098856v2
|
||
|
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Conference papers
hal-02428017v1
|
||
|
A generic and adaptive approach to explainable AI in autonomic systems : the case of the smart homeUbiquitous Computing. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT022⟩
Theses
tel-03721520v1
|
||
A Fast and Scalable Fragmentation Algorithm For Data Protection For Multi-Storage Over Independent LocationsEsorics’18, STM workshop, Sep 2018, Barcelona, Spain
Conference papers
hal-02288556v1
|
|||
|
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
|
||
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
|
|||
Generalized mixed-criticality scheduling based on RUN23rd International Conference on Real-Time Networks and Systems (RTNS '15), Nov 2015, Lille France, France. pp.267-276, ⟨10.1145/2834848.2834873⟩
Conference papers
hal-03629047v1
|
|||
Access control in probative value cloud8th International Conference for Internet Technology and Secured Transactions (ICITST 2013), Dec 2013, London, France. pp.607-611, ⟨10.1109/ICITST.2013.6750274⟩
Conference papers
hal-03042230v1
|
|||
|
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
|
||
An efficient key distribution system for data fusion in V2X heterogeneous networksInformation Fusion, 2019, 50, pp.212-220. ⟨10.1016/j.inffus.2019.02.002⟩
Journal articles
hal-02450299v1
|
|||
|
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 graph theoretical characterization of minimal deadlocks in Petri netsGraph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87
Conference papers
hal-02447228v1
|
||
Self-healing Networks via Self-organising Mobile AgentsJournal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021
Journal articles
hal-03023085v1
|
|||
Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviourthe 30th International Workshop, Oct 2019, New York, France. pp.50-56, ⟨10.1145/3339985.3358492⟩
Conference papers
hal-02449670v1
|
|||
|
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
|
||
Is This Still Normal? Putting Definitions of Timing Anomalies to the Test2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2021, Houston, France. pp.139-148, ⟨10.1109/RTCSA52859.2021.00024⟩
Conference papers
hal-03559899v1
|
|||
Optimal Concurrency for List-Based SetsParallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
Conference papers
hal-03560232v1
|
|||
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
|
|||
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
|
|||
AT2: Asynchronous Trustworthy TransfersCoRR, 2018, abs/1812.10844
Journal articles
hal-02288008v1
|
|||
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
|
|||
|
Développer une nouvelle approche pédagogique ", questionnement autour du cas de PicoLibreQuestions de pédagogies dans l'enseignement supérieur : réflexions, projets et pratiques : actes du 2e colloque, Brest, 25-27 juin 2003, organisé par l'ENSIETA et l'ENST Bretagne, Jun 2003, Brest, France. pp.109 - 114
Conference papers
hal-02274532v1
|
||
On the uncontended complexity of anonymous agreementDistributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩
Journal articles
hal-02287767v1
|
|||
Multi-objective exploration of architectural designs by composition of model transformationsSoftware and Systems Modeling, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
Journal articles
hal-02292455v1
|
|||
|
Non-interference and local correctness in transactional memoryTheor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩
Journal articles
hal-02287768v1
|
||
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
|
|||
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
|
|||
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
|
|||
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
|
|||
Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
Conference papers
hal-01121244v1
|
|||
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
|