Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Stephan Merz »
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.
Stefania Cavallar < Stephan Merz < Stephane Conreaux  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
000113 (2005) Moritz Hammer ; Alexander Knapp ; Stephan MerzTruly On-The-Fly LTL Model Checking
000270 (2005) Alexander Knapp ; Stephan Merz ; Martin Wirsing ; Julia ZappeSpecification and Refinement of Mobile Systems in MTLA and Mobile UML
000409 (2005) Loïc Fejoz ; Dominique Méry [France] ; Stephan MerzDIXIT : a Graphical Toolkit for Predicate Abstractions
000475 (2005) Eunyoung Kang ; Stephan MerzPredicate Diagrams for the Verification of Real-Time Systems
000562 (2004) Stephan MerzTLA+ Case Study : A Resource Allocator
000648 (2004) Houda Fekih ; Leila Jemni ; Stephan MerzTransformation des spécifications B en des diagrammes UML
000802 (2004) Alexander Knapp ; Stephan Merz ; Martin WirsingRefining Mobile UML State Machines
000A94 (2003) Mohamed El Habib ; Claude Kirchner ; Hélène Kirchner ; Jean-Yves Marion ; Stephan MerzThe QSL platform at LORIA
000B28 (2003) Stephan Merz ; Martin Wirsing ; Julia ZappeA Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
000C48 (2003) Houda Fekih ; Stephan MerzTranslating B machines into UML diagrams
000C59 (2003) Stephan Merz ; Ali SezginEmptiness of Linear Weak Alternating Automata
000D73 (2003) Stephan MerzOn the Logic of TLA+
001518 (2001) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan MerzFormal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams
001B12 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan MerzPredicate diagrams
001B75 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan MerzVerifying Reactive Systems Using Predicate Diagrams
001C13 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan MerzDiagrams Refinement for the Design of Reactive Systems
001C33 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan MerzPredicate diagrams for the verification of reactive systems
001F12 (1999) Yassine Mokhtari ; Stephan MerzAnimating TLA Specifications

List of associated KwdEn.i

Nombre de
documents		Descripteur
7refinement
6temporal logic
5specification
5verification
4model checking
3abstraction
3theorem proving
3uml
2a completer
2alternating automata
2b method
2class diagram
2formal methods
2mobile systems
2predicate diagrams
2spatial logic
2tla
1Büchi automata
1Spin
1TLA
1UML
1animation
1emptiness checking
1liveness properties
1mobility
1model-checking
1modelling
1platform
1predicate abstraction
1predicates diagrams
1proofs
1qsl
1real-time systems
1semantics
1state machine
1state-transitions diagram
1system development
1temporal logic of actions
1tla+
1validation
1xtg

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Stephan Merz" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Stephan Merz" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Stephan Merz
}}
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