Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

170 résultats
keyword_s : Formal methods
Page :
triés par
Image document

Some Formal Tools for Computer Arithmetic: Flocq and Gappa

 Sylvie Boldo , Guillaume Melquiond
ARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic, Jun 2021, Online, Italy
Communication dans un congrès hal-03233227v1
Image document

Incorporating Animation in Stepwise Development of Formal Specification

 Atif Mashkoor , Jean-Pierre Jacquot
[Research Report] 2009, pp.10
Rapport inria-00392996v1
Image document

Compositional design of isochronous systems

 Jean-Pierre Talpin , Julien Ouy , Loïc Besnard , Paul Le Guernic
[Research Report] RR-6227, INRIA. 2007, pp.24
Rapport inria-00156499v5
Image document

Formalisation et test d'IPv6

 Abdelghani Benharref , Zineb Berbich , Mohamed Salah Bouassida , Rachida Dssouli , Isabelle Chrisment
[Contrat] A03-R-465 || benharref03a, 2003, 21 p
Rapport inria-00099471v1
Image document

One Vote is Enough for Analysing Privacy

 Stéphanie Delaune , Joseph Lallemand , Arthur Outrey
CNRS. 2023
Rapport hal-04262499v1
Image document

Verification and validation of Machine Learning techniques

 Julien Girard-Satabin
Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG080⟩
Thèse tel-03547545v1
Image document

Modelling and analyzing security protocols in cryptographic process calculi

 Steve Kremer
Computer Science [cs]. École normale supérieure de Cachan - ENS Cachan, 2011
HDR tel-00636769v1
Image document

Symbolic binary-level code analysis for security. Application to the detection of microarchitectural timing attacks in cryptographic code

 Lesly-Ann Daniel
Cryptography and Security [cs.CR]. Université Côte d'Azur, 2021. English. ⟨NNT : 2021COAZ4092⟩
Thèse tel-03642418v2
Image document

On formal methods for certifying floating-point C programs

 Ali Ayad
[Research Report] RR-6927, INRIA. 2009, pp.34
Rapport inria-00383793v1
Image document

Hybrid Monitoring of Attacker Knowledge

 Frédéric Besson , Nataliia Bielova , Thomas Jensen
29th IEEE Computer Security Foundations Symposium, 2016, Lisboa, Portugal
Communication dans un congrès hal-01310572v1
Image document

Formal framework for modelling and verifying globally asynchronous locally synchronous systems

 Fatma Jebali
Computation and Language [cs.CL]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM036⟩
Thèse tel-01679311v1
Image document

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

 Véronique Cortier , Steve Kremer , Bogdan Warinschi
[Research Report] RR-6912, INRIA. 2009, pp.42
Rapport inria-00379776v1
Image document

Méthodes pour le raisonnement d'ordre supérieur dans SMT

 Daniel El Ouraoui
Logique en informatique [cs.LO]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0023⟩
Thèse tel-03203922v1

Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems

 Bineet Ghosh , Étienne André
42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Mohammad Mousavi and Anna Philippou, Jun 2022, Lucca, Italy. pp.67-87, ⟨10.1007/978-3-031-08679-3_5⟩
Communication dans un congrès hal-03801020v1

RTNS '19: Proceedings of the 27th International Conference on Real-Time Networks and Systems

 Jérôme Ermont , Ye-Qiong Song , Christopher Gill
ACM. RTNS 2019: 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. ACM Press, 2019, RTNS '19: Proceedings of the 27th International Conference on Real-Time Networks and Systems, 978-1-4503-7223-7. ⟨10.1145/3356401⟩
Proceedings/Recueil des communications hal-02972213v1
Image document

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

 Philippe Dhaussy , Pierre-Yves Pillain , Stephen Creff , Amine Raji , Yves Le Traon , et al.
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
Communication dans un congrès hal-00470523v1
Image document

