Filtrer vos résultats
- 126
- 43
- 1
- 50
- 39
- 31
- 26
- 9
- 6
- 5
- 2
- 2
- 20
- 2
- 169
- 2
- 2
- 2
- 1
- 1
- 790
- 659
- 610
- 589
- 535
- 478
- 431
- 391
- 370
- 324
- 322
- 317
- 312
- 307
- 305
- 294
- 290
- 283
- 266
- 259
- 251
- 226
- 220
- 218
- 218
- 218
- 216
- 215
- 213
- 212
- 211
- 205
- 202
- 201
- 200
- 197
- 196
- 195
- 192
- 191
- 191
- 189
- 183
- 182
- 179
- 179
- 178
- 176
- 174
- 171
- 170
- 168
- 164
- 162
- 161
- 161
- 159
- 157
- 157
- 156
- 155
- 154
- 154
- 152
- 152
- 152
- 150
- 150
- 149
- 148
- 148
- 147
- 144
- 142
- 142
- 141
- 141
- 141
- 140
- 139
- 139
- 139
- 138
- 137
- 137
- 137
- 136
- 136
- 136
- 136
- 135
- 135
- 133
- 132
- 131
- 131
- 131
- 131
- 131
- 128
- 2
- 13
- 10
- 11
- 8
- 2
- 9
- 8
- 14
- 14
- 6
- 5
- 9
- 10
- 4
- 14
- 7
- 2
- 4
- 4
- 2
- 2
- 2
- 1
- 2
- 1
- 4
- 147
- 23
- 73
- 40
- 27
- 26
- 18
- 18
- 16
- 15
- 15
- 14
- 12
- 11
- 9
- 8
- 7
- 7
- 7
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 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
- 19
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
|
A Formal Analysis of the Norwegian E-Voting ProtocolJournal of Computer Security, 2017, ⟨10.3233/JCS-15777⟩
Article dans une revue
hal-01647764v1
|
||
|
Slimmer Formal Proofs for Mathematical Libraries30th IEEE International Symposium on Computer Arithmetic, Sep 2023, Portland (Oregon), United States. pp.4
Communication dans un congrès
hal-04165169v1
|
||
|
Terminaison en temps moyen fini de systèmes de règles probabilistesModélisation et simulation. Institut National Polytechnique de Lorraine - INPL, 2007. Français. ⟨NNT : 2007INPL055N⟩
Thèse
tel-01752898v2
|
||
|
A Specification and Validation Technique Based on STATEMATE and FNLOG4th International Conference on Formal Engineering Methods - ICFEM 2002, Oct 2002, Shanghai, China. pp.216-220, ⟨10.1007/3-540-36103-0_23⟩
Communication dans un congrès
inria-00102167v1
|
||
Construction et vérification de spécifications d'Interfaces Homme-Machine[Stage] 98-R-370 || chalaux98a, 1998, 87 p
Rapport
inria-00098535v1
|
|||
|
Towards Validating a Platoon of Cristal Vehicles using CSP||B12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p
Communication dans un congrès
hal-00261630v1
|
||
|
Decidability and combination results for two notions of knowledge in security protocols.Journal of Automated Reasoning, 2012, 48 (October), pp.441-487. ⟨10.1007/s10817-010-9208-8⟩
Article dans une revue
inria-00525778v1
|
||
|
Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary AttacksJournal of Automated Reasoning, 2006, 36 (1-2), pp.85-124. ⟨10.1007/s10817-005-9017-7⟩
Article dans une revue
istex
inria-00578855v1
|
||
|
Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosisBioSystems, 2016, 149, pp.59--69. ⟨10.1016/j.biosystems.2016.07.003⟩
Article dans une revue
hal-01378466v1
|
||
|
Adaptation of an auto-generated code using a model-based approach to verify functional safety in real scenariosERTS 2022 - Embedded Real Time Systems, Jun 2022, Toulouse, France
Communication dans un congrès
hal-03611183v1
|
||
Tracing SPLs precisely and efficientlySPLC '12 - Proceedings of the 16th International Software Product Line Conference, Sep 2012, Salvador, Brazil. pp.186-195, ⟨10.1145/2362536.2362562⟩
Communication dans un congrès
hal-00799104v1
|
|||
Formal Development and Automatic Code Generation : Cardiac PacemakerInternational Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China
Communication dans un congrès
inria-00638486v1
|
|||
|
Synthesising Secure APIs[Research Report] RR-6882, INRIA. 2009, pp.24
Rapport
inria-00369395v1
|
||
|
Vérification formelle de protocoles basés sur de courtes chaines authentifiéesCryptographie et sécurité [cs.CR]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0019⟩
Thèse
tel-01767989v1
|
||
Risks and security of internet and systems : 12th international conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, revised selected papersSpringer, 10694, pp.269, 2018, Lecture Notes in Computer Science, Lecture Notes in Computer Science (vol. 10694), 978-3-319-76686-7
Ouvrages
hal-01865019v1
|
|||
|
Intruder deducibility constraints with negation. Decidability and application to secured service compositionsJournal of Symbolic Computation, 2017, 80, pp.4 - 26. ⟨10.1016/j.jsc.2016.07.008⟩
Article dans une revue
hal-01405851v1
|
||
|
Theoretical Aspects of Computing - ICTAC 2015Springer, 9399, 2015, Lecture Notes in Computer Science, 978-3-319-25149-3. ⟨10.1007/978-3-319-25150-9⟩
Ouvrages
hal-01257171v1
|
||
|
Certification of a Tool Chain for Deductive Program VerificationOther [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112006⟩
Thèse
tel-00789543v1
|
||
|
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩
Communication dans un congrès
hal-01658423v1
|
||
Fair ObjectsH. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering
Chapitre d'ouvrage
inria-00099324v1
|
|||
|
Explicit modelling of physical measures: from Event-B to JavaIMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64 - 79, ⟨10.4204/EPTCS.271.5⟩
Communication dans un congrès
hal-01798224v1
|
||
|
Specification of Concretization and Symbolization Policies in Symbolic ExecutionISSTA 2016 - The International Symposium on Software Testing and Analysis , Jul 2016, Saarland, Germany. pp.1-11
Communication dans un congrès
hal-01721492v1
|
||
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model CheckingInternational Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.153-162, ⟨10.1109/SRDS.2013.24⟩
Communication dans un congrès
hal-00930109v1
|
|||
|
Some Formal Tools for Computer Arithmetic: Flocq and GappaARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic, Jun 2021, Online, Italy
Communication dans un congrès
hal-03233227v1
|
||
|
Incorporating Animation in Stepwise Development of Formal Specification[Research Report] 2009, pp.10
Rapport
inria-00392996v1
|
||
|
Compositional design of isochronous systems[Research Report] RR-6227, INRIA. 2007, pp.24
Rapport
inria-00156499v5
|
||
|
Formalisation et test d'IPv6[Contrat] A03-R-465 || benharref03a, 2003, 21 p
Rapport
inria-00099471v1
|
||
|
One Vote is Enough for Analysing PrivacyCNRS. 2023
Rapport
hal-04262499v1
|
||
|
Verification and validation of Machine Learning techniquesArtificial Intelligence [cs.AI]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG080⟩
Thèse
tel-03547545v1
|
||
|
Towards Formalization and Sharing of Atelier B Proofs with Dedukti2024
Pré-publication, Document de travail
hal-04398119v1
|