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
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
|
|||
|
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
|
|||
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
|
|||
|
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
|
||
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
|
|||
Complementing Ada with other programming languagesACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
Conference papers
hal-00479569v1
|
|||
|
Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule2018
Preprints, Working Papers, ...
hal-01939768v1
|
||
|
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
|
||
|
Robust and Scalable Content-and-Structure IndexingThe VLDB Journal, In press
Journal articles
hal-03787268v1
|
||
|
Control plane in dynamic software networksNetworking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT007⟩
Theses
tel-03506284v1
|
||
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
|
|||
|
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
|
||
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
|
|||
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
|