Encodages de la théorie des ensembles de TLA+ pour la preuve automatique

 Antoine Defourné
Informatique [cs]. Université de Lorraine, 2023. Français. ⟨NNT : 2023LORR0263⟩
Thèse tel-04408971v1
Image document

Recursive Operator Definitions

 Georges Gonthier , Leslie Lamport
[Research Report] RR-9341, Inria Saclay Ile de France. 2020, pp.17
Rapport hal-02598330v1
Image document

Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

 Hélène Coullon , Ludovic Henrio , Frédéric Loulergue , Simon Robillard
ACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩
Article dans une revue hal-04067909v1
Image document

Secure refinements of communication channels

 Vincent Cheval , Véronique Cortier , Eric Le Morvan
[Research Report] RR-8790, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2015, pp.50
Rapport hal-01215265v2
Image document

Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie

 Diane Gallois-Wong
Traitement du signal et de l'image [eess.SP]. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASG016⟩
Thèse tel-03202580v1
Image document

Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles

 Jean-Baptiste Horel , Christian Laugier , Lina Marsso , Radu Mateescu , Lucie Muller , et al.
DATE/ASD 2022 - Design, Automation and Test in Europe - Autonomous Systems Design, Mar 2022, Antwerp, Belgium. pp.532-537, ⟨10.23919/DATE54114.2022.9774581⟩
Communication dans un congrès hal-03516799v1
Image document

Modeling Self-Adaptive Fog Systems Using Bigraphs

 Hamza Sahli , Thomas Ledoux , Éric Rutten
SEFM 2019 : 17th International Conference on Software Engineering and Formal Methods, Sep 2019, Oslo, Norway. pp.252-268, ⟨10.1007/978-3-030-57506-9_19⟩
Communication dans un congrès hal-02271394v1

Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (``FireWire''): an Experiment with E-LOTOS

 Mihaela Sighireanu , Radu Mateescu
International Journal on Software Tools for Technology Transfer, 1998, 2(1), pp.68-88. ⟨10.1007/s100090050018⟩
Article dans une revue istex hal-00109622v1
Image document

Towards Formalization and Sharing of Atelier B Proofs with Dedukti

 Claude Stolze , Olivier Hermant , Romain Guillaumé
2024
Pré-publication, Document de travail hal-04398119v1

Why does Astrée scale up?

 Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné , et al.
Formal Methods in System Design, 2009, Special issue on Numerical Software Verification, 35 (3), pp.229-264. ⟨10.1007/s10703-009-0089-6⟩
Article dans une revue istex inria-00528582v1
Image document

Transformation Heuristics for Formal Requirements Validation by Animation

 Atif Mashkoor , Jean-Pierre Jacquot , Jeanine Souquières
2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems - SafeCert 2009, Mar 2009, York, United Kingdom
Communication dans un congrès inria-00374082v1
Image document

Formal Methods Meet Domain Specific Languages

 Jean-Paul Bodeveix , M Filali , Julia L. Lawall , Gilles Muller
IFM 2005 - 5th International Conference on Integrated Formal Methods, Nov 2005, Eindhoven, Netherlands. pp.187-206, ⟨10.1007/11589976_12⟩
Communication dans un congrès hal-00457182v1
Image document

A Glimpse into the Past, Present, and Future of Engineering Interactive Computing Systems

 Judy Bowen , Jean Vanderdonckt , Marco Winckler
Proceedings of the ACM on Human-Computer Interaction , 2020, Proceedings of the ACM on Human-Computer Interaction (HCI) 2020, 4 : EICS (article 71), pp.1-32. ⟨10.1145/3394973⟩
Article dans une revue hal-03138759v1
Image document

Méthodes formelles pour le respect de la vie privée par construction

 Thibaud Antignac
Génie logiciel [cs.SE]. INSA de Lyon, 2015. Français. ⟨NNT : 2015ISAL0016⟩
Thèse tel-01235044v2
Page :