Demri, Stéphane P., 1967-
Demri, Stéphane 1967-
Demri, Stéphane
Stéphane Demri
Demri, Stéphane P
VIAF ID: 916110 ( Personal )
Permalink: http://viaf.org/viaf/916110
Preferred Forms
- 100 1 _ ‡a Demri, Stéphane P., ‡d 1967-
-
-
- 100 1 _ ‡a Demri, Stéphane P., ‡d 1967-....
- 100 1 _ ‡a Demri, Stéphane ‡d 1967-
-
-
-
-
-
-
-
-
- 100 1 _ ‡a Demri, Stéphane ‡d 1967-
- 100 0 _ ‡a Stéphane Demri
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Algorithms for model-checking flat counter systems = lgorithmes pour le model-checking de systèmes à compteurs plats | |
Approches directe et par traduction en logiques modales : nouvelles stratégies et traduction inverse de preuves | |
Automated reasoning : 7th international joint conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings | |
Direct method and translation method for mechanizing modal logics : new strategies and backward translation. | |
IJCAR 2014 | |
Incomplete information : structure, inference, complexity | |
Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis | |
Raisonnement sur mots et arbres avec données. | |
Reasoning on words and trees with data | |
Separation logic and deductive verification. | |
Separation logic : expressiveness, complexity, temporal extension | |
Spécification et vérification de propriétés quantitatives sur des automates à contraintes | |
Temporal logics in computer science : finite-state systems | |
Temporal representation and reasoning | |
TIME 2008 | |
Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics | |
Vérification de scripts Shell effectuant des transformations de système de fichiers hiérarchiques. | |
Vers la Synthèse de Systèmes Ouverts : Tableaux pour les Logiques Temporelles Multi-Agents. | |
VSL 2014 |