Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

431 Results

Effective connectivity at synaptic level in humans: a review and future prospects

Önder Gürcan
Biological Cybernetics (Modeling), 2014, 108, pp.713 - 733. ⟨10.1007/s00422-014-0619-1⟩
Journal articles cea-01806917v1

Designing Sequence Diagram Models for Robustness to Attacks

Boutheïna Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall , et al.
2014 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
Image document

Towards exhaustive branch coverage with PathCrawler

Nicky Williams
2nd ACM/IEEE International Conference on Automation of Software Test AST 2021, May 2021, Madrid, Spain
Conference papers cea-03224561v1
Image document

Detection of Polluting Test Objectives for Dataflow Criteria

Thibault Martin , Nikolai Kosmatov , Virgile Prévosto , Matthieu Lemerre
Lecture Notes in Computer Science, In press, 12546, ⟨10.1007/978-3-030-63461-2_18⟩
Journal articles cea-02974228v1
Image document

L’usage de l’exécution symbolique pour la déobfuscation binaire en milieu industriel

Jonathan Salwan
Cryptographie et sécurité [cs.CR]. Université Grenoble Alpes [2020-..], 2020. Français. ⟨NNT : 2020GRALM005⟩
Theses tel-02966552v1

Belief Uncertainty in Software Models

Sébastien Gérard , Loli Burgueño , Robert Clarisó , Jordi Cabot , Sébastien Gerard , et al.
2019 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
Image document

Certification of a Tool Chain for Deductive Program Verification

Paolo Herms
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112006⟩
Theses tel-00789543v1
Image document

Contribution à la vérification de programmes C par combinaison de tests et de preuves

Guillaume Petiot
Génie logiciel [cs.SE]. Université de Franche-Comté, 2015. Français. ⟨NNT : ⟩
Theses tel-01239352v2
Image document

Safe-by-Design Development Method for Artificial Intelligent Based Systems

Gabriel Pedroza , Morayo Adedjouma
SEKE 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)

K. Jabeur , Ian O'Connor , N. Yakymets
Microelectronics Journal, 2013, 44 (12), pp.1316-1327. ⟨10.1016/j.mejo.2013.09.001⟩
Journal articles hal-02060710v1
Image document

Tenderbake -Classical BFT Style Consensus for Public Blockchains

Lăcramioara Aştefănoaei , Pierre Chambart , Antonella Del Pozzo , Edward W. Tate , Sara Tucci , et al.
2020
Preprints, Working Papers, ... hal-02462687v1
Image document

Toward certified quantum programming

Sébastien Bardin , François Bobot , Valentin Perelle , Christophe Chareton , Benoît Valiron
2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
Conference papers hal-02175112v1
Image document

Poster : Blockchain abstract data type

Emmanuelle Anceaume , Antonella del Pozzo , Romaric Ludinard , Maria Potop-Butucaru , Sara Tucci-Piergiovanni
PPoPP 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 Compound

N. Ben Amor , M. Bejar , M. Hussein , E. Dhahri , M. Valente , et al.
Journal of Superconductivity and Novel Magnetism, 2012, 25 (4), pp.1035-1042. ⟨10.1007/s10948-011-1344-9⟩
Journal articles istex hal-01993445v1
Image document

Rationals vs Byzantines in Consensus-based Blockchains

Yackolley Amoussou-Guenou , Bruno Biais , Maria Potop-Butucaru , Sara Tucci-Piergiovanni
[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 perspectives

N. Kosmatov
Cloud 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 heartbleed

B. Kiss , N. Kosmatov , D. Pariente , A. Puccetti
Hardware 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
Image document

RPP : Preuve automatique de propriétés relationnelles par Self-Composition

Lionel Blatter , Nikolai Kosmatov , Pascale Le Gall , Virgile Prévosto
Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France
Conference papers cea-01835491v1
Image document

Time to Clean Your Test Objectives

Michaël Marcozzi , Mike Papadakis , Sébastien Bardin , Nikolai Kosmatov , Virgile Prévosto , et al.
International Conference On Software Engineering - ICSE, May 2018, Gothenburg, Sweden
Conference papers cea-01835503v1
Image document

Process and tool support for design patterns with safety requirements

Ansgar Radermacher , Brahim Hamid , Manel Fredj , Jean-Louis Profizi
18th European Conference on Pattern Language of Programs (EuroPlop 2013), Jul 2013, Kloster Irsee, Germany. pp. 1-16
Conference papers hal-01400101v1
Image document

Equivalence of denotational and operational semantics for interaction languages

Erwan Mahe , Christophe Gaston , Pascale Le Gall
Lecture 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 potential

Onder Gurcan
IEEE Robotics and Automation Magazine, 2022, 29 (2), pp.21-32. ⟨10.1109/MRA.2022.3165745⟩
Journal articles cea-04129894v1
Image document

Sanity checks and improvements for patch visualisation in prototype-based image classification

Romain Xu-Darme , Georges Quénot , Zakaria Chihani , Marie-Christine Rousset
2023
Preprints, Working Papers, ... cea-03943308v2
Image document

Adaptive Synchronization of Robotic Sensor Networks

Kasim Sinan Yildirim , Önder Gürcan
Workshop on Robotic Sensor Networks at CPSWeek2014, Apr 2014, Berlin, Germany
Conference papers cea-01806904v1
Image document

An Industrial Prototype of Trusted Energy Performance Contracts using Blockchain Technologies

Önder Gürcan , Marc Agenis-Nevers , Yves-Marie Batany , Mohamed Elmtiri , François Le Fevre , et al.
16th IEEE Internatonal Conference on Smart City (SmartCity-2018), Jun 2018, Exeter, United Kingdom
Conference papers cea-01807039v1
Image document

Au temps en emporte le C

Steven de Oliveira , Virgile Prévosto , Sébastien Bardin
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Conference papers hal-01099128v1
Image document

The Cardinal Abstraction for Quantitative Information Flow

Mounir Assaf , Julien Signoles , Eric Totel , Frédéric Tronel
Workshop on Foundations of Computer Security 2016 (FCS 2016), Jun 2016, Lisbon, Portugal
Conference papers hal-01334604v1
Image document

A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing

Nikolai Kosmatov , Matthieu Lemerre , Céline Alec
TAP 2014: International Conference on Tests and Proofs, Jul 2014, York, United Kingdom. pp.158-164
Conference papers cea-01822965v1
Image document

Improving static analyses of C programs with conditional predicates

Sandrine Blazy , David Bühler , Boris Yakobowski
Science of Computer Programming, 2016, 118, ⟨10.1145/2854065.2854082⟩
Journal articles hal-01242077v1
Image document

Ghosts for Lists: from Axiomatic to Executable Specifications

Frédéric Loulergue , Allan Blanchard , Nikolai Kosmatov
TAP 2018 - 12th International Conference on Tests and Proofs, Jun 2018, Toulouse, France. ⟨10.1007/978-3-319-92994-1_11⟩
Conference papers hal-01811922v1