Filter your results
- 239
- 192
- 277
- 79
- 29
- 16
- 10
- 8
- 4
- 3
- 2
- 2
- 1
- 5
- 1
- 1
- 395
- 33
- 20
- 7
- 5
- 2
- 2
- 2
- 1
- 25
- 18
- 38
- 14
- 10
- 35
- 38
- 45
- 41
- 41
- 45
- 51
- 20
- 10
- 6
- 3
- 7
- 2
- 1
- 4
- 1
- 1
- 381
- 50
- 431
- 21
- 19
- 17
- 16
- 15
- 15
- 13
- 13
- 12
- 12
- 11
- 11
- 11
- 10
- 10
- 10
- 9
- 8
- 8
- 7
- 7
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 36
- 35
- 28
- 25
- 20
- 20
- 19
- 16
- 15
- 15
- 15
- 15
- 13
- 12
- 12
- 12
- 12
- 11
- 10
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 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
- 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
431 Results
Effective connectivity at synaptic level in humans: a review and future prospectsBiological Cybernetics (Modeling), 2014, 108, pp.713 - 733. ⟨10.1007/s00422-014-0619-1⟩
Journal articles
cea-01806917v1
|
|||
Designing Sequence Diagram Models for Robustness to Attacks2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩
Conference papers
hal-01812124v1
|
|||
|
Towards exhaustive branch coverage with PathCrawler2nd ACM/IEEE International Conference on Automation of Software Test AST 2021, May 2021, Madrid, Spain
Conference papers
cea-03224561v1
|
||
|
Detection of Polluting Test Objectives for Dataflow CriteriaLecture Notes in Computer Science, In press, 12546, ⟨10.1007/978-3-030-63461-2_18⟩
Journal articles
cea-02974228v1
|
||
|
L’usage de l’exécution symbolique pour la déobfuscation binaire en milieu industrielCryptographie et sécurité [cs.CR]. Université Grenoble Alpes [2020-..], 2020. Français. ⟨NNT : 2020GRALM005⟩
Theses
tel-02966552v1
|
||
Belief Uncertainty in Software Models2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE), May 2019, Montreal, Canada. pp.19-26, ⟨10.1109/MiSE.2019.00011⟩
Conference papers
cea-02572731v1
|
|||
|
Certification of a Tool Chain for Deductive Program VerificationOther [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112006⟩
Theses
tel-00789543v1
|
||
|
Contribution à la vérification de programmes C par combinaison de tests et de preuvesGénie logiciel [cs.SE]. Université de Franche-Comté, 2015. Français. ⟨NNT : ⟩
Theses
tel-01239352v2
|
||
|
Safe-by-Design Development Method for Artificial Intelligent Based SystemsSEKE 2019 : The 31st International Conference on Software Engineering and Knowledge Engineering, Jul 2019, Lisbon, Portugal. pp.391-397, ⟨10.18293/SEKE2019-094⟩
Conference papers
cea-02273349v1
|
||
Functions classification approach to generate reconfigurable fine-grain logic based on Ambipolar Independent Double Gate FET (Am-IDGFET)Microelectronics Journal, 2013, 44 (12), pp.1316-1327. ⟨10.1016/j.mejo.2013.09.001⟩
Journal articles
hal-02060710v1
|
|||
|
Tenderbake -Classical BFT Style Consensus for Public Blockchains2020
Preprints, Working Papers, ...
hal-02462687v1
|
||
|
Toward certified quantum programming2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
Conference papers
hal-02175112v1
|
||
|
Poster : Blockchain abstract data typePPoPP 2019 - 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ACM, 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, pp.1-2, ⟨10.1145/3293883.3303705⟩
Conference poster
hal-01988364v1
|
||
Synthesis, Magnetic Properties, Magnetic Entropy and Arrot Plot of Antiferromagnetic Frustrated Er2Ti2O7 CompoundJournal of Superconductivity and Novel Magnetism, 2012, 25 (4), pp.1035-1042. ⟨10.1007/s10948-011-1344-9⟩
Journal articles
istex
hal-01993445v1
|
|||
|
Rationals vs Byzantines in Consensus-based Blockchains[Research Report] CEA List; LIP6, Sorbonne Université, CNRS, UMR 7606; HEC Paris. 2019
Reports
hal-02043331v1
|
||
Concolic test generation and the cloud: Deployment and verification perspectivesCloud Technology: Concepts, Methodologies, Tools, and Applications, 1, IGI Global, pp.302-322, 2014, 9781466665408; 1466665394; 9781466665392. ⟨10.4018/978-1-4666-6539-2.ch014⟩
Book sections
cea-01818538v1
|
|||
Combining static and dynamic analyses for vulnerability detection: Illustration on heartbleedHardware and Software: Verification and Testing. HVC 2015. Lecture Notes in Computer Science, Nov 2015, Haifa, Israel. pp.39-50, ⟨10.1007/978-3-319-26287-1_3⟩
Conference papers
cea-01834981v1
|
|||
|
RPP : Preuve automatique de propriétés relationnelles par Self-CompositionApproches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France
Conference papers
cea-01835491v1
|
||
|
Time to Clean Your Test ObjectivesInternational Conference On Software Engineering - ICSE, May 2018, Gothenburg, Sweden
Conference papers
cea-01835503v1
|
||
|
Process and tool support for design patterns with safety requirements18th European Conference on Pattern Language of Programs (EuroPlop 2013), Jul 2013, Kloster Irsee, Germany. pp. 1-16
Conference papers
hal-01400101v1
|
||
|
Equivalence of denotational and operational semantics for interaction languagesLecture Notes in Computer Science, 2022, Theoretical Aspects of Software Engineering, 13299, pp.113-130. ⟨10.1007/978-3-031-10363-6_8⟩
Journal articles
cea-04060492v1
|
||
Proof of work Is a stigmergic consensus algorithm: unlocking its potentialIEEE Robotics and Automation Magazine, 2022, 29 (2), pp.21-32. ⟨10.1109/MRA.2022.3165745⟩
Journal articles
cea-04129894v1
|
|||
|
Sanity checks and improvements for patch visualisation in prototype-based image classification2023
Preprints, Working Papers, ...
cea-03943308v2
|
||
|
Adaptive Synchronization of Robotic Sensor NetworksWorkshop on Robotic Sensor Networks at CPSWeek2014, Apr 2014, Berlin, Germany
Conference papers
cea-01806904v1
|
||
|
An Industrial Prototype of Trusted Energy Performance Contracts using Blockchain Technologies 16th IEEE Internatonal Conference on Smart City (SmartCity-2018), Jun 2018, Exeter, United Kingdom
Conference papers
cea-01807039v1
|
||
|
Au temps en emporte le CVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Conference papers
hal-01099128v1
|
||
|
The Cardinal Abstraction for Quantitative Information FlowWorkshop on Foundations of Computer Security 2016 (FCS 2016), Jun 2016, Lisbon, Portugal
Conference papers
hal-01334604v1
|
||
|
A Case Study on Verification of a Cloud Hypervisor by Proof and Structural TestingTAP 2014: International Conference on Tests and Proofs, Jul 2014, York, United Kingdom. pp.158-164
Conference papers
cea-01822965v1
|
||
|
Improving static analyses of C programs with conditional predicatesScience of Computer Programming, 2016, 118, ⟨10.1145/2854065.2854082⟩
Journal articles
hal-01242077v1
|
||
|
Ghosts for Lists: from Axiomatic to Executable SpecificationsTAP 2018 - 12th International Conference on Tests and Proofs, Jun 2018, Toulouse, France. ⟨10.1007/978-3-319-92994-1_11⟩
Conference papers
hal-01811922v1
|