Model-checking pour les ambients : des algèbres de processus aux données semi-structurées

Model-checking pour les ambients : des algèbres de processus aux données semi-structurées

.

Bibliographic Details
Main Author:	Talbot, Jean-Marc
Language:	FRE
Published:	Université des Sciences et Technologie de Lille - Lille I 2005
Subjects:	[INFO:INFO_OH] Computer Science/Other process calculi verification
Online Access:	http://tel.archives-ouvertes.fr/tel-00616284 http://tel.archives-ouvertes.fr/docs/00/61/62/84/PDF/50376-2005-Talbot.pdf

Similar Items

BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms
by: Fortin, Jean
Published: (2013)

Techniques d'optimisation pour des données semi-structurées du web sémantique
by: Leblay, Julien
Published: (2013)

Optimisation Extensible dans un Mediateur de Données Semi-Structurées
by: Travers, Nicolas
Published: (2006)

Modélisation du langage à l'aide de pénalités structurées
by: Nelakanti, Anil Kumar
Published: (2014)

Résolution du problème du p-médian, application à la restructuration de bases de données semi-structurées
by: Gay, Jean-Christophe
Published: (2011)

Numerical and statistical approaches for model checking of stochastic processes
by: Djafri, Hilal
Published: (2012)

Synthesis of correct-by-design schedulers for hybrid systems
by: Soulat, Romain
Published: (2014)

Expressivité, satisﬁabilité et model checking d'une logique spatiale pour arbres non ordonnés
by: Boneva, Iovka
Published: (2006)

Protection des données privées dans les réseaux sociaux
by: Cutillo, Leucio Antonio
Published: (2012)

Vérification formelle des systèmes numériques par démonstration de théorèmes: application aux composants cryptographiques
by: Toma, D.
Published: (2006)

Separation logic : expressiveness, complexity, temporal extension
by: Brochenin, Rémi
Published: (2013)

Diagnostic des erreurs de conception dans les circuits digitaux : le cas des erreurs simples
by: WAHBA, Ayman
Published: (1997)

Propriétés de jeux multi-agents
by: Da Costa Lopes, Arnaud
Published: (2011)

Apprentissage de co-similarités pour la classification automatique de données monovues et multivues
by: Grimal, Clement
Published: (2012)

Vérification formelle des résultats de la synthèse de haut niveau
by: Dushina, J.
Published: (1999)

Techniques de Bisimulation et Algorithmes pour la Programmation Concurrente par Contraintes
by: Aristizábal, Andrés
Published: (2012)

Verification and composition of security protocols with applications to electronic voting
by: Ciobâcǎ, Ştefan
Published: (2011)

Algèbres de Kleene, réécriture modulo AC et circuits en coq
by: Braibant, Thomas
Published: (2012)

Interaction entre algèbre linéaire et analyse en formalisation des mathématiques
by: Cano, Guillaume
Published: (2014)

Analyse statique de programmes manipulant des tableaux
by: Perrelle, Valentin
Published: (2013)

Protection obligatoire des serveurs d'applications Web : application aux processus métiers
by: Fonda, Maxime
Published: (2014)

Intégration du déploiement de flotte et du service aux passagers dans la gestion de la planification pour compagnie aérienne
by: Duquesne, Christophe-Marie
Published: (2013)

Formal verification of secured routing protocols
by: Arnaud, Mathilde
Published: (2011)

Contributions à l'analyse de systèmes par approximation d'ensembles réguliers
by: Courbis, Roméo
Published: (2011)

Specification and verification of quantitative properties : expressions, logics, and automata
by: Monmège, Benjamin
Published: (2013)

Extraction et regroupement de descripteurs morpho-syntaxiques pour des processus de Fouille de Textes
by: Béchet, Nicolas
Published: (2009)

Notation et processus de traduction des langages symboliques
by: Bolliet, Louis
Published: (1967)

Automatic verification of cryptographic protocols : privacy-type properties
by: Cheval, Vincent
Published: (2012)

Étude formelle d'algorithmes efficaces en algèbre linéaire
by: Dénès, Maxime
Published: (2013)

Méthodes séquentielles de Monte Carlo pour le suivi d'objets multiples hétérogènes en données brutes de télémétrie laser
by: Vanpoperinghe, Élodie
Published: (2014)

Hybrid and Anonymous File-Sharing Environments: Architecture and Characterisation
by: Timpanaro, Juan Pablo
Published: (2013)

Un algorithme de fouille de données générique et parallèle pour architecture multi-coeurs
by: Negrevergne, Benjamin
Published: (2011)

Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel
by: Ouhammou, Yassine
Published: (2013)

Déformations d'algèbres de Hopf combinatoires et inversion de Lagrange non commutative
by: Bultel, Jean-Paul, et al.
Published: (2011)

Adaptation et cloud computing : un besoin d'abstraction pour une gestion transverse
by: Daubert, Erwan
Published: (2013)

Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support
by: Ray, Rajarshi
Published: (2012)

Classification de bases de données déséquilibrées par des règles de décomposition
by: D'ambrosio, Roberto
Published: (2014)

Nash equilibria in concurrent games : application to timed games
by: Brenguier, Romain
Published: (2012)

Une méthode d'évaluation géolocalisée de l'insertion des projets routiers dans les territoires et de choix de variantes
by: LE, Thanh Toan
Published: (2011)

L'interaction au service de l'optimisation à grande échelle des entrepôts de données relationnels
by: Kerkad, Amira
Published: (2013)

Cannot write session to /tmp/vufind_sessions/sess_e67llfjogkg06sjb07qannm8qf