PascalFr.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « PascalFr.i » - entrée « Vérification formelle »
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.
Vérification expérimentale < Vérification formelle < Vérification modèle  Facettes :

List of bibliographic references indexed by Vérification formelle

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000E28 (2014) Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada]Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis
001684 (2013) Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France]Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels
003166 (2010) Sihem Mallek [France] ; Nicolas Daclin [France] ; Vincent Chapurlat [France]Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs
004D53 (2007) MOHAMED SALAH BOUASSIDA [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France]Automated Verification of a Key Management Architecture for Hierarchical Group Protocols : Sécurité des réseaux et des systèmes d'information
005361 (2006) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]Towards Formal Verification of Web Service Composition
005366 (2006) Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France]The Twist-AUgmented Technique for Key Exchange
005507 (2006) David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France]Decision Procedures for the Formal Analysis of Software
005585 (2006) NINH THUAN TRUONG [France] ; Jeanine Souquieres [France]Verification of UML model elements using B : Software Engineering and Software
005589 (2006) Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]Specification and refinement of mobile systems in MTLA and mobile UML
005603 (2006) Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France]Formal design and verification of operational transformation algorithms for copies convergence
007B60 (2003) Dominique Cansell [France] ; Dominique Méry [France]Foundations of the B method
007B74 (2003) Laurent Fousse [France] ; Paul Zimmermann [France]Accurate summation: Towards a simpler and formal proof
008796 (2002) David Déharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France]Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
009429 (2001) Hung Ledang [France]Des cas d'utilisation à une spécification B
009E06 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Christophe Tabacznyj [France]Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification A Practical View
009E56 (2000) Olivier Bournez [France] ; Oded Maler [France]On the Representation of Timed Polyhedra
009E64 (2000) Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis Klay [France]Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
009E94 (2000) Paul Gibson [Irlande (pays)] ; Dominique Méry [France]Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
00B395 (1998) Raphaël Couturier [France] ; Dominique Méry [France]An experiment in parallelizing an application using formal methods

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/PascalFr.i -k "Vérification formelle" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/PascalFr.i  \
                -Sk "Vérification formelle" \
         | 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=    PascalFr.i
   |clé=    Vérification formelle
}}
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