Vérification formelle And NotDominique Cansell
List of bibliographic references
Number of relevant bibliographic references: 18.Ident. | Authors (with country if any) | Title |
---|---|---|
000003 | 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 |
000026 | Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France] | Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels |
000164 | Sihem Mallek [France] ; Nicolas Daclin [France] ; Vincent Chapurlat [France] | Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs |
000304 | 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 |
000333 | NINH THUAN TRUONG [France] ; Jeanine Souquieres [France] | Verification of UML model elements using B : Software Engineering and Software |
000336 | Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France] | Towards formal verification of web service composition |
000342 | Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France] | The Twist-AUgmented Technique for Key Exchange |
000348 | Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France] | Specification and refinement of mobile systems in MTLA and mobile UML |
000382 | 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 |
000394 | David Deharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France] | Decision procedures for the formal analysis of software |
000726 | Laurent Fousse [France] ; Paul Zimmermann [France] | Accurate summation: Towards a simpler and formal proof |
000803 | David Deharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France] | Improving symbolic model checking by rewriting temporal logic formulae |
000868 | Hung Ledang [France] | Des cas d'utilisation à une spécification B |
000960 | D. Cansell [France] ; D. Mery [France] ; C. Tabacznyj [France] | Tutorial 1 : Abstraction and refinement of concurrent programs and formal specification a practical view |
000984 | O. Bournez [France] ; O. Maler [France] | On the representation of timed polyhedra |
000988 | M. Rusinowitch [France] ; S. Stratulat [France] ; F. Klay [France] | Mechanical verification of an ideal incremental ABR conformance algorithm |
000A01 | P. Gibson [Irlande (pays)] ; D. Mery [France] | Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach |
000B67 | R. Couturier [France] ; D. Mery [France] | An experiment in parallelizing an application using formal methods: Computer aided parallelization |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |