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

Filtrer vos résultats

294 résultats
keyword_s : Verification
Page :
triés par
Image document

Higher-order Automation in TLAPS

 Antoine Defourné , Petar Vukmirovic
TLA+ Community Event 2020, Oct 2020, Virtual, France
Communication dans un congrès hal-02990614v1

Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space

 Xavier Défago , Adam Heriban , Sébastien Tixeuil , Koichi Wada
Robotics and Autonomous Systems, 2023, 163, pp.104378. ⟨10.1016/j.robot.2023.104378⟩
Article dans une revue hal-04021057v1
Image document

Towards an incremental development of UML specifications

 Boulbaba Ben Ammar , Mohamed Tahar Bhiri , Jeanine Souquières
2007
Autre publication scientifique hal-00182180v1
Image document

A decidable class of security protocols for both reachability and equivalence properties

 Véronique Cortier , Stéphanie Delaune , Vaishnavi Sundararajan
Journal of Automated Reasoning, 2021, 65 (4), ⟨10.1007/s10817-020-09582-9⟩
Article dans une revue hal-03005036v1
Image document

Combining Verification and Validation techniques

 Erwan Bousse
Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, Jul 2013, Montpellier, France. pp.10
Communication dans un congrès hal-01183129v1
Image document

VBPMN: Automated Verification of BPMN Processes

 Ajay Krishna , Pascal Poizat , Gwen Salaün
13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy
Communication dans un congrès hal-01591665v1
Image document

Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version)

 Hubert Garavel , Frédéric Lang , Radu Mateescu
[Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015
Rapport hal-01138749v1
Image document

Efficiently Deciding µ-calculus with Converse over Finite Trees

 Pierre Genevès , Nabil Layaïda , Alan Schmitt , Nils Gesbert
ACM Transactions on Computational Logic, 2015, 16 (2), pp.41. ⟨10.1145/2724712⟩
Article dans une revue hal-00868722v5
Image document

Compositional Verification in Action

 Hubert Garavel , Frédéric Lang , Laurent Mounier
FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. pp.189-210, ⟨10.1007/978-3-030-00244-2_13⟩
Communication dans un congrès hal-01890246v1
Image document

Towards Verifying Declarative Netlog Protocols with Coq

 Yuxin Deng , Stéphane Grumbach , Jean-François Monin
[Intern report] 2010, pp.20
Rapport inria-00506093v1
Image document

Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach

 Alexandre Arnold , Benoît Boyer , Axel Legay
[Research Report] 2013, pp.21
Rapport hal-00778039v1
Image document

Event Systems and Access Control

 Dominique Méry , Stephan Merz
Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, Mar 2006, Vienna/Austria, pp.40-54
Communication dans un congrès inria-00001262v1

Reachability is decidable for ground AC Rewrite systems

 Richard Mayr , Michaël Rusinowitch
INFINITY '98, 3rd International Workshop on Verification of Infinite State Systems, 1998, Aalborg, Denmark, 12 p
Communication dans un congrès inria-00098437v1
Image document

Modeling and Verification of Systems with Uncertainties

 Benoit Delahaye
Formal Languages and Automata Theory [cs.FL]. Université de Nantes, 2020
HDR tel-03636882v1
Image document

Handling Algebraic Properties in Automatic Analysis of Security Protocols

 Yohan Boichut , Pierre-Cyrille Héam , Olga Kouchnarenko
[Research Report] RR-5857, INRIA. 2006, pp.18
Rapport inria-00070169v1
Image document

Performance & Correctness Assessment of Distributed Systems

 Cristian Rosa
Modeling and Simulation. Université Henri Poincaré - Nancy I, 2011. English. ⟨NNT : ⟩
Thèse tel-00749039v1

An Integrated Framework for the Formal Analysis of Critical Interactive Systems

 Ismail Mendil , Neeraj Kumar Singh , Yamine Aït-Ameur , Dominique Méry , Philippe Palanque
The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Communication dans un congrès hal-02999148v1
Image document

A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol

 Benjamin Lipp , Bruno Blanchet , Karthikeyan Bhargavan
4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.231-246
Communication dans un congrès hal-02396640v1
Image document

Consistency Checking in Early Software Product Line Specifications -The VCC Approach

 Mauricio Alférez , Roberto Erick Lopez-Herrejon , Ana Moreira , Vasco Amaral , Alexander Egyed
Journal of Universal Computer Science, 2014, 20 (5), pp.640 - 665
Article dans une revue hal-01088464v1
Image document

The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools Evaluation

 Mathieu Laurent , Emmanuelle Saillard , Martin Quinson
Correctness 2021: Fifth International Workshop on Software Correctness for HPC Applications, Nov 2021, St. Louis, United States. pp.1-9
Communication dans un congrès hal-03474762v1
Image document

A Symbolic Framework to Analyse Physical Proximity in Security Protocols

 Alexandre Debant , Stéphanie Delaune , Cyrille Wiedling
Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2018, Ahmedabad, India. ⟨10.4230/LIPIcs.FSTTCS.2018.29⟩
Communication dans un congrès hal-02390222v1
Image document

Aggregation and embedding for group membership verification

 Marzieh Gheisari , Teddy Furon , Laurent Amsaleg , Behrooz Razeghi , Slava Voloshynovskiy
ICASSP 2019 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2019, Brighton, United Kingdom. pp.2592-2596, ⟨10.1109/ICASSP.2019.8682422⟩
Communication dans un congrès hal-02091036v3

Protocol insecurity with a finite number of sessions, composed keys is NP-complete.

 Michaël Rusinowitch , Mathieu Turuani
Theoretical Computer Science, 2003, Theoretical Computer Science, 1-3 (299), pp.451-475. ⟨10.1016/S0304-3975(02)00490-5⟩
Article dans une revue inria-00103985v1
Image document

Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques

 Yon Fernández de Retana
Génie logiciel [cs.SE]. Université de Rennes, 2018. Français. ⟨NNT : 2018REN1S020⟩
Thèse tel-01865395v1
Image document

Verifying Software Fault Isolation

 Julien Lepiller
Performance [cs.PF]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S067⟩
Thèse tel-02513105v1
Image document

Safe Design of Stable Neural Networks for Fault Detection in Small UAVs

 Kavya Gupta , Fateh Kaakai , Béatrice Pesquet-Popescu , Jean-Christophe Pesquet
SAFECOMP 2022 - The 41st International Conference on Computer Safety, Reliability and Security, Sep 2022, Munich, Germany. pp.263-275, ⟨10.1007/978-3-031-14862-0_19⟩
Communication dans un congrès hal-03825404v1
Image document

LATe: A Lightweight Authenticated Time Synchronization Protocol for IoT

 Renzo Efrain Navas , Laurent Toutain
2018 Global Internet of Things Summit (GIoTS), Jun 2018, Bilbao, Spain. pp.1-6, ⟨10.1109/GIOTS.2018.8534565⟩
Communication dans un congrès hal-02007159v1
Image document

On the Semantics of Communicating Hardware Processes and their Translation into LOTOS for the Verification of Asynchronous Circuits with CADP

 Hubert Garavel , Gwen Salaun , Wendelin Serwe
Science of Computer Programming, 2009
Article dans une revue inria-00381642v1
Image document

Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking

 Aziz Sfar , David Carral , Dina Irofti , Madalina Croitoru
FMICS 2023 - Formal Methods for Industrial Critical Systems, Sep 2023, Antwerp, Netherlands. pp.189-204, ⟨10.1007/978-3-031-43681-9_11⟩
Communication dans un congrès lirmm-04214807v1

FIESTA : A Generic Framework for Integrating New Functionalities into Software Architectures

 Guillaume Waignier , Anne-Françoise Le Meur , Laurence Duchien
European Conference on Software Architecture (ECSA'07), Sep 2007, Aranjuez (Madrid), Spain. pp.76--91, ⟨10.1007/978-3-540-75132-8_7⟩
Communication dans un congrès istex inria-00180293v1
Page :