Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Titre (en) » - 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.
verifiable < verification < verified  Facettes :

List of bibliographic references indexed by verification

Number of relevant bibliographic references: 221.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000061 (2016-02-26) Mathieu Turuani [France] ; Thomas Voegtlin [France] ; Michael Rusinowitch [France]Automated Verification of Electrum Wallet
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000455 (2015-07-03) Jean-Guillaume Dumas [France] ; Erich Kaltofen [États-Unis] ; Emmanuel Thomé [France]Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
000470 (2015-06-29) Marion Guthmuller [France]Dynamic formal verification of temporal properties on legacy distributed applications
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000615 (2015-03-04) Marion Guthmuller [France] ; Martin Quinson [France] ; Gabriel Corona [France]System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications
000669 (2015-01) Véronique Cortier [France]Formal verification of e-voting: solutions and challenges
000790 (2015) Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France]Sequential generation of structured arrays and its deductive verification
000829 (2014-12-15) Gerald Lüttgen [Allemagne] ; Stephan Merz [France]Editorial: Special Issue of Automated Verification of Critical Systems
000831 (2014-12-15) Gerald Lüttgen [Allemagne] ; Stephan Merz [France]Science of Computer Programming Special Issue: Automated Verification of Critical Systems
000875 (2014-11-21) Cyrille Wiedling [France]Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs
000900 (2014-10-22) Aloïs Dreyfus [France]Contribution to the efficient model-based verification andtesting
000A20 (2014-07-24) Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]How Test Generation Helps Software Specification and Deductive Verification in Frama-C
000A35 (2014-07-17) Michaël Rusinowitch [France]Automated Verification of Security Protocols and Services
000B76 (2014-05-05) David Margery [France] ; Emile Morel [France] ; Lucas Nussbaum [France] ; Olivier Richard [France] ; Cyril Rohr [France]Resources Description, Selection, Reservation and Verification on a Large-scale Testbed
000C24 (2014-04-01) Marion Guthmuller [France] ; Martin Quinson [France]System-level State Equality Detection for the Dynamic Verification of Distributed Applications
000F28 (2013-11-21) Michael Rusinowitch [France]Automated verification of security protocols and application to services
001009 (2013-09-23) Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Quintero AlejandroSpecification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors
001170 (2013-06-10) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Formal Modelling and Verification of Population Protocols
001201 (2013-06) Bernadette Charron-Bost [France] ; Stephan Merz [France] ; Andrey Rybalchenko [Allemagne] ; Josef Widder [Autriche]Formal Verification of Distributed Algorithms

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/Title.i -k "verification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.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=    Title.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