FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Vérification programme »
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 modèle < Vérification programme < Vérification énumérative  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 36.
[0-20] [0 - 20][0 - 36][20-35][20-40]
Ident.Authors (with country if any)Title
000026 (2013) Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France]Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels
000081 (2013) Didier Galmiche [France] ; Daniel Mery [France]A Connection-based Characterization of Bi-intuitionistic Validity
000082 (2013) Ehtesham Zahoor [Pakistan] ; Kashif Munir [Pakistan] ; Olivier Perrin [France] ; Claude Godart [France]A Bounded Model Checking Approach for the Verification of Web Services Composition
000136 (2011) 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
000164 (2010) Sihem Mallek [France] ; Nicolas Daclin [France] ; Vincent Chapurlat [France]Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs
000171 (2010) Joris Rehm [France]Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method
000260 (2008) BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France]Modélisation événementielle pour la construction de diagrammes de classes
000335 (2006) Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree automata with equality constraints modulo equational theories
000375 (2006) Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France]Integration of security policy into system modeling
000381 (2006) Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal islands
000384 (2006) Didier Galmiche [France] ; Dominique Larchey-Wendling [France]Expressivity properties of boolean BI through relational models
000385 (2006) Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France]Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants
000394 (2006) David Deharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France]Decision procedures for the formal analysis of software
000395 (2006) TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]Decision procedures for term algebras with integer constraints
000397 (2006) Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France]Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies
000426 (2005) Véronique Cortier [France]Vérifier les protocoles cryptographiques
000430 (2005) Christine Rochange [France] ; Pascal Sainrat [France]Régulation du flot d'instructions pour des processeurs orientés temps réel
000442 (2005) Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]Truly on-the-fly LTL model checking
000451 (2005) A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heam [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigano [Suisse] ; L. Vigneron [France]The AVISPA tool for the automated validation of internet security protocols and applications
000500 (2005) Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]Efficient satisfiability modulo theories via delayed theory combination
000504 (2005) Frédéric Blanqui [France]Decidability of type-checking in the calculus of algebraic constructions with size annotations

List of associated Author.i

Nombre de
documents		Descripteur
5Silvio Ranise
4Dominique Cansell
4Stephan Merz
3David Deharbe
3Didier Galmiche
3Dominique Méry
3Laurent Vigneron
3Pascal Fontaine
2Abdessamad Imine
2Christophe Ringeissen
2Jeanine Souquieres
2Michael Rusinowitch
2Yannick Chevalier
1A. Armando
1Airy Weinzoepflen
1Alessandro Armando
1Alessandro Cimatti
1Alexander Knapp
1Alwen Tiu
1Anamaria Martins Moreira
1BOULBABA BEN AMMAR
1Calogero G. Zarba
1Christine Rochange
1Claude Godart
1Claude Kirchner
1D. Basin
1D. Von Oheimb
1Damien Stehle
1Daniel Mery
1Daniele Zucchelli
1David Basin
1Dieu Donné Okalas Ossami
1Dominique Larchey-Wendling
1Ehtesham Zahoor
1Emilie Balland
1Enrica Nicolini
1Florent Jacquemard
1Frédéric Blanqui
1Ganesh Gopalakrishnan
1Gérald Oster
1Henny B. Sipma
1J. Cuellar
1J. Mantovani
1J. Santiago
1Jean-Pierre Jacquot
1Jean-Yves Marion
1Joris Rehm
1Kamel Barkaoui
1Kashif Munir
1L. Compagna
1L. Vigano
1L. Vigneron
1Leonor Prensa Nieto
1Luca Compagna
1Luca Vigano
1M. Rusinowitch
1M. Turuani
1MOHAMED TAHAR BHIRI
1Marc Eluard
1Marco Bozzano
1Mathieu Turuani
1Mehdi Bouallagui
1Michaël Rusinowitch
1Mike Jones
1Mohamed Khalgui
1Moritz Hammer
1Nazim Benaïsa
1Nicolas Biri
1Nicolas Daclin
1O. Kouchnarenko
1Olfa Mosbahi
1Olivier Perrin
1P. C. Heam
1P. Hankes Drielsma
1Pascal Molli
1Pascal Sainrat
1Paul Zimmermann
1Peter Van Rossum
1Pierre-Etienne Moreau
1Roberto Bruttomesso
1Roberto Sebastiani
1S. Merz
1S. Mödersheim
1Sebastian Mödersheim
1Sihem Mallek
1Silvio Ghilardi
1Stefan Hallerstede
1TING ZHANG
1Thomas Jensen
1Tommi Junttila
1Vincent Chapurlat
1Véronique Cortier
1Y. Boichut
1Y. Chevalier
1Y. Mokhtari
1Yann Zimmermann
1Zohar Manna
1Zohra Sbaï

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Vérification programme" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Vérification programme" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Vérification programme
}}
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