Filter your results
- 248
- 103
- 2
- 210
- 77
- 25
- 14
- 11
- 5
- 4
- 3
- 2
- 2
- 6
- 5
- 345
- 30
- 9
- 5
- 4
- 2
- 1
- 1
- 1
- 4
- 32
- 39
- 30
- 42
- 29
- 41
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 337
- 16
- 316
- 22
- 9
- 9
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 50
- 50
- 45
- 38
- 35
- 22
- 21
- 20
- 17
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 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
- 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
353 Results
|
A grounded theory of Community Package Maintenance Organizations2023
Preprints, Working Papers, ...
hal-03976601v1
|
||
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
|
|||
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 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
|
||
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
|
|||
|
Control plane in dynamic software networksNetworking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT007⟩
Theses
tel-03506284v1
|
||
|
Robust and Scalable Content-and-Structure IndexingThe VLDB Journal, In press
Journal articles
hal-03787268v1
|
||
|
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
|
||
|
Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule2018
Preprints, Working Papers, ...
hal-01939768v1
|
||
Complementing Ada with other programming languagesACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
Conference papers
hal-00479569v1
|
|||
|
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
|
||
A Model-Based Testing Process for Enhancing Structural Coverage in Functional TestingInt. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
Conference papers
hal-02287374v1
|
|||
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
|
|||
Model-Based Verification Directed by Structural Coverage and Functional RequirementsModel-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria
Conference papers
hal-02287373v1
|
|||
|
Gardening Cyber-Physical SystemsUnconventionnal Computation and Natural Computation (UCNC'2012), Sep 2012, Orléans, France. pp.1-1
Conference papers
hal-01161014v1
|
||
Evolving, Growing, and Gardening Cyber-physical SystemsExperimental Architecture - Designing the Unknown, 2019
Book sections
hal-03023230v1
|
|||
|
Energy trading marketplace using Ethereum private network[Technical Report] Telecom Paris. 2020
Reports
hal-03157038v1
|
||
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
|
|||
|
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
|
||
|
Efficient Prior Publication Identification for Open Source Code18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain
Conference papers
hal-03735961v1
|
||
|
Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.677-683, ⟨10.1145/3550356.3563129⟩
Conference papers
hal-03905633v1
|
||
In-Band Synchronization for Distributed SDN Control PlanesComputer Communication Review, 2016, 46 (1), pp.37-43
Journal articles
hal-02287556v1
|
|||
|
Improving quality of experience in multimedia streaming by leveraging Information-Centric NetworkingNetworking and Internet Architecture [cs.NI]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT012⟩
Theses
tel-02164014v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
Self-healing Networks via Self-organising Mobile AgentsJournal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021
Journal articles
hal-03023085v1
|
|||
Explanatory AI for Pertinent Communication in Autonomic SystemsIntelligent Systems and Applications, Sep 2019, Londres, United Kingdom. pp.212-227, ⟨10.1007/978-3-030-29516-5_16⟩
Conference papers
hal-02449644v1
|
|||
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
|
|||
Improving data collection in complex networks with failure-prone agents via local markingJournal of Intelligent and Fuzzy Systems, 2019
Journal articles
hal-03023128v1
|