Méthode formelle And NotSilvio Ranise
List of bibliographic references
Number of relevant bibliographic references: 36.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000026 | Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France] | Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels |
| 000028 | Hyacinthe J. Ramaroson [Madagascar, France] ; Florence Le Ber [France] ; Bertin O. Ramamonjisoa [Madagascar] ; Dominique Herve [France] | Treillis de Galois pour la fusion de connaissances spatiales sur des territoires villageois malgaches |
| 000051 | Tobias Jung [Belgique] ; Sylvain Martin [Belgique] ; Mohamed Nassar [France] ; Damien Ernst [Belgique] ; Guy Leduc [Belgique] | Outbound SPIT filter with optimal performance guarantees |
| 000135 | Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France] | DECIDING KNOWLEDGE IN SECURITY PROTOCOLS UNDER SOME E-VOTING THEORIES |
| 000136 | Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne] | Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION |
| 000151 | Pierre Konopacki [France, Canada] ; Marc Frappier [Canada] ; Régine Laleau [France] | Modélisation de politiques de sécurité à l'aide d'une algèbre de processus: Présentation de la méthode EB3SEC |
| 000154 | Akram Idani [France] ; Mohamed-Amine Labiadh [France] ; Yves Ledru [France] | Infrastructure dirigee par les modèles pour une intégration adaptable et évolutive de UML et B |
| 000164 | Sihem Mallek [France] ; Nicolas Daclin [France] ; Vincent Chapurlat [France] | Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs |
| 000171 | Joris Rehm [France] | Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method |
| 000179 | Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Compiling and securing cryptographic protocols |
| 000182 | Marie-Dominique Devignes [France] ; Philippe Franiatte [France] ; Nizar Messai [France] ; Emmanuel Bresso [France] ; Amedeo Napoli [France] ; Malika Smaïl-Tabbone [France] | BioRegistry: Automatic extraction of metadata for biological database retrieval and discovery |
| 000226 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | System-on-chip design by proof-based refinement |
| 000260 | BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France] | Modélisation événementielle pour la construction de diagrammes de classes |
| 000263 | Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquieres [France] | Développement formel par composants : Assemblage et vérification à l'aide de B |
| 000286 | Approches formelles pour le développement de logiciels : AFADL 2006 | |
| 000287 | Yves Bontemps [Belgique] ; Germain Saval [Belgique] ; Pierre-Yves Schobbens [Belgique] ; Patrick Heymans [Belgique] | Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence |
| 000288 | Jean-Marc Mota [France] ; Catherine Dubois [France] | Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes |
| 000289 | Didier Bert [France] ; Héctor Ruiz Barradas [France, Mexique] | Propriétés de vivacité dans les systèmes B : Application à l'algorithme de Ricart-Agrawala |
| 000293 | Vincent Thomas [France] ; Christine Bourjot [France] ; Vincent Chevrier [France] | Construction de systèmes multi-agents par apprentissage collectif à base d'interactions |
| 000294 | Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France] | Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B |
| 000308 | Approches formelles dans l'assistance au développement de logiciels | |
| 000310 | Nizar Messai [France] ; Marie-Dominique Devignes [France] ; Amedeo Napoli [France] ; Malika Smaïl-Tabbone [France] | Treillis de concepts et ontologies pour interroger l'annuaire de sources de données biologiques BioRegistry |
| 000315 | Véronique Cortier [France] | Protocoles cryptographiques: analyse par méthodes formelles |
| 000333 | NINH THUAN TRUONG [France] ; Jeanine Souquieres [France] | Verification of UML model elements using B : Software Engineering and Software |
| 000342 | Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France] | The Twist-AUgmented Technique for Key Exchange |
| 000367 | Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application |
| 000370 | Bill Stoddart [France] ; Dominique Cansell [France] ; Frank Zeyda [France] | Modelling and proof analysis of interrupt driven scheduling |
| 000381 | Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] | Formal islands |
| 000445 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards synchronizing linear collaborative objects with operational transformation |
| 000461 | Nizar Messai [France] ; Marie-Dominique Devignes [France] ; Amedeo Napoli [France] ; Malika Smaïl-Tabbone [France] | Querying a bioinformatic data sources registry with concept lattices |
| 000474 | Mohammed Attik [France] ; Laurent Bougrain [France] ; Frédéric Alexandre [France] | Neural network topology optimization |
| 000486 | Shadi Al Shehabi [France] ; Jean-Charles Lamirel [France] | Knowledge extraction from unsupervised multi-topographic neural network models |
| 000506 | Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquieres [France] | Consistency in UML and B multi-view specifications |
| 000554 | Dominique Cansell [France] ; Stefan Hallerstede ; Yann Zimmermann | Construction sûre de systèmes électroniques |
| 000714 | Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis] | Deciding the security of protocols with Diffie-Hellman Exponentiation and products in exponents |
| 000A48 | O. Kone [France] ; R. Castanet [France] | Méthodes formelles de test de conformité des protocoles |
| This area was generated with Dilib version V0.6.33. |  |