Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - entrée « formal methods »
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.
formal method < formal methods < formal methods and the project life-cycle  Facettes :

List of bibliographic references indexed by formal methods

Number of relevant bibliographic references: 34.
[0-20] [0 - 20][0 - 34][20-33][20-40]
Ident.Authors (with country if any)Title
000A95 (2014-06-19) Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France]Dynamic Tags for Security Protocols
001977 (2012-08-29) Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France]FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
001993 (2012-08-23) Dominique Méry [France] ; Neeraj Kumar Singh [France]Critical systems development methodology using formal techniques
001A17 (2012-07-18) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]Intruder deducibility constraints with negation. Decidability and application to secured service compositions.
001C15 (2012-03-03) Didier Fass [France]Augmented Human Engineering: A Theoretical and Experimental Approach to Human Systems Integration
002026 (2011-11-01) Véronique Cortier [France] ; Cyrille Wiedling [France]A formal analysis of the Norwegian e-voting protocol
003297 (2009-12-10) Joris Rehm [France]Refinement Patterns for Real-Time Systems
003C81 (2009) Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France]Deciding knowledge in security protocols under some e-voting theories
003C86 (2009) Yannick Chevalier [France] ; Michael Rusinowitch [France]Compiling and securing cryptographic protocols
003D12 (2009) Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni]A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
003E72 (2008-09) Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France]Using CSP||B Components: Application to a Platoon of Vehicles
003F31 (2008-07) Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France]Towards Validating a Platoon of Cristal Vehicles using CSP||B
004356 (2008) Nazim Benassa [France]Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols
004738 (2007-09-17) Florent Garnier [France]Termination within a finite mean time of probabilistic rules based systems
006480 (2005) Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France]Proving correctness of transformation functions in collaborative editing systems
006701 (2004) Stephan MerzTLA+ Case Study : A Resource Allocator
006F10 (2004) Gérard Morel [France] ; Dominique Méry [France] ; Jean-Baptiste Léger ; Thierry LecomteProof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues
007476 (2003) Abdelghani Benharref ; Zineb Berbich ; Mohamed Salah Bouassida ; Rachida Dssouli ; Isabelle ChrismentFormalisation et test d'IPv6
007F17 (2002-12) Abdelghani Benharref ; Rachida Dssouli ; Zineb Berbich ; Isabelle Chrisment [France]Formal Specifications, TTCN and executable test cases for main IPv6 protocols
008411 (2002) Olfa Mosbahi ; Leila Jemni ; Samir Ben Ahmed ; Jacques JarayA Specification and Validation Technique Based on STATEMATE and FNLOG
008566 (2002) Abdelghani Benharref ; Rachida Dssouli ; Zineb Berbich ; Isabelle ChrismentFormal Specifications, TTCN and executable test cases for main IPv6 protocols

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 "formal methods" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "formal methods" \
         | 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é=    formal methods
}}
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