Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Keywords » - entrée « Verification »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Verbal production < Verification < Verification & validation  Facettes :

List of bibliographic references indexed by Verification

Number of relevant bibliographic references: 41.
[0-20] [0 - 20][0 - 41][20-40]
Ident.Authors (with country if any)Title
000028 (2016-05-14) Dominique Mery [France]Playing with State-Based Models for Designing Better Algorithms
000418 (2015-08-02) Dominique Méry [France] ; Neeraj Kumar Singh [France]Analyzing Requirements Using Environment Modelling
000910 (2014-10-08) Yamine Aït Ameur [France] ; J. Paul Gibson [France] ; Dominique Méry [France]On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
000B23 (2014-06-02) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modeling an Aircraft Landing System in Event-B
001E55 (2012) Hubert Garavel [France] ; Frédéric Lang [France] ; Radu Mateescu [France] ; Wendelin Serwe [France]CADP 2011: a toolbox for the construction and analysis of distributed processes
002010 (2011-11-10) Ehtesham Zahoor [France]Web services governance : Security and Data handling aspects
002022 (2011-11-03) Dominique Méry [France] ; Neeraj Kumar Singh [France]Formal Development and Automatic Code Generation : Cardiac Pacemaker
002426 (2011-03-10) Hubert Comon-Lundh [France] ; Véronique Cortier [France]How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.
002815 (2011) Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie]Automatic decidability and combinability
002B58 (2010-07-26) Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite-Based Verification of XML Updates
004065 (2008-03-31) Inès Mouakher [France] ; Jeanine Souquières [France] ; Francis Alexandre [France]Protocol Verification in a Software Component-Based Approach
004132 (2008-01) Samuel Colin [France] ; Arnaud Lanoix [France]An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem
004313 (2008) Véronique Cortier [France] ; Stéphanie Delaune [France]Safely composing security protocols
004519 (2008) Fred Kröger [Allemagne] ; Stephan Merz [France]Temporal Logic and State Systems
004798 (2007-07-22) Olfa Mosbahi [France] ; Jacques Jaray [France]Specification and Proof of Liveness Properties in B Event Systems
004799 (2007-07-22) Olfa Mosbahi [France] ; Leila Jemni [Tunisie] ; Jacques Jaray [France]A Formal Approach for the Development of Automated Systems
004B54 (2007) Damián Barsotti [Argentine] ; Leonor Prensa Nieto [France] ; Alwen Tiu [Australie]Verification of clock synchronization algorithms: experiments on a combination of deductive tools
004E14 (2007) Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France]Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
004E19 (2007) Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France]Towards Formalizing QoS of Web Services with Weighted Automata
005604 (2006) Dominique Cansell [France] ; Dominique Méry [France]Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm
006380 (2005) Yannick Chevalier [France] ; Ralf Küsters [Allemagne] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]An NP decision procedure for protocol insecurity with XOR

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "Verification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "Verification" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    Verification
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022