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 methodes < Formal methods < Formal methods of system development  Facettes :

List of bibliographic references indexed by Formal methods

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]
Ident.Authors (with country if any)Title
000098 (2016) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Validation of Formal Specifications through Transformation and Animation
000282 (2015-10-13) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000658 (2015-01-08) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Observation-Level-Driven Formal Modeling
000E57 (2014) Dominique Méry [France] ; Bernhard Sch Tz [Allemagne] ; Alan Wassyng [Canada]The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
000E72 (2014) Jean-Luc Danger [France] ; Mourad Debbabi [Canada] ; Jean-Yves Marion [France] ; Joaquin Garcia-Alfaro [France] ; Nur Zincir Heywood [Canada]Foundations and practice of security : 6th international symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, revised selected papers
000F22 (2013-11-29) Faqing Yang [France]A Simulation Framework for the Validation of Event-B Specifications
001157 (2013-06-17) Mohammed Tounsi [France] ; Mohammed Mosbah [France] ; Dominique Méry [France]From Event-B Specifications to Programs for Distributed Algorithms
001E55 (2012) Hubert Garavel [France] ; Frédéric Lang [France] ; Radu Mateescu [France] ; Wendelin Serwe [France]CADP 2011: a toolbox for the construction and analysis of distributed processes
001F68 (2011-12-06) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Stepwise Validation of Formal Specifications
002022 (2011-11-03) Dominique Méry [France] ; Neeraj Kumar Singh [France]Formal Development and Automatic Code Generation : Cardiac Pacemaker
002231 (2011-07-12) Atif Mashkoor [France]Formal Domain Engineering: From Specification to Validation
002290 (2011-06-20) Dominique Méry [France] ; Mohamed Mosbah [France] ; Mohamed Tounsi [France]Refinement-based Verification of Local Synchronization Algorithms
002607 (2011) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Utilizing Event-B for domain engineering: a critical analysis
003005 (2010) Dominique Méry [France] ; Neeraj Kumar Singh [France]Trustable Formal Specification for Software Certification
003095 (2010) Véronique Cortier [France] ; Stéphanie Delaune [France]Decidability and Combination Results for Two Notions of Knowledge in Security Protocols
003180 (2010) Yannick Chevalier [France] ; Michaël Rusinowitch [France]Compiling and securing cryptographic protocols
003657 (2009-03-29) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Transformation Heuristics for Formal Requirements Validation by Animation
003C32 (2009) Véronique Cortier [France] ; Graham Steel [France]Synthesising Secure APIs
003C67 (2009) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Incorporating Animation in Stepwise Development of Formal Specification
004200 (2008) Yohan Boichut [France] ; Pierre-Cyrille Heam [France]A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
006B60 (2004) David Basin [Suisse] ; Sebastian Mödersheim [Suisse] ; Luca Vigan [Suisse]OFMC: A symbolic model checker for security 